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/rand95e48b.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//rand95e48b.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rand95e48b.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: 0.98 1.00 0.99 1/94 18748 /proc/meminfo: memFree=1255544/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=3272 CPUtime=0 /proc/18749/stat : 18749 (cudf-solver.py) R 18748 18748 13759 34823 13904 4194304 277 0 0 0 0 0 0 0 25 0 1 0 418137393 3350528 203 1283457024 134512640 135539072 4292628064 18446744073709551615 4158579410 0 0 0 0 0 0 0 17 0 0 0 0 /proc/18749/statm: 817 208 167 251 0 118 0 [startup+0.199097 s] /proc/loadavg: 0.98 1.00 0.99 1/94 18748 /proc/meminfo: memFree=1255544/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=0 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 25 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.207097 s] /proc/loadavg: 0.98 1.00 0.99 1/94 18748 /proc/meminfo: memFree=1255544/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=0 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 25 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.308491 s] /proc/loadavg: 0.98 1.00 0.99 1/94 18748 /proc/meminfo: memFree=1255544/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=0 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 25 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.739081 s] /proc/loadavg: 0.98 1.00 0.99 1/94 18748 /proc/meminfo: memFree=1255544/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=0 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 25 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+1.50829 s] /proc/loadavg: 0.98 1.00 0.99 3/108 18762 /proc/meminfo: memFree=1168880/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=0 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 25 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 [pid=18751] ppid=18749 vsize=881468 CPUtime=2.62 /proc/18751/stat : 18751 (java) S 18749 18748 13759 34823 13904 4202496 30735 0 0 0 246 16 0 0 17 0 12 0 418137395 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160156818 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18751/statm: 220367 26231 1744 10 0 217454 0 [pid=18751/tid=18752] ppid=18749 vsize=881468 CPUtime=1.09 /proc/18751/task/18752/stat : 18752 (java) R 18749 18748 13759 34823 13904 4202560 9303 0 0 0 99 10 0 0 16 0 12 0 418137396 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18751/tid=18753] ppid=18749 vsize=881468 CPUtime=0.15 /proc/18751/task/18753/stat : 18753 (java) R 18749 18748 13759 34823 13904 4202560 6109 0 0 0 14 1 0 0 15 0 12 0 418137397 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18751/tid=18754] ppid=18749 vsize=881468 CPUtime=0.15 /proc/18751/task/18754/stat : 18754 (java) S 18749 18748 13759 34823 13904 4202560 4837 0 0 0 15 0 0 0 16 0 12 0 418137397 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 18446612132635820224 0 0 -1 1 0 0 0 [pid=18751/tid=18755] ppid=18749 vsize=881468 CPUtime=0.08 /proc/18751/task/18755/stat : 18755 (java) S 18749 18748 13759 34823 13904 4202560 87 0 0 0 8 0 0 0 15 0 12 0 418137399 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160171016 0 0 0 16800975 18446612132635820224 0 0 -1 1 0 0 0 [pid=18751/tid=18756] ppid=18749 vsize=881468 CPUtime=0 /proc/18751/task/18756/stat : 18756 (java) S 18749 18748 13759 34823 13904 4202560 17 0 0 0 0 0 0 0 15 0 12 0 418137399 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 18446612132635820224 0 0 -1 1 0 0 0 [pid=18751/tid=18757] ppid=18749 vsize=881468 CPUtime=0 /proc/18751/task/18757/stat : 18757 (java) R 18749 18748 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 17 0 12 0 418137399 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18751/tid=18758] ppid=18749 vsize=881468 CPUtime=0 /proc/18751/task/18758/stat : 18758 (java) S 18749 18748 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 418137402 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160178512 0 4 0 16800975 18446612132635820224 0 0 -1 0 0 0 0 [pid=18751/tid=18759] ppid=18749 vsize=881468 CPUtime=0.76 /proc/18751/task/18759/stat : 18759 (java) R 18749 18748 13759 34823 13904 4202560 5192 0 0 0 75 1 0 0 17 0 12 0 418137402 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160171715 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18751/tid=18760] ppid=18749 vsize=881468 CPUtime=0.35 /proc/18751/task/18760/stat : 18760 (java) S 18749 18748 13759 34823 13904 4202560 3797 0 0 0 33 2 0 0 15 0 12 0 418137402 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 18446612132635820224 0 0 -1 1 0 0 0 [pid=18751/tid=18761] ppid=18749 vsize=881468 CPUtime=0 /proc/18751/task/18761/stat : 18761 (java) S 18749 18748 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 18 0 12 0 418137402 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 18446612132635820224 0 0 -1 0 0 0 0 [pid=18751/tid=18762] ppid=18749 vsize=881468 CPUtime=0 /proc/18751/task/18762/stat : 18762 (java) S 18749 18748 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418137402 902623232 26231 1283457024 134512640 134550932 4287811856 18446744073709551615 4160171016 0 4 0 16800975 18446612132635820224 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.62 Current children cumulated vsize (KiB) 887848 [startup+3.14129 s] /proc/loadavg: 0.98 1.00 0.99 4/108 18762 /proc/meminfo: memFree=1097580/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=0 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 25 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 [pid=18751] ppid=18749 vsize=885232 CPUtime=5.39 /proc/18751/stat : 18751 (java) S 18749 18748 13759 34823 13904 4202496 53171 0 0 0 515 24 0 0 17 0 12 0 418137395 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4160156818 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18751/statm: 221308 46078 1771 10 0 218395 0 [pid=18751/tid=18752] ppid=18749 vsize=885232 CPUtime=2.32 /proc/18751/task/18752/stat : 18752 (java) R 18749 18748 13759 34823 13904 4202560 15887 0 0 0 218 14 0 0 15 0 12 0 418137396 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4095347914 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18751/tid=18753] ppid=18749 vsize=885232 CPUtime=0.32 /proc/18751/task/18753/stat : 18753 (java) S 18749 18748 13759 34823 13904 4202560 11930 0 0 0 30 2 0 0 16 0 12 0 418137397 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 18446612132635820224 0 0 -1 0 0 0 0 [pid=18751/tid=18754] ppid=18749 vsize=885232 CPUtime=0.29 /proc/18751/task/18754/stat : 18754 (java) R 18749 18748 13759 34823 13904 4202560 10237 0 0 0 28 1 0 0 16 0 12 0 418137397 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4160180935 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18751/tid=18755] ppid=18749 vsize=885232 CPUtime=0.24 /proc/18751/task/18755/stat : 18755 (java) S 18749 18748 13759 34823 13904 4202560 1929 0 0 0 24 0 0 0 15 0 12 0 418137399 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4160171016 0 0 0 16800975 18446612132635820224 0 0 -1 0 0 0 0 [pid=18751/tid=18756] ppid=18749 vsize=885232 CPUtime=0 /proc/18751/task/18756/stat : 18756 (java) S 18749 18748 13759 34823 13904 4202560 17 0 0 0 0 0 0 0 15 0 12 0 418137399 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 18446612132635820224 0 0 -1 1 0 0 0 [pid=18751/tid=18757] ppid=18749 vsize=885232 CPUtime=0 /proc/18751/task/18757/stat : 18757 (java) S 18749 18748 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 15 0 12 0 418137399 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 18446612132635820224 0 0 -1 1 0 0 0 [pid=18751/tid=18758] ppid=18749 vsize=885232 CPUtime=0 /proc/18751/task/18758/stat : 18758 (java) S 18749 18748 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 418137402 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4160178512 0 4 0 16800975 18446612132635820224 0 0 -1 0 0 0 0 [pid=18751/tid=18759] ppid=18749 vsize=885232 CPUtime=1.29 /proc/18751/task/18759/stat : 18759 (java) R 18749 18748 13759 34823 13904 4202560 5309 0 0 0 128 1 0 0 15 0 12 0 418137402 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4148938913 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18751/tid=18760] ppid=18749 vsize=885232 CPUtime=0.89 /proc/18751/task/18760/stat : 18760 (java) R 18749 18748 13759 34823 13904 4202560 6467 0 0 0 86 3 0 0 16 0 12 0 418137402 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4150239401 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=18751/tid=18761] ppid=18749 vsize=885232 CPUtime=0 /proc/18751/task/18761/stat : 18761 (java) S 18749 18748 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 18 0 12 0 418137402 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4160170224 0 4 0 16800975 18446612132635820224 0 0 -1 0 0 0 0 [pid=18751/tid=18762] ppid=18749 vsize=885232 CPUtime=0 /proc/18751/task/18762/stat : 18762 (java) R 18749 18748 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418137402 906477568 46078 1283457024 134512640 134550932 4287811856 18446744073709551615 4160171016 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.39 Current children cumulated vsize (KiB) 891612 [startup+6.30986 s] /proc/loadavg: 0.98 1.00 0.99 2/98 18767 /proc/meminfo: memFree=1218552/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=6.41 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 812 55009 0 0 0 0 607 34 15 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 [pid=18766] ppid=18749 vsize=2884 CPUtime=0 /proc/18766/stat : 18766 (sh) S 18749 18748 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 418137788 2953216 319 1283457024 134512640 135191968 4294607024 18446744073709551615 4159388302 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18766/statm: 721 319 219 166 0 153 0 [pid=18767] ppid=18766 vsize=33092 CPUtime=2.34 /proc/18767/stat : 18767 (msuncore) R 18766 18748 13759 34823 13904 4202496 19065 0 0 0 221 13 0 0 25 0 1 0 418137789 33886208 8048 1283457024 134512640 135858300 4292599520 18446744073709551615 134665962 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18767/statm: 8273 8048 137 329 0 7942 0 Current children cumulated CPU time (s) 8.75 Current children cumulated vsize (KiB) 42356 [startup+12.7114 s] /proc/loadavg: 0.98 1.00 0.99 3/98 18768 /proc/meminfo: memFree=1217948/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=6.41 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 812 55009 0 0 0 0 607 34 15 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 [pid=18766] ppid=18749 vsize=2884 CPUtime=0 /proc/18766/stat : 18766 (sh) S 18749 18748 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 418137788 2953216 319 1283457024 134512640 135191968 4294607024 18446744073709551615 4159388302 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18766/statm: 721 319 219 166 0 153 0 [pid=18767] ppid=18766 vsize=33092 CPUtime=8.73 /proc/18767/stat : 18767 (msuncore) R 18766 18748 13759 34823 13904 4202496 19065 0 0 0 860 13 0 0 25 0 1 0 418137789 33886208 8048 1283457024 134512640 135858300 4292599520 18446744073709551615 134657429 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18767/statm: 8273 8048 137 329 0 7942 0 Current children cumulated CPU time (s) 15.14 Current children cumulated vsize (KiB) 42356 Solver just ended. Dumping a history of the last processes samples [startup+12.9114 s] /proc/loadavg: 0.98 1.00 0.99 3/98 18768 /proc/meminfo: memFree=1217948/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=6.41 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 812 55009 0 0 0 0 607 34 15 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 [pid=18766] ppid=18749 vsize=2884 CPUtime=0 /proc/18766/stat : 18766 (sh) S 18749 18748 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 418137788 2953216 319 1283457024 134512640 135191968 4294607024 18446744073709551615 4159388302 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18766/statm: 721 319 219 166 0 153 0 [pid=18767] ppid=18766 vsize=33092 CPUtime=8.93 /proc/18767/stat : 18767 (msuncore) R 18766 18748 13759 34823 13904 4202496 19065 0 0 0 880 13 0 0 25 0 1 0 418137789 33886208 8048 1283457024 134512640 135858300 4292599520 18446744073709551615 134626765 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18767/statm: 8273 8048 137 329 0 7942 0 Current children cumulated CPU time (s) 15.34 Current children cumulated vsize (KiB) 42356 [startup+13.3115 s] /proc/loadavg: 0.98 1.00 0.99 2/98 18768 /proc/meminfo: memFree=1217948/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=6.41 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 812 55009 0 0 0 0 607 34 15 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 [pid=18766] ppid=18749 vsize=2884 CPUtime=0 /proc/18766/stat : 18766 (sh) S 18749 18748 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 418137788 2953216 319 1283457024 134512640 135191968 4294607024 18446744073709551615 4159388302 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18766/statm: 721 319 219 166 0 153 0 [pid=18767] ppid=18766 vsize=33092 CPUtime=9.33 /proc/18767/stat : 18767 (msuncore) R 18766 18748 13759 34823 13904 4202496 19065 0 0 0 920 13 0 0 25 0 1 0 418137789 33886208 8048 1283457024 134512640 135858300 4292599520 18446744073709551615 134625685 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18767/statm: 8273 8048 137 329 0 7942 0 Current children cumulated CPU time (s) 15.74 Current children cumulated vsize (KiB) 42356 [startup+13.5115 s] /proc/loadavg: 0.98 1.00 0.99 2/98 18768 /proc/meminfo: memFree=1217948/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=4000 CPUtime=6.41 /proc/18749/stat : 18749 (cudf-solver.py) S 18748 18748 13759 34823 13904 4202496 812 55009 0 0 0 0 607 34 15 0 1 0 418137393 4096000 642 1283457024 134512640 135539072 4292628064 18446744073709551615 4158868110 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18749/statm: 1000 642 346 251 0 301 0 [pid=18766] ppid=18749 vsize=2884 CPUtime=0 /proc/18766/stat : 18766 (sh) S 18749 18748 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 17 0 1 0 418137788 2953216 319 1283457024 134512640 135191968 4294607024 18446744073709551615 4159388302 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/18766/statm: 721 319 219 166 0 153 0 [pid=18767] ppid=18766 vsize=33092 CPUtime=9.53 /proc/18767/stat : 18767 (msuncore) R 18766 18748 13759 34823 13904 4202496 19065 0 0 0 940 13 0 0 25 0 1 0 418137789 33886208 8048 1283457024 134512640 135858300 4292599520 18446744073709551615 134625698 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/18767/statm: 8273 8048 137 329 0 7942 0 Current children cumulated CPU time (s) 15.94 Current children cumulated vsize (KiB) 42356 [startup+13.6216 s] /proc/loadavg: 0.98 1.00 0.99 2/98 18768 /proc/meminfo: memFree=1217948/2097152 swapFree=2055620/2097144 [pid=18748] ppid=18747 vsize=2380 CPUtime=0 /proc/18748/stat : 18748 (inescp-1.0) S 18747 18748 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 418137392 2437120 259 1283457024 134512640 135191968 4290954432 18446744073709551615 4159261326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18748/statm: 595 259 221 166 0 27 0 [pid=18749] ppid=18748 vsize=6912 CPUtime=16.05 /proc/18749/stat : 18749 (cudf-solver.py) R 18748 18748 13759 34823 13904 4202496 1704 74452 0 0 5 0 1551 49 16 0 1 0 418137393 7077888 1376 1283457024 134512640 135539072 4292628064 18446744073709551615 135178631 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/18749/statm: 1728 1376 346 251 0 1029 0 Current children cumulated CPU time (s) 16.05 Current children cumulated vsize (KiB) 9292 Child status: 0 Real time (s): 13.6627 CPU time (s): 16.113 CPU user time (s): 15.601 CPU system time (s): 0.512032 CPU usage (%): 117.935 Max. virtual memory (cumulated for all children) (KiB): 893060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.601 system time used= 0.512032 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77777 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= 660 involuntary context switches= 527 runsolver used 0 second user time and 0.012 second system time The end