runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3317697-1307741595/watcher-3317697-1307741595 -o /tmp/evaluation-result-3317697-1307741595/solver-3317697-1307741595 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317697-1307741595.cnf -seed 200130289 -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: 0.00 0.00 0.00 2/176 12439
/proc/meminfo: memFree=32090832/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=11804 CPUtime=0 cores=0,2,4,6
/proc/12439/stat : 12439 (runsolver) S 12433 12439 12394 0 -1 4202560 47 0 0 0 0 0 0 0 22 0 1 0 964390484 12087296 55 33554432000 4194304 5436572 140735526148224 18446744073709551615 5057063 0 2147483391 4096 24578 18446744071699199166 0 0 17 0 0 0 0
/proc/12439/statm: 2951 55 36 304 0 2643 0

[startup+0.041171 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 12439
/proc/meminfo: memFree=32090832/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/12439/stat : 12439 (python) D 12433 12439 12394 0 -1 4194304 196 0 3 0 0 0 0 0 22 0 1 0 964390484 14594048 133 33554432000 4194304 5683644 140735834930352 18446744073709551615 5051632 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 1
/proc/12439/statm: 3563 133 105 364 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14252

[startup+0.100161 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 12439
/proc/meminfo: memFree=32090832/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/12439/stat : 12439 (python) D 12433 12439 12394 0 -1 4202496 644 0 7 0 0 0 0 0 22 0 1 0 964390484 15441920 545 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988590592 0 0 16781312 2 0 0 0 17 6 0 0 2
/proc/12439/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080

[startup+0.300127 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 12439
/proc/meminfo: memFree=32090832/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/12439/stat : 12439 (python) S 12433 12439 12394 0 -1 4202496 721 0 7 0 0 0 0 0 16 0 1 0 964390484 15548416 616 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 4
/proc/12439/statm: 3796 616 322 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184

[startup+0.701221 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 12439
/proc/meminfo: memFree=32090832/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=16392 CPUtime=0.01 cores=0,2,4,6
/proc/12439/stat : 12439 (python) S 12433 12439 12394 0 -1 4202496 1109 0 7 0 1 0 0 0 15 0 1 0 964390484 16785408 983 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 8
/proc/12439/statm: 4098 983 408 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392

[startup+1.50098 s]
/proc/loadavg: 0.08 0.02 0.01 2/178 12441
/proc/meminfo: memFree=32083952/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=16532 CPUtime=0.01 cores=0,2,4,6
/proc/12439/stat : 12439 (python) D 12433 12439 12394 0 -1 4202496 1179 0 7 0 1 0 0 0 16 0 1 0 964390484 16928768 1045 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988590592 0 0 16781312 2 0 0 0 17 6 0 0 11
/proc/12439/statm: 4133 1045 417 364 0 620 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16532

[startup+3.10075 s]
/proc/loadavg: 0.08 0.02 0.01 2/178 12441
/proc/meminfo: memFree=32080316/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/12439/stat : 12439 (python) D 12433 12439 12394 0 -1 4202496 2610 0 22 0 5 1 0 0 16 0 1 0 964390484 87674880 2348 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988590592 0 0 16781312 2 0 0 0 17 2 0 0 23
/proc/12439/statm: 21405 2348 713 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
heavy processes:

[startup+6.30018 s]
/proc/loadavg: 0.08 0.02 0.01 2/178 12441
/proc/meminfo: memFree=32060256/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=138872 CPUtime=0.26 cores=0,2,4,6
/proc/12439/stat : 12439 (python) S 12433 12439 12394 0 -1 4202496 6029 924 46 9 17 9 0 0 16 0 1 0 964390484 142204928 4207 33554432000 4194304 5683644 140735834930352 18446744073709551615 215983668871 0 2147483391 16781312 2 18446744071699945619 0 0 17 2 0 0 51
/proc/12439/statm: 34718 4207 1034 364 0 3160 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 138872
heavy processes:

[startup+12.7009 s]
/proc/loadavg: 0.23 0.05 0.02 4/178 12449
/proc/meminfo: memFree=31876952/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=380120 CPUtime=5.28 cores=0,2,4,6
/proc/12439/stat : 12439 (python) R 12433 12439 12394 0 -1 4202496 46933 924 114 9 507 21 0 0 25 0 1 0 964390484 389242880 32415 33554432000 4194304 5683644 140735834930352 18446744073709551615 47535015413464 0 0 16781312 2 0 0 0 17 2 0 0 95
/proc/12439/statm: 95030 32415 1826 364 0 30954 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 380120
heavy processes:

[startup+25.5007 s]
/proc/loadavg: 0.72 0.16 0.05 6/190 12517
/proc/meminfo: memFree=31405072/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=412520 CPUtime=15.81 cores=0,2,4,6
/proc/12439/stat : 12439 (python) S 12433 12439 12394 0 -1 4202496 49644 924 114 9 1558 23 0 0 22 0 5 0 964390484 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 95
/proc/12439/statm: 103130 30327 1881 364 0 39039 0
[pid=12505] ppid=12439 vsize=371508 CPUtime=0 cores=0,2,4,6
/proc/12505/stat : 12505 (python) S 12439 12439 12394 0 -1 4202560 813 0 0 0 0 0 0 0 18 0 1 0 964392800 380424192 28788 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612623 0 0 16781312 514 4267319255780786436 0 0 17 2 0 0 0
/proc/12505/statm: 92877 28788 358 364 0 28795 0
[pid=12507] ppid=12505 vsize=49440 CPUtime=2.33 cores=0,2,4,6
/proc/12507/stat : 12507 (lingeling) R 12505 12507 12507 0 -1 4202496 16648 0 0 0 231 2 0 0 25 0 1 0 964392800 50626560 10533 33554432000 4194304 4352236 140733536517440 18446744073709551615 4268080 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/12507/statm: 12360 10533 126 39 0 11440 0
[pid=12508] ppid=12439 vsize=381764 CPUtime=0 cores=0,2,4,6
/proc/12508/stat : 12508 (python) S 12439 12439 12394 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 1 0 964392802 390926336 28781 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 4609066711147085823 0 0 17 4 0 0 0
/proc/12508/statm: 95441 28781 347 364 0 31356 0
[pid=12510] ppid=12508 vsize=155604 CPUtime=2.3 cores=0,2,4,6
/proc/12510/stat : 12510 (cryptominisat-2) R 12508 12510 12510 0 -1 4202496 26355 0 0 0 227 3 0 0 25 0 1 0 964392803 159338496 26041 33554432000 4194304 4677096 140735363033712 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12510/statm: 38901 26041 378 118 0 33860 0
[pid=12511] ppid=12439 vsize=392020 CPUtime=0 cores=0,2,4,6
/proc/12511/stat : 12511 (python) S 12439 12439 12394 0 -1 4202560 745 0 0 0 0 0 0 0 18 0 1 0 964392805 401428480 28785 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 4252885416887156993 0 0 17 0 0 0 0
/proc/12511/statm: 98005 28785 347 364 0 33917 0
[pid=12513] ppid=12511 vsize=49440 CPUtime=2.28 cores=0,2,4,6
/proc/12513/stat : 12513 (lingeling) R 12511 12513 12513 0 -1 4202496 16648 0 0 0 226 2 0 0 25 0 1 0 964392805 50626560 10533 33554432000 4194304 4352236 140734514741488 18446744073709551615 4267820 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/12513/statm: 12360 10533 126 39 0 11440 0
[pid=12514] ppid=12439 vsize=402276 CPUtime=0 cores=0,2,4,6
/proc/12514/stat : 12514 (python) S 12439 12439 12394 0 -1 4202560 750 0 0 0 0 0 0 0 18 0 1 0 964392807 411930624 28789 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 4331127214075511044 0 0 17 4 0 0 0
/proc/12514/statm: 100569 28789 347 364 0 36478 0
[pid=12516] ppid=12514 vsize=49440 CPUtime=2.24 cores=0,2,4,6
/proc/12516/stat : 12516 (lingeling) R 12514 12516 12516 0 -1 4202496 16652 0 0 0 222 2 0 0 25 0 1 0 964392808 50626560 10533 33554432000 4194304 4352236 140734226243936 18446744073709551615 4267799 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/12516/statm: 12360 10533 126 39 0 11440 0
[pid=12439/tid=12506] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12506/stat : 12506 (python) S 12433 12439 12394 0 -1 4202560 25 924 0 9 0 0 0 0 25 0 5 0 964392800 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 0 0 0 0
[pid=12439/tid=12509] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12509/stat : 12509 (python) S 12433 12439 12394 0 -1 4202560 22 924 0 9 0 0 0 0 25 0 5 0 964392802 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 2 0 0 0
[pid=12439/tid=12512] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12512/stat : 12512 (python) S 12433 12439 12394 0 -1 4202560 33 924 0 9 0 0 0 0 20 0 5 0 964392805 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
[pid=12439/tid=12515] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12515/stat : 12515 (python) S 12433 12439 12394 0 -1 4202560 26 924 0 9 0 0 0 0 22 0 5 0 964392808 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 2264012

[startup+51.1012 s]
/proc/loadavg: 2.18 0.55 0.18 6/190 12517
/proc/meminfo: memFree=31291300/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=412520 CPUtime=15.81 cores=0,2,4,6
/proc/12439/stat : 12439 (python) S 12433 12439 12394 0 -1 4202496 49644 924 114 9 1558 23 0 0 22 0 5 0 964390484 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 95
/proc/12439/statm: 103130 30327 1881 364 0 39039 0
[pid=12505] ppid=12439 vsize=371508 CPUtime=0.02 cores=0,2,4,6
/proc/12505/stat : 12505 (python) S 12439 12439 12394 0 -1 4202560 988 0 0 0 1 1 0 0 18 0 1 0 964392800 380424192 28811 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612623 0 0 16781312 514 11000921699154624772 0 0 17 2 0 0 0
/proc/12505/statm: 92877 28811 381 364 0 28795 0
[pid=12507] ppid=12505 vsize=69972 CPUtime=27.86 cores=0,2,4,6
/proc/12507/stat : 12507 (lingeling) R 12505 12507 12507 0 -1 4202496 22774 0 0 0 2784 2 0 0 25 0 1 0 964392800 71651328 16659 33554432000 4194304 4352236 140733536517440 18446744073709551615 4267938 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/12507/statm: 17493 16659 128 39 0 16573 0
[pid=12508] ppid=12439 vsize=381764 CPUtime=0.04 cores=0,2,4,6
/proc/12508/stat : 12508 (python) S 12439 12439 12394 0 -1 4202560 916 0 0 0 2 2 0 0 15 0 1 0 964392802 390926336 28804 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 11000921699154624772 0 0 17 4 0 0 0
/proc/12508/statm: 95441 28804 370 364 0 31356 0
[pid=12510] ppid=12508 vsize=183888 CPUtime=27.87 cores=0,2,4,6
/proc/12510/stat : 12510 (cryptominisat-2) R 12508 12510 12510 0 -1 4202496 62935 0 0 0 2779 8 0 0 25 0 1 0 964392803 188301312 36493 33554432000 4194304 4677096 140735363033712 18446744073709551615 4465824 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12510/statm: 45972 36493 391 118 0 40931 0
[pid=12511] ppid=12439 vsize=392020 CPUtime=0.02 cores=0,2,4,6
/proc/12511/stat : 12511 (python) S 12439 12439 12394 0 -1 4202560 905 0 0 0 1 1 0 0 18 0 1 0 964392805 401428480 28808 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 11000921699154624769 0 0 17 0 0 0 0
/proc/12511/statm: 98005 28808 370 364 0 33917 0
[pid=12513] ppid=12511 vsize=71368 CPUtime=27.84 cores=0,2,4,6
/proc/12513/stat : 12513 (lingeling) R 12511 12513 12513 0 -1 4202496 23123 0 0 0 2782 2 0 0 25 0 1 0 964392805 73080832 17008 33554432000 4194304 4352236 140734514741488 18446744073709551615 4267918 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/12513/statm: 17842 17008 128 39 0 16922 0
[pid=12514] ppid=12439 vsize=402276 CPUtime=0.02 cores=0,2,4,6
/proc/12514/stat : 12514 (python) S 12439 12439 12394 0 -1 4202560 915 0 0 0 1 1 0 0 18 0 1 0 964392807 411930624 28812 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 11000921699154624772 0 0 17 4 0 0 0
/proc/12514/statm: 100569 28812 370 364 0 36478 0
[pid=12516] ppid=12514 vsize=67372 CPUtime=27.71 cores=0,2,4,6
/proc/12516/stat : 12516 (lingeling) R 12514 12516 12516 0 -1 4202496 22128 0 0 0 2768 3 0 0 25 0 1 0 964392808 68988928 16009 33554432000 4194304 4352236 140734226243936 18446744073709551615 4267912 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/12516/statm: 16843 16009 128 39 0 15923 0
[pid=12439/tid=12506] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12506/stat : 12506 (python) S 12433 12439 12394 0 -1 4202560 25 924 0 9 0 0 0 0 25 0 5 0 964392800 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 0 0 0 0
[pid=12439/tid=12509] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12509/stat : 12509 (python) S 12433 12439 12394 0 -1 4202560 22 924 0 9 0 0 0 0 25 0 5 0 964392802 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 2 0 0 0
[pid=12439/tid=12512] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12512/stat : 12512 (python) S 12433 12439 12394 0 -1 4202560 33 924 0 9 0 0 0 0 20 0 5 0 964392805 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
[pid=12439/tid=12515] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12515/stat : 12515 (python) S 12433 12439 12394 0 -1 4202560 26 924 0 9 0 0 0 0 22 0 5 0 964392808 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 127.19
Current children cumulated vsize (KiB) 2352688

Solver just ended. Dumping a history of the last processes samples

[startup+76.7007 s]
/proc/loadavg: 3.34 0.99 0.34 6/190 12518
/proc/meminfo: memFree=31223816/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=412520 CPUtime=15.81 cores=0,2,4,6
/proc/12439/stat : 12439 (python) S 12433 12439 12394 0 -1 4202496 49644 924 114 9 1558 23 0 0 22 0 5 0 964390484 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 95
/proc/12439/statm: 103130 30327 1881 364 0 39039 0
[pid=12505] ppid=12439 vsize=371508 CPUtime=0.06 cores=0,2,4,6
/proc/12505/stat : 12505 (python) S 12439 12439 12394 0 -1 4202560 1003 0 0 0 3 3 0 0 18 0 1 0 964392800 380424192 28811 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612623 0 0 16781312 514 11000921699154624772 0 0 17 2 0 0 0
/proc/12505/statm: 92877 28811 381 364 0 28795 0
[pid=12507] ppid=12505 vsize=76108 CPUtime=53.41 cores=0,2,4,6
/proc/12507/stat : 12507 (lingeling) R 12505 12507 12507 0 -1 4202496 24308 0 0 0 5339 2 0 0 25 0 1 0 964392800 77934592 18193 33554432000 4194304 4352236 140733536517440 18446744073709551615 4237041 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/12507/statm: 19027 18193 128 39 0 18107 0
[pid=12508] ppid=12439 vsize=381764 CPUtime=0.06 cores=0,2,4,6

################
# More data... #
################

/proc/meminfo: memFree=31216984/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=412520 CPUtime=15.81 cores=0,2,4,6
/proc/12439/stat : 12439 (python) S 12433 12439 12394 0 -1 4202496 49644 924 114 9 1558 23 0 0 22 0 5 0 964390484 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 95
/proc/12439/statm: 103130 30327 1881 364 0 39039 0
[pid=12505] ppid=12439 vsize=371508 CPUtime=0.06 cores=0,2,4,6
/proc/12505/stat : 12505 (python) S 12439 12439 12394 0 -1 4202560 1005 0 0 0 3 3 0 0 18 0 1 0 964392800 380424192 28811 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612623 0 0 16781312 514 11000921699154624772 0 0 17 2 0 0 0
/proc/12505/statm: 92877 28811 381 364 0 28795 0
[pid=12507] ppid=12505 vsize=76108 CPUtime=63.01 cores=0,2,4,6
/proc/12507/stat : 12507 (lingeling) R 12505 12507 12507 0 -1 4202496 24308 0 0 0 6299 2 0 0 25 0 1 0 964392800 77934592 18193 33554432000 4194304 4352236 140733536517440 18446744073709551615 4329086 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/12507/statm: 19027 18193 128 39 0 18107 0
[pid=12508] ppid=12439 vsize=381764 CPUtime=0.08 cores=0,2,4,6
/proc/12508/stat : 12508 (python) S 12439 12439 12394 0 -1 4202560 930 0 0 0 4 4 0 0 15 0 1 0 964392802 390926336 28804 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 4591331863468933380 0 0 17 2 0 0 0
/proc/12508/statm: 95441 28804 370 364 0 31356 0
[pid=12510] ppid=12508 vsize=343292 CPUtime=62.99 cores=0,2,4,6
/proc/12510/stat : 12510 (cryptominisat-2) R 12508 12510 12510 0 -1 4202496 100268 0 0 0 6286 13 0 0 25 0 1 0 964392803 351531008 49670 33554432000 4194304 4677096 140735363033712 18446744073709551615 4355129 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12510/statm: 85823 49670 391 118 0 80782 0
[pid=12511] ppid=12439 vsize=392020 CPUtime=0.06 cores=0,2,4,6
/proc/12511/stat : 12511 (python) S 12439 12439 12394 0 -1 4202560 919 0 0 0 3 3 0 0 18 0 1 0 964392805 401428480 28808 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 11000921699154624769 0 0 17 0 0 0 0
/proc/12511/statm: 98005 28808 370 364 0 33917 0
[pid=12513] ppid=12511 vsize=76488 CPUtime=63 cores=0,2,4,6
/proc/12513/stat : 12513 (lingeling) R 12511 12513 12513 0 -1 4202496 24403 0 0 0 6297 3 0 0 25 0 1 0 964392805 78323712 18288 33554432000 4194304 4352236 140734514741488 18446744073709551615 4328000 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/12513/statm: 19122 18288 128 39 0 18202 0
[pid=12514] ppid=12439 vsize=402276 CPUtime=0.06 cores=0,2,4,6
/proc/12514/stat : 12514 (python) S 12439 12439 12394 0 -1 4202560 928 0 0 0 3 3 0 0 18 0 1 0 964392807 411930624 28812 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 11000921699154624772 0 0 17 4 0 0 0
/proc/12514/statm: 100569 28812 370 364 0 36478 0
[pid=12516] ppid=12514 vsize=78972 CPUtime=62.71 cores=0,2,4,6
/proc/12516/stat : 12516 (lingeling) R 12514 12516 12516 0 -1 4202496 25028 0 0 0 6268 3 0 0 25 0 1 0 964392808 80867328 18909 33554432000 4194304 4352236 140734226243936 18446744073709551615 4241424 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/12516/statm: 19743 18909 128 39 0 18823 0
[pid=12439/tid=12506] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12506/stat : 12506 (python) S 12433 12439 12394 0 -1 4202560 25 924 0 9 0 0 0 0 25 0 5 0 964392800 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 0 0 0 0
[pid=12439/tid=12509] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12509/stat : 12509 (python) S 12433 12439 12394 0 -1 4202560 22 924 0 9 0 0 0 0 25 0 5 0 964392802 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 2 0 0 0
[pid=12439/tid=12512] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12512/stat : 12512 (python) S 12433 12439 12394 0 -1 4202560 33 924 0 9 0 0 0 0 20 0 5 0 964392805 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
[pid=12439/tid=12515] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12515/stat : 12515 (python) S 12433 12439 12394 0 -1 4202560 26 924 0 9 0 0 0 0 22 0 5 0 964392808 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 267.78
Current children cumulated vsize (KiB) 2534948

[startup+87.9008 s]
/proc/loadavg: 3.60 1.12 0.39 6/190 12518
/proc/meminfo: memFree=31219004/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=412520 CPUtime=15.81 cores=0,2,4,6
/proc/12439/stat : 12439 (python) S 12433 12439 12394 0 -1 4202496 49644 924 114 9 1558 23 0 0 22 0 5 0 964390484 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 95
/proc/12439/statm: 103130 30327 1881 364 0 39039 0
[pid=12505] ppid=12439 vsize=371508 CPUtime=0.07 cores=0,2,4,6
/proc/12505/stat : 12505 (python) S 12439 12439 12394 0 -1 4202560 1006 0 0 0 4 3 0 0 18 0 1 0 964392800 380424192 28811 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612623 0 0 16781312 514 11000921699154624772 0 0 17 2 0 0 0
/proc/12505/statm: 92877 28811 381 364 0 28795 0
[pid=12507] ppid=12505 vsize=80204 CPUtime=64.61 cores=0,2,4,6
/proc/12507/stat : 12507 (lingeling) R 12505 12507 12507 0 -1 4202496 25332 0 0 0 6458 3 0 0 25 0 1 0 964392800 82128896 19217 33554432000 4194304 4352236 140733536517440 18446744073709551615 4267799 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/12507/statm: 20051 19217 128 39 0 19131 0
[pid=12508] ppid=12439 vsize=381764 CPUtime=0.08 cores=0,2,4,6
/proc/12508/stat : 12508 (python) S 12439 12439 12394 0 -1 4202560 930 0 0 0 4 4 0 0 15 0 1 0 964392802 390926336 28804 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 4591331863468933380 0 0 17 2 0 0 0
/proc/12508/statm: 95441 28804 370 364 0 31356 0
[pid=12510] ppid=12508 vsize=228584 CPUtime=64.6 cores=0,2,4,6
/proc/12510/stat : 12510 (cryptominisat-2) R 12508 12510 12510 0 -1 4202496 106004 0 0 0 6446 14 0 0 25 0 1 0 964392803 234070016 47817 33554432000 4194304 4677096 140735363033712 18446744073709551615 215988289222 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12510/statm: 57146 47817 391 118 0 52105 0
[pid=12511] ppid=12439 vsize=392020 CPUtime=0.07 cores=0,2,4,6
/proc/12511/stat : 12511 (python) S 12439 12439 12394 0 -1 4202560 921 0 0 0 4 3 0 0 18 0 1 0 964392805 401428480 28808 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 11000921699154624769 0 0 17 0 0 0 0
/proc/12511/statm: 98005 28808 370 364 0 33917 0
[pid=12513] ppid=12511 vsize=76488 CPUtime=64.59 cores=0,2,4,6
/proc/12513/stat : 12513 (lingeling) R 12511 12513 12513 0 -1 4202496 24403 0 0 0 6456 3 0 0 25 0 1 0 964392805 78323712 18288 33554432000 4194304 4352236 140734514741488 18446744073709551615 4328210 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/12513/statm: 19122 18288 128 39 0 18202 0
[pid=12514] ppid=12439 vsize=402276 CPUtime=0.07 cores=0,2,4,6
/proc/12514/stat : 12514 (python) S 12439 12439 12394 0 -1 4202560 930 0 0 0 3 4 0 0 18 0 1 0 964392807 411930624 28812 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 11000921699154624772 0 0 17 4 0 0 0
/proc/12514/statm: 100569 28812 370 364 0 36478 0
[pid=12516] ppid=12514 vsize=78972 CPUtime=64.3 cores=0,2,4,6
/proc/12516/stat : 12516 (lingeling) R 12514 12516 12516 0 -1 4202496 25028 0 0 0 6427 3 0 0 25 0 1 0 964392808 80867328 18909 33554432000 4194304 4352236 140734226243936 18446744073709551615 4296551 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/12516/statm: 19743 18909 128 39 0 18823 0
[pid=12439/tid=12506] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12506/stat : 12506 (python) S 12433 12439 12394 0 -1 4202560 25 924 0 9 0 0 0 0 25 0 5 0 964392800 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 0 0 0 0
[pid=12439/tid=12509] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12509/stat : 12509 (python) S 12433 12439 12394 0 -1 4202560 22 924 0 9 0 0 0 0 25 0 5 0 964392802 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 2 0 0 0
[pid=12439/tid=12512] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12512/stat : 12512 (python) S 12433 12439 12394 0 -1 4202560 33 924 0 9 0 0 0 0 20 0 5 0 964392805 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
[pid=12439/tid=12515] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12515/stat : 12515 (python) S 12433 12439 12394 0 -1 4202560 26 924 0 9 0 0 0 0 22 0 5 0 964392808 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 274.2
Current children cumulated vsize (KiB) 2424336

[startup+89.5015 s]
/proc/loadavg: 3.60 1.12 0.39 7/190 12518
/proc/meminfo: memFree=31288184/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=412520 CPUtime=15.81 cores=0,2,4,6
/proc/12439/stat : 12439 (python) S 12433 12439 12394 0 -1 4202496 49644 924 114 9 1558 23 0 0 22 0 5 0 964390484 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 95
/proc/12439/statm: 103130 30327 1881 364 0 39039 0
[pid=12505] ppid=12439 vsize=371508 CPUtime=0.07 cores=0,2,4,6
/proc/12505/stat : 12505 (python) S 12439 12439 12394 0 -1 4202560 1006 0 0 0 4 3 0 0 18 0 1 0 964392800 380424192 28811 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612623 0 0 16781312 514 11000921699154624772 0 0 17 2 0 0 0
/proc/12505/statm: 92877 28811 381 364 0 28795 0
[pid=12507] ppid=12505 vsize=80204 CPUtime=66.21 cores=0,2,4,6
/proc/12507/stat : 12507 (lingeling) R 12505 12507 12507 0 -1 4202496 25332 0 0 0 6618 3 0 0 25 0 1 0 964392800 82128896 19217 33554432000 4194304 4352236 140733536517440 18446744073709551615 4267912 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/12507/statm: 20051 19217 128 39 0 19131 0
[pid=12508] ppid=12439 vsize=381764 CPUtime=0.08 cores=0,2,4,6
/proc/12508/stat : 12508 (python) S 12439 12439 12394 0 -1 4202560 930 0 0 0 4 4 0 0 15 0 1 0 964392802 390926336 28804 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 4591331863468933380 0 0 17 2 0 0 0
/proc/12508/statm: 95441 28804 370 364 0 31356 0
[pid=12510] ppid=12508 vsize=228584 CPUtime=66.19 cores=0,2,4,6
/proc/12510/stat : 12510 (cryptominisat-2) R 12508 12510 12510 0 -1 4202496 107105 0 0 0 6605 14 0 0 25 0 1 0 964392803 234070016 48918 33554432000 4194304 4677096 140735363033712 18446744073709551615 4334818 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12510/statm: 57146 48918 391 118 0 52105 0
[pid=12511] ppid=12439 vsize=392020 CPUtime=1.47 cores=0,2,4,6
/proc/12511/stat : 12511 (python) R 12439 12439 12394 0 -1 4202560 938 0 0 0 127 20 0 0 17 0 1 0 964392805 401428480 28808 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 0 0 0 17 0 0 0 0
/proc/12511/statm: 98005 28808 370 364 0 33917 0
[pid=12513] ppid=12511 vsize=0 CPUtime=64.79 cores=0,2,4,6
/proc/12513/stat : 12513 (lingeling) R 12511 12513 12513 0 -1 4202500 24417 0 0 0 6476 3 0 0 25 0 1 0 964392805 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/12513/statm: 0 0 0 0 0 0 0
[pid=12514] ppid=12439 vsize=402276 CPUtime=0.07 cores=0,2,4,6
/proc/12514/stat : 12514 (python) S 12439 12439 12394 0 -1 4202560 930 0 0 0 3 4 0 0 18 0 1 0 964392807 411930624 28812 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 11000921699154624772 0 0 17 4 0 0 0
/proc/12514/statm: 100569 28812 370 364 0 36478 0
[pid=12516] ppid=12514 vsize=78972 CPUtime=65.89 cores=0,2,4,6
/proc/12516/stat : 12516 (lingeling) R 12514 12516 12516 0 -1 4202496 25028 0 0 0 6586 3 0 0 25 0 1 0 964392808 80867328 18909 33554432000 4194304 4352236 140734226243936 18446744073709551615 4257313 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/12516/statm: 19743 18909 128 39 0 18823 0
[pid=12439/tid=12506] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12506/stat : 12506 (python) S 12433 12439 12394 0 -1 4202560 25 924 0 9 0 0 0 0 25 0 5 0 964392800 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 0 0 0 0
[pid=12439/tid=12509] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12509/stat : 12509 (python) S 12433 12439 12394 0 -1 4202560 22 924 0 9 0 0 0 0 25 0 5 0 964392802 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 2 0 0 0
[pid=12439/tid=12512] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12512/stat : 12512 (python) S 12433 12439 12394 0 -1 4202560 33 924 0 9 0 0 0 0 20 0 5 0 964392805 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
[pid=12439/tid=12515] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12515/stat : 12515 (python) S 12433 12439 12394 0 -1 4202560 26 924 0 9 0 0 0 0 22 0 5 0 964392808 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 280.58
Current children cumulated vsize (KiB) 2347848

[startup+89.9014 s]
/proc/loadavg: 3.60 1.12 0.39 7/190 12518
/proc/meminfo: memFree=31288184/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=412520 CPUtime=15.81 cores=0,2,4,6
/proc/12439/stat : 12439 (python) S 12433 12439 12394 0 -1 4202496 49644 924 114 9 1558 23 0 0 22 0 5 0 964390484 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 95
/proc/12439/statm: 103130 30327 1881 364 0 39039 0
[pid=12505] ppid=12439 vsize=371508 CPUtime=0.07 cores=0,2,4,6
/proc/12505/stat : 12505 (python) S 12439 12439 12394 0 -1 4202560 1006 0 0 0 4 3 0 0 18 0 1 0 964392800 380424192 28811 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612623 0 0 16781312 514 11000921699154624772 0 0 17 2 0 0 0
/proc/12505/statm: 92877 28811 381 364 0 28795 0
[pid=12507] ppid=12505 vsize=80204 CPUtime=66.61 cores=0,2,4,6
/proc/12507/stat : 12507 (lingeling) R 12505 12507 12507 0 -1 4202496 25332 0 0 0 6658 3 0 0 25 0 1 0 964392800 82128896 19217 33554432000 4194304 4352236 140733536517440 18446744073709551615 4208688 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/12507/statm: 20051 19217 128 39 0 19131 0
[pid=12508] ppid=12439 vsize=381764 CPUtime=0.09 cores=0,2,4,6
/proc/12508/stat : 12508 (python) S 12439 12439 12394 0 -1 4202560 933 0 0 0 4 5 0 0 15 0 1 0 964392802 390926336 28804 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 11000921699154624772 0 0 17 2 0 0 0
/proc/12508/statm: 95441 28804 370 364 0 31356 0
[pid=12510] ppid=12508 vsize=228584 CPUtime=66.59 cores=0,2,4,6
/proc/12510/stat : 12510 (cryptominisat-2) R 12508 12510 12510 0 -1 4202496 107388 0 0 0 6644 15 0 0 25 0 1 0 964392803 234070016 49201 33554432000 4194304 4677096 140735363033712 18446744073709551615 4319818 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12510/statm: 57146 49201 391 118 0 52105 0
[pid=12511] ppid=12439 vsize=392020 CPUtime=1.87 cores=0,2,4,6
/proc/12511/stat : 12511 (python) R 12439 12439 12394 0 -1 4202560 938 0 0 0 163 24 0 0 17 0 1 0 964392805 401428480 28808 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000422719 0 0 16781312 514 0 0 0 17 0 0 0 0
/proc/12511/statm: 98005 28808 370 364 0 33917 0
[pid=12513] ppid=12511 vsize=0 CPUtime=64.79 cores=0,2,4,6
/proc/12513/stat : 12513 (lingeling) R 12511 12513 12513 0 -1 4202500 24417 0 0 0 6476 3 0 0 25 0 1 0 964392805 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/12513/statm: 0 0 0 0 0 0 0
[pid=12514] ppid=12439 vsize=402276 CPUtime=0.07 cores=0,2,4,6
/proc/12514/stat : 12514 (python) S 12439 12439 12394 0 -1 4202560 930 0 0 0 3 4 0 0 18 0 1 0 964392807 411930624 28812 33554432000 4194304 5683644 140735834930352 18446744073709551615 215988612678 0 0 16781312 514 11000921699154624772 0 0 17 4 0 0 0
/proc/12514/statm: 100569 28812 370 364 0 36478 0
[pid=12516] ppid=12514 vsize=78972 CPUtime=66.29 cores=0,2,4,6
/proc/12516/stat : 12516 (lingeling) R 12514 12516 12516 0 -1 4202496 25028 0 0 0 6626 3 0 0 25 0 1 0 964392808 80867328 18909 33554432000 4194304 4352236 140734226243936 18446744073709551615 4267799 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/12516/statm: 19743 18909 128 39 0 18823 0
[pid=12439/tid=12506] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12506/stat : 12506 (python) S 12433 12439 12394 0 -1 4202560 25 924 0 9 0 0 0 0 25 0 5 0 964392800 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 0 0 0 0
[pid=12439/tid=12509] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12509/stat : 12509 (python) S 12433 12439 12394 0 -1 4202560 22 924 0 9 0 0 0 0 25 0 5 0 964392802 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 2 0 0 0
[pid=12439/tid=12512] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12512/stat : 12512 (python) S 12433 12439 12394 0 -1 4202560 33 924 0 9 0 0 0 0 20 0 5 0 964392805 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
[pid=12439/tid=12515] ppid=12433 vsize=412520 CPUtime=0 cores=0,2,4,6
/proc/12439/task/12515/stat : 12515 (python) S 12433 12439 12394 0 -1 4202560 26 924 0 9 0 0 0 0 22 0 5 0 964392808 422420480 30327 33554432000 4194304 5683644 140735834930352 18446744073709551615 216000416177 0 0 16781312 2 18446604453930830592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 2347848

[startup+90.3014 s]
/proc/loadavg: 3.60 1.12 0.39 7/190 12518
/proc/meminfo: memFree=31285084/32950940 swapFree=67074964/67111528
[pid=12439] ppid=12433 vsize=0 CPUtime=283.71 cores=0,2,4,6
/proc/12439/stat : 12439 (python) R 12433 12439 12394 0 -1 4202500 63457 187694 114 9 1560 24 26717 70 17 0 1 0 964390484 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 95
/proc/12439/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 283.71
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 90.3062
CPU time (s): 283.738
CPU user time (s): 282.781
CPU system time (s): 0.956854
CPU usage (%): 314.195
Max. virtual memory (cumulated for all children) (KiB): 2534948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 282.781
system time used= 0.956854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251151
page faults= 123
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23478
involuntary context switches= 2359

runsolver used 0.163975 second user time and 0.341948 second system time

The end