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-3482418-1307577931/watcher-3482418-1307577931 -o /tmp/evaluation-result-3482418-1307577931/solver-3482418-1307577931 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482418-1307577931.opb -seed 1788640917 -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: 2.11 2.07 1.65 2/501 6326
/proc/meminfo: memFree=21856360/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/6326/stat : 6326 (python) R 6324 6326 5281 0 -1 4202496 877 0 0 0 0 0 0 0 25 0 1 0 869392814 16154624 758 33554432000 4194304 5683644 140735899618896 18446744073709551615 274473628357 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6326/statm: 3944 759 343 364 0 431 0
[startup+0.0733759 s]
/proc/loadavg: 2.11 2.07 1.65 2/501 6326
/proc/meminfo: memFree=21856360/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=84488 CPUtime=0.05 cores=0,2,4,6
/proc/6326/stat : 6326 (python) R 6324 6326 5281 0 -1 4202496 2206 0 0 0 4 1 0 0 25 0 1 0 869392814 86515712 1954 33554432000 4194304 5683644 140735899618896 18446744073709551615 274469005331 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6326/statm: 21122 1954 575 364 0 1326 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84488
[startup+0.100362 s]
/proc/loadavg: 2.11 2.07 1.65 2/501 6326
/proc/meminfo: memFree=21856360/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/6326/stat : 6326 (python) R 6324 6326 5281 0 -1 4202496 3169 932 1 0 5 1 0 0 18 0 1 0 869392814 98435072 2484 33554432000 4194304 5683644 140735899618896 18446744073709551615 5178079 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6326/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300335 s]
/proc/loadavg: 2.11 2.07 1.65 2/501 6326
/proc/meminfo: memFree=21856360/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=202996 CPUtime=0.22 cores=0,2,4,6
/proc/6326/stat : 6326 (python) S 6324 6326 5281 0 -1 4202496 6689 932 1 0 16 6 0 0 18 0 1 0 869392814 207867904 4972 33554432000 4194304 5683644 140735899618896 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 0
/proc/6326/statm: 50749 4972 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202996
[startup+0.700319 s]
/proc/loadavg: 2.11 2.07 1.65 2/501 6326
/proc/meminfo: memFree=21856360/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=283460 CPUtime=0.38 cores=0,2,4,6
/proc/6326/stat : 6326 (python) R 6324 6326 5281 0 -1 4202496 9448 932 1 0 29 9 0 0 17 0 1 0 869392814 290263040 7179 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794192 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6326/statm: 70865 7179 1777 364 0 5758 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 283460
[startup+1.50118 s]
/proc/loadavg: 2.11 2.07 1.65 4/503 6332
/proc/meminfo: memFree=21826832/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=306456 CPUtime=1.4 cores=0,2,4,6
/proc/6326/stat : 6326 (python) R 6324 6326 5281 0 -1 4202496 16486 1593 1 0 77 11 52 0 18 0 1 0 869392814 313810944 12265 33554432000 4194304 5683644 140735899618896 18446744073709551615 47977465121477 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6326/statm: 76614 12266 1782 364 0 11507 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 306456
[startup+3.10078 s]
/proc/loadavg: 2.10 2.06 1.65 3/502 6332
/proc/meminfo: memFree=21805752/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=315488 CPUtime=2.57 cores=0,2,4,6
/proc/6326/stat : 6326 (python) S 6324 6326 5281 0 -1 4202496 22314 1593 1 0 193 12 52 0 22 0 2 0 869392814 323059712 12714 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/6326/statm: 78872 12714 1873 364 0 13759 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 315488
[startup+6.30027 s]
/proc/loadavg: 2.10 2.06 1.65 3/505 6335
/proc/meminfo: memFree=21783292/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=315488 CPUtime=2.57 cores=0,2,4,6
/proc/6326/stat : 6326 (python) S 6324 6326 5281 0 -1 4202496 22314 1593 1 0 193 12 52 0 22 0 2 0 869392814 323059712 12714 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/6326/statm: 78872 12714 1873 364 0 13759 0
[pid=6333] ppid=6326 vsize=305244 CPUtime=0 cores=0,2,4,6
/proc/6333/stat : 6333 (python) S 6326 6326 5281 0 -1 4202560 724 0 0 0 0 0 0 0 15 0 1 0 869393082 312569856 11155 33554432000 4194304 5683644 140735899618896 18446744073709551615 274473987599 0 0 16781312 33554946 14894196204496716034 0 0 17 2 0 0 0
/proc/6333/statm: 76311 11155 318 364 0 11198 0
[pid=6335] ppid=6333 vsize=27268 CPUtime=3.59 cores=0,2,4,6
/proc/6335/stat : 6335 (wbo1.4b-fixed) R 6333 6335 6335 0 -1 4202496 7367 0 0 0 357 2 0 0 25 0 1 0 869393082 27922432 6170 33554432000 134512640 135752315 4291999824 18446744073709551615 134611380 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/6335/statm: 6817 6170 146 303 0 6512 0
[pid=6326/tid=6334] ppid=6324 vsize=315488 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (python) S 6324 6326 5281 0 -1 4202560 26 1593 0 0 0 0 52 0 22 0 2 0 869393082 323059712 12714 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 648000
[startup+12.7012 s]
/proc/loadavg: 2.23 2.09 1.66 3/505 6336
/proc/meminfo: memFree=21772120/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=315488 CPUtime=2.57 cores=0,2,4,6
/proc/6326/stat : 6326 (python) S 6324 6326 5281 0 -1 4202496 22314 1593 1 0 193 12 52 0 22 0 2 0 869392814 323059712 12714 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/6326/statm: 78872 12714 1873 364 0 13759 0
[pid=6333] ppid=6326 vsize=305244 CPUtime=0.03 cores=0,2,4,6
/proc/6333/stat : 6333 (python) S 6326 6326 5281 0 -1 4202560 883 0 0 0 1 2 0 0 15 0 1 0 869393082 312569856 11179 33554432000 4194304 5683644 140735899618896 18446744073709551615 274473987599 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/6333/statm: 76311 11179 342 364 0 11198 0
[pid=6335] ppid=6333 vsize=38224 CPUtime=9.99 cores=0,2,4,6
/proc/6335/stat : 6335 (wbo1.4b-fixed) R 6333 6335 6335 0 -1 4202496 10114 0 0 0 995 4 0 0 25 0 1 0 869393082 39141376 8917 33554432000 134512640 135752315 4291999824 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/6335/statm: 9556 8917 146 303 0 9251 0
[pid=6326/tid=6334] ppid=6324 vsize=315488 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (python) S 6324 6326 5281 0 -1 4202560 26 1593 0 0 0 0 52 0 22 0 2 0 869393082 323059712 12714 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 658956
[startup+25.501 s]
/proc/loadavg: 2.19 2.09 1.67 3/505 6336
/proc/meminfo: memFree=21755840/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=315488 CPUtime=2.57 cores=0,2,4,6
/proc/6326/stat : 6326 (python) S 6324 6326 5281 0 -1 4202496 22314 1593 1 0 193 12 52 0 22 0 2 0 869392814 323059712 12714 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/6326/statm: 78872 12714 1873 364 0 13759 0
[pid=6333] ppid=6326 vsize=305244 CPUtime=0.09 cores=0,2,4,6
/proc/6333/stat : 6333 (python) S 6326 6326 5281 0 -1 4202560 990 0 0 0 4 5 0 0 15 0 1 0 869393082 312569856 11184 33554432000 4194304 5683644 140735899618896 18446744073709551615 274473987599 0 0 16781312 33554946 72409437758827426 0 0 17 4 0 0 0
/proc/6333/statm: 76311 11184 347 364 0 11198 0
[pid=6335] ppid=6333 vsize=53856 CPUtime=22.79 cores=0,2,4,6
/proc/6335/stat : 6335 (wbo1.4b-fixed) R 6333 6335 6335 0 -1 4202496 14019 0 0 0 2272 7 0 0 25 0 1 0 869393082 55148544 12822 33554432000 134512640 135752315 4291999824 18446744073709551615 134605100 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/6335/statm: 13464 12822 146 303 0 13159 0
[pid=6326/tid=6334] ppid=6324 vsize=315488 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (python) S 6324 6326 5281 0 -1 4202560 26 1593 0 0 0 0 52 0 22 0 2 0 869393082 323059712 12714 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 674588
[startup+51.1004 s]
/proc/loadavg: 2.21 2.10 1.68 3/505 6337
/proc/meminfo: memFree=21732192/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=315488 CPUtime=2.57 cores=0,2,4,6
/proc/6326/stat : 6326 (python) S 6324 6326 5281 0 -1 4202496 22314 1593 1 0 193 12 52 0 22 0 2 0 869392814 323059712 12714 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/6326/statm: 78872 12714 1873 364 0 13759 0
[pid=6333] ppid=6326 vsize=305244 CPUtime=0.19 cores=0,2,4,6
/proc/6333/stat : 6333 (python) S 6326 6326 5281 0 -1 4202560 1002 0 0 0 8 11 0 0 15 0 1 0 869393082 312569856 11184 33554432000 4194304 5683644 140735899618896 18446744073709551615 274473987599 0 0 16781312 33554946 72409437758827426 0 0 17 4 0 0 0
/proc/6333/statm: 76311 11184 347 364 0 11198 0
[pid=6335] ppid=6333 vsize=77196 CPUtime=48.38 cores=0,2,4,6
/proc/6335/stat : 6335 (wbo1.4b-fixed) R 6333 6335 6335 0 -1 4202496 19836 0 0 0 4828 10 0 0 25 0 1 0 869393082 79048704 18639 33554432000 134512640 135752315 4291999824 18446744073709551615 134518464 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/6335/statm: 19299 18639 146 303 0 18994 0
[pid=6326/tid=6334] ppid=6324 vsize=315488 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (python) S 6324 6326 5281 0 -1 4202560 26 1593 0 0 0 0 52 0 22 0 2 0 869393082 323059712 12714 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 697928
[startup+102.319 s]
/proc/loadavg: 2.20 2.11 1.71 3/513 6346
/proc/meminfo: memFree=21237716/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=336000 CPUtime=2.63 cores=0,2,4,6
/proc/6326/stat : 6326 (python) S 6324 6326 5281 0 -1 4202496 24148 1593 1 0 198 13 52 0 20 0 4 0 869392814 344064000 12727 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/6326/statm: 84000 12727 1878 364 0 18881 0
[pid=6333] ppid=6326 vsize=315488 CPUtime=0.21 cores=0,2,4,6
/proc/6333/stat : 6333 (python) S 6326 6326 5281 0 -1 4202560 1175 0 0 0 9 12 0 0 17 0 2 0 869393082 323059712 11252 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6333/statm: 78872 11252 410 364 0 13759 0
[pid=6335] ppid=6333 vsize=80232 CPUtime=50.75 cores=0,2,4,6
/proc/6335/stat : 6335 (wbo1.4b-fixed) T 6333 6335 6335 0 -1 4202496 20617 0 0 0 5064 11 0 0 25 0 1 0 869393082 82157568 19420 33554432000 134512640 135752315 4291999824 18446744073709551615 134640506 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/6335/statm: 20058 19420 146 303 0 19753 0
[pid=6333/tid=6338] ppid=6326 vsize=315488 CPUtime=0 cores=0,2,4,6
/proc/6333/task/6338/stat : 6338 (python) S 6326 6326 5281 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869398160 323059712 11252 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604444953161984 0 0 -1 6 0 0 0
[pid=6339] ppid=6326 vsize=315500 CPUtime=0.19 cores=0,2,4,6
/proc/6339/stat : 6339 (python) S 6326 6326 5281 0 -1 4202560 1121 0 0 0 9 10 0 0 16 0 2 0 869398163 323072000 11232 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/6339/statm: 78875 11232 390 364 0 13759 0
[pid=6341] ppid=6339 vsize=353048 CPUtime=46.96 cores=0,2,4,6
/proc/6341/stat : 6341 (scip-2.0.1.linu) T 6339 6341 6341 0 -1 4202496 89343 0 0 0 4671 25 0 0 25 0 1 0 869398163 361521152 83952 33554432000 4194304 13684479 140733426266976 18446744073709551615 7155211 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/6341/statm: 88262 83952 763 2317 0 85940 0
[pid=6339/tid=6343] ppid=6326 vsize=315500 CPUtime=0 cores=0,2,4,6
/proc/6339/task/6343/stat : 6343 (python) S 6326 6326 5281 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 869402860 323072000 11232 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604442082137344 0 0 -1 0 0 0 0
[pid=6344] ppid=6326 vsize=325756 CPUtime=0 cores=0,2,4,6
/proc/6344/stat : 6344 (python) S 6326 6326 5281 0 -1 4202560 786 0 0 0 0 0 0 0 15 0 1 0 869402862 333574144 11164 33554432000 4194304 5683644 140735899618896 18446744073709551615 274473987654 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/6344/statm: 81439 11164 319 364 0 16320 0
[pid=6346] ppid=6344 vsize=216248 CPUtime=1.82 cores=0,2,4,6
/proc/6346/stat : 6346 (scip-2.0.1.linu) R 6344 6346 6346 0 -1 4202496 52743 0 0 0 169 13 0 0 25 0 1 0 869402863 221437952 51003 33554432000 4194304 15243407 140735247515936 18446744073709551615 5035320 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6346/statm: 54062 51003 731 2698 0 51357 0
[pid=6326/tid=6334] ppid=6324 vsize=336000 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (python) S 6324 6326 5281 0 -1 4202560 26 1593 0 0 0 0 52 0 22 0 4 0 869393082 344064000 12727 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
[pid=6326/tid=6340] ppid=6324 vsize=336000 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6340/stat : 6340 (python) S 6324 6326 5281 0 -1 4202560 26 1593 0 0 0 0 52 0 20 0 4 0 869398163 344064000 12727 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 6 0 0 0
[pid=6326/tid=6345] ppid=6324 vsize=336000 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6345/stat : 6345 (python) S 6324 6326 5281 0 -1 4202560 28 1593 0 0 0 0 52 0 20 0 4 0 869402863 344064000 12727 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.56
Current children cumulated vsize (KiB) 1942272
[startup+162.301 s]
/proc/loadavg: 2.07 2.09 1.72 3/517 6352
/proc/meminfo: memFree=20750244/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=346256 CPUtime=2.65 cores=0,2,4,6
/proc/6326/stat : 6326 (python) S 6324 6326 5281 0 -1 4202496 25034 1593 1 0 200 13 52 0 20 0 5 0 869392814 354566144 12733 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/6326/statm: 86564 12733 1880 364 0 21442 0
[pid=6333] ppid=6326 vsize=315488 CPUtime=0.21 cores=0,2,4,6
/proc/6333/stat : 6333 (python) S 6326 6326 5281 0 -1 4202560 1175 0 0 0 9 12 0 0 17 0 2 0 869393082 323059712 11252 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6333/statm: 78872 11252 410 364 0 13759 0
[pid=6335] ppid=6333 vsize=80232 CPUtime=50.75 cores=0,2,4,6
/proc/6335/stat : 6335 (wbo1.4b-fixed) T 6333 6335 6335 0 -1 4202496 20617 0 0 0 5064 11 0 0 25 0 1 0 869393082 82157568 19420 33554432000 134512640 135752315 4291999824 18446744073709551615 134640506 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/6335/statm: 20058 19420 146 303 0 19753 0
[pid=6333/tid=6338] ppid=6326 vsize=315488 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/6326/task/6345/stat : 6345 (python) S 6324 6326 5281 0 -1 4202560 31 1593 0 0 0 0 52 0 18 0 7 0 869402863 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
[pid=6326/tid=6350] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6350/stat : 6350 (python) S 6324 6326 5281 0 -1 4202560 29 1593 0 0 0 0 52 0 18 0 7 0 869407714 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 0 0 0 0
[pid=6326/tid=6655] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6655/stat : 6655 (python) S 6324 6326 5281 0 -1 4202560 31 1593 0 0 0 0 52 0 20 0 7 0 869481089 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
[pid=6326/tid=6702] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6702/stat : 6702 (python) S 6324 6326 5281 0 -1 4202560 30 1593 0 0 0 0 52 0 20 0 7 0 869545672 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (KiB) 3881864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.9 s]
/proc/loadavg: 1.12 1.27 1.59 3/544 6711
/proc/meminfo: memFree=15357672/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=366768 CPUtime=2.81 cores=0,2,4,6
/proc/6326/stat : 6326 (python) S 6324 6326 5281 0 -1 4202496 27799 1593 1 0 215 14 52 0 18 0 7 0 869392814 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/6326/statm: 91692 12745 1884 364 0 26564 0
[pid=6333] ppid=6326 vsize=315488 CPUtime=0.21 cores=0,2,4,6
/proc/6333/stat : 6333 (python) S 6326 6326 5281 0 -1 4202560 1175 0 0 0 9 12 0 0 17 0 2 0 869393082 323059712 11252 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6333/statm: 78872 11252 410 364 0 13759 0
[pid=6335] ppid=6333 vsize=80232 CPUtime=50.75 cores=0,2,4,6
/proc/6335/stat : 6335 (wbo1.4b-fixed) T 6333 6335 6335 0 -1 4202496 20617 0 0 0 5064 11 0 0 25 0 1 0 869393082 82157568 19420 33554432000 134512640 135752315 4291999824 18446744073709551615 134640506 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/6335/statm: 20058 19420 146 303 0 19753 0
[pid=6333/tid=6338] ppid=6326 vsize=315488 CPUtime=0 cores=0,2,4,6
/proc/6333/task/6338/stat : 6338 (python) S 6326 6326 5281 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869398160 323059712 11252 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604444953161984 0 0 -1 6 0 0 0
[pid=6339] ppid=6326 vsize=315500 CPUtime=5.24 cores=0,2,4,6
/proc/6339/stat : 6339 (python) S 6326 6326 5281 0 -1 4202560 1207 0 0 0 267 257 0 0 16 0 2 0 869398163 323072000 11232 33554432000 4194304 5683644 140735899618896 18446744073709551615 274473987654 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/6339/statm: 78875 11232 390 364 0 13759 0
[pid=6341] ppid=6339 vsize=566940 CPUtime=1275.03 cores=0,2,4,6
/proc/6341/stat : 6341 (scip-2.0.1.linu) R 6339 6341 6341 0 -1 4202496 146211 0 0 0 127174 329 0 0 25 0 1 0 869398163 580546560 139133 33554432000 4194304 13684479 140733426266976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6341/statm: 141735 139133 846 2317 0 139413 0
[pid=6339/tid=6343] ppid=6326 vsize=315500 CPUtime=0 cores=0,2,4,6
/proc/6339/task/6343/stat : 6343 (python) S 6326 6326 5281 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 2 0 869402860 323072000 11232 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604442082137344 0 0 -1 0 0 0 0
[pid=6344] ppid=6326 vsize=325756 CPUtime=0.4 cores=0,2,4,6
/proc/6344/stat : 6344 (python) S 6326 6326 5281 0 -1 4202560 1162 0 0 0 21 19 0 0 15 0 2 0 869402862 333574144 11236 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6344/statm: 81439 11236 390 364 0 16320 0
[pid=6346] ppid=6344 vsize=645636 CPUtime=93.66 cores=0,2,4,6
/proc/6346/stat : 6346 (scip-2.0.1.linu) T 6344 6346 6346 0 -1 4202496 181036 0 0 0 9322 44 0 0 25 0 1 0 869402863 661131264 143717 33554432000 4194304 15243407 140735247515936 18446744073709551615 8112847 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/6346/statm: 161409 143717 958 2698 0 158704 0
[pid=6344/tid=6348] ppid=6326 vsize=325756 CPUtime=0 cores=0,2,4,6
/proc/6344/task/6348/stat : 6348 (python) S 6326 6326 5281 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 2 0 869407711 333574144 11236 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604448692947008 0 0 -1 6 0 0 0
[pid=6349] ppid=6326 vsize=336012 CPUtime=0.96 cores=0,2,4,6
/proc/6349/stat : 6349 (python) S 6326 6326 5281 0 -1 4202560 1218 0 0 0 48 48 0 0 18 0 2 0 869407713 344076288 11240 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6349/statm: 84003 11240 390 364 0 18881 0
[pid=6351] ppid=6349 vsize=123588 CPUtime=228.95 cores=0,2,4,6
/proc/6351/stat : 6351 (clasp-1.3.7-x86) T 6349 6351 6351 0 -1 4202496 30496 0 0 0 22890 5 0 0 25 0 1 0 869407714 126554112 29511 33554432000 134512640 136139019 4290396080 18446744073709551615 134828798 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/6351/statm: 30897 29511 183 398 0 30497 0
[pid=6349/tid=6375] ppid=6326 vsize=336012 CPUtime=0 cores=0,2,4,6
/proc/6349/task/6375/stat : 6375 (python) S 6326 6326 5281 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 2 0 869412535 344076288 11240 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604450878322752 0 0 -1 6 0 0 0
[pid=6654] ppid=6326 vsize=346268 CPUtime=0.39 cores=0,2,4,6
/proc/6654/stat : 6654 (python) S 6326 6326 5281 0 -1 4202560 1170 0 0 0 19 20 0 0 16 0 2 0 869481089 354578432 11244 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6654/statm: 86567 11244 390 364 0 21442 0
[pid=6656] ppid=6654 vsize=33080 CPUtime=95.68 cores=0,2,4,6
/proc/6656/stat : 6656 (bsolo_pb10) T 6654 6656 6656 0 -1 4202496 6839 0 0 0 9564 4 0 0 25 0 1 0 869481089 33873920 5720 33554432000 134512640 137138936 4289760560 18446744073709551615 134541989 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/6656/statm: 8270 5720 184 642 0 7626 0
[pid=6654/tid=6659] ppid=6326 vsize=346268 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6659/stat : 6659 (python) S 6326 6326 5281 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 869490657 354578432 11244 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604444527265984 0 0 -1 6 0 0 0
[pid=6701] ppid=6326 vsize=356524 CPUtime=0.2 cores=0,2,4,6
/proc/6701/stat : 6701 (python) S 6326 6326 5281 0 -1 4202560 1167 0 0 0 10 10 0 0 16 0 2 0 869545672 365080576 11248 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/6701/statm: 89131 11248 390 364 0 24003 0
[pid=6703] ppid=6701 vsize=70072 CPUtime=45.82 cores=0,2,4,6
/proc/6703/stat : 6703 (wbo1.4a) T 6701 6703 6703 0 -1 4202496 18082 0 0 0 4572 10 0 0 25 0 1 0 869545673 71753728 16875 33554432000 134512640 135751879 4290291328 18446744073709551615 134605954 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/6703/statm: 17518 16875 143 303 0 17213 0
[pid=6701/tid=6705] ppid=6326 vsize=356524 CPUtime=0 cores=0,2,4,6
/proc/6701/task/6705/stat : 6705 (python) S 6326 6326 5281 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 869550256 365080576 11248 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604441836889984 0 0 -1 2 0 0 0
[pid=6326/tid=6334] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (python) S 6324 6326 5281 0 -1 4202560 26 1593 0 0 0 0 52 0 22 0 7 0 869393082 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
[pid=6326/tid=6340] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6340/stat : 6340 (python) S 6324 6326 5281 0 -1 4202560 45 1593 0 0 0 0 52 0 18 0 7 0 869398163 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 6 0 0 0
[pid=6326/tid=6345] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6345/stat : 6345 (python) S 6324 6326 5281 0 -1 4202560 31 1593 0 0 0 0 52 0 18 0 7 0 869402863 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
[pid=6326/tid=6350] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6350/stat : 6350 (python) S 6324 6326 5281 0 -1 4202560 29 1593 0 0 0 0 52 0 18 0 7 0 869407714 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 0 0 0 0
[pid=6326/tid=6655] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6655/stat : 6655 (python) S 6324 6326 5281 0 -1 4202560 31 1593 0 0 0 0 52 0 20 0 7 0 869481089 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
[pid=6326/tid=6702] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6702/stat : 6702 (python) S 6324 6326 5281 0 -1 4202560 30 1593 0 0 0 0 52 0 20 0 7 0 869545672 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3881864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.9 s]
/proc/loadavg: 1.12 1.27 1.59 3/544 6711
/proc/meminfo: memFree=15357672/32950928 swapFree=61858080/67111528
[pid=6326] ppid=6324 vsize=366768 CPUtime=2.81 cores=0,2,4,6
/proc/6326/stat : 6326 (python) S 6324 6326 5281 0 -1 4202496 27799 1593 1 0 215 14 52 0 18 0 7 0 869392814 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/6326/statm: 91692 12745 1884 364 0 26564 0
[pid=6333] ppid=6326 vsize=315488 CPUtime=0.21 cores=0,2,4,6
/proc/6333/stat : 6333 (python) S 6326 6326 5281 0 -1 4202560 1175 0 0 0 9 12 0 0 17 0 2 0 869393082 323059712 11252 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6333/statm: 78872 11252 410 364 0 13759 0
[pid=6335] ppid=6333 vsize=80232 CPUtime=50.75 cores=0,2,4,6
/proc/6335/stat : 6335 (wbo1.4b-fixed) T 6333 6335 6335 0 -1 4202496 20617 0 0 0 5064 11 0 0 25 0 1 0 869393082 82157568 19420 33554432000 134512640 135752315 4291999824 18446744073709551615 134640506 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/6335/statm: 20058 19420 146 303 0 19753 0
[pid=6333/tid=6338] ppid=6326 vsize=315488 CPUtime=0 cores=0,2,4,6
/proc/6333/task/6338/stat : 6338 (python) S 6326 6326 5281 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869398160 323059712 11252 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604444953161984 0 0 -1 6 0 0 0
[pid=6339] ppid=6326 vsize=315500 CPUtime=5.24 cores=0,2,4,6
/proc/6339/stat : 6339 (python) S 6326 6326 5281 0 -1 4202560 1207 0 0 0 267 257 0 0 16 0 2 0 869398163 323072000 11232 33554432000 4194304 5683644 140735899618896 18446744073709551615 274473987654 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/6339/statm: 78875 11232 390 364 0 13759 0
[pid=6341] ppid=6339 vsize=566940 CPUtime=1275.03 cores=0,2,4,6
/proc/6341/stat : 6341 (scip-2.0.1.linu) R 6339 6341 6341 0 -1 4202496 146211 0 0 0 127174 329 0 0 25 0 1 0 869398163 580546560 139133 33554432000 4194304 13684479 140733426266976 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6341/statm: 141735 139133 846 2317 0 139413 0
[pid=6339/tid=6343] ppid=6326 vsize=315500 CPUtime=0 cores=0,2,4,6
/proc/6339/task/6343/stat : 6343 (python) S 6326 6326 5281 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 2 0 869402860 323072000 11232 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604442082137344 0 0 -1 0 0 0 0
[pid=6344] ppid=6326 vsize=325756 CPUtime=0.4 cores=0,2,4,6
/proc/6344/stat : 6344 (python) S 6326 6326 5281 0 -1 4202560 1162 0 0 0 21 19 0 0 15 0 2 0 869402862 333574144 11236 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6344/statm: 81439 11236 390 364 0 16320 0
[pid=6346] ppid=6344 vsize=645636 CPUtime=93.66 cores=0,2,4,6
/proc/6346/stat : 6346 (scip-2.0.1.linu) T 6344 6346 6346 0 -1 4202496 181036 0 0 0 9322 44 0 0 25 0 1 0 869402863 661131264 143717 33554432000 4194304 15243407 140735247515936 18446744073709551615 8112847 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/6346/statm: 161409 143717 958 2698 0 158704 0
[pid=6344/tid=6348] ppid=6326 vsize=325756 CPUtime=0 cores=0,2,4,6
/proc/6344/task/6348/stat : 6348 (python) S 6326 6326 5281 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 2 0 869407711 333574144 11236 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604448692947008 0 0 -1 6 0 0 0
[pid=6349] ppid=6326 vsize=336012 CPUtime=0.96 cores=0,2,4,6
/proc/6349/stat : 6349 (python) S 6326 6326 5281 0 -1 4202560 1218 0 0 0 48 48 0 0 18 0 2 0 869407713 344076288 11240 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6349/statm: 84003 11240 390 364 0 18881 0
[pid=6351] ppid=6349 vsize=123588 CPUtime=228.95 cores=0,2,4,6
/proc/6351/stat : 6351 (clasp-1.3.7-x86) T 6349 6351 6351 0 -1 4202496 30496 0 0 0 22890 5 0 0 25 0 1 0 869407714 126554112 29511 33554432000 134512640 136139019 4290396080 18446744073709551615 134828798 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/6351/statm: 30897 29511 183 398 0 30497 0
[pid=6349/tid=6375] ppid=6326 vsize=336012 CPUtime=0 cores=0,2,4,6
/proc/6349/task/6375/stat : 6375 (python) S 6326 6326 5281 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 2 0 869412535 344076288 11240 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604450878322752 0 0 -1 6 0 0 0
[pid=6654] ppid=6326 vsize=346268 CPUtime=0.39 cores=0,2,4,6
/proc/6654/stat : 6654 (python) S 6326 6326 5281 0 -1 4202560 1170 0 0 0 19 20 0 0 16 0 2 0 869481089 354578432 11244 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6654/statm: 86567 11244 390 364 0 21442 0
[pid=6656] ppid=6654 vsize=33080 CPUtime=95.68 cores=0,2,4,6
/proc/6656/stat : 6656 (bsolo_pb10) T 6654 6656 6656 0 -1 4202496 6839 0 0 0 9564 4 0 0 25 0 1 0 869481089 33873920 5720 33554432000 134512640 137138936 4289760560 18446744073709551615 134541989 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/6656/statm: 8270 5720 184 642 0 7626 0
[pid=6654/tid=6659] ppid=6326 vsize=346268 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6659/stat : 6659 (python) S 6326 6326 5281 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 869490657 354578432 11244 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604444527265984 0 0 -1 6 0 0 0
[pid=6701] ppid=6326 vsize=356524 CPUtime=0.2 cores=0,2,4,6
/proc/6701/stat : 6701 (python) S 6326 6326 5281 0 -1 4202560 1167 0 0 0 10 10 0 0 16 0 2 0 869545672 365080576 11248 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/6701/statm: 89131 11248 390 364 0 24003 0
[pid=6703] ppid=6701 vsize=70072 CPUtime=45.82 cores=0,2,4,6
/proc/6703/stat : 6703 (wbo1.4a) T 6701 6703 6703 0 -1 4202496 18082 0 0 0 4572 10 0 0 25 0 1 0 869545673 71753728 16875 33554432000 134512640 135751879 4290291328 18446744073709551615 134605954 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/6703/statm: 17518 16875 143 303 0 17213 0
[pid=6701/tid=6705] ppid=6326 vsize=356524 CPUtime=0 cores=0,2,4,6
/proc/6701/task/6705/stat : 6705 (python) S 6326 6326 5281 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 869550256 365080576 11248 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554946 18446604441836889984 0 0 -1 2 0 0 0
[pid=6326/tid=6334] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (python) S 6324 6326 5281 0 -1 4202560 26 1593 0 0 0 0 52 0 22 0 7 0 869393082 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
[pid=6326/tid=6340] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6340/stat : 6340 (python) S 6324 6326 5281 0 -1 4202560 45 1593 0 0 0 0 52 0 18 0 7 0 869398163 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 6 0 0 0
[pid=6326/tid=6345] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6345/stat : 6345 (python) S 6324 6326 5281 0 -1 4202560 31 1593 0 0 0 0 52 0 18 0 7 0 869402863 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
[pid=6326/tid=6350] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6350/stat : 6350 (python) S 6324 6326 5281 0 -1 4202560 29 1593 0 0 0 0 52 0 18 0 7 0 869407714 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 0 0 0 0
[pid=6326/tid=6655] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6655/stat : 6655 (python) S 6324 6326 5281 0 -1 4202560 31 1593 0 0 0 0 52 0 20 0 7 0 869481089 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
[pid=6326/tid=6702] ppid=6324 vsize=366768 CPUtime=0.52 cores=0,2,4,6
/proc/6326/task/6702/stat : 6702 (python) S 6324 6326 5281 0 -1 4202560 30 1593 0 0 0 0 52 0 20 0 7 0 869545672 375570432 12745 33554432000 4194304 5683644 140735899618896 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444527264192 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3881864
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6326 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=682592
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=155976
# CPU time returned by wait4() is 2.83857
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1792.98
CPU time (s): 1800.1
CPU user time (s): 1792.27
CPU system time (s): 7.83
CPU usage (%): 100.397
Max. virtual memory (cumulated for all children) (KiB): 3881864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.68259
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29395
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= 31175
involuntary context switches= 36
runsolver used 9.58654 second user time and 20.039 second system time
The end