runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3378771-1305467261/watcher-3378771-1305467261 -o /tmp/evaluation-result-3378771-1305467261/solver-3378771-1305467261 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378771-1305467261.cnf -seed 910139883 -budget 4800 -cores 4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.84 8.53 7.70 7/426 9598
/proc/meminfo: memFree=23607344/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 937 0 0 0 0 0 0 0 22 0 1 0 658325009 16289792 817 33554432000 4194304 5683644 140734740713200 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9598/statm: 3977 819 356 364 0 464 0
[startup+0.0439599 s]
/proc/loadavg: 7.84 8.53 7.70 7/426 9598
/proc/meminfo: memFree=23607344/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=27344 CPUtime=0.02 cores=0,2,4,6
/proc/9598/stat : 9598 (python) S 9596 9598 8625 0 -1 4202496 1349 0 0 0 2 0 0 0 23 0 1 0 658325009 28000256 1196 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/9598/statm: 6836 1196 440 364 0 723 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27344
[startup+0.100957 s]
/proc/loadavg: 7.84 8.53 7.70 7/426 9598
/proc/meminfo: memFree=23607344/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=104612 CPUtime=0.07 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 3141 0 0 0 5 2 0 0 23 0 1 0 658325009 107122688 2821 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970548224 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9598/statm: 26153 2821 847 364 0 1901 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104612
[startup+0.300911 s]
/proc/loadavg: 7.84 8.53 7.70 7/426 9598
/proc/meminfo: memFree=23607344/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=198916 CPUtime=0.23 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 7018 931 1 0 16 7 0 0 17 0 1 0 658325009 203689984 5053 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970210301 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9598/statm: 49729 5053 1466 364 0 3756 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 198916
[startup+0.700818 s]
/proc/loadavg: 7.84 8.53 7.70 7/426 9598
/proc/meminfo: memFree=23607344/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=366868 CPUtime=0.6 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 31307 931 1 0 47 13 0 0 17 0 1 0 658325009 375672832 28990 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970211013 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9598/statm: 91717 28990 1761 364 0 27641 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 366868
[startup+1.50068 s]
/proc/loadavg: 7.69 8.49 7.70 7/427 9603
/proc/meminfo: memFree=23478872/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=418588 CPUtime=1.4 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 43769 931 1 0 125 15 0 0 18 0 1 0 658325009 428634112 41452 33554432000 4194304 5683644 140734740713200 18446744073709551615 4295807 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9598/statm: 104647 41453 1761 364 0 40571 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 418588
[startup+3.1004 s]
/proc/loadavg: 7.69 8.49 7.70 7/427 9603
/proc/meminfo: memFree=23404224/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=520772 CPUtime=3 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 68693 931 1 0 281 19 0 0 21 0 1 0 658325009 533270528 66376 33554432000 4194304 5683644 140734740713200 18446744073709551615 4603005 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9598/statm: 130193 66376 1761 364 0 66117 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 520772
[startup+25.0626 s]
/proc/loadavg: 8.43 8.61 7.75 7/427 9603
/proc/meminfo: memFree=22882640/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=960064 CPUtime=24.97 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 341330 931 1 0 2443 54 0 0 25 0 1 0 658325009 983105536 177433 33554432000 4194304 5683644 140734740713200 18446744073709551615 4602366 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9598/statm: 240016 177433 1826 364 0 175940 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 960064
[startup+25.1156 s]
/proc/loadavg: 8.43 8.61 7.75 7/427 9603
/proc/meminfo: memFree=22882640/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=960064 CPUtime=25.01 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 341330 931 1 0 2447 54 0 0 25 0 1 0 658325009 983105536 177433 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970210215 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9598/statm: 240016 177433 1826 364 0 175940 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 960064
[startup+25.5006 s]
/proc/loadavg: 8.43 8.61 7.75 7/427 9603
/proc/meminfo: memFree=22882640/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=960064 CPUtime=25.4 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 341330 931 1 0 2486 54 0 0 25 0 1 0 658325009 983105536 177433 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970206380 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9598/statm: 240016 177433 1826 364 0 175940 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 960064
[startup+51.1001 s]
/proc/loadavg: 7.90 8.47 7.73 7/427 9604
/proc/meminfo: memFree=22875908/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=960064 CPUtime=51 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 341330 931 1 0 5046 54 0 0 25 0 1 0 658325009 983105536 177433 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970208896 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9598/statm: 240016 177433 1826 364 0 175940 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 960064
[startup+102.3 s]
/proc/loadavg: 6.76 8.06 7.63 7/431 9609
/proc/meminfo: memFree=22826488/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=960064 CPUtime=102.2 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 341331 931 1 0 10166 54 0 0 25 0 1 0 658325009 983105536 177434 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970209715 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9598/statm: 240016 177434 1827 364 0 175940 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 960064
[startup+162.301 s]
/proc/loadavg: 6.37 7.71 7.53 7/431 9611
/proc/meminfo: memFree=22774908/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=988460 CPUtime=162.2 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 369701 931 1 0 16162 58 0 0 25 0 1 0 658325009 1012183040 184539 33554432000 4194304 5683644 140734740713200 18446744073709551615 47772633475212 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9598/statm: 247115 184539 1833 364 0 183039 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 988460
[startup+222.301 s]
/proc/loadavg: 7.97 7.91 7.61 10/443 9625
/proc/meminfo: memFree=21681152/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=716564 CPUtime=168.36 cores=0,2,4,6
/proc/9598/stat : 9598 (python) S 9596 9598 8625 0 -1 4202496 372338 931 1 0 16772 64 0 0 21 0 5 0 658325009 733761536 106362 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9598/statm: 179141 106362 1873 364 0 115050 0
[pid=9612] ppid=9598 vsize=675552 CPUtime=0.17 cores=0,2,4,6
/proc/9612/stat : 9612 (python) S 9598 9598 8625 0 -1 4202560 935 0 0 0 9 8 0 0 18 0 1 0 658341848 691765248 104849 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570255 0 0 16781312 514 16991993433138626818 0 0 17 2 0 0 0
/proc/9612/statm: 168888 104849 376 364 0 104806 0
[pid=9614] ppid=9612 vsize=122992 CPUtime=26.88 cores=0,2,4,6
/proc/9614/stat : 9614 (lingeling) R 9612 9614 9614 0 -1 4202496 57055 0 0 0 2679 9 0 0 25 0 1 0 658341850 125943808 29918 33554432000 4194304 4352236 140735659767152 18446744073709551615 4287577 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/9614/statm: 30748 29918 129 39 0 29828 0
[pid=9615] ppid=9598 vsize=685808 CPUtime=0.17 cores=0,2,4,6
/proc/9615/stat : 9615 (python) S 9598 9598 8625 0 -1 4202560 925 0 0 0 9 8 0 0 18 0 1 0 658341850 702267392 104847 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 16991993433138626819 0 0 17 6 0 0 0
/proc/9615/statm: 171452 104847 370 364 0 107367 0
[pid=9617] ppid=9615 vsize=121520 CPUtime=52.91 cores=0,2,4,6
/proc/9617/stat : 9617 (lingeling) R 9615 9617 9617 0 -1 4202496 69101 0 0 0 5280 11 0 0 25 0 1 0 658341851 124436480 29550 33554432000 4194304 4352236 140733420457168 18446744073709551615 4207744 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/9617/statm: 30380 29550 129 39 0 29460 0
[pid=9618] ppid=9598 vsize=696064 CPUtime=0.17 cores=0,2,4,6
/proc/9618/stat : 9618 (python) S 9598 9598 8625 0 -1 4202560 947 0 0 0 7 10 0 0 15 0 1 0 658341852 712769536 104851 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 16991993433138626818 0 0 17 0 0 0 0
/proc/9618/statm: 174016 104851 370 364 0 109928 0
[pid=9622] ppid=9618 vsize=810804 CPUtime=26.81 cores=0,2,4,6
/proc/9622/stat : 9622 (cryptominisat-2) R 9618 9622 9622 0 -1 4202496 174469 0 0 0 2655 26 0 0 25 0 1 0 658341855 830263296 166629 33554432000 4194304 4677096 140735278895008 18446744073709551615 4320006 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9622/statm: 202701 166629 387 118 0 197660 0
[pid=9620] ppid=9598 vsize=706320 CPUtime=0.17 cores=0,2,4,6
/proc/9620/stat : 9620 (python) S 9598 9598 8625 0 -1 4202560 946 0 0 0 7 10 0 0 18 0 1 0 658341854 723271680 104855 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 16991993433138626819 0 0 17 2 0 0 0
/proc/9620/statm: 176580 104855 370 364 0 112489 0
[pid=9623] ppid=9620 vsize=462628 CPUtime=53.41 cores=0,2,4,6
/proc/9623/stat : 9623 (precosat) R 9620 9623 9623 0 -1 4202496 117082 0 0 0 5318 23 0 0 25 0 1 0 658341856 473731072 112808 33554432000 4194304 4890832 140736266350752 18446744073709551615 4291474 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/9623/statm: 115657 112808 86 171 0 115484 0
[pid=9598/tid=9613] ppid=9596 vsize=716564 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9613/stat : 9613 (python) S 9596 9598 8625 0 -1 4202560 30 931 0 0 0 0 0 0 25 0 5 0 658341849 733761536 106362 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 2 0 0 0
[pid=9598/tid=9616] ppid=9596 vsize=716564 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9616/stat : 9616 (python) S 9596 9598 8625 0 -1 4202560 20 931 0 0 0 0 0 0 20 0 5 0 658341851 733761536 106362 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 2 0 0 0
[pid=9598/tid=9619] ppid=9596 vsize=716564 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9619/stat : 9619 (python) S 9596 9598 8625 0 -1 4202560 35 931 0 0 0 0 0 0 20 0 5 0 658341853 733761536 106362 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
[pid=9598/tid=9621] ppid=9596 vsize=716564 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9621/stat : 9621 (python) S 9596 9598 8625 0 -1 4202560 20 931 0 0 0 0 0 0 22 0 5 0 658341855 733761536 106362 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 329.05
Current children cumulated vsize (KiB) 4998252
[startup+282.301 s]
/proc/loadavg: 8.77 8.15 7.71 10/448 9631
/proc/meminfo: memFree=20751104/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=726820 CPUtime=168.39 cores=0,2,4,6
/proc/9598/stat : 9598 (python) S 9596 9598 8625 0 -1 4202496 373604 931 1 0 16773 66 0 0 18 0 6 0 658325009 744263680 106369 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9598/statm: 181705 106369 1876 364 0 117611 0
[pid=9612] ppid=9598 vsize=675552 CPUtime=0.36 cores=0,2,4,6
/proc/9612/stat : 9612 (python) S 9598 9598 8625 0 -1 4202560 954 0 0 0 18 18 0 0 18 0 1 0 658341848 691765248 104849 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570255 0 0 16781312 514 16991993433138626818 0 0 17 2 0 0 0
/proc/9612/statm: 168888 104849 376 364 0 104806 0
[pid=9614] ppid=9612 vsize=136464 CPUtime=63.12 cores=0,2,4,6
/proc/9614/stat : 9614 (lingeling) R 9612 9614 9614 0 -1 4202496 72835 0 0 0 6301 11 0 0 25 0 1 0 658341850 139739136 33286 33554432000 4194304 4352236 140735659767152 18446744073709551615 4207874 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/9614/statm: 34116 33286 129 39 0 33196 0
[pid=9615] ppid=9598 vsize=685808 CPUtime=0.36 cores=0,2,4,6
/proc/9615/stat : 9615 (python) S 9598 9598 8625 0 -1 4202560 1103 0 0 0 18 18 0 0 18 0 2 0 658341850 702267392 104877 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/9615/statm: 171452 104877 399 364 0 107367 0
[pid=9617] ppid=9615 vsize=154976 CPUtime=99.93 cores=0,2,4,6
/proc/9617/stat : 9617 (lingeling) R 9615 9617 9617 0 -1 4202496 88888 0 0 0 9980 13 0 0 25 0 1 0 658341851 158695424 37914 33554432000 4194304 4352236 140733420457168 18446744073709551615 4205880 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/9617/statm: 38744 37914 129 39 0 37824 0
[pid=9615/tid=9631] ppid=9598 vsize=685808 CPUtime=0 cores=0,2,4,6
/proc/9615/task/9631/stat : 9631 (python) S 9598 9598 8625 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658353088 702267392 104877 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604447589459968 0 0 -1 6 0 0 0
[pid=9618] ppid=9598 vsize=696064 CPUtime=0.39 cores=0,2,4,6
/proc/9618/stat : 9618 (python) S 9598 9598 8625 0 -1 4202560 969 0 0 0 17 22 0 0 15 0 1 0 658341852 712769536 104851 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 12685039265667580162 0 0 17 0 0 0 0
/proc/9618/statm: 174016 104851 370 364 0 109928 0
################
# More data... #
################
/proc/meminfo: memFree=19119188/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=747332 CPUtime=168.43 cores=0,2,4,6
/proc/9598/stat : 9598 (python) S 9596 9598 8625 0 -1 4202496 375214 931 1 0 16775 68 0 0 18 0 8 0 658325009 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9598/statm: 186833 106381 1880 364 0 122733 0
[pid=9612] ppid=9598 vsize=685796 CPUtime=2.41 cores=0,2,4,6
/proc/9612/stat : 9612 (python) S 9598 9598 8625 0 -1 4202560 1201 0 0 0 126 115 0 0 19 0 2 0 658341848 702255104 104892 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/9612/statm: 171449 104892 414 364 0 107367 0
[pid=9614] ppid=9612 vsize=156260 CPUtime=486.26 cores=0,2,4,6
/proc/9614/stat : 9614 (lingeling) T 9612 9614 9614 0 -1 4202496 144284 0 0 0 48596 30 0 0 25 0 1 0 658341850 160010240 37830 33554432000 4194304 4352236 140735659767152 18446744073709551615 4328390 0 0 16781312 17506 18446744071562691360 0 0 17 2 0 0 0
/proc/9614/statm: 39065 37830 129 39 0 38145 0
[pid=9612/tid=9672] ppid=9598 vsize=685796 CPUtime=0 cores=0,2,4,6
/proc/9612/task/9672/stat : 9672 (python) S 9598 9598 8625 0 -1 4202560 114 0 0 0 0 0 0 0 19 0 2 0 658417282 702255104 104892 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604447589459072 0 0 -1 4 0 0 0
[pid=9615] ppid=9598 vsize=685808 CPUtime=2.96 cores=0,2,4,6
/proc/9615/stat : 9615 (python) S 9598 9598 8625 0 -1 4202560 1158 0 0 0 144 152 0 0 18 0 2 0 658341850 702267392 104877 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/9615/statm: 171452 104877 399 364 0 107367 0
[pid=9617] ppid=9615 vsize=164896 CPUtime=737.91 cores=0,2,4,6
/proc/9617/stat : 9617 (lingeling) R 9615 9617 9617 0 -1 4202496 197621 0 0 0 73758 33 0 0 25 0 1 0 658341851 168853504 38347 33554432000 4194304 4352236 140733420457168 18446744073709551615 4235771 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/9617/statm: 41224 38347 129 39 0 40304 0
[pid=9615/tid=9631] ppid=9598 vsize=685808 CPUtime=0 cores=0,2,4,6
/proc/9615/task/9631/stat : 9631 (python) S 9598 9598 8625 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658353088 702267392 104877 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604447589459968 0 0 -1 6 0 0 0
[pid=9618] ppid=9598 vsize=696064 CPUtime=1.83 cores=0,2,4,6
/proc/9618/stat : 9618 (python) S 9598 9598 8625 0 -1 4202560 1158 0 0 0 92 91 0 0 17 0 2 0 658341852 712769536 104881 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 174016 104881 399 364 0 109928 0
[pid=9622] ppid=9618 vsize=2874100 CPUtime=486.69 cores=0,2,4,6
/proc/9622/stat : 9622 (cryptominisat-2) T 9618 9622 9622 0 -1 4202496 614265 0 0 0 48581 88 0 0 25 0 1 0 658341855 2943078400 582416 33554432000 4194304 4677096 140735278895008 18446744073709551615 4318809 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/9622/statm: 718525 582416 393 118 0 713484 0
[pid=9618/tid=9651] ppid=9598 vsize=696064 CPUtime=0 cores=0,2,4,6
/proc/9618/task/9651/stat : 9651 (python) S 9598 9598 8625 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 658394568 712769536 104881 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604450920998208 0 0 -1 0 0 0 0
[pid=9620] ppid=9598 vsize=706320 CPUtime=1.22 cores=0,2,4,6
/proc/9620/stat : 9620 (python) S 9598 9598 8625 0 -1 4202560 1153 0 0 0 59 63 0 0 18 0 2 0 658341854 723271680 104885 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/9620/statm: 176580 104885 399 364 0 112489 0
[pid=9623] ppid=9620 vsize=479012 CPUtime=323.76 cores=0,2,4,6
/proc/9623/stat : 9623 (precosat) R 9620 9623 9623 0 -1 4202496 118710 0 0 0 32350 26 0 0 25 0 1 0 658341856 490508288 114436 33554432000 4194304 4890832 140736266350752 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/9623/statm: 119753 114436 86 171 0 119580 0
[pid=9620/tid=9627] ppid=9598 vsize=706320 CPUtime=0 cores=0,2,4,6
/proc/9620/task/9627/stat : 9627 (python) S 9598 9598 8625 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 658351892 723271680 104885 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604450921000000 0 0 -1 2 0 0 0
[pid=9628] ppid=9598 vsize=716576 CPUtime=4.42 cores=0,2,4,6
/proc/9628/stat : 9628 (python) R 9598 9598 8625 0 -1 4202560 1031 0 0 0 275 167 0 0 17 0 1 0 658351893 733773824 104860 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/9628/statm: 179144 104860 371 364 0 115050 0
[pid=9630] ppid=9628 vsize=0 CPUtime=682.97 cores=0,2,4,6
/proc/9630/stat : 9630 (cryptominisat-2) R 9628 9630 9630 0 -1 4202500 653093 0 0 0 68193 104 0 0 25 0 1 0 658351894 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9630/statm: 0 0 0 0 0 0 0
[pid=9652] ppid=9598 vsize=726832 CPUtime=0.37 cores=0,2,4,6
/proc/9652/stat : 9652 (python) S 9598 9598 8625 0 -1 4202560 1121 0 0 0 20 17 0 0 19 0 2 0 658394569 744275968 104893 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/9652/statm: 181708 104893 399 364 0 117611 0
[pid=9654] ppid=9652 vsize=143452 CPUtime=98 cores=0,2,4,6
/proc/9654/stat : 9654 (lingeling) T 9652 9654 9654 0 -1 4202496 86237 0 0 0 9787 13 0 0 25 0 1 0 658394570 146894848 35033 33554432000 4194304 4352236 140735090331072 18446744073709551615 4207615 0 0 16781312 17506 18446744071562691360 0 0 17 0 0 0 0
/proc/9654/statm: 35863 35033 129 39 0 34943 0
[pid=9652/tid=9668] ppid=9598 vsize=726832 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9668/stat : 9668 (python) S 9598 9598 8625 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 658405807 744275968 104893 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604445755631552 0 0 -1 0 0 0 0
[pid=9673] ppid=9598 vsize=737088 CPUtime=0.5 cores=0,2,4,6
/proc/9673/stat : 9673 (python) S 9598 9598 8625 0 -1 4202560 1145 0 0 0 26 24 0 0 18 0 2 0 658417283 754778112 104897 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/9673/statm: 184272 104897 399 364 0 120172 0
[pid=9675] ppid=9673 vsize=455920 CPUtime=119.09 cores=0,2,4,6
/proc/9675/stat : 9675 (precosat) R 9673 9675 9675 0 -1 4202496 116482 0 0 0 11887 22 0 0 25 0 1 0 658417284 466862080 112145 33554432000 4194304 4890832 140736817622208 18446744073709551615 4238312 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/9675/statm: 113980 112145 86 171 0 113807 0
[pid=9673/tid=9679] ppid=9598 vsize=737088 CPUtime=0 cores=0,2,4,6
/proc/9673/task/9679/stat : 9679 (python) S 9598 9598 8625 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 658428422 754778112 104897 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604442585998528 0 0 -1 6 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9613/stat : 9613 (python) S 9596 9598 8625 0 -1 4202560 30 931 0 0 0 0 0 0 25 0 8 0 658341849 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 2 0 0 0
[pid=9598/tid=9616] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9616/stat : 9616 (python) S 9596 9598 8625 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 8 0 658341851 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 2 0 0 0
[pid=9598/tid=9619] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9619/stat : 9619 (python) S 9596 9598 8625 0 -1 4202560 35 931 0 0 0 0 0 0 20 0 8 0 658341853 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
[pid=9598/tid=9621] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9621/stat : 9621 (python) S 9596 9598 8625 0 -1 4202560 24 931 0 0 0 0 0 0 18 0 8 0 658341855 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
[pid=9598/tid=9629] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9629/stat : 9629 (python) S 9596 9598 8625 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 658351894 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
[pid=9598/tid=9653] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9653/stat : 9653 (python) S 9596 9598 8625 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 8 0 658394570 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
[pid=9598/tid=9674] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9674/stat : 9674 (python) S 9596 9598 8625 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 8 0 658417284 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3116.82
Current children cumulated vsize (KiB) 9975456
[startup+1075.3 s]
/proc/loadavg: 9.38 9.18 8.58 12/467 9680
/proc/meminfo: memFree=19119188/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=747332 CPUtime=168.43 cores=0,2,4,6
/proc/9598/stat : 9598 (python) S 9596 9598 8625 0 -1 4202496 375214 931 1 0 16775 68 0 0 18 0 8 0 658325009 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9598/statm: 186833 106381 1880 364 0 122733 0
[pid=9612] ppid=9598 vsize=685796 CPUtime=2.41 cores=0,2,4,6
/proc/9612/stat : 9612 (python) S 9598 9598 8625 0 -1 4202560 1201 0 0 0 126 115 0 0 19 0 2 0 658341848 702255104 104892 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/9612/statm: 171449 104892 414 364 0 107367 0
[pid=9614] ppid=9612 vsize=156260 CPUtime=486.26 cores=0,2,4,6
/proc/9614/stat : 9614 (lingeling) T 9612 9614 9614 0 -1 4202496 144284 0 0 0 48596 30 0 0 25 0 1 0 658341850 160010240 37830 33554432000 4194304 4352236 140735659767152 18446744073709551615 4328390 0 0 16781312 17506 18446744071562691360 0 0 17 2 0 0 0
/proc/9614/statm: 39065 37830 129 39 0 38145 0
[pid=9612/tid=9672] ppid=9598 vsize=685796 CPUtime=0 cores=0,2,4,6
/proc/9612/task/9672/stat : 9672 (python) S 9598 9598 8625 0 -1 4202560 114 0 0 0 0 0 0 0 19 0 2 0 658417282 702255104 104892 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604447589459072 0 0 -1 4 0 0 0
[pid=9615] ppid=9598 vsize=685808 CPUtime=2.96 cores=0,2,4,6
/proc/9615/stat : 9615 (python) S 9598 9598 8625 0 -1 4202560 1158 0 0 0 144 152 0 0 18 0 2 0 658341850 702267392 104877 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/9615/statm: 171452 104877 399 364 0 107367 0
[pid=9617] ppid=9615 vsize=164668 CPUtime=738.29 cores=0,2,4,6
/proc/9617/stat : 9617 (lingeling) R 9615 9617 9617 0 -1 4202496 197621 0 0 0 73796 33 0 0 25 0 1 0 658341851 168620032 38290 33554432000 4194304 4352236 140733420457168 18446744073709551615 4328447 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/9617/statm: 41167 38290 129 39 0 40247 0
[pid=9615/tid=9631] ppid=9598 vsize=685808 CPUtime=0 cores=0,2,4,6
/proc/9615/task/9631/stat : 9631 (python) S 9598 9598 8625 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658353088 702267392 104877 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604447589459968 0 0 -1 6 0 0 0
[pid=9618] ppid=9598 vsize=696064 CPUtime=1.83 cores=0,2,4,6
/proc/9618/stat : 9618 (python) S 9598 9598 8625 0 -1 4202560 1158 0 0 0 92 91 0 0 17 0 2 0 658341852 712769536 104881 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/9618/statm: 174016 104881 399 364 0 109928 0
[pid=9622] ppid=9618 vsize=2874100 CPUtime=486.69 cores=0,2,4,6
/proc/9622/stat : 9622 (cryptominisat-2) T 9618 9622 9622 0 -1 4202496 614265 0 0 0 48581 88 0 0 25 0 1 0 658341855 2943078400 582416 33554432000 4194304 4677096 140735278895008 18446744073709551615 4318809 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/9622/statm: 718525 582416 393 118 0 713484 0
[pid=9618/tid=9651] ppid=9598 vsize=696064 CPUtime=0 cores=0,2,4,6
/proc/9618/task/9651/stat : 9651 (python) S 9598 9598 8625 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 658394568 712769536 104881 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604450920998208 0 0 -1 0 0 0 0
[pid=9620] ppid=9598 vsize=706320 CPUtime=1.22 cores=0,2,4,6
/proc/9620/stat : 9620 (python) S 9598 9598 8625 0 -1 4202560 1153 0 0 0 59 63 0 0 18 0 2 0 658341854 723271680 104885 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/9620/statm: 176580 104885 399 364 0 112489 0
[pid=9623] ppid=9620 vsize=479012 CPUtime=324.54 cores=0,2,4,6
/proc/9623/stat : 9623 (precosat) R 9620 9623 9623 0 -1 4202496 118710 0 0 0 32428 26 0 0 25 0 1 0 658341856 490508288 114436 33554432000 4194304 4890832 140736266350752 18446744073709551615 4238327 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/9623/statm: 119753 114436 86 171 0 119580 0
[pid=9620/tid=9627] ppid=9598 vsize=706320 CPUtime=0 cores=0,2,4,6
/proc/9620/task/9627/stat : 9627 (python) S 9598 9598 8625 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 658351892 723271680 104885 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604450921000000 0 0 -1 2 0 0 0
[pid=9628] ppid=9598 vsize=716576 CPUtime=5.21 cores=0,2,4,6
/proc/9628/stat : 9628 (python) R 9598 9598 8625 0 -1 4202560 1031 0 0 0 337 184 0 0 18 0 1 0 658351893 733773824 104860 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982380351 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/9628/statm: 179144 104860 371 364 0 115050 0
[pid=9630] ppid=9628 vsize=0 CPUtime=682.97 cores=0,2,4,6
/proc/9630/stat : 9630 (cryptominisat-2) R 9628 9630 9630 0 -1 4202500 653093 0 0 0 68193 104 0 0 25 0 1 0 658351894 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9630/statm: 0 0 0 0 0 0 0
[pid=9652] ppid=9598 vsize=726832 CPUtime=0.37 cores=0,2,4,6
/proc/9652/stat : 9652 (python) S 9598 9598 8625 0 -1 4202560 1121 0 0 0 20 17 0 0 19 0 2 0 658394569 744275968 104893 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/9652/statm: 181708 104893 399 364 0 117611 0
[pid=9654] ppid=9652 vsize=143452 CPUtime=98 cores=0,2,4,6
/proc/9654/stat : 9654 (lingeling) T 9652 9654 9654 0 -1 4202496 86237 0 0 0 9787 13 0 0 25 0 1 0 658394570 146894848 35033 33554432000 4194304 4352236 140735090331072 18446744073709551615 4207615 0 0 16781312 17506 18446744071562691360 0 0 17 0 0 0 0
/proc/9654/statm: 35863 35033 129 39 0 34943 0
[pid=9652/tid=9668] ppid=9598 vsize=726832 CPUtime=0 cores=0,2,4,6
/proc/9652/task/9668/stat : 9668 (python) S 9598 9598 8625 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 658405807 744275968 104893 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604445755631552 0 0 -1 0 0 0 0
[pid=9673] ppid=9598 vsize=737088 CPUtime=0.5 cores=0,2,4,6
/proc/9673/stat : 9673 (python) S 9598 9598 8625 0 -1 4202560 1145 0 0 0 26 24 0 0 18 0 2 0 658417283 754778112 104897 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970570310 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/9673/statm: 184272 104897 399 364 0 120172 0
[pid=9675] ppid=9673 vsize=455920 CPUtime=119.49 cores=0,2,4,6
/proc/9675/stat : 9675 (precosat) R 9673 9675 9675 0 -1 4202496 116482 0 0 0 11927 22 0 0 25 0 1 0 658417284 466862080 112145 33554432000 4194304 4890832 140736817622208 18446744073709551615 4238327 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/9675/statm: 113980 112145 86 171 0 113807 0
[pid=9673/tid=9679] ppid=9598 vsize=737088 CPUtime=0 cores=0,2,4,6
/proc/9673/task/9679/stat : 9679 (python) S 9598 9598 8625 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 658428422 754778112 104897 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 514 18446604442585998528 0 0 -1 6 0 0 0
[pid=9598/tid=9613] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9613/stat : 9613 (python) S 9596 9598 8625 0 -1 4202560 30 931 0 0 0 0 0 0 25 0 8 0 658341849 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 2 0 0 0
[pid=9598/tid=9616] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9616/stat : 9616 (python) S 9596 9598 8625 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 8 0 658341851 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 2 0 0 0
[pid=9598/tid=9619] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9619/stat : 9619 (python) S 9596 9598 8625 0 -1 4202560 35 931 0 0 0 0 0 0 20 0 8 0 658341853 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
[pid=9598/tid=9621] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9621/stat : 9621 (python) S 9596 9598 8625 0 -1 4202560 24 931 0 0 0 0 0 0 18 0 8 0 658341855 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
[pid=9598/tid=9629] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9629/stat : 9629 (python) S 9596 9598 8625 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 658351894 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
[pid=9598/tid=9653] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9653/stat : 9653 (python) S 9596 9598 8625 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 8 0 658394570 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
[pid=9598/tid=9674] ppid=9596 vsize=747332 CPUtime=0 cores=0,2,4,6
/proc/9598/task/9674/stat : 9674 (python) S 9596 9598 8625 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 8 0 658417284 765267968 106381 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 2 18446604445755629760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3119.17
Current children cumulated vsize (KiB) 9975228
[startup+1075.7 s]
/proc/loadavg: 9.67 9.25 8.60 10/466 9681
/proc/meminfo: memFree=21421172/32951132 swapFree=67093844/67111528
[pid=9598] ppid=9596 vsize=747256 CPUtime=3120.23 cores=0,2,4,6
/proc/9598/stat : 9598 (python) R 9596 9598 8625 0 -1 4202496 436405 1939951 1 0 16781 72 294180 990 16 0 6 0 658325009 765190144 106371 33554432000 4194304 5683644 140734740713200 18446744073709551615 242970205623 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/9598/statm: 186814 106371 1870 364 0 122733 0
[pid=9598/tid=9619] ppid=9596 vsize=747256 CPUtime=2951.7 cores=0,2,4,6
/proc/9598/task/9619/stat : 9619 (python) S 9596 9598 8625 0 -1 4202560 36 1939951 0 0 0 0 294180 990 18 0 6 0 658341853 765190144 106371 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 0 18446604445755629760 0 0 -1 4 0 0 0
[pid=9598/tid=9621] ppid=9596 vsize=747256 CPUtime=2951.7 cores=0,2,4,6
/proc/9598/task/9621/stat : 9621 (python) S 9596 9598 8625 0 -1 4202560 26 1939951 0 0 0 0 294180 990 18 0 6 0 658341855 765190144 106371 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 0 18446604445755629760 0 0 -1 6 0 0 0
[pid=9598/tid=9629] ppid=9596 vsize=747256 CPUtime=2951.7 cores=0,2,4,6
/proc/9598/task/9629/stat : 9629 (python) S 9596 9598 8625 0 -1 4202560 32 1939951 0 0 0 0 294180 990 18 0 6 0 658351894 765190144 106371 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 0 18446604445755629760 0 0 -1 4 0 0 0
[pid=9598/tid=9653] ppid=9596 vsize=747256 CPUtime=2951.7 cores=0,2,4,6
/proc/9598/task/9653/stat : 9653 (python) S 9596 9598 8625 0 -1 4202560 26 1939951 0 0 0 0 294180 990 18 0 6 0 658394570 765190144 106371 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 0 18446604445755629760 0 0 -1 6 0 0 0
[pid=9598/tid=9674] ppid=9596 vsize=747256 CPUtime=2951.7 cores=0,2,4,6
/proc/9598/task/9674/stat : 9674 (python) S 9596 9598 8625 0 -1 4202560 31 1939951 0 0 0 0 294180 990 18 0 6 0 658417284 765190144 106371 33554432000 4194304 5683644 140734740713200 18446744073709551615 242982373809 0 0 16781312 0 18446604445755629760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3120.23
Current children cumulated vsize (KiB) 747256
Child status: 0
Real time (s): 1075.76
CPU time (s): 3120.31
CPU user time (s): 3109.64
CPU system time (s): 10.6734
CPU usage (%): 290.056
Max. virtual memory (cumulated for all children) (KiB): 13044152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3109.64
system time used= 10.6734
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2401029
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5686
involuntary context switches= 25073
runsolver used 4.53431 second user time and 10.8583 second system time
The end