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-3482428-1307576519/watcher-3482428-1307576519 -o /tmp/evaluation-result-3482428-1307576519/solver-3482428-1307576519 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482428-1307576519.opb -seed 1586134773 -budget 1800
running on 4 cores: 0,2,4,6
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: 1.98 0.84 0.31 2/500 29124
/proc/meminfo: memFree=27167076/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/29124/stat : 29124 (python) R 29122 29124 28679 0 -1 4202496 1037 0 0 0 0 0 0 0 17 0 1 0 869250513 16629760 909 33554432000 4194304 5683644 140736107047792 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29124/statm: 4060 909 380 364 0 547 0
[startup+0.0594421 s]
/proc/loadavg: 1.98 0.84 0.31 2/500 29124
/proc/meminfo: memFree=27167076/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=36512 CPUtime=0.04 cores=0,2,4,6
/proc/29124/stat : 29124 (python) R 29122 29124 28679 0 -1 4202496 1577 0 0 0 3 1 0 0 17 0 1 0 869250513 37388288 1412 33554432000 4194304 5683644 140736107047792 18446744073709551615 210204645376 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29124/statm: 9128 1412 452 364 0 945 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36512
[startup+0.100396 s]
/proc/loadavg: 1.98 0.84 0.31 2/500 29124
/proc/meminfo: memFree=27167076/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/29124/stat : 29124 (python) R 29122 29124 28679 0 -1 4202496 3169 928 1 0 5 2 0 0 18 0 1 0 869250513 98435072 2483 33554432000 4194304 5683644 140736107047792 18446744073709551615 5158128 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29124/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300425 s]
/proc/loadavg: 1.98 0.84 0.31 2/500 29124
/proc/meminfo: memFree=27167076/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=163812 CPUtime=0.2 cores=0,2,4,6
/proc/29124/stat : 29124 (python) S 29122 29124 28679 0 -1 4202496 5869 928 1 0 14 6 0 0 17 0 1 0 869250513 167743488 4195 33554432000 4194304 5683644 140736107047792 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/29124/statm: 40953 4195 1165 364 0 3262 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 163812
[startup+0.700318 s]
/proc/loadavg: 1.98 0.84 0.31 2/500 29124
/proc/meminfo: memFree=27167076/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=304788 CPUtime=0.53 cores=0,2,4,6
/proc/29124/stat : 29124 (python) R 29122 29124 28679 0 -1 4202496 14623 928 1 0 43 10 0 0 16 0 1 0 869250513 312102912 12485 33554432000 4194304 5683644 140736107047792 18446744073709551615 46997720090760 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29124/statm: 76197 12485 1781 364 0 11090 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 304788
[startup+1.50021 s]
/proc/loadavg: 1.98 0.84 0.31 3/501 29129
/proc/meminfo: memFree=27112384/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=333552 CPUtime=1.33 cores=0,2,4,6
/proc/29124/stat : 29124 (python) R 29122 29124 28679 0 -1 4202496 21548 928 1 0 122 11 0 0 17 0 1 0 869250513 341557248 19410 33554432000 4194304 5683644 140736107047792 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29124/statm: 83388 19410 1781 364 0 18281 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 333552
[startup+3.10094 s]
/proc/loadavg: 1.98 0.84 0.31 3/501 29129
/proc/meminfo: memFree=27072704/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=414716 CPUtime=2.93 cores=0,2,4,6
/proc/29124/stat : 29124 (python) R 29122 29124 28679 0 -1 4202496 39827 928 1 0 280 13 0 0 20 0 1 0 869250513 424669184 37689 33554432000 4194304 5683644 140736107047792 18446744073709551615 210204344789 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29124/statm: 103679 37712 1781 364 0 38572 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 414716
[startup+6.3004 s]
/proc/loadavg: 1.98 0.85 0.32 3/501 29130
/proc/meminfo: memFree=27029708/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=393496 CPUtime=6.14 cores=0,2,4,6
/proc/29124/stat : 29124 (python) R 29122 29124 28679 0 -1 4202496 55501 928 1 0 599 15 0 0 25 0 1 0 869250513 402939904 34721 33554432000 4194304 5683644 140736107047792 18446744073709551615 46997722270663 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/29124/statm: 98374 34721 1816 364 0 33267 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 393496
[startup+12.7003 s]
/proc/loadavg: 1.98 0.87 0.33 3/504 29133
/proc/meminfo: memFree=26952968/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=411384 CPUtime=7.88 cores=0,2,4,6
/proc/29124/stat : 29124 (python) S 29122 29124 28679 0 -1 4202496 57691 928 1 0 772 16 0 0 25 0 2 0 869250513 421257216 36686 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29124/statm: 102846 36686 1872 364 0 37733 0
[pid=29131] ppid=29124 vsize=401140 CPUtime=0.02 cores=0,2,4,6
/proc/29131/stat : 29131 (python) S 29124 29124 28679 0 -1 4202560 902 0 0 0 1 1 0 0 18 0 1 0 869251316 410767360 35185 33554432000 4194304 5683644 140736107047792 18446744073709551615 210204667407 0 0 16781312 33554946 17075184995452027138 0 0 17 4 0 0 0
/proc/29131/statm: 100285 35185 375 364 0 35172 0
[pid=29133] ppid=29131 vsize=73644 CPUtime=4.64 cores=0,2,4,6
/proc/29133/stat : 29133 (clasp-1.3.7-x86) R 29131 29133 29133 0 -1 4202496 24645 0 0 0 461 3 0 0 25 0 1 0 869251317 75411456 17873 33554432000 134512640 136139019 4289210112 18446744073709551615 134883066 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/29133/statm: 18411 17873 184 398 0 18011 0
[pid=29124/tid=29132] ppid=29122 vsize=411384 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29132/stat : 29132 (python) S 29122 29124 28679 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 2 0 869251317 421257216 36686 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 886168
[startup+25.5012 s]
/proc/loadavg: 1.99 0.93 0.35 3/505 29134
/proc/meminfo: memFree=26950084/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=411384 CPUtime=7.88 cores=0,2,4,6
/proc/29124/stat : 29124 (python) S 29122 29124 28679 0 -1 4202496 57691 928 1 0 772 16 0 0 25 0 2 0 869250513 421257216 36686 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29124/statm: 102846 36686 1872 364 0 37733 0
[pid=29131] ppid=29124 vsize=401140 CPUtime=0.06 cores=0,2,4,6
/proc/29131/stat : 29131 (python) S 29124 29124 28679 0 -1 4202560 905 0 0 0 3 3 0 0 18 0 1 0 869251316 410767360 35185 33554432000 4194304 5683644 140736107047792 18446744073709551615 210204667407 0 0 16781312 33554946 72409437758827198 0 0 17 4 0 0 0
/proc/29131/statm: 100285 35185 375 364 0 35172 0
[pid=29133] ppid=29131 vsize=74388 CPUtime=17.44 cores=0,2,4,6
/proc/29133/stat : 29133 (clasp-1.3.7-x86) R 29131 29133 29133 0 -1 4202496 24840 0 0 0 1741 3 0 0 25 0 1 0 869251317 76173312 18068 33554432000 134512640 136139019 4289210112 18446744073709551615 134608192 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/29133/statm: 18597 18068 184 398 0 18197 0
[pid=29124/tid=29132] ppid=29122 vsize=411384 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29132/stat : 29132 (python) S 29122 29124 28679 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 2 0 869251317 421257216 36686 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 886912
[startup+51.1009 s]
/proc/loadavg: 1.99 1.01 0.40 3/505 29135
/proc/meminfo: memFree=26945112/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=411384 CPUtime=7.88 cores=0,2,4,6
/proc/29124/stat : 29124 (python) S 29122 29124 28679 0 -1 4202496 57691 928 1 0 772 16 0 0 25 0 2 0 869250513 421257216 36686 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29124/statm: 102846 36686 1872 364 0 37733 0
[pid=29131] ppid=29124 vsize=401140 CPUtime=0.18 cores=0,2,4,6
/proc/29131/stat : 29131 (python) S 29124 29124 28679 0 -1 4202560 1009 0 0 0 8 10 0 0 18 0 1 0 869251316 410767360 35190 33554432000 4194304 5683644 140736107047792 18446744073709551615 210204667407 0 0 16781312 33554946 72409437758827198 0 0 17 4 0 0 0
/proc/29131/statm: 100285 35190 380 364 0 35172 0
[pid=29133] ppid=29131 vsize=79628 CPUtime=43.04 cores=0,2,4,6
/proc/29133/stat : 29133 (clasp-1.3.7-x86) R 29131 29133 29133 0 -1 4202496 26134 0 0 0 4300 4 0 0 25 0 1 0 869251317 81539072 19362 33554432000 134512640 136139019 4289210112 18446744073709551615 134882965 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/29133/statm: 19907 19362 184 398 0 19507 0
[pid=29124/tid=29132] ppid=29122 vsize=411384 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29132/stat : 29132 (python) S 29122 29124 28679 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 2 0 869251317 421257216 36686 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 892152
[startup+102.319 s]
/proc/loadavg: 1.99 1.16 0.48 3/509 29140
/proc/meminfo: memFree=26490812/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=421640 CPUtime=34.56 cores=0,2,4,6
/proc/29124/stat : 29124 (python) S 29122 29124 28679 0 -1 4202496 58663 928 1 0 3433 23 0 0 25 0 3 0 869250513 431759360 36693 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/29124/statm: 105410 36693 1875 364 0 40294 0
[pid=29131] ppid=29124 vsize=411384 CPUtime=0.2 cores=0,2,4,6
/proc/29131/stat : 29131 (python) S 29124 29124 28679 0 -1 4202560 1141 0 0 0 9 11 0 0 19 0 2 0 869251316 421257216 35226 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/29131/statm: 102846 35226 411 364 0 37733 0
[pid=29133] ppid=29131 vsize=81548 CPUtime=47.19 cores=0,2,4,6
/proc/29133/stat : 29133 (clasp-1.3.7-x86) T 29131 29133 29133 0 -1 4202496 26581 0 0 0 4715 4 0 0 25 0 1 0 869251317 83505152 19809 33554432000 134512640 136139019 4289210112 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/29133/statm: 20387 19809 184 398 0 19987 0
[pid=29131/tid=29136] ppid=29124 vsize=411384 CPUtime=0 cores=0,2,4,6
/proc/29131/task/29136/stat : 29136 (python) S 29124 29124 28679 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869256038 421257216 35226 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554946 18446604446842623104 0 0 -1 0 0 0 0
[pid=29138] ppid=29124 vsize=411396 CPUtime=0.08 cores=0,2,4,6
/proc/29138/stat : 29138 (python) S 29124 29124 28679 0 -1 4202560 931 0 0 0 4 4 0 0 15 0 1 0 869258707 421269504 35186 33554432000 4194304 5683644 140736107047792 18446744073709551615 210204667462 0 0 16781312 33554946 72556772316949182 0 0 17 6 0 0 0
/proc/29138/statm: 102849 35186 372 364 0 37733 0
[pid=29140] ppid=29138 vsize=451616 CPUtime=20.36 cores=0,2,4,6
/proc/29140/stat : 29140 (minion) R 29138 29140 29140 0 -1 4202496 138275 0 0 0 2019 17 0 0 25 0 1 0 869258708 462454784 105088 33554432000 134512640 165565024 4294536944 18446744073709551615 159737071 0 0 16781312 8396802 0 0 0 17 0 0 0 0
/proc/29140/statm: 112904 105088 346 7582 0 105319 0
[pid=29124/tid=29132] ppid=29122 vsize=421640 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29132/stat : 29132 (python) S 29122 29124 28679 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 3 0 869251317 431759360 36693 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 4 0 0 0
[pid=29124/tid=29139] ppid=29122 vsize=421640 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29139/stat : 29139 (python) S 29122 29124 28679 0 -1 4202560 32 928 0 0 0 0 0 0 25 0 3 0 869258707 431759360 36693 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 1777584
[startup+162.301 s]
/proc/loadavg: 1.99 1.31 0.57 3/516 29149
/proc/meminfo: memFree=25130024/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=431896 CPUtime=34.59 cores=0,2,4,6
/proc/29124/stat : 29124 (python) S 29122 29124 28679 0 -1 4202496 59538 928 1 0 3435 24 0 0 20 0 4 0 869250513 442261504 36699 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/29124/statm: 107974 36699 1877 364 0 42855 0
[pid=29131] ppid=29124 vsize=411384 CPUtime=0.2 cores=0,2,4,6
/proc/29131/stat : 29131 (python) S 29124 29124 28679 0 -1 4202560 1141 0 0 0 9 11 0 0 19 0 2 0 869251316 421257216 35226 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/29131/statm: 102846 35226 411 364 0 37733 0
[pid=29133] ppid=29131 vsize=81548 CPUtime=47.19 cores=0,2,4,6
/proc/29133/stat : 29133 (clasp-1.3.7-x86) T 29131 29133 29133 0 -1 4202496 26581 0 0 0 4715 4 0 0 25 0 1 0 869251317 83505152 19809 33554432000 134512640 136139019 4289210112 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/29133/statm: 20387 19809 184 398 0 19987 0
[pid=29131/tid=29136] ppid=29124 vsize=411384 CPUtime=0 cores=0,2,4,6
/proc/29131/task/29136/stat : 29136 (python) S 29124 29124 28679 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869256038 421257216 35226 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554946 18446604446842623104 0 0 -1 0 0 0 0
[pid=29138] ppid=29124 vsize=411396 CPUtime=0.19 cores=0,2,4,6
/proc/29138/stat : 29138 (python) S 29124 29124 28679 0 -1 4202560 1116 0 0 0 9 10 0 0 16 0 2 0 869258707 421269504 35211 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29138/statm: 102849 35211 396 364 0 37733 0
[pid=29140] ppid=29138 vsize=451616 CPUtime=46.61 cores=0,2,4,6
/proc/29140/stat : 29140 (minion) T 29138 29140 29140 0 -1 4202496 138275 0 0 0 4644 17 0 0 25 0 1 0 869258708 462454784 105088 33554432000 134512640 165565024 4294536944 18446744073709551615 142764901 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/29140/statm: 112904 105088 346 7582 0 105319 0
[pid=29138/tid=29145] ppid=29124 vsize=411396 CPUtime=0 cores=0,2,4,6
/proc/29138/task/29145/stat : 29145 (python) S 29124 29124 28679 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869263371 421269504 35211 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554946 18446604444355495232 0 0 -1 6 0 0 0
[pid=29146] ppid=29124 vsize=421652 CPUtime=0.18 cores=0,2,4,6
/proc/29146/stat : 29146 (python) S 29124 29124 28679 0 -1 4202560 960 0 0 0 10 8 0 0 15 0 1 0 869263374 431771648 35190 33554432000 4194304 5683644 140736107047792 18446744073709551615 210204667462 0 0 16781312 33554946 72114768642583230 0 0 17 0 0 0 0
/proc/29146/statm: 105413 35190 372 364 0 40294 0
[pid=29148] ppid=29146 vsize=1370288 CPUtime=33.62 cores=0,2,4,6
/proc/29148/stat : 29148 (scip-2.0.1.linu) R 29146 29148 29148 0 -1 4202496 356318 0 0 0 2792 570 0 0 25 0 1 0 869263374 1403174912 333901 33554432000 4194304 13684479 140734964967808 18446744073709551615 4880941 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/29148/statm: 342572 333901 655 2317 0 340250 0
[pid=29124/tid=29132] ppid=29122 vsize=431896 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29132/stat : 29132 (python) S 29122 29124 28679 0 -1 4202560 28 928 0 0 0 0 0 0 25 0 4 0 869251317 442261504 36699 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 4 0 0 0
[pid=29124/tid=29139] ppid=29122 vsize=431896 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=29220/tid=29226] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29226/stat : 29226 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357139 8745099264 38947 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29227] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29227/stat : 29227 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357139 8745099264 38950 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29228] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29228/stat : 29228 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357139 8745099264 38953 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29229] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29229/stat : 29229 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357139 8745099264 38955 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29230] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29230/stat : 29230 (java) S 29218 29220 29220 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869357140 8745099264 38958 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463872 0 0 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29231] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29231/stat : 29231 (java) S 29218 29220 29220 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869357141 8745099264 38961 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29232] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29232/stat : 29232 (java) S 29218 29220 29220 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869357141 8745099264 38963 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29233] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29233/stat : 29233 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357143 8745099264 38966 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216470961 0 4 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29234] ppid=29218 vsize=8540136 CPUtime=0.2 cores=0,2,4,6
/proc/29220/task/29234/stat : 29234 (java) S 29218 29220 29220 0 -1 4202560 1935 0 0 0 20 0 0 0 25 0 18 0 869357143 8745099264 38969 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 0 0 0 0
[pid=29220/tid=29235] ppid=29218 vsize=8540136 CPUtime=0.31 cores=0,2,4,6
/proc/29220/task/29235/stat : 29235 (java) S 29218 29220 29220 0 -1 4202560 2822 0 0 0 31 0 0 0 17 0 18 0 869357143 8745099264 38972 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29236] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29236/stat : 29236 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357143 8745099264 38974 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29237] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29237/stat : 29237 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869357143 8745099264 38977 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463872 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29124/tid=29132] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29132/stat : 29132 (python) S 29122 29124 28679 0 -1 4202560 36 928 0 0 0 0 0 0 18 0 8 0 869251317 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 4 0 0 0
[pid=29124/tid=29139] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29139/stat : 29139 (python) S 29122 29124 28679 0 -1 4202560 32 928 0 0 0 0 0 0 25 0 8 0 869258707 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
[pid=29124/tid=29147] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29147/stat : 29147 (python) S 29122 29124 28679 0 -1 4202560 35 928 0 0 0 0 0 0 18 0 8 0 869263374 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 6 0 0 0
[pid=29124/tid=29153] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29153/stat : 29153 (python) S 29122 29124 28679 0 -1 4202560 34 928 0 0 0 0 0 0 18 0 8 0 869268673 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
[pid=29124/tid=29160] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29160/stat : 29160 (python) S 29122 29124 28679 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 8 0 869278454 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
[pid=29124/tid=29173] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29173/stat : 29173 (python) S 29122 29124 28679 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 8 0 869297000 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
[pid=29124/tid=29219] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29219/stat : 29219 (python) S 29122 29124 28679 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 8 0 869357137 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1071.53
Current children cumulated vsize (KiB) 16492544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1066.9 s]
/proc/loadavg: 2.10 2.00 1.46 4/580 29237
/proc/meminfo: memFree=21380844/32951124 swapFree=63649284/67111528
[pid=29124] ppid=29122 vsize=472920 CPUtime=34.81 cores=0,2,4,6
/proc/29124/stat : 29124 (python) S 29122 29124 28679 0 -1 4202496 63486 928 1 0 3455 26 0 0 20 0 8 0 869250513 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/29124/statm: 118230 36723 1885 364 0 53099 0
[pid=29131] ppid=29124 vsize=411384 CPUtime=0.98 cores=0,2,4,6
/proc/29131/stat : 29131 (python) S 29124 29124 28679 0 -1 4202560 1210 0 0 0 48 50 0 0 18 0 2 0 869251316 421257216 35227 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/29131/statm: 102846 35227 412 364 0 37733 0
[pid=29133] ppid=29131 vsize=108796 CPUtime=228.97 cores=0,2,4,6
/proc/29133/stat : 29133 (clasp-1.3.7-x86) T 29131 29133 29133 0 -1 4202496 33367 0 0 0 22891 6 0 0 25 0 1 0 869251317 111407104 26595 33554432000 134512640 136139019 4289210112 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/29133/statm: 27199 26595 184 398 0 26799 0
[pid=29131/tid=29136] ppid=29124 vsize=411384 CPUtime=0 cores=0,2,4,6
/proc/29131/task/29136/stat : 29136 (python) S 29124 29124 28679 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 869256038 421257216 35227 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554946 18446604446842623104 0 0 -1 0 0 0 0
[pid=29138] ppid=29124 vsize=411396 CPUtime=0.19 cores=0,2,4,6
/proc/29138/stat : 29138 (python) S 29124 29124 28679 0 -1 4202560 1116 0 0 0 9 10 0 0 16 0 2 0 869258707 421269504 35211 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29138/statm: 102849 35211 396 364 0 37733 0
[pid=29140] ppid=29138 vsize=451616 CPUtime=46.61 cores=0,2,4,6
/proc/29140/stat : 29140 (minion) T 29138 29140 29140 0 -1 4202496 138275 0 0 0 4644 17 0 0 25 0 1 0 869258708 462454784 105088 33554432000 134512640 165565024 4294536944 18446744073709551615 142764901 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/29140/statm: 112904 105088 346 7582 0 105319 0
[pid=29138/tid=29145] ppid=29124 vsize=411396 CPUtime=0 cores=0,2,4,6
/proc/29138/task/29145/stat : 29145 (python) S 29124 29124 28679 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869263371 421269504 35211 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554946 18446604444355495232 0 0 -1 6 0 0 0
[pid=29146] ppid=29124 vsize=421652 CPUtime=2.47 cores=0,2,4,6
/proc/29146/stat : 29146 (python) S 29124 29124 28679 0 -1 4202560 1188 0 0 0 125 122 0 0 16 0 2 0 869263374 431771648 35215 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29146/statm: 105413 35215 396 364 0 40294 0
[pid=29148] ppid=29146 vsize=2205100 CPUtime=557.33 cores=0,2,4,6
/proc/29148/stat : 29148 (scip-2.0.1.linu) T 29146 29148 29148 0 -1 4202496 560850 0 0 0 55039 694 0 0 25 0 1 0 869263374 2258022400 538433 33554432000 4194304 13684479 140734964967808 18446744073709551615 5688624 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/29148/statm: 551275 538433 655 2317 0 548953 0
[pid=29146/tid=29151] ppid=29124 vsize=421652 CPUtime=0 cores=0,2,4,6
/proc/29146/task/29151/stat : 29151 (python) S 29124 29124 28679 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 869268670 431771648 35215 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554946 18446604442522989632 0 0 -1 0 0 0 0
[pid=29152] ppid=29124 vsize=431908 CPUtime=0.47 cores=0,2,4,6
/proc/29152/stat : 29152 (python) S 29124 29124 28679 0 -1 4202560 1184 0 0 0 22 25 0 0 15 0 2 0 869268673 442273792 35219 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29152/statm: 107977 35219 396 364 0 42855 0
[pid=29154] ppid=29152 vsize=1470136 CPUtime=97.74 cores=0,2,4,6
/proc/29154/stat : 29154 (scip-2.0.1.linu) T 29152 29154 29154 0 -1 4202496 378896 0 0 0 9226 548 0 0 25 0 1 0 869268674 1505419264 356487 33554432000 4194304 15243407 140735090549904 18446744073709551615 12487624 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/29154/statm: 367534 356487 702 2698 0 364829 0
[pid=29152/tid=29157] ppid=29124 vsize=431908 CPUtime=0 cores=0,2,4,6
/proc/29152/task/29157/stat : 29157 (python) S 29124 29124 28679 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869273829 442273792 35219 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554946 18446604453901215680 0 0 -1 6 0 0 0
[pid=29159] ppid=29124 vsize=442164 CPUtime=0.22 cores=0,2,4,6
/proc/29159/stat : 29159 (python) S 29124 29124 28679 0 -1 4202560 1155 0 0 0 10 12 0 0 17 0 2 0 869278453 452775936 35223 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29159/statm: 110541 35223 396 364 0 45416 0
[pid=29161] ppid=29159 vsize=126616 CPUtime=49.78 cores=0,2,4,6
/proc/29161/stat : 29161 (wbo1.4b-fixed) T 29159 29161 29161 0 -1 4202496 34982 0 0 0 4960 18 0 0 25 0 1 0 869278454 129654784 29458 33554432000 134512640 135752315 4288378160 18446744073709551615 134611137 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/29161/statm: 31654 29458 146 303 0 31349 0
[pid=29159/tid=29163] ppid=29124 vsize=442164 CPUtime=0 cores=0,2,4,6
/proc/29159/task/29163/stat : 29163 (python) S 29124 29124 28679 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869283434 452775936 35223 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554946 18446604451999752576 0 0 -1 6 0 0 0
[pid=29172] ppid=29124 vsize=452420 CPUtime=0.23 cores=0,2,4,6
/proc/29172/stat : 29172 (python) S 29124 29124 28679 0 -1 4202560 1153 0 0 0 11 12 0 0 17 0 2 0 869297000 463278080 35227 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29172/statm: 113105 35227 396 364 0 47977 0
[pid=29174] ppid=29172 vsize=83624 CPUtime=50.55 cores=0,2,4,6
/proc/29174/stat : 29174 (wbo1.4a) T 29172 29174 29174 0 -1 4202496 24371 0 0 0 5039 16 0 0 25 0 1 0 869297000 85630976 18855 33554432000 134512640 135751879 4293734816 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/29174/statm: 20906 18855 143 303 0 20601 0
[pid=29172/tid=29176] ppid=29124 vsize=452420 CPUtime=0 cores=0,2,4,6
/proc/29172/task/29176/stat : 29176 (python) S 29124 29124 28679 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869302060 463278080 35227 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554946 18446604444951467840 0 0 -1 6 0 0 0
[pid=29218] ppid=29124 vsize=462676 CPUtime=0 cores=0,2,4,6
/proc/29218/stat : 29218 (python) S 29124 29124 28679 0 -1 4202560 824 0 0 0 0 0 0 0 19 0 1 0 869357136 473780224 35182 33554432000 4194304 5683644 140736107047792 18446744073709551615 210204667462 0 0 16781312 33554946 4270061699773497344 0 0 17 6 0 0 0
/proc/29218/statm: 115669 35182 348 364 0 50538 0
[pid=29220] ppid=29218 vsize=8540136 CPUtime=1.18 cores=0,2,4,6
/proc/29220/stat : 29220 (java) S 29218 29220 29220 0 -1 4202496 40465 0 1 0 112 6 0 0 20 0 18 0 869357137 8745099264 38538 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/29220/statm: 2135034 38540 2205 9 0 2125775 0
[pid=29220/tid=29221] ppid=29218 vsize=8540136 CPUtime=0.65 cores=0,2,4,6
/proc/29220/task/29221/stat : 29221 (java) R 29218 29220 29220 0 -1 4202560 34708 0 1 0 60 5 0 0 18 0 18 0 869357139 8745099264 38933 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 46912505617842 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29220/tid=29222] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29222/stat : 29222 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869357139 8745099264 38936 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29223] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29223/stat : 29223 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869357139 8745099264 38939 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29224] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29224/stat : 29224 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869357139 8745099264 38942 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29225] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29225/stat : 29225 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357139 8745099264 38944 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29226] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29226/stat : 29226 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357139 8745099264 38947 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29227] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29227/stat : 29227 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357139 8745099264 38950 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29228] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29228/stat : 29228 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357139 8745099264 38953 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29229] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29229/stat : 29229 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357139 8745099264 38955 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29230] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29230/stat : 29230 (java) S 29218 29220 29220 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869357140 8745099264 38958 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463872 0 0 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29231] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29231/stat : 29231 (java) S 29218 29220 29220 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869357141 8745099264 38961 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29232] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29232/stat : 29232 (java) S 29218 29220 29220 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869357141 8745099264 38963 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29233] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29233/stat : 29233 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357143 8745099264 38966 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216470961 0 4 0 16800975 18446604448013107264 0 0 -1 6 0 0 0
[pid=29220/tid=29234] ppid=29218 vsize=8540136 CPUtime=0.2 cores=0,2,4,6
/proc/29220/task/29234/stat : 29234 (java) S 29218 29220 29220 0 -1 4202560 1935 0 0 0 20 0 0 0 25 0 18 0 869357143 8745099264 38969 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 0 0 0 0
[pid=29220/tid=29235] ppid=29218 vsize=8540136 CPUtime=0.31 cores=0,2,4,6
/proc/29220/task/29235/stat : 29235 (java) S 29218 29220 29220 0 -1 4202560 2822 0 0 0 31 0 0 0 17 0 18 0 869357143 8745099264 38972 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29236] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29236/stat : 29236 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869357143 8745099264 38974 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463257 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29220/tid=29237] ppid=29218 vsize=8540136 CPUtime=0 cores=0,2,4,6
/proc/29220/task/29237/stat : 29237 (java) S 29218 29220 29220 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869357143 8745099264 38977 33554432000 1073741824 1073778376 140735953707392 18446744073709551615 210216463872 0 4 0 16800975 18446604448013107264 0 0 -1 4 0 0 0
[pid=29124/tid=29132] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29132/stat : 29132 (python) S 29122 29124 28679 0 -1 4202560 36 928 0 0 0 0 0 0 18 0 8 0 869251317 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 4 0 0 0
[pid=29124/tid=29139] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29139/stat : 29139 (python) S 29122 29124 28679 0 -1 4202560 32 928 0 0 0 0 0 0 25 0 8 0 869258707 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
[pid=29124/tid=29147] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29147/stat : 29147 (python) S 29122 29124 28679 0 -1 4202560 35 928 0 0 0 0 0 0 18 0 8 0 869263374 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 6 0 0 0
[pid=29124/tid=29153] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29153/stat : 29153 (python) S 29122 29124 28679 0 -1 4202560 34 928 0 0 0 0 0 0 18 0 8 0 869268673 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
[pid=29124/tid=29160] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29160/stat : 29160 (python) S 29122 29124 28679 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 8 0 869278454 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
[pid=29124/tid=29173] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29173/stat : 29173 (python) S 29122 29124 28679 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 8 0 869297000 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
[pid=29124/tid=29219] ppid=29122 vsize=472920 CPUtime=0 cores=0,2,4,6
/proc/29124/task/29219/stat : 29219 (python) S 29122 29124 28679 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 8 0 869357137 484270080 36723 33554432000 4194304 5683644 140736107047792 18446744073709551615 210216470961 0 0 16781312 33554434 18446604442522988736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1071.53
Current children cumulated vsize (KiB) 16492544
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29124 and gives
# childrusage.ru_utime.tv_sec=34
# childrusage.ru_utime.tv_usec=560745
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=275958
# CPU time returned by wait4() is 34.8367
# while last known CPU time is 1071.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1066.99
CPU time (s): 1071.53
CPU user time (s): 1055.91
CPU system time (s): 15.62
CPU usage (%): 100.425
Max. virtual memory (cumulated for all children) (KiB): 16492544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.5607
system time used= 0.275958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64418
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= 1025
involuntary context switches= 102
runsolver used 6.34504 second user time and 12.3431 second system time
The end