runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3481738-1307577257/watcher-3481738-1307577257 -o /tmp/evaluation-result-3481738-1307577257/solver-3481738-1307577257 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481738-1307577257.opb -seed 1439643868 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.00 1.90 1.18 3/557 1379
/proc/meminfo: memFree=26752084/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/1379/stat : 1379 (python) R 1377 1379 32706 0 -1 4202496 836 0 0 0 0 0 0 0 17 0 1 0 869326210 16158720 720 33554432000 4194304 5683644 140736523433808 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1379/statm: 3945 721 334 364 0 432 0
[startup+0.0749891 s]
/proc/loadavg: 2.00 1.90 1.18 3/557 1379
/proc/meminfo: memFree=26752084/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=84488 CPUtime=0.04 cores=1,3,5,7
/proc/1379/stat : 1379 (python) R 1377 1379 32706 0 -1 4202496 2194 0 0 0 3 1 0 0 17 0 1 0 869326210 86515712 1943 33554432000 4194304 5683644 140736523433808 18446744073709551615 230804197668 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1379/statm: 21122 1945 567 364 0 1326 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84488
[startup+0.100978 s]
/proc/loadavg: 2.00 1.90 1.18 3/557 1379
/proc/meminfo: memFree=26752084/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/1379/stat : 1379 (python) R 1377 1379 32706 0 -1 4202496 3168 928 1 0 5 2 0 0 18 0 1 0 869326210 98430976 2483 33554432000 4194304 5683644 140736523433808 18446744073709551615 5177539 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1379/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.30094 s]
/proc/loadavg: 2.00 1.90 1.18 3/557 1379
/proc/meminfo: memFree=26752084/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=190664 CPUtime=0.22 cores=1,3,5,7
/proc/1379/stat : 1379 (python) R 1377 1379 32706 0 -1 4202496 6476 928 1 0 17 5 0 0 17 0 1 0 869326210 195239936 4770 33554432000 4194304 5683644 140736523433808 18446744073709551615 230804202984 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1379/statm: 47666 4771 1341 364 0 3676 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 190664
[startup+0.700867 s]
/proc/loadavg: 2.00 1.90 1.18 3/557 1379
/proc/meminfo: memFree=26752084/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=291072 CPUtime=0.58 cores=1,3,5,7
/proc/1379/stat : 1379 (python) R 1377 1379 32706 0 -1 4202496 11293 928 1 0 49 9 0 0 17 0 1 0 869326210 298057728 9063 33554432000 4194304 5683644 140736523433808 18446744073709551615 4602441 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1379/statm: 72768 9064 1781 364 0 7661 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 291072
[startup+1.5007 s]
/proc/loadavg: 2.00 1.90 1.18 3/558 1386
/proc/meminfo: memFree=26699144/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=297288 CPUtime=1.38 cores=1,3,5,7
/proc/1379/stat : 1379 (python) R 1377 1379 32706 0 -1 4202496 15616 928 1 0 129 9 0 0 18 0 1 0 869326210 304422912 10682 33554432000 4194304 5683644 140736523433808 18446744073709551615 230808833034 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/1379/statm: 74322 10682 1816 364 0 9215 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 297288
[startup+3.1004 s]
/proc/loadavg: 2.00 1.90 1.19 3/561 1389
/proc/meminfo: memFree=26675944/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=307720 CPUtime=1.62 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 15937 928 1 0 153 9 0 0 20 0 2 0 869326210 315105280 10771 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1379/statm: 76930 10771 1872 364 0 11817 0
[pid=1387] ppid=1379 vsize=297476 CPUtime=0 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 748 0 0 0 0 0 0 0 18 0 1 0 869326384 304615424 9246 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185807 0 0 16781312 33554946 2598673093475926277 0 0 17 7 0 0 0
/proc/1387/statm: 74369 9246 351 364 0 9256 0
[pid=1389] ppid=1387 vsize=7252 CPUtime=1.35 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) R 1387 1389 1389 0 -1 4202496 2374 0 0 0 135 0 0 0 19 0 1 0 869326384 7426048 1346 33554432000 134512640 135751879 4290856240 18446744073709551615 134541766 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1389/statm: 1813 1346 142 303 0 1508 0
[pid=1379/tid=1388] ppid=1377 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 2 0 869326384 315105280 10771 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 612448
[startup+6.30082 s]
/proc/loadavg: 2.00 1.90 1.19 3/561 1389
/proc/meminfo: memFree=26612240/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=307720 CPUtime=1.62 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 15937 928 1 0 153 9 0 0 20 0 2 0 869326210 315105280 10771 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1379/statm: 76930 10771 1872 364 0 11817 0
[pid=1387] ppid=1379 vsize=297476 CPUtime=0.01 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 913 0 0 0 0 1 0 0 15 0 1 0 869326384 304615424 9270 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185807 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/1387/statm: 74369 9270 375 364 0 9256 0
[pid=1389] ppid=1387 vsize=13036 CPUtime=4.55 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) R 1387 1389 1389 0 -1 4202496 3846 0 0 0 447 8 0 0 25 0 1 0 869326384 13348864 2818 33554432000 134512640 135751879 4290856240 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1389/statm: 3259 2818 146 303 0 2954 0
[pid=1379/tid=1388] ppid=1377 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 2 0 869326384 315105280 10771 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 618232
[startup+12.7007 s]
/proc/loadavg: 2.07 1.92 1.20 3/561 1389
/proc/meminfo: memFree=26584056/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=307720 CPUtime=1.62 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 15937 928 1 0 153 9 0 0 20 0 2 0 869326210 315105280 10771 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1379/statm: 76930 10771 1872 364 0 11817 0
[pid=1387] ppid=1379 vsize=297476 CPUtime=0.03 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 917 0 0 0 1 2 0 0 15 0 1 0 869326384 304615424 9270 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185807 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/1387/statm: 74369 9270 375 364 0 9256 0
[pid=1389] ppid=1387 vsize=28200 CPUtime=10.96 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) R 1387 1389 1389 0 -1 4202496 7639 0 0 0 1069 27 0 0 25 0 1 0 869326384 28876800 6611 33554432000 134512640 135751879 4290856240 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1389/statm: 7050 6611 146 303 0 6745 0
[pid=1379/tid=1388] ppid=1377 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 2 0 869326384 315105280 10771 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 633396
[startup+25.5003 s]
/proc/loadavg: 2.06 1.92 1.21 3/561 1389
/proc/meminfo: memFree=26531784/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=307720 CPUtime=1.62 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 15937 928 1 0 153 9 0 0 20 0 2 0 869326210 315105280 10771 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1379/statm: 76930 10771 1872 364 0 11817 0
[pid=1387] ppid=1379 vsize=297476 CPUtime=0.08 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 927 0 0 0 3 5 0 0 15 0 1 0 869326384 304615424 9270 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185807 0 0 16781312 33554946 5623753486446373558 0 0 17 7 0 0 0
/proc/1387/statm: 74369 9270 375 364 0 9256 0
[pid=1389] ppid=1387 vsize=84024 CPUtime=23.75 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) R 1387 1389 1389 0 -1 4202496 21584 0 0 0 2322 53 0 0 25 0 1 0 869326384 86040576 20556 33554432000 134512640 135751879 4290856240 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/1389/statm: 21006 20556 146 303 0 20701 0
[pid=1379/tid=1388] ppid=1377 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 2 0 869326384 315105280 10771 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 689220
[startup+51.1007 s]
/proc/loadavg: 2.04 1.93 1.23 3/557 1454
/proc/meminfo: memFree=26374832/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=317976 CPUtime=1.64 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 16832 928 1 0 155 9 0 0 20 0 3 0 869326210 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1379/statm: 79494 10778 1875 364 0 14378 0
[pid=1387] ppid=1379 vsize=307720 CPUtime=0.18 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 1106 0 0 0 8 10 0 0 16 0 2 0 869326384 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1387/statm: 76930 9306 406 364 0 11817 0
[pid=1389] ppid=1387 vsize=153148 CPUtime=47.37 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) T 1387 1389 1389 0 -1 4202496 38850 0 0 0 4635 102 0 0 25 0 1 0 869326384 156823552 37822 33554432000 134512640 135751879 4290856240 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1389/statm: 38287 37822 146 303 0 37982 0
[pid=1387/tid=1451] ppid=1379 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1387/task/1451/stat : 1451 (python) S 1379 1379 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869331122 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459516181312 0 0 -1 1 0 0 0
[pid=1452] ppid=1379 vsize=307732 CPUtime=0 cores=1,3,5,7
/proc/1452/stat : 1452 (python) S 1379 1379 32706 0 -1 4202560 802 0 0 0 0 0 0 0 15 0 1 0 869331125 315117568 9247 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185862 0 0 16781312 33554946 1077786003860619264 0 0 17 1 0 0 0
/proc/1452/statm: 76933 9247 348 364 0 11817 0
[pid=1454] ppid=1452 vsize=134028 CPUtime=1.94 cores=1,3,5,7
/proc/1454/stat : 1454 (scip-2.0.1.linu) R 1452 1454 1454 0 -1 4202496 34604 0 0 0 184 10 0 0 25 0 1 0 869331125 137244672 30869 33554432000 4194304 13684479 140733916302240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1454/statm: 33507 30869 1705 2317 0 31185 0
[pid=1379/tid=1388] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869326384 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
[pid=1379/tid=1453] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1453/stat : 1453 (python) S 1377 1379 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869331125 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 1220604
[startup+102.301 s]
/proc/loadavg: 2.05 1.95 1.27 3/561 1459
/proc/meminfo: memFree=26210756/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=317976 CPUtime=1.64 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 16832 928 1 0 155 9 0 0 20 0 3 0 869326210 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1379/statm: 79494 10778 1875 364 0 14378 0
[pid=1387] ppid=1379 vsize=307720 CPUtime=0.18 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 1106 0 0 0 8 10 0 0 16 0 2 0 869326384 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1387/statm: 76930 9306 406 364 0 11817 0
[pid=1389] ppid=1387 vsize=153148 CPUtime=47.37 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) T 1387 1389 1389 0 -1 4202496 38850 0 0 0 4635 102 0 0 25 0 1 0 869326384 156823552 37822 33554432000 134512640 135751879 4290856240 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1389/statm: 38287 37822 146 303 0 37982 0
[pid=1387/tid=1451] ppid=1379 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1387/task/1451/stat : 1451 (python) S 1379 1379 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869331122 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459516181312 0 0 -1 1 0 0 0
[pid=1452] ppid=1379 vsize=307732 CPUtime=0.18 cores=1,3,5,7
/proc/1452/stat : 1452 (python) S 1379 1379 32706 0 -1 4202560 967 0 0 0 9 9 0 0 15 0 1 0 869331125 315117568 9271 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185862 0 0 16781312 33554946 1029214867250216960 0 0 17 1 0 0 0
/proc/1452/statm: 76933 9271 372 364 0 11817 0
[pid=1454] ppid=1452 vsize=209512 CPUtime=53.07 cores=1,3,5,7
/proc/1454/stat : 1454 (scip-2.0.1.linu) R 1452 1454 1454 0 -1 4202496 53567 0 0 0 5198 109 0 0 25 0 1 0 869331125 214540288 48882 33554432000 4194304 13684479 140733916302240 18446744073709551615 7419408 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1454/statm: 52378 48882 817 2317 0 50056 0
[pid=1379/tid=1388] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869326384 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
[pid=1379/tid=1453] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1453/stat : 1453 (python) S 1377 1379 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869331125 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 1296088
[startup+162.301 s]
/proc/loadavg: 2.02 1.95 1.32 3/565 1465
/proc/meminfo: memFree=26071296/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=317976 CPUtime=1.64 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 16832 928 1 0 155 9 0 0 20 0 3 0 869326210 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
################
# More data... #
################
/proc/1454/stat : 1454 (scip-2.0.1.linu) R 1452 1454 1454 0 -1 4202496 59258 0 0 0 17898 279 0 0 22 0 1 0 869331125 238022656 54573 33554432000 4194304 13684479 140733916302240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1454/statm: 58111 54573 818 2317 0 55789 0
[pid=1379/tid=1388] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869326384 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
[pid=1379/tid=1453] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1453/stat : 1453 (python) S 1377 1379 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869331125 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 231.61
Current children cumulated vsize (KiB) 1319020
[startup+243.816 s]
/proc/loadavg: 2.08 1.98 1.37 3/587 1489
/proc/meminfo: memFree=25809932/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=317976 CPUtime=1.64 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 16832 928 1 0 155 9 0 0 20 0 3 0 869326210 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1379/statm: 79494 10778 1875 364 0 14378 0
[pid=1387] ppid=1379 vsize=307720 CPUtime=0.18 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 1106 0 0 0 8 10 0 0 16 0 2 0 869326384 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1387/statm: 76930 9306 406 364 0 11817 0
[pid=1389] ppid=1387 vsize=153148 CPUtime=47.37 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) T 1387 1389 1389 0 -1 4202496 38850 0 0 0 4635 102 0 0 25 0 1 0 869326384 156823552 37822 33554432000 134512640 135751879 4290856240 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1389/statm: 38287 37822 146 303 0 37982 0
[pid=1387/tid=1451] ppid=1379 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1387/task/1451/stat : 1451 (python) S 1379 1379 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869331122 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459516181312 0 0 -1 1 0 0 0
[pid=1452] ppid=1379 vsize=307732 CPUtime=0.71 cores=1,3,5,7
/proc/1452/stat : 1452 (python) S 1379 1379 32706 0 -1 4202560 1024 0 0 0 32 39 0 0 15 0 1 0 869331125 315117568 9271 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185862 0 0 16781312 33554946 2185457807506014208 0 0 17 7 0 0 0
/proc/1452/statm: 76933 9271 372 364 0 11817 0
[pid=1454] ppid=1452 vsize=229924 CPUtime=194.59 cores=1,3,5,7
/proc/1454/stat : 1454 (scip-2.0.1.linu) R 1452 1454 1454 0 -1 4202496 62922 0 0 0 19161 298 0 0 21 0 1 0 869331125 235442176 54148 33554432000 4194304 13684479 140733916302240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1454/statm: 57481 54148 818 2317 0 55159 0
[pid=1379/tid=1388] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869326384 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
[pid=1379/tid=1453] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1453/stat : 1453 (python) S 1377 1379 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869331125 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 244.49
Current children cumulated vsize (KiB) 1316500
[startup+247.001 s]
/proc/loadavg: 2.08 1.98 1.38 3/587 1489
/proc/meminfo: memFree=25808816/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=317976 CPUtime=1.64 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 16832 928 1 0 155 9 0 0 20 0 3 0 869326210 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1379/statm: 79494 10778 1875 364 0 14378 0
[pid=1387] ppid=1379 vsize=307720 CPUtime=0.18 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 1106 0 0 0 8 10 0 0 16 0 2 0 869326384 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1387/statm: 76930 9306 406 364 0 11817 0
[pid=1389] ppid=1387 vsize=153148 CPUtime=47.37 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) T 1387 1389 1389 0 -1 4202496 38850 0 0 0 4635 102 0 0 25 0 1 0 869326384 156823552 37822 33554432000 134512640 135751879 4290856240 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1389/statm: 38287 37822 146 303 0 37982 0
[pid=1387/tid=1451] ppid=1379 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1387/task/1451/stat : 1451 (python) S 1379 1379 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869331122 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459516181312 0 0 -1 1 0 0 0
[pid=1452] ppid=1379 vsize=307732 CPUtime=0.72 cores=1,3,5,7
/proc/1452/stat : 1452 (python) S 1379 1379 32706 0 -1 4202560 1025 0 0 0 33 39 0 0 15 0 1 0 869331125 315117568 9271 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185862 0 0 16781312 33554946 614944969240608768 0 0 17 7 0 0 0
/proc/1452/statm: 76933 9271 372 364 0 11817 0
[pid=1454] ppid=1452 vsize=229924 CPUtime=197.78 cores=1,3,5,7
/proc/1454/stat : 1454 (scip-2.0.1.linu) R 1452 1454 1454 0 -1 4202496 66695 0 0 0 19476 302 0 0 25 0 1 0 869331125 235442176 54148 33554432000 4194304 13684479 140733916302240 18446744073709551615 7280721 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1454/statm: 57481 54148 818 2317 0 55159 0
[pid=1379/tid=1388] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869326384 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
[pid=1379/tid=1453] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1453/stat : 1453 (python) S 1377 1379 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869331125 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 247.69
Current children cumulated vsize (KiB) 1316500
[startup+248.601 s]
/proc/loadavg: 2.08 1.98 1.38 4/587 1489
/proc/meminfo: memFree=25808816/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=317976 CPUtime=1.64 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 16832 928 1 0 155 9 0 0 20 0 3 0 869326210 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1379/statm: 79494 10778 1875 364 0 14378 0
[pid=1387] ppid=1379 vsize=307720 CPUtime=0.18 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 1106 0 0 0 8 10 0 0 16 0 2 0 869326384 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1387/statm: 76930 9306 406 364 0 11817 0
[pid=1389] ppid=1387 vsize=153148 CPUtime=47.37 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) T 1387 1389 1389 0 -1 4202496 38850 0 0 0 4635 102 0 0 25 0 1 0 869326384 156823552 37822 33554432000 134512640 135751879 4290856240 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1389/statm: 38287 37822 146 303 0 37982 0
[pid=1387/tid=1451] ppid=1379 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1387/task/1451/stat : 1451 (python) S 1379 1379 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869331122 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459516181312 0 0 -1 1 0 0 0
[pid=1452] ppid=1379 vsize=307732 CPUtime=0.72 cores=1,3,5,7
/proc/1452/stat : 1452 (python) S 1379 1379 32706 0 -1 4202560 1025 0 0 0 33 39 0 0 15 0 1 0 869331125 315117568 9271 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185862 0 0 16781312 33554946 614944969240608768 0 0 17 7 0 0 0
/proc/1452/statm: 76933 9271 372 364 0 11817 0
[pid=1454] ppid=1452 vsize=229924 CPUtime=199.37 cores=1,3,5,7
/proc/1454/stat : 1454 (scip-2.0.1.linu) R 1452 1454 1454 0 -1 4202496 66695 0 0 0 19632 305 0 0 25 0 1 0 869331125 235442176 54148 33554432000 4194304 13684479 140733916302240 18446744073709551615 7291904 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1454/statm: 57481 54148 818 2317 0 55159 0
[pid=1379/tid=1388] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869326384 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
[pid=1379/tid=1453] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1453/stat : 1453 (python) S 1377 1379 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869331125 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 249.28
Current children cumulated vsize (KiB) 1316500
[startup+250.201 s]
/proc/loadavg: 2.08 1.98 1.38 3/587 1489
/proc/meminfo: memFree=25808816/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=317976 CPUtime=1.64 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 16832 928 1 0 155 9 0 0 20 0 3 0 869326210 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1379/statm: 79494 10778 1875 364 0 14378 0
[pid=1387] ppid=1379 vsize=307720 CPUtime=0.18 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 1106 0 0 0 8 10 0 0 16 0 2 0 869326384 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1387/statm: 76930 9306 406 364 0 11817 0
[pid=1389] ppid=1387 vsize=153148 CPUtime=47.37 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) T 1387 1389 1389 0 -1 4202496 38850 0 0 0 4635 102 0 0 25 0 1 0 869326384 156823552 37822 33554432000 134512640 135751879 4290856240 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1389/statm: 38287 37822 146 303 0 37982 0
[pid=1387/tid=1451] ppid=1379 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1387/task/1451/stat : 1451 (python) S 1379 1379 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869331122 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459516181312 0 0 -1 1 0 0 0
[pid=1452] ppid=1379 vsize=307732 CPUtime=0.72 cores=1,3,5,7
/proc/1452/stat : 1452 (python) S 1379 1379 32706 0 -1 4202560 1025 0 0 0 33 39 0 0 15 0 1 0 869331125 315117568 9271 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185862 0 0 16781312 33554946 3323790656828080128 0 0 17 7 0 0 0
/proc/1452/statm: 76933 9271 372 364 0 11817 0
[pid=1454] ppid=1452 vsize=229924 CPUtime=200.97 cores=1,3,5,7
/proc/1454/stat : 1454 (scip-2.0.1.linu) R 1452 1454 1454 0 -1 4202496 66695 0 0 0 19789 308 0 0 20 0 1 0 869331125 235442176 54148 33554432000 4194304 13684479 140733916302240 18446744073709551615 7415975 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1454/statm: 57481 54148 818 2317 0 55159 0
[pid=1379/tid=1388] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869326384 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
[pid=1379/tid=1453] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1453/stat : 1453 (python) S 1377 1379 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869331125 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 250.88
Current children cumulated vsize (KiB) 1316500
[startup+251.001 s]
/proc/loadavg: 2.08 1.98 1.38 3/587 1489
/proc/meminfo: memFree=25803608/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=317976 CPUtime=1.64 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 16832 928 1 0 155 9 0 0 20 0 3 0 869326210 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1379/statm: 79494 10778 1875 364 0 14378 0
[pid=1387] ppid=1379 vsize=307720 CPUtime=0.18 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 1106 0 0 0 8 10 0 0 16 0 2 0 869326384 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1387/statm: 76930 9306 406 364 0 11817 0
[pid=1389] ppid=1387 vsize=153148 CPUtime=47.37 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) T 1387 1389 1389 0 -1 4202496 38850 0 0 0 4635 102 0 0 25 0 1 0 869326384 156823552 37822 33554432000 134512640 135751879 4290856240 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1389/statm: 38287 37822 146 303 0 37982 0
[pid=1387/tid=1451] ppid=1379 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1387/task/1451/stat : 1451 (python) S 1379 1379 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869331122 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459516181312 0 0 -1 1 0 0 0
[pid=1452] ppid=1379 vsize=307732 CPUtime=0.72 cores=1,3,5,7
/proc/1452/stat : 1452 (python) S 1379 1379 32706 0 -1 4202560 1025 0 0 0 33 39 0 0 15 0 1 0 869331125 315117568 9271 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185862 0 0 16781312 33554946 3323790656828080128 0 0 17 7 0 0 0
/proc/1452/statm: 76933 9271 372 364 0 11817 0
[pid=1454] ppid=1452 vsize=229924 CPUtime=201.78 cores=1,3,5,7
/proc/1454/stat : 1454 (scip-2.0.1.linu) R 1452 1454 1454 0 -1 4202496 66695 0 0 0 19867 311 0 0 21 0 1 0 869331125 235442176 54148 33554432000 4194304 13684479 140733916302240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1454/statm: 57481 54148 818 2317 0 55159 0
[pid=1379/tid=1388] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869326384 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
[pid=1379/tid=1453] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1453/stat : 1453 (python) S 1377 1379 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869331125 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 251.69
Current children cumulated vsize (KiB) 1316500
[startup+251.402 s]
/proc/loadavg: 2.07 1.98 1.38 3/587 1489
/proc/meminfo: memFree=25803608/32951124 swapFree=36471928/67111528
[pid=1379] ppid=1377 vsize=317976 CPUtime=1.64 cores=1,3,5,7
/proc/1379/stat : 1379 (python) S 1377 1379 32706 0 -1 4202496 16832 928 1 0 155 9 0 0 20 0 3 0 869326210 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/1379/statm: 79494 10778 1875 364 0 14378 0
[pid=1387] ppid=1379 vsize=307720 CPUtime=0.18 cores=1,3,5,7
/proc/1387/stat : 1387 (python) S 1379 1379 32706 0 -1 4202560 1106 0 0 0 8 10 0 0 16 0 2 0 869326384 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1387/statm: 76930 9306 406 364 0 11817 0
[pid=1389] ppid=1387 vsize=153148 CPUtime=47.37 cores=1,3,5,7
/proc/1389/stat : 1389 (wbo1.4a) T 1387 1389 1389 0 -1 4202496 38850 0 0 0 4635 102 0 0 25 0 1 0 869326384 156823552 37822 33554432000 134512640 135751879 4290856240 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1389/statm: 38287 37822 146 303 0 37982 0
[pid=1387/tid=1451] ppid=1379 vsize=307720 CPUtime=0 cores=1,3,5,7
/proc/1387/task/1451/stat : 1451 (python) S 1379 1379 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869331122 315105280 9306 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459516181312 0 0 -1 1 0 0 0
[pid=1452] ppid=1379 vsize=307732 CPUtime=0.74 cores=1,3,5,7
/proc/1452/stat : 1452 (python) S 1379 1379 32706 0 -1 4202560 1029 0 0 0 34 40 0 0 15 0 1 0 869331125 315117568 9272 33554432000 4194304 5683644 140736523433808 18446744073709551615 230809185862 0 0 16781312 33554946 4414097976415191301 0 0 17 7 0 0 0
/proc/1452/statm: 76933 9272 373 364 0 11817 0
[pid=1454] ppid=1452 vsize=229924 CPUtime=202.19 cores=1,3,5,7
/proc/1454/stat : 1454 (scip-2.0.1.linu) R 1452 1454 1454 0 -1 4202496 66696 0 0 0 19907 312 0 0 23 0 1 0 869331125 235442176 54149 33554432000 4194304 13684479 140733916302240 18446744073709551615 4893586 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/1454/statm: 57481 54149 819 2317 0 55159 0
[pid=1379/tid=1388] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1388/stat : 1388 (python) S 1377 1379 32706 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869326384 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 5 0 0 0
[pid=1379/tid=1453] ppid=1377 vsize=317976 CPUtime=0 cores=1,3,5,7
/proc/1379/task/1453/stat : 1453 (python) S 1377 1379 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869331125 325607424 10778 33554432000 4194304 5683644 140736523433808 18446744073709551615 230820989361 0 0 16781312 33554434 18446604459516180416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 252.12
Current children cumulated vsize (KiB) 1316500
Child status: 0
Real time (s): 251.485
CPU time (s): 252.239
CPU user time (s): 247.458
CPU system time (s): 4.78027
CPU usage (%): 100.3
Max. virtual memory (cumulated for all children) (KiB): 1332888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.458
system time used= 4.78027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133663
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= 2297
involuntary context switches= 1337
runsolver used 0.98185 second user time and 2.38964 second system time
The end