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-3481451-1307577836/watcher-3481451-1307577836 -o /tmp/evaluation-result-3481451-1307577836/solver-3481451-1307577836 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481451-1307577836.opb -seed 1933530321 -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.32 2.07 1.61 2/488 31994
/proc/meminfo: memFree=29400300/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=16240 CPUtime=0.01 cores=1,3,5,7
/proc/31994/stat : 31994 (python) R 31992 31994 31366 0 -1 4202496 1063 0 0 0 1 0 0 0 20 0 1 0 869381737 16629760 934 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122407883 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31994/statm: 4060 934 381 364 0 547 0
[startup+0.077502 s]
/proc/loadavg: 2.32 2.07 1.61 2/488 31994
/proc/meminfo: memFree=29400300/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=84568 CPUtime=0.05 cores=1,3,5,7
/proc/31994/stat : 31994 (python) S 31992 31994 31366 0 -1 4202496 2409 0 0 0 4 1 0 0 17 0 1 0 869381737 86597632 2136 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/31994/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568
[startup+0.106548 s]
/proc/loadavg: 2.32 2.07 1.61 2/488 31994
/proc/meminfo: memFree=29400300/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/31994/stat : 31994 (python) R 31992 31994 31366 0 -1 4202496 3169 931 1 0 6 2 0 0 18 0 1 0 869381737 98430976 2483 33554432000 4194304 5683644 140736723463312 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31994/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.301547 s]
/proc/loadavg: 2.32 2.07 1.61 2/488 31994
/proc/meminfo: memFree=29400300/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=195524 CPUtime=0.22 cores=1,3,5,7
/proc/31994/stat : 31994 (python) S 31992 31994 31366 0 -1 4202496 6587 931 1 0 17 5 0 0 17 0 1 0 869381737 200216576 4878 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/31994/statm: 48881 4878 1427 364 0 3676 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 195524
[startup+0.700344 s]
/proc/loadavg: 2.32 2.07 1.61 2/488 31994
/proc/meminfo: memFree=29400300/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=285588 CPUtime=0.62 cores=1,3,5,7
/proc/31994/stat : 31994 (python) R 31992 31994 31366 0 -1 4202496 11291 1414 1 0 45 10 6 1 17 0 1 0 869381737 292442112 7745 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122373443 0 0 16781312 33554434 0 0 0 17 7 0 0 0
/proc/31994/statm: 71397 7745 1816 364 0 6290 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 285588
[startup+1.51724 s]
/proc/loadavg: 2.32 2.07 1.61 3/492 32003
/proc/meminfo: memFree=29299828/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=296064 CPUtime=0.77 cores=1,3,5,7
/proc/31994/stat : 31994 (python) S 31992 31994 31366 0 -1 4202496 12157 1414 1 0 59 11 6 1 20 0 2 0 869381737 303169536 7881 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31994/statm: 74016 7881 1871 364 0 8903 0
[pid=32001] ppid=31994 vsize=285820 CPUtime=0 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31994 31994 31366 0 -1 4202560 718 0 0 0 0 0 0 0 15 0 1 0 869381821 292679680 6325 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122734095 0 0 16781312 33554946 4450845029404999941 0 0 17 7 0 0 0
/proc/32001/statm: 71455 6325 319 364 0 6342 0
[pid=32003] ppid=32001 vsize=78880 CPUtime=0.66 cores=1,3,5,7
/proc/32003/stat : 32003 (scip-2.0.1.linu) R 32001 32003 32003 0 -1 4202496 19901 0 0 0 48 18 0 0 18 0 1 0 869381821 80773120 17299 33554432000 4194304 13684479 140737218843312 18446744073709551615 4957346 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32003/statm: 19720 17299 754 2317 0 17398 0
[pid=31994/tid=32002] ppid=31992 vsize=296064 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32002/stat : 32002 (python) S 31992 31994 31366 0 -1 4202560 25 1414 0 0 0 0 6 1 20 0 2 0 869381821 303169536 7881 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 660764
[startup+3.10094 s]
/proc/loadavg: 2.32 2.07 1.61 3/492 32003
/proc/meminfo: memFree=29297256/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=296064 CPUtime=0.77 cores=1,3,5,7
/proc/31994/stat : 31994 (python) S 31992 31994 31366 0 -1 4202496 12157 1414 1 0 59 11 6 1 20 0 2 0 869381737 303169536 7881 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31994/statm: 74016 7881 1871 364 0 8903 0
[pid=32001] ppid=31994 vsize=285820 CPUtime=0 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31994 31994 31366 0 -1 4202560 722 0 0 0 0 0 0 0 15 0 1 0 869381821 292679680 6325 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122734095 0 0 16781312 33554946 3782279360568885248 0 0 17 7 0 0 0
/proc/32001/statm: 71455 6325 319 364 0 6342 0
[pid=32003] ppid=32001 vsize=84976 CPUtime=2.24 cores=1,3,5,7
/proc/32003/stat : 32003 (scip-2.0.1.linu) R 32001 32003 32003 0 -1 4202496 21725 0 0 0 194 30 0 0 20 0 1 0 869381821 87015424 18873 33554432000 4194304 13684479 140737218843312 18446744073709551615 6433483 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32003/statm: 21244 18873 773 2317 0 18922 0
[pid=31994/tid=32002] ppid=31992 vsize=296064 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32002/stat : 32002 (python) S 31992 31994 31366 0 -1 4202560 25 1414 0 0 0 0 6 1 20 0 2 0 869381821 303169536 7881 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 666860
[startup+6.30036 s]
/proc/loadavg: 2.29 2.06 1.61 3/492 32003
/proc/meminfo: memFree=29287724/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=296064 CPUtime=0.77 cores=1,3,5,7
/proc/31994/stat : 31994 (python) S 31992 31994 31366 0 -1 4202496 12157 1414 1 0 59 11 6 1 20 0 2 0 869381737 303169536 7881 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31994/statm: 74016 7881 1871 364 0 8903 0
[pid=32001] ppid=31994 vsize=285820 CPUtime=0.01 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31994 31994 31366 0 -1 4202560 863 0 0 0 1 0 0 0 15 0 1 0 869381821 292679680 6349 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122734095 0 0 16781312 33554946 1908452805123768320 0 0 17 7 0 0 0
/proc/32001/statm: 71455 6349 343 364 0 6342 0
[pid=32003] ppid=32001 vsize=95504 CPUtime=5.45 cores=1,3,5,7
/proc/32003/stat : 32003 (scip-2.0.1.linu) R 32001 32003 32003 0 -1 4202496 23910 0 0 0 510 35 0 0 21 0 1 0 869381821 97796096 21052 33554432000 4194304 13684479 140737218843312 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32003/statm: 23876 21052 776 2317 0 21554 0
[pid=31994/tid=32002] ppid=31992 vsize=296064 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32002/stat : 32002 (python) S 31992 31994 31366 0 -1 4202560 25 1414 0 0 0 0 6 1 20 0 2 0 869381821 303169536 7881 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 677388
[startup+12.7012 s]
/proc/loadavg: 2.27 2.06 1.61 3/492 32003
/proc/meminfo: memFree=29278532/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=296064 CPUtime=0.77 cores=1,3,5,7
/proc/31994/stat : 31994 (python) S 31992 31994 31366 0 -1 4202496 12157 1414 1 0 59 11 6 1 20 0 2 0 869381737 303169536 7881 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31994/statm: 74016 7881 1871 364 0 8903 0
[pid=32001] ppid=31994 vsize=285820 CPUtime=0.05 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31994 31994 31366 0 -1 4202560 870 0 0 0 3 2 0 0 15 0 1 0 869381821 292679680 6349 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122734095 0 0 16781312 33554946 5623753486446373735 0 0 17 7 0 0 0
/proc/32001/statm: 71455 6349 343 364 0 6342 0
[pid=32003] ppid=32001 vsize=104860 CPUtime=11.85 cores=1,3,5,7
/proc/32003/stat : 32003 (scip-2.0.1.linu) R 32001 32003 32003 0 -1 4202496 26510 0 0 0 1145 40 0 0 25 0 1 0 869381821 107376640 23503 33554432000 4194304 13684479 140737218843312 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32003/statm: 26215 23503 823 2317 0 23893 0
[pid=31994/tid=32002] ppid=31992 vsize=296064 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32002/stat : 32002 (python) S 31992 31994 31366 0 -1 4202560 25 1414 0 0 0 0 6 1 20 0 2 0 869381821 303169536 7881 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 686744
[startup+25.5009 s]
/proc/loadavg: 2.28 2.07 1.62 3/492 32005
/proc/meminfo: memFree=29279276/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=296064 CPUtime=0.77 cores=1,3,5,7
/proc/31994/stat : 31994 (python) S 31992 31994 31366 0 -1 4202496 12157 1414 1 0 59 11 6 1 20 0 2 0 869381737 303169536 7881 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31994/statm: 74016 7881 1871 364 0 8903 0
[pid=32001] ppid=31994 vsize=285820 CPUtime=0.09 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31994 31994 31366 0 -1 4202560 875 0 0 0 5 4 0 0 15 0 1 0 869381821 292679680 6349 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122734095 0 0 16781312 33554946 5623753486446373735 0 0 17 7 0 0 0
/proc/32001/statm: 71455 6349 343 364 0 6342 0
[pid=32003] ppid=32001 vsize=106656 CPUtime=24.65 cores=1,3,5,7
/proc/32003/stat : 32003 (scip-2.0.1.linu) R 32001 32003 32003 0 -1 4202496 28330 0 0 0 2416 49 0 0 25 0 1 0 869381821 109215744 23970 33554432000 4194304 13684479 140737218843312 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32003/statm: 26664 23970 782 2317 0 24342 0
[pid=31994/tid=32002] ppid=31992 vsize=296064 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32002/stat : 32002 (python) S 31992 31994 31366 0 -1 4202560 25 1414 0 0 0 0 6 1 20 0 2 0 869381821 303169536 7881 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 688540
[startup+51.1012 s]
/proc/loadavg: 2.33 2.10 1.64 5/536 32051
/proc/meminfo: memFree=29045692/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=306924 CPUtime=0.8 cores=1,3,5,7
/proc/31994/stat : 31994 (python) S 31992 31994 31366 0 -1 4202496 13046 1414 1 0 62 11 6 1 20 0 3 0 869381737 314290176 8014 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31994/statm: 76731 8014 1874 364 0 11615 0
[pid=32001] ppid=31994 vsize=296064 CPUtime=0.2 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31994 31994 31366 0 -1 4202560 1083 0 0 0 10 10 0 0 16 0 2 0 869381821 303169536 6417 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32001/statm: 74016 6417 406 364 0 8903 0
[pid=32003] ppid=32001 vsize=110456 CPUtime=49.33 cores=1,3,5,7
/proc/32003/stat : 32003 (scip-2.0.1.linu) T 32001 32003 32003 0 -1 4202496 32513 0 0 0 4863 70 0 0 25 0 1 0 869381821 113106944 24953 33554432000 4194304 13684479 140737218843312 18446744073709551615 4965410 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32003/statm: 27614 24953 804 2317 0 25292 0
[pid=32001/tid=32030] ppid=31994 vsize=296064 CPUtime=0 cores=1,3,5,7
/proc/32001/task/32030/stat : 32030 (python) S 31994 31994 31366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869386755 303169536 6417 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554946 18446604460526445760 0 0 -1 7 0 0 0
[pid=32031] ppid=31994 vsize=296680 CPUtime=0 cores=1,3,5,7
/proc/32031/stat : 32031 (python) S 31994 31994 31366 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 869386758 303800320 6456 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122734150 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/32031/statm: 74170 6456 320 364 0 9054 0
[pid=32033] ppid=32031 vsize=8545400 CPUtime=1.93 cores=1,3,5,7
/proc/32033/stat : 32033 (java) S 32031 32033 32033 0 -1 4202496 31522 0 1 0 189 4 0 0 18 0 19 0 869386758 8750489600 28446 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32033/statm: 2136350 28448 2233 9 0 2127091 0
[pid=32033/tid=32034] ppid=32031 vsize=8545400 CPUtime=0.86 cores=1,3,5,7
/proc/32033/task/32034/stat : 32034 (java) R 32031 32033 32033 0 -1 4202560 20405 0 1 0 84 2 0 0 25 0 19 0 869386759 8750489600 28450 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 46912505800617 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32033/tid=32035] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32035/stat : 32035 (java) S 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869386759 8750489600 28452 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 5 0 0 0
[pid=32033/tid=32036] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32036/stat : 32036 (java) S 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869386759 8750489600 28455 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 3 0 0 0
[pid=32033/tid=32037] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32037/stat : 32037 (java) S 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869386759 8750489600 28455 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 3 0 0 0
[pid=32033/tid=32038] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32038/stat : 32038 (java) S 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869386759 8750489600 28458 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 3 0 0 0
[pid=32033/tid=32039] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32039/stat : 32039 (java) S 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869386759 8750489600 28461 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 3 0 0 0
[pid=32033/tid=32040] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32040/stat : 32040 (java) S 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869386759 8750489600 28461 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 3 0 0 0
[pid=32033/tid=32041] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32041/stat : 32041 (java) S 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869386759 8750489600 28462 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 3 0 0 0
[pid=32033/tid=32042] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32042/stat : 32042 (java) S 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869386759 8750489600 28463 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 3 0 0 0
[pid=32033/tid=32043] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32043/stat : 32043 (java) S 32031 32033 32033 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 869386760 8750489600 28465 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134530560 0 0 0 16800975 18446604460609772416 0 0 -1 3 0 0 0
[pid=32033/tid=32044] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32044/stat : 32044 (java) S 32031 32033 32033 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 869386760 8750489600 28468 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 5 0 0 0
[pid=32033/tid=32045] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32045/stat : 32045 (java) S 32031 32033 32033 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869386760 8750489600 28470 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 5 0 0 0
[pid=32033/tid=32046] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32046/stat : 32046 (java) S 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869386763 8750489600 28473 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134537649 0 4 0 16800975 18446604460609772416 0 0 -1 5 0 0 0
[pid=32033/tid=32047] ppid=32031 vsize=8545400 CPUtime=0.56 cores=1,3,5,7
/proc/32033/task/32047/stat : 32047 (java) S 32031 32033 32033 0 -1 4202560 3718 0 0 0 56 0 0 0 17 0 19 0 869386763 8750489600 28473 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 1 0 0 0
[pid=32033/tid=32048] ppid=32031 vsize=8545400 CPUtime=0.48 cores=1,3,5,7
/proc/32033/task/32048/stat : 32048 (java) S 32031 32033 32033 0 -1 4202560 5999 0 0 0 48 0 0 0 25 0 19 0 869386763 8750489600 28476 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446604460609772416 0 0 -1 3 0 0 0
[pid=32033/tid=32049] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=32075/tid=32089] ppid=32073 vsize=8544476 CPUtime=0.61 cores=1,3,5,7
/proc/32075/task/32089/stat : 32089 (java) S 32073 32075 32075 0 -1 4202560 7129 0 0 0 61 0 0 0 19 0 19 0 869400820 8749543424 37062 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 3 0 0 0
[pid=32075/tid=32090] ppid=32073 vsize=8544476 CPUtime=0.55 cores=1,3,5,7
/proc/32075/task/32090/stat : 32090 (java) S 32073 32075 32075 0 -1 4202560 4134 0 0 0 55 0 0 0 19 0 19 0 869400820 8749543424 37065 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 7 0 0 0
[pid=32075/tid=32091] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32091/stat : 32091 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869400820 8749543424 37070 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32092] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32092/stat : 32092 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869400820 8749543424 37075 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134530560 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32093] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32093/stat : 32093 (java) S 32073 32075 32075 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869400864 8749543424 37078 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134530560 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=31994/tid=32002] ppid=31992 vsize=337692 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32002/stat : 32002 (python) S 31992 31994 31366 0 -1 4202560 25 1414 0 0 0 0 6 1 20 0 6 0 869381821 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 1 0 0 0
[pid=31994/tid=32032] ppid=31992 vsize=337692 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32032/stat : 32032 (python) S 31992 31994 31366 0 -1 4202560 29 1414 0 0 0 0 6 1 20 0 6 0 869386758 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 3 0 0 0
[pid=31994/tid=32059] ppid=31992 vsize=337692 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32059/stat : 32059 (python) S 31992 31994 31366 0 -1 4202560 30 1414 0 0 0 0 6 1 20 0 6 0 869391189 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 3 0 0 0
[pid=31994/tid=32064] ppid=31992 vsize=337692 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32064/stat : 32064 (python) S 31992 31994 31366 0 -1 4202560 30 1414 0 0 0 0 6 1 20 0 6 0 869395944 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 3 0 0 0
[pid=31994/tid=32074] ppid=31992 vsize=337692 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32074/stat : 32074 (python) S 31992 31994 31366 0 -1 4202560 27 1414 0 0 0 0 6 1 20 0 6 0 869400814 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 195.18
Current children cumulated vsize (KiB) 19284492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+191.702 s]
/proc/loadavg: 2.05 2.07 1.69 3/574 32093
/proc/meminfo: memFree=28488892/32951124 swapFree=41082008/67111528
[pid=31994] ppid=31992 vsize=337692 CPUtime=0.87 cores=1,3,5,7
/proc/31994/stat : 31994 (python) S 31992 31994 31366 0 -1 4202496 15995 1414 1 0 69 11 6 1 20 0 6 0 869381737 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/31994/statm: 84423 8032 1880 364 0 19298 0
[pid=32001] ppid=31994 vsize=296064 CPUtime=0.2 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31994 31994 31366 0 -1 4202560 1083 0 0 0 10 10 0 0 16 0 2 0 869381821 303169536 6417 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32001/statm: 74016 6417 406 364 0 8903 0
[pid=32003] ppid=32001 vsize=110456 CPUtime=49.33 cores=1,3,5,7
/proc/32003/stat : 32003 (scip-2.0.1.linu) T 32001 32003 32003 0 -1 4202496 32513 0 0 0 4863 70 0 0 25 0 1 0 869381821 113106944 24953 33554432000 4194304 13684479 140737218843312 18446744073709551615 4965410 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32003/statm: 27614 24953 804 2317 0 25292 0
[pid=32001/tid=32030] ppid=31994 vsize=296064 CPUtime=0 cores=1,3,5,7
/proc/32001/task/32030/stat : 32030 (python) S 31994 31994 31366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869386755 303169536 6417 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554946 18446604460526445760 0 0 -1 7 0 0 0
[pid=32031] ppid=31994 vsize=296680 CPUtime=0.19 cores=1,3,5,7
/proc/32031/stat : 32031 (python) S 31994 31994 31366 0 -1 4202560 1173 0 0 0 8 11 0 0 16 0 2 0 869386758 303800320 6534 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32031/statm: 74170 6534 397 364 0 9054 0
[pid=32033] ppid=32031 vsize=8545400 CPUtime=45.92 cores=1,3,5,7
/proc/32033/stat : 32033 (java) T 32031 32033 32033 0 -1 4202496 92984 0 1 0 4578 14 0 0 18 0 19 0 869386758 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32033/statm: 2136350 48751 2261 9 0 2127091 0
[pid=32033/tid=32034] ppid=32031 vsize=8545400 CPUtime=43.37 cores=1,3,5,7
/proc/32033/task/32034/stat : 32034 (java) T 32031 32033 32033 0 -1 4202560 63681 0 1 0 4329 8 0 0 25 0 19 0 869386759 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 46912505886320 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32033/tid=32035] ppid=32031 vsize=8545400 CPUtime=0.08 cores=1,3,5,7
/proc/32033/task/32035/stat : 32035 (java) T 32031 32033 32033 0 -1 4202560 1647 0 0 0 8 0 0 0 15 0 19 0 869386759 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32033/tid=32036] ppid=32031 vsize=8545400 CPUtime=0.08 cores=1,3,5,7
/proc/32033/task/32036/stat : 32036 (java) T 32031 32033 32033 0 -1 4202560 1860 0 0 0 8 0 0 0 15 0 19 0 869386759 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32033/tid=32037] ppid=32031 vsize=8545400 CPUtime=0.1 cores=1,3,5,7
/proc/32033/task/32037/stat : 32037 (java) T 32031 32033 32033 0 -1 4202560 1006 0 0 0 10 0 0 0 15 0 19 0 869386759 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32033/tid=32038] ppid=32031 vsize=8545400 CPUtime=0.1 cores=1,3,5,7
/proc/32033/task/32038/stat : 32038 (java) T 32031 32033 32033 0 -1 4202560 2095 0 0 0 10 0 0 0 15 0 19 0 869386759 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32033/tid=32039] ppid=32031 vsize=8545400 CPUtime=0.08 cores=1,3,5,7
/proc/32033/task/32039/stat : 32039 (java) T 32031 32033 32033 0 -1 4202560 1548 0 0 0 8 0 0 0 15 0 19 0 869386759 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32033/tid=32040] ppid=32031 vsize=8545400 CPUtime=0.1 cores=1,3,5,7
/proc/32033/task/32040/stat : 32040 (java) T 32031 32033 32033 0 -1 4202560 1887 0 0 0 10 0 0 0 15 0 19 0 869386759 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32033/tid=32041] ppid=32031 vsize=8545400 CPUtime=0.11 cores=1,3,5,7
/proc/32033/task/32041/stat : 32041 (java) T 32031 32033 32033 0 -1 4202560 2386 0 0 0 11 0 0 0 15 0 19 0 869386759 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32033/tid=32042] ppid=32031 vsize=8545400 CPUtime=0.08 cores=1,3,5,7
/proc/32033/task/32042/stat : 32042 (java) T 32031 32033 32033 0 -1 4202560 2275 0 0 0 8 0 0 0 15 0 19 0 869386759 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32033/tid=32043] ppid=32031 vsize=8545400 CPUtime=0.51 cores=1,3,5,7
/proc/32033/task/32043/stat : 32043 (java) T 32031 32033 32033 0 -1 4202560 3452 0 0 0 50 1 0 0 15 0 19 0 869386760 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134530560 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32033/tid=32044] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32044/stat : 32044 (java) T 32031 32033 32033 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869386760 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32033/tid=32045] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32045/stat : 32045 (java) T 32031 32033 32033 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869386760 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32033/tid=32046] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32046/stat : 32046 (java) T 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869386763 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134537649 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32033/tid=32047] ppid=32031 vsize=8545400 CPUtime=0.67 cores=1,3,5,7
/proc/32033/task/32047/stat : 32047 (java) T 32031 32033 32033 0 -1 4202560 3741 0 0 0 67 0 0 0 15 0 19 0 869386763 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32033/tid=32048] ppid=32031 vsize=8545400 CPUtime=0.53 cores=1,3,5,7
/proc/32033/task/32048/stat : 32048 (java) T 32031 32033 32033 0 -1 4202560 6008 0 0 0 53 0 0 0 15 0 19 0 869386763 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32033/tid=32049] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32049/stat : 32049 (java) T 32031 32033 32033 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869386763 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32033/tid=32050] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32050/stat : 32050 (java) T 32031 32033 32033 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869386763 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32033/tid=32051] ppid=32031 vsize=8545400 CPUtime=0 cores=1,3,5,7
/proc/32033/task/32051/stat : 32051 (java) T 32031 32033 32033 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869386806 8750489600 48751 33554432000 1073741824 1073778376 140735953958736 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32031/tid=32057] ppid=31994 vsize=296680 CPUtime=0 cores=1,3,5,7
/proc/32031/task/32057/stat : 32057 (python) S 31994 31994 31366 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869391186 303800320 6534 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554946 18446604457126646208 0 0 -1 7 0 0 0
[pid=32058] ppid=31994 vsize=306936 CPUtime=0.18 cores=1,3,5,7
/proc/32058/stat : 32058 (python) S 31994 31994 31366 0 -1 4202560 1178 0 0 0 9 9 0 0 17 0 2 0 869391189 314302464 6538 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/32058/statm: 76734 6538 397 364 0 11615 0
[pid=32060] ppid=32058 vsize=111576 CPUtime=47.51 cores=1,3,5,7
/proc/32060/stat : 32060 (scip-2.0.1.linu) T 32058 32060 32060 0 -1 4202496 46984 0 0 0 4697 54 0 0 25 0 1 0 869391189 114253824 22825 33554432000 4194304 15243407 140733371731136 18446744073709551615 8144919 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/32060/statm: 27894 22825 890 2698 0 25189 0
[pid=32058/tid=32062] ppid=31994 vsize=306936 CPUtime=0 cores=1,3,5,7
/proc/32058/task/32062/stat : 32062 (python) S 31994 31994 31366 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869395941 314302464 6538 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554946 18446604465113294720 0 0 -1 3 0 0 0
[pid=32063] ppid=31994 vsize=317192 CPUtime=0.2 cores=1,3,5,7
/proc/32063/stat : 32063 (python) S 31994 31994 31366 0 -1 4202560 1160 0 0 0 9 11 0 0 16 0 2 0 869395944 324804608 6536 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32063/statm: 79298 6536 391 364 0 14176 0
[pid=32065] ppid=32063 vsize=90572 CPUtime=48.66 cores=1,3,5,7
/proc/32065/stat : 32065 (wbo1.4a) T 32063 32065 32065 0 -1 4202496 22854 0 0 0 4821 45 0 0 25 0 1 0 869395944 92745728 22182 33554432000 134512640 135751879 4294592320 18446744073709551615 134606453 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/32065/statm: 22643 22182 146 303 0 22338 0
[pid=32063/tid=32072] ppid=31994 vsize=317192 CPUtime=0 cores=1,3,5,7
/proc/32063/task/32072/stat : 32072 (python) S 31994 31994 31366 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869400811 324804608 6536 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554946 18446604469435192640 0 0 -1 7 0 0 0
[pid=32073] ppid=31994 vsize=327448 CPUtime=0 cores=1,3,5,7
/proc/32073/stat : 32073 (python) S 31994 31994 31366 0 -1 4202560 786 0 0 0 0 0 0 0 15 0 1 0 869400814 335306752 6468 33554432000 4194304 5683644 140736723463312 18446744073709551615 228122734150 0 0 16781312 33554946 4294934788 0 0 17 3 0 0 0
/proc/32073/statm: 81862 6468 320 364 0 16737 0
[pid=32075] ppid=32073 vsize=8544476 CPUtime=2.12 cores=1,3,5,7
/proc/32075/stat : 32075 (java) S 32073 32075 32075 0 -1 4202496 41608 0 1 0 207 5 0 0 17 0 19 0 869400814 8749543424 36862 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32075/statm: 2136119 36864 2228 9 0 2126860 0
[pid=32075/tid=32076] ppid=32073 vsize=8544476 CPUtime=0.92 cores=1,3,5,7
/proc/32075/task/32076/stat : 32076 (java) R 32073 32075 32075 0 -1 4202560 29086 0 1 0 89 3 0 0 18 0 19 0 869400815 8749543424 37006 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 46912505618538 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32075/tid=32077] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32077/stat : 32077 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869400816 8749543424 37011 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 7 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869400816 8749543424 37015 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869400816 8749543424 37018 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869400816 8749543424 37024 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869400816 8749543424 37028 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869400816 8749543424 37031 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869400816 8749543424 37035 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869400816 8749543424 37041 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32085] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32085/stat : 32085 (java) S 32073 32075 32075 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869400817 8749543424 37045 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134530560 0 0 0 16800975 18446604464361079936 0 0 -1 7 0 0 0
[pid=32075/tid=32086] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32086/stat : 32086 (java) S 32073 32075 32075 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869400817 8749543424 37048 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32087] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32087/stat : 32087 (java) S 32073 32075 32075 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869400817 8749543424 37053 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32088] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32088/stat : 32088 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869400820 8749543424 37058 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134537649 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32089] ppid=32073 vsize=8544476 CPUtime=0.61 cores=1,3,5,7
/proc/32075/task/32089/stat : 32089 (java) S 32073 32075 32075 0 -1 4202560 7129 0 0 0 61 0 0 0 19 0 19 0 869400820 8749543424 37062 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 3 0 0 0
[pid=32075/tid=32090] ppid=32073 vsize=8544476 CPUtime=0.55 cores=1,3,5,7
/proc/32075/task/32090/stat : 32090 (java) S 32073 32075 32075 0 -1 4202560 4134 0 0 0 55 0 0 0 19 0 19 0 869400820 8749543424 37065 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 7 0 0 0
[pid=32075/tid=32091] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32091/stat : 32091 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869400820 8749543424 37070 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134529945 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32092] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32092/stat : 32092 (java) S 32073 32075 32075 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869400820 8749543424 37075 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134530560 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=32075/tid=32093] ppid=32073 vsize=8544476 CPUtime=0 cores=1,3,5,7
/proc/32075/task/32093/stat : 32093 (java) S 32073 32075 32075 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869400864 8749543424 37078 33554432000 1073741824 1073778376 140737245265296 18446744073709551615 228134530560 0 4 0 16800975 18446604464361079936 0 0 -1 5 0 0 0
[pid=31994/tid=32002] ppid=31992 vsize=337692 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32002/stat : 32002 (python) S 31992 31994 31366 0 -1 4202560 25 1414 0 0 0 0 6 1 20 0 6 0 869381821 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 1 0 0 0
[pid=31994/tid=32032] ppid=31992 vsize=337692 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32032/stat : 32032 (python) S 31992 31994 31366 0 -1 4202560 29 1414 0 0 0 0 6 1 20 0 6 0 869386758 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 3 0 0 0
[pid=31994/tid=32059] ppid=31992 vsize=337692 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32059/stat : 32059 (python) S 31992 31994 31366 0 -1 4202560 30 1414 0 0 0 0 6 1 20 0 6 0 869391189 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 3 0 0 0
[pid=31994/tid=32064] ppid=31992 vsize=337692 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32064/stat : 32064 (python) S 31992 31994 31366 0 -1 4202560 30 1414 0 0 0 0 6 1 20 0 6 0 869395944 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 3 0 0 0
[pid=31994/tid=32074] ppid=31992 vsize=337692 CPUtime=0.07 cores=1,3,5,7
/proc/31994/task/32074/stat : 32074 (python) S 31992 31994 31366 0 -1 4202560 27 1414 0 0 0 0 6 1 20 0 6 0 869400814 345796608 8032 33554432000 4194304 5683644 140736723463312 18446744073709551615 228134537649 0 0 16781312 33554434 18446604457126648896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 195.18
Current children cumulated vsize (KiB) 19284492
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31994 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=758884
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=134979
# CPU time returned by wait4() is 0.893863
# while last known CPU time is 195.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 191.783
CPU time (s): 195.18
CPU user time (s): 192.77
CPU system time (s): 2.41
CPU usage (%): 101.771
Max. virtual memory (cumulated for all children) (KiB): 19284492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.758884
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17412
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= 6003
involuntary context switches= 26
runsolver used 1.14183 second user time and 2.28065 second system time
The end