runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inescp-1.0/rand50a937.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//rand50a937.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rand50a937.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.07 1.09 1.08 1/95 26746 /proc/meminfo: memFree=1245000/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=3272 CPUtime=0 /proc/26747/stat : 26747 (cudf-solver.py) R 26746 26746 13759 34823 13904 4194304 309 0 0 0 0 0 0 0 19 0 1 0 417016239 3350528 233 1283457024 134512640 135539072 4287275344 18446744073709551615 134800287 0 0 0 0 0 0 0 17 1 0 0 0 /proc/26747/statm: 818 237 185 251 0 119 0 [startup+0.168895 s] /proc/loadavg: 1.07 1.09 1.08 1/95 26746 /proc/meminfo: memFree=1245000/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=0 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.208911 s] /proc/loadavg: 1.07 1.09 1.08 1/95 26746 /proc/meminfo: memFree=1245000/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=0 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.308926 s] /proc/loadavg: 1.07 1.09 1.08 1/95 26746 /proc/meminfo: memFree=1245000/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=0 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.709198 s] /proc/loadavg: 1.07 1.09 1.08 1/95 26746 /proc/meminfo: memFree=1245000/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=0 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+1.53955 s] /proc/loadavg: 1.14 1.10 1.09 3/109 26761 /proc/meminfo: memFree=1190824/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=0 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 [pid=26749] ppid=26747 vsize=879236 CPUtime=2.49 /proc/26749/stat : 26749 (java) S 26747 26746 13759 34823 13904 4202496 27467 0 0 0 238 11 0 0 20 0 12 0 417016241 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159693970 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26749/statm: 219809 23551 1743 10 0 216896 0 [pid=26749/tid=26750] ppid=26747 vsize=879236 CPUtime=0.91 /proc/26749/task/26750/stat : 26750 (java) R 26747 26746 13759 34823 13904 4202560 9248 0 0 0 91 0 0 0 17 0 12 0 417016243 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26749/tid=26751] ppid=26747 vsize=879236 CPUtime=0.08 /proc/26749/task/26751/stat : 26751 (java) S 26747 26746 13759 34823 13904 4202560 4090 0 0 0 8 0 0 0 16 0 12 0 417016243 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=26749/tid=26752] ppid=26747 vsize=879236 CPUtime=0.09 /proc/26749/task/26752/stat : 26752 (java) S 26747 26746 13759 34823 13904 4202560 3304 0 0 0 9 0 0 0 15 0 12 0 417016243 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=26749/tid=26753] ppid=26747 vsize=879236 CPUtime=0.19 /proc/26749/task/26753/stat : 26753 (java) S 26747 26746 13759 34823 13904 4202560 85 0 0 0 14 5 0 0 15 0 12 0 417016245 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 0 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=26749/tid=26754] ppid=26747 vsize=879236 CPUtime=0 /proc/26749/task/26754/stat : 26754 (java) S 26747 26746 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 22 0 12 0 417016245 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=26749/tid=26755] ppid=26747 vsize=879236 CPUtime=0 /proc/26749/task/26755/stat : 26755 (java) S 26747 26746 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 25 0 12 0 417016245 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=26749/tid=26756] ppid=26747 vsize=879236 CPUtime=0 /proc/26749/task/26756/stat : 26756 (java) S 26747 26746 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417016248 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159715664 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=26749/tid=26757] ppid=26747 vsize=879236 CPUtime=0.98 /proc/26749/task/26757/stat : 26757 (java) S 26747 26746 13759 34823 13904 4202560 7783 0 0 0 96 2 0 0 16 0 12 0 417016248 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=26749/tid=26758] ppid=26747 vsize=879236 CPUtime=0.18 /proc/26749/task/26758/stat : 26758 (java) S 26747 26746 13759 34823 13904 4202560 1550 0 0 0 18 0 0 0 17 0 12 0 417016248 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=26749/tid=26759] ppid=26747 vsize=879236 CPUtime=0 /proc/26749/task/26759/stat : 26759 (java) S 26747 26746 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417016248 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=26749/tid=26760] ppid=26747 vsize=879236 CPUtime=0 /proc/26749/task/26760/stat : 26760 (java) R 26747 26746 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 417016248 900337664 23551 1283457024 134512640 134550932 4294250304 18446744073709551615 4159708168 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.49 Current children cumulated vsize (KiB) 885612 [startup+3.13625 s] /proc/loadavg: 1.14 1.10 1.09 2/109 26761 /proc/meminfo: memFree=1095716/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=0 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 [pid=26749] ppid=26747 vsize=881944 CPUtime=5 /proc/26749/stat : 26749 (java) S 26747 26746 13759 34823 13904 4202496 51409 0 0 0 483 17 0 0 20 0 12 0 417016241 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159693970 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26749/statm: 220486 45463 1777 10 0 217573 0 [pid=26749/tid=26750] ppid=26747 vsize=881944 CPUtime=2.03 /proc/26749/task/26750/stat : 26750 (java) R 26747 26746 13759 34823 13904 4202560 15848 0 0 0 202 1 0 0 16 0 12 0 417016243 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=26749/tid=26751] ppid=26747 vsize=881944 CPUtime=0.29 /proc/26749/task/26751/stat : 26751 (java) S 26747 26746 13759 34823 13904 4202560 11515 0 0 0 27 2 0 0 15 0 12 0 417016243 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=26749/tid=26752] ppid=26747 vsize=881944 CPUtime=0.26 /proc/26749/task/26752/stat : 26752 (java) R 26747 26746 13759 34823 13904 4202560 10100 0 0 0 25 1 0 0 16 0 12 0 417016243 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26749/tid=26753] ppid=26747 vsize=881944 CPUtime=0.36 /proc/26749/task/26753/stat : 26753 (java) S 26747 26746 13759 34823 13904 4202560 1553 0 0 0 31 5 0 0 15 0 12 0 417016245 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 0 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=26749/tid=26754] ppid=26747 vsize=881944 CPUtime=0 /proc/26749/task/26754/stat : 26754 (java) S 26747 26746 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 12 0 417016245 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=26749/tid=26755] ppid=26747 vsize=881944 CPUtime=0 /proc/26749/task/26755/stat : 26755 (java) S 26747 26746 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 18 0 12 0 417016245 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=26749/tid=26756] ppid=26747 vsize=881944 CPUtime=0 /proc/26749/task/26756/stat : 26756 (java) S 26747 26746 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417016248 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159715664 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=26749/tid=26757] ppid=26747 vsize=881944 CPUtime=1.45 /proc/26749/task/26757/stat : 26757 (java) S 26747 26746 13759 34823 13904 4202560 8800 0 0 0 141 4 0 0 16 0 12 0 417016248 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 1 0 0 0 [pid=26749/tid=26758] ppid=26747 vsize=881944 CPUtime=0.56 /proc/26749/task/26758/stat : 26758 (java) R 26747 26746 13759 34823 13904 4202560 2184 0 0 0 54 2 0 0 16 0 12 0 417016248 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4151402219 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=26749/tid=26759] ppid=26747 vsize=881944 CPUtime=0 /proc/26749/task/26759/stat : 26759 (java) S 26747 26746 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 417016248 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159707376 0 4 0 16800975 18446612132335977472 0 0 -1 0 0 0 0 [pid=26749/tid=26760] ppid=26747 vsize=881944 CPUtime=0 /proc/26749/task/26760/stat : 26760 (java) R 26747 26746 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 417016248 903110656 45463 1283457024 134512640 134550932 4294250304 18446744073709551615 4159708168 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5 Current children cumulated vsize (KiB) 888320 [startup+6.3069 s] /proc/loadavg: 1.13 1.10 1.09 2/99 26766 /proc/meminfo: memFree=1207008/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=6.35 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 811 52716 0 0 0 0 608 27 15 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 [pid=26765] ppid=26747 vsize=2888 CPUtime=0 /proc/26765/stat : 26765 (sh) S 26747 26746 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 417016648 2957312 321 1283457024 134512640 135191968 4288587024 18446744073709551615 4159216270 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26765/statm: 722 321 219 166 0 154 0 [pid=26766] ppid=26765 vsize=34072 CPUtime=2.2 /proc/26766/stat : 26766 (msuncore) R 26765 26746 13759 34823 13904 4202496 19596 0 0 0 211 9 0 0 21 0 1 0 417016648 34889728 8278 1283457024 134512640 135858300 4293322640 18446744073709551615 134665376 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/26766/statm: 8518 8278 137 329 0 8187 0 Current children cumulated CPU time (s) 8.55 Current children cumulated vsize (KiB) 43336 [startup+12.7072 s] /proc/loadavg: 1.12 1.10 1.09 2/99 26766 /proc/meminfo: memFree=1207040/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=6.35 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 811 52716 0 0 0 0 608 27 15 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 [pid=26765] ppid=26747 vsize=2888 CPUtime=0 /proc/26765/stat : 26765 (sh) S 26747 26746 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 417016648 2957312 321 1283457024 134512640 135191968 4288587024 18446744073709551615 4159216270 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26765/statm: 722 321 219 166 0 154 0 [pid=26766] ppid=26765 vsize=34072 CPUtime=8.6 /proc/26766/stat : 26766 (msuncore) R 26765 26746 13759 34823 13904 4202496 19596 0 0 0 850 10 0 0 25 0 1 0 417016648 34889728 8278 1283457024 134512640 135858300 4293322640 18446744073709551615 134657826 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/26766/statm: 8518 8278 137 329 0 8187 0 Current children cumulated CPU time (s) 14.95 Current children cumulated vsize (KiB) 43336 Solver just ended. Dumping a history of the last processes samples [startup+14.2073 s] /proc/loadavg: 1.12 1.10 1.09 2/99 26766 /proc/meminfo: memFree=1207040/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=6.35 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 811 52716 0 0 0 0 608 27 15 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 [pid=26765] ppid=26747 vsize=2888 CPUtime=0 /proc/26765/stat : 26765 (sh) S 26747 26746 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 417016648 2957312 321 1283457024 134512640 135191968 4288587024 18446744073709551615 4159216270 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26765/statm: 722 321 219 166 0 154 0 [pid=26766] ppid=26765 vsize=34072 CPUtime=10.1 /proc/26766/stat : 26766 (msuncore) R 26765 26746 13759 34823 13904 4202496 19596 0 0 0 1000 10 0 0 25 0 1 0 417016648 34889728 8278 1283457024 134512640 135858300 4293322640 18446744073709551615 134658919 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/26766/statm: 8518 8278 137 329 0 8187 0 Current children cumulated CPU time (s) 16.45 Current children cumulated vsize (KiB) 43336 [startup+15.8073 s] /proc/loadavg: 1.11 1.10 1.09 2/99 26766 /proc/meminfo: memFree=1207040/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=6.35 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 811 52716 0 0 0 0 608 27 15 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 [pid=26765] ppid=26747 vsize=2888 CPUtime=0 /proc/26765/stat : 26765 (sh) S 26747 26746 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 417016648 2957312 321 1283457024 134512640 135191968 4288587024 18446744073709551615 4159216270 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26765/statm: 722 321 219 166 0 154 0 [pid=26766] ppid=26765 vsize=34072 CPUtime=11.7 /proc/26766/stat : 26766 (msuncore) R 26765 26746 13759 34823 13904 4202496 19596 0 0 0 1160 10 0 0 25 0 1 0 417016648 34889728 8278 1283457024 134512640 135858300 4293322640 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/26766/statm: 8518 8278 137 329 0 8187 0 Current children cumulated CPU time (s) 18.05 Current children cumulated vsize (KiB) 43336 [startup+16.2074 s] /proc/loadavg: 1.11 1.10 1.09 2/99 26766 /proc/meminfo: memFree=1207040/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=4000 CPUtime=6.35 /proc/26747/stat : 26747 (cudf-solver.py) S 26746 26746 13759 34823 13904 4202496 811 52716 0 0 0 0 608 27 15 0 1 0 417016239 4096000 642 1283457024 134512640 135539072 4287275344 18446744073709551615 4159240846 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/26747/statm: 1000 642 346 251 0 301 0 [pid=26765] ppid=26747 vsize=2888 CPUtime=0 /proc/26765/stat : 26765 (sh) S 26747 26746 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 417016648 2957312 321 1283457024 134512640 135191968 4288587024 18446744073709551615 4159216270 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26765/statm: 722 321 219 166 0 154 0 [pid=26766] ppid=26765 vsize=34072 CPUtime=12.1 /proc/26766/stat : 26766 (msuncore) R 26765 26746 13759 34823 13904 4202496 19596 0 0 0 1200 10 0 0 25 0 1 0 417016648 34889728 8278 1283457024 134512640 135858300 4293322640 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/26766/statm: 8518 8278 137 329 0 8187 0 Current children cumulated CPU time (s) 18.45 Current children cumulated vsize (KiB) 43336 [startup+16.6074 s] /proc/loadavg: 1.11 1.10 1.09 2/99 26767 /proc/meminfo: memFree=1206668/2097152 swapFree=2055620/2097144 [pid=26746] ppid=26745 vsize=2376 CPUtime=0 /proc/26746/stat : 26746 (inescp-1.0) S 26745 26746 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 417016239 2433024 258 1283457024 134512640 135191968 4290202624 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/26746/statm: 594 258 221 166 0 26 0 [pid=26747] ppid=26746 vsize=6796 CPUtime=18.84 /proc/26747/stat : 26747 (cudf-solver.py) R 26746 26746 13759 34823 13904 4202496 1646 72692 0 0 4 0 1842 38 15 0 1 0 417016239 6959104 1290 1283457024 134512640 135539072 4287275344 18446744073709551615 4159401870 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/26747/statm: 1699 1290 346 251 0 1000 0 Current children cumulated CPU time (s) 18.84 Current children cumulated vsize (KiB) 9172 Child status: 0 Real time (s): 16.6579 CPU time (s): 18.9172 CPU user time (s): 18.5052 CPU system time (s): 0.412025 CPU usage (%): 113.563 Max. virtual memory (cumulated for all children) (KiB): 889112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.5052 system time used= 0.412025 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76071 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 559 involuntary context switches= 413 runsolver used 0.004 second user time and 0 second system time The end