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-3482876-1307578763/watcher-3482876-1307578763 -o /tmp/evaluation-result-3482876-1307578763/solver-3482876-1307578763 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482876-1307578763.opb -seed 197850423 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 1.85 2/571 29490
/proc/meminfo: memFree=20072268/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/29490/stat : 29490 (python) R 29488 29490 28679 0 -1 4202496 957 0 0 0 0 0 0 0 20 0 1 0 869474931 16285696 833 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204645376 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29490/statm: 3976 833 357 364 0 463 0
[startup+0.0405029 s]
/proc/loadavg: 2.00 2.02 1.85 2/571 29490
/proc/meminfo: memFree=20072268/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=18884 CPUtime=0.02 cores=1,3,5,7
/proc/29490/stat : 29490 (python) R 29488 29490 28679 0 -1 4202496 1273 0 0 0 1 1 0 0 20 0 1 0 869474931 19337216 1126 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204308165 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29490/statm: 4721 1126 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100495 s]
/proc/loadavg: 2.00 2.02 1.85 2/571 29490
/proc/meminfo: memFree=20072268/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=85616 CPUtime=0.06 cores=1,3,5,7
/proc/29490/stat : 29490 (python) R 29488 29490 28679 0 -1 4202496 2661 0 0 0 4 2 0 0 17 0 1 0 869474931 87670784 2381 33554432000 4194304 5683644 140735092663056 18446744073709551615 4506087 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29490/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300469 s]
/proc/loadavg: 2.00 2.02 1.85 2/571 29490
/proc/meminfo: memFree=20072268/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=123736 CPUtime=0.14 cores=1,3,5,7
/proc/29490/stat : 29490 (python) S 29488 29490 28679 0 -1 4202496 5355 930 1 0 9 5 0 0 16 0 1 0 869474931 126705664 3743 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204643333 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/29490/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123736
[startup+0.700405 s]
/proc/loadavg: 2.00 2.02 1.85 2/571 29490
/proc/meminfo: memFree=20072268/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=277984 CPUtime=0.36 cores=1,3,5,7
/proc/29490/stat : 29490 (python) R 29488 29490 28679 0 -1 4202496 8937 930 1 0 27 9 0 0 15 0 1 0 869474931 284655616 6854 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216476530 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29490/statm: 69497 6855 1740 364 0 5462 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 277984
[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 1.85 3/575 29498
/proc/meminfo: memFree=20046196/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=293280 CPUtime=0.41 cores=1,3,5,7
/proc/29490/stat : 29490 (python) S 29488 29490 28679 0 -1 4202496 9657 930 1 0 32 9 0 0 18 0 2 0 869474931 300318720 7168 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29490/statm: 73320 7168 1870 364 0 8207 0
[pid=29496] ppid=29490 vsize=283036 CPUtime=0 cores=1,3,5,7
/proc/29496/stat : 29496 (python) S 29490 29490 28679 0 -1 4202560 697 0 0 0 0 0 0 0 18 0 1 0 869475006 289828864 5643 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204667407 0 0 16781312 33554946 12911120812211142918 0 0 17 5 0 0 0
/proc/29496/statm: 70759 5643 349 364 0 5646 0
[pid=29498] ppid=29496 vsize=2256 CPUtime=0.74 cores=1,3,5,7
/proc/29498/stat : 29498 (clasp-1.3.7-x86) R 29496 29498 29498 0 -1 4202496 564 0 0 0 74 0 0 0 21 0 1 0 869475006 2310144 307 33554432000 134512640 136139019 4293064624 18446744073709551615 134891507 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/29498/statm: 564 307 182 398 0 164 0
[pid=29490/tid=29497] ppid=29488 vsize=293280 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29497/stat : 29497 (python) S 29488 29490 28679 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869475006 300318720 7168 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 578572
[startup+3.101 s]
/proc/loadavg: 2.00 2.02 1.85 3/575 29498
/proc/meminfo: memFree=20045080/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=293280 CPUtime=0.41 cores=1,3,5,7
/proc/29490/stat : 29490 (python) S 29488 29490 28679 0 -1 4202496 9657 930 1 0 32 9 0 0 18 0 2 0 869474931 300318720 7168 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29490/statm: 73320 7168 1870 364 0 8207 0
[pid=29496] ppid=29490 vsize=283036 CPUtime=0 cores=1,3,5,7
/proc/29496/stat : 29496 (python) S 29490 29490 28679 0 -1 4202560 720 0 0 0 0 0 0 0 18 0 1 0 869475006 289828864 5646 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204667407 0 0 16781312 33554946 12911121568125387014 0 0 17 5 0 0 0
/proc/29496/statm: 70759 5646 352 364 0 5646 0
[pid=29498] ppid=29496 vsize=2388 CPUtime=2.34 cores=1,3,5,7
/proc/29498/stat : 29498 (clasp-1.3.7-x86) R 29496 29498 29498 0 -1 4202496 605 0 0 0 234 0 0 0 25 0 1 0 869475006 2445312 348 33554432000 134512640 136139019 4293064624 18446744073709551615 134832213 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/29498/statm: 597 348 182 398 0 197 0
[pid=29490/tid=29497] ppid=29488 vsize=293280 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29497/stat : 29497 (python) S 29488 29490 28679 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869475006 300318720 7168 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 578704
[startup+6.30046 s]
/proc/loadavg: 2.00 2.02 1.85 3/575 29498
/proc/meminfo: memFree=20042844/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=293280 CPUtime=0.41 cores=1,3,5,7
/proc/29490/stat : 29490 (python) S 29488 29490 28679 0 -1 4202496 9657 930 1 0 32 9 0 0 18 0 2 0 869474931 300318720 7168 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29490/statm: 73320 7168 1870 364 0 8207 0
[pid=29496] ppid=29490 vsize=283036 CPUtime=0.01 cores=1,3,5,7
/proc/29496/stat : 29496 (python) S 29490 29490 28679 0 -1 4202560 886 0 0 0 0 1 0 0 18 0 1 0 869475006 289828864 5670 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204667407 0 0 16781312 33554946 12911118544468410630 0 0 17 7 0 0 0
/proc/29496/statm: 70759 5670 376 364 0 5646 0
[pid=29498] ppid=29496 vsize=2652 CPUtime=5.54 cores=1,3,5,7
/proc/29498/stat : 29498 (clasp-1.3.7-x86) R 29496 29498 29498 0 -1 4202496 658 0 0 0 554 0 0 0 25 0 1 0 869475006 2715648 401 33554432000 134512640 136139019 4293064624 18446744073709551615 134883764 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/29498/statm: 663 401 182 398 0 263 0
[pid=29490/tid=29497] ppid=29488 vsize=293280 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29497/stat : 29497 (python) S 29488 29490 28679 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869475006 300318720 7168 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 578968
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 1.85 3/575 29499
/proc/meminfo: memFree=20044864/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=293280 CPUtime=0.41 cores=1,3,5,7
/proc/29490/stat : 29490 (python) S 29488 29490 28679 0 -1 4202496 9657 930 1 0 32 9 0 0 18 0 2 0 869474931 300318720 7168 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29490/statm: 73320 7168 1870 364 0 8207 0
[pid=29496] ppid=29490 vsize=283036 CPUtime=0.04 cores=1,3,5,7
/proc/29496/stat : 29496 (python) S 29490 29490 28679 0 -1 4202560 889 0 0 0 2 2 0 0 18 0 1 0 869475006 289828864 5670 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204667407 0 0 16781312 33554946 12911121568125387014 0 0 17 7 0 0 0
/proc/29496/statm: 70759 5670 376 364 0 5646 0
[pid=29498] ppid=29496 vsize=2784 CPUtime=11.94 cores=1,3,5,7
/proc/29498/stat : 29498 (clasp-1.3.7-x86) R 29496 29498 29498 0 -1 4202496 710 0 0 0 1194 0 0 0 25 0 1 0 869475006 2850816 453 33554432000 134512640 136139019 4293064624 18446744073709551615 134883785 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/29498/statm: 696 453 182 398 0 296 0
[pid=29490/tid=29497] ppid=29488 vsize=293280 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29497/stat : 29497 (python) S 29488 29490 28679 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869475006 300318720 7168 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 579100
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 1.85 3/575 29499
/proc/meminfo: memFree=20045116/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=293280 CPUtime=0.41 cores=1,3,5,7
/proc/29490/stat : 29490 (python) S 29488 29490 28679 0 -1 4202496 9657 930 1 0 32 9 0 0 18 0 2 0 869474931 300318720 7168 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29490/statm: 73320 7168 1870 364 0 8207 0
[pid=29496] ppid=29490 vsize=283036 CPUtime=0.09 cores=1,3,5,7
/proc/29496/stat : 29496 (python) S 29490 29490 28679 0 -1 4202560 893 0 0 0 4 5 0 0 18 0 1 0 869475006 289828864 5670 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204667407 0 0 16781312 33554946 5623753486446373669 0 0 17 7 0 0 0
/proc/29496/statm: 70759 5670 376 364 0 5646 0
[pid=29498] ppid=29496 vsize=3180 CPUtime=24.74 cores=1,3,5,7
/proc/29498/stat : 29498 (clasp-1.3.7-x86) R 29496 29498 29498 0 -1 4202496 808 0 0 0 2474 0 0 0 25 0 1 0 869475006 3256320 551 33554432000 134512640 136139019 4293064624 18446744073709551615 134831121 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/29498/statm: 795 551 182 398 0 395 0
[pid=29490/tid=29497] ppid=29488 vsize=293280 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29497/stat : 29497 (python) S 29488 29490 28679 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 869475006 300318720 7168 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 579496
[startup+51.1009 s]
/proc/loadavg: 2.00 2.02 1.85 3/579 29504
/proc/meminfo: memFree=20008008/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=303996 CPUtime=0.43 cores=1,3,5,7
/proc/29490/stat : 29490 (python) S 29488 29490 28679 0 -1 4202496 10514 930 1 0 34 9 0 0 20 0 3 0 869474931 311291904 7297 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/29490/statm: 75999 7297 1873 364 0 10883 0
[pid=29496] ppid=29490 vsize=293280 CPUtime=0.19 cores=1,3,5,7
/proc/29496/stat : 29496 (python) S 29490 29490 28679 0 -1 4202560 1130 0 0 0 9 10 0 0 19 0 2 0 869475006 300318720 5711 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29496/statm: 73320 5711 412 364 0 8207 0
[pid=29498] ppid=29496 vsize=3584 CPUtime=48.18 cores=1,3,5,7
/proc/29498/stat : 29498 (clasp-1.3.7-x86) T 29496 29498 29498 0 -1 4202496 890 0 0 0 4818 0 0 0 25 0 1 0 869475006 3670016 633 33554432000 134512640 136139019 4293064624 18446744073709551615 134632459 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/29498/statm: 896 633 182 398 0 496 0
[pid=29496/tid=29501] ppid=29490 vsize=293280 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29501/stat : 29501 (python) S 29490 29490 28679 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869479826 300318720 5711 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554946 18446604463005517120 0 0 -1 7 0 0 0
[pid=29502] ppid=29490 vsize=293752 CPUtime=0 cores=1,3,5,7
/proc/29502/stat : 29502 (python) S 29490 29490 28679 0 -1 4202560 792 0 0 0 0 0 0 0 15 0 1 0 869479829 300802048 5769 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204667462 0 0 16781312 33554946 2265789595910144000 0 0 17 3 0 0 0
/proc/29502/statm: 73438 5769 349 364 0 8322 0
[pid=29504] ppid=29502 vsize=45404 CPUtime=2.09 cores=1,3,5,7
/proc/29504/stat : 29504 (scip-2.0.1.linu) R 29502 29504 29504 0 -1 4202496 9497 0 0 0 194 15 0 0 21 0 1 0 869479829 46493696 8811 33554432000 4194304 13684479 140736248082784 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29504/statm: 11351 8811 819 2317 0 9029 0
[pid=29490/tid=29497] ppid=29488 vsize=303996 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29497/stat : 29497 (python) S 29488 29490 28679 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 3 0 869475006 311291904 7297 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 5 0 0 0
[pid=29490/tid=29503] ppid=29488 vsize=303996 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29503/stat : 29503 (python) S 29488 29490 28679 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 3 0 869479829 311291904 7297 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 940016
[startup+102.319 s]
/proc/loadavg: 2.05 2.03 1.86 3/583 29509
/proc/meminfo: memFree=19980348/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=313980 CPUtime=0.46 cores=1,3,5,7
/proc/29490/stat : 29490 (python) S 29488 29490 28679 0 -1 4202496 11387 930 1 0 36 10 0 0 20 0 4 0 869474931 321515520 7220 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 78495 7220 1875 364 0 13376 0
[pid=29496] ppid=29490 vsize=293280 CPUtime=0.19 cores=1,3,5,7
/proc/29496/stat : 29496 (python) S 29490 29490 28679 0 -1 4202560 1130 0 0 0 9 10 0 0 19 0 2 0 869475006 300318720 5711 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29496/statm: 73320 5711 412 364 0 8207 0
[pid=29498] ppid=29496 vsize=3584 CPUtime=48.18 cores=1,3,5,7
/proc/29498/stat : 29498 (clasp-1.3.7-x86) T 29496 29498 29498 0 -1 4202496 890 0 0 0 4818 0 0 0 25 0 1 0 869475006 3670016 633 33554432000 134512640 136139019 4293064624 18446744073709551615 134632459 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/29498/statm: 896 633 182 398 0 496 0
[pid=29496/tid=29501] ppid=29490 vsize=293280 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29501/stat : 29501 (python) S 29490 29490 28679 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869479826 300318720 5711 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554946 18446604463005517120 0 0 -1 7 0 0 0
[pid=29502] ppid=29490 vsize=293752 CPUtime=0.36 cores=1,3,5,7
/proc/29502/stat : 29502 (python) S 29490 29490 28679 0 -1 4202560 1159 0 0 0 22 14 0 0 16 0 2 0 869479829 300802048 5819 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29502/statm: 73438 5819 398 364 0 8322 0
[pid=29504] ppid=29502 vsize=45404 CPUtime=49.99 cores=1,3,5,7
/proc/29504/stat : 29504 (scip-2.0.1.linu) T 29502 29504 29504 0 -1 4202496 9588 0 0 0 4571 428 0 0 19 0 1 0 869479829 46493696 8902 33554432000 4194304 13684479 140736248082784 18446744073709551615 4770617 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/29504/statm: 11351 8902 820 2317 0 9029 0
[pid=29502/tid=29506] ppid=29490 vsize=293752 CPUtime=0 cores=1,3,5,7
/proc/29502/task/29506/stat : 29506 (python) S 29490 29490 28679 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869484844 300802048 5819 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554946 18446604469371743296 0 0 -1 7 0 0 0
[pid=29507] ppid=29490 vsize=303736 CPUtime=0 cores=1,3,5,7
/proc/29507/stat : 29507 (python) S 29490 29490 28679 0 -1 4202560 805 0 0 0 0 0 0 0 15 0 1 0 869484846 311025664 5690 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204667462 0 0 16781312 33554946 2387850908605087744 0 0 17 3 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+399.201 s]
/proc/loadavg: 2.11 2.10 1.93 5/634 29568
/proc/meminfo: memFree=19866252/32951124 swapFree=63649284/67111528
[pid=29490] ppid=29488 vsize=355640 CPUtime=0.66 cores=1,3,5,7
/proc/29490/stat : 29490 (python) S 29488 29490 28679 0 -1 4202496 15114 930 1 0 56 10 0 0 20 0 8 0 869474931 364175360 7402 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29490/statm: 88910 7402 1883 364 0 23779 0
[pid=29496] ppid=29490 vsize=293280 CPUtime=0.4 cores=1,3,5,7
/proc/29496/stat : 29496 (python) S 29490 29490 28679 0 -1 4202560 1159 0 0 0 20 20 0 0 18 0 2 0 869475006 300318720 5712 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/29496/statm: 73320 5712 413 364 0 8207 0
[pid=29498] ppid=29496 vsize=3984 CPUtime=93.38 cores=1,3,5,7
/proc/29498/stat : 29498 (clasp-1.3.7-x86) T 29496 29498 29498 0 -1 4202496 987 0 0 0 9338 0 0 0 25 0 1 0 869475006 4079616 730 33554432000 134512640 136139019 4293064624 18446744073709551615 134871055 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/29498/statm: 996 730 182 398 0 596 0
[pid=29496/tid=29501] ppid=29490 vsize=293280 CPUtime=0 cores=1,3,5,7
/proc/29496/task/29501/stat : 29501 (python) S 29490 29490 28679 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 2 0 869479826 300318720 5712 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554946 18446604463005517120 0 0 -1 7 0 0 0
[pid=29502] ppid=29490 vsize=293752 CPUtime=0.36 cores=1,3,5,7
/proc/29502/stat : 29502 (python) S 29490 29490 28679 0 -1 4202560 1159 0 0 0 22 14 0 0 16 0 2 0 869479829 300802048 5819 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29502/statm: 73438 5819 398 364 0 8322 0
[pid=29504] ppid=29502 vsize=45404 CPUtime=49.99 cores=1,3,5,7
/proc/29504/stat : 29504 (scip-2.0.1.linu) T 29502 29504 29504 0 -1 4202496 9588 0 0 0 4571 428 0 0 19 0 1 0 869479829 46493696 8902 33554432000 4194304 13684479 140736248082784 18446744073709551615 4770617 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/29504/statm: 11351 8902 820 2317 0 9029 0
[pid=29502/tid=29506] ppid=29490 vsize=293752 CPUtime=0 cores=1,3,5,7
/proc/29502/task/29506/stat : 29506 (python) S 29490 29490 28679 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869484844 300802048 5819 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554946 18446604469371743296 0 0 -1 7 0 0 0
[pid=29507] ppid=29490 vsize=303736 CPUtime=0.53 cores=1,3,5,7
/proc/29507/stat : 29507 (python) S 29490 29490 28679 0 -1 4202560 1173 0 0 0 25 28 0 0 15 0 2 0 869484846 311025664 5741 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29507/statm: 75934 5741 398 364 0 10815 0
[pid=29509] ppid=29507 vsize=44356 CPUtime=95.56 cores=1,3,5,7
/proc/29509/stat : 29509 (scip-2.0.1.linu) T 29507 29509 29509 0 -1 4202496 19051 0 0 0 9330 226 0 0 18 0 1 0 869484847 45420544 7756 33554432000 4194304 15243407 140736943060720 18446744073709551615 5563319 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/29509/statm: 11089 7756 925 2698 0 8384 0
[pid=29507/tid=29511] ppid=29490 vsize=303736 CPUtime=0 cores=1,3,5,7
/proc/29507/task/29511/stat : 29511 (python) S 29490 29490 28679 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869489836 311025664 5741 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554946 18446604458414016320 0 0 -1 5 0 0 0
[pid=29512] ppid=29490 vsize=314436 CPUtime=0.2 cores=1,3,5,7
/proc/29512/stat : 29512 (python) S 29490 29490 28679 0 -1 4202560 1120 0 0 0 9 11 0 0 19 0 2 0 869489843 321982464 5853 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29512/statm: 78609 5853 397 364 0 13487 0
[pid=29514] ppid=29512 vsize=64256 CPUtime=48.19 cores=1,3,5,7
/proc/29514/stat : 29514 (minion) T 29512 29514 29514 0 -1 4202496 9048 0 0 0 4819 0 0 0 25 0 1 0 869489844 65798144 8783 33554432000 134512640 165565024 4291114176 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 1 0 0 0
/proc/29514/statm: 16064 8783 346 7582 0 8479 0
[pid=29512/tid=29517] ppid=29490 vsize=314436 CPUtime=0 cores=1,3,5,7
/proc/29512/task/29517/stat : 29517 (python) S 29490 29490 28679 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869494667 321982464 5853 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554946 18446604458690622528 0 0 -1 7 0 0 0
[pid=29518] ppid=29490 vsize=324692 CPUtime=0.26 cores=1,3,5,7
/proc/29518/stat : 29518 (python) S 29490 29490 28679 0 -1 4202560 1124 0 0 0 12 14 0 0 19 0 2 0 869494669 332484608 5857 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29518/statm: 81173 5857 397 364 0 16048 0
[pid=29520] ppid=29518 vsize=14500 CPUtime=62.25 cores=1,3,5,7
/proc/29520/stat : 29520 (pbct-0.1.2-linu) T 29518 29520 29520 0 -1 4202496 3498 0 0 0 4715 1510 0 0 25 0 1 0 869494670 14848000 3231 33554432000 134512640 136422188 4294239312 18446744073709551615 135874785 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/29520/statm: 3625 3231 215 467 0 3156 0
[pid=29518/tid=29522] ppid=29490 vsize=324692 CPUtime=0 cores=1,3,5,7
/proc/29518/task/29522/stat : 29522 (python) S 29490 29490 28679 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 869500899 332484608 5857 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554946 18446604463285161024 0 0 -1 7 0 0 0
[pid=29524] ppid=29490 vsize=335112 CPUtime=0.23 cores=1,3,5,7
/proc/29524/stat : 29524 (python) S 29490 29490 28679 0 -1 4202560 1132 0 0 0 11 12 0 0 17 0 2 0 869505424 343154688 5902 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29524/statm: 83778 5902 397 364 0 18650 0
[pid=29526] ppid=29524 vsize=8601352 CPUtime=48.91 cores=1,3,5,7
/proc/29526/stat : 29526 (java) T 29524 29526 29526 0 -1 4202496 11626 0 1 0 4888 3 0 0 15 0 19 0 869505425 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29526/statm: 2150338 9898 2241 9 0 2141079 0
[pid=29526/tid=29527] ppid=29524 vsize=8601352 CPUtime=48.06 cores=1,3,5,7
/proc/29526/task/29527/stat : 29527 (java) T 29524 29526 29526 0 -1 4202560 4622 0 1 0 4805 1 0 0 25 0 19 0 869505426 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 46912505600944 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29526/tid=29528] ppid=29524 vsize=8601352 CPUtime=0 cores=1,3,5,7
/proc/29526/task/29528/stat : 29528 (java) T 29524 29526 29526 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 869505426 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29526/tid=29529] ppid=29524 vsize=8601352 CPUtime=0.02 cores=1,3,5,7
/proc/29526/task/29529/stat : 29529 (java) T 29524 29526 29526 0 -1 4202560 151 0 0 0 2 0 0 0 15 0 19 0 869505426 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29526/tid=29530] ppid=29524 vsize=8601352 CPUtime=0.02 cores=1,3,5,7
/proc/29526/task/29530/stat : 29530 (java) T 29524 29526 29526 0 -1 4202560 89 0 0 0 2 0 0 0 15 0 19 0 869505426 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29526/tid=29531] ppid=29524 vsize=8601352 CPUtime=0.01 cores=1,3,5,7
/proc/29526/task/29531/stat : 29531 (java) T 29524 29526 29526 0 -1 4202560 72 0 0 0 1 0 0 0 15 0 19 0 869505426 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29526/tid=29532] ppid=29524 vsize=8601352 CPUtime=0.01 cores=1,3,5,7
/proc/29526/task/29532/stat : 29532 (java) T 29524 29526 29526 0 -1 4202560 148 0 0 0 1 0 0 0 15 0 19 0 869505426 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29526/tid=29533] ppid=29524 vsize=8601352 CPUtime=0.01 cores=1,3,5,7
/proc/29526/task/29533/stat : 29533 (java) T 29524 29526 29526 0 -1 4202560 136 0 0 0 1 0 0 0 15 0 19 0 869505426 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29526/tid=29534] ppid=29524 vsize=8601352 CPUtime=0.01 cores=1,3,5,7
/proc/29526/task/29534/stat : 29534 (java) T 29524 29526 29526 0 -1 4202560 49 0 0 0 1 0 0 0 15 0 19 0 869505426 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29526/tid=29535] ppid=29524 vsize=8601352 CPUtime=0.02 cores=1,3,5,7
/proc/29526/task/29535/stat : 29535 (java) T 29524 29526 29526 0 -1 4202560 321 0 0 0 2 0 0 0 15 0 19 0 869505426 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29526/tid=29536] ppid=29524 vsize=8601352 CPUtime=0.28 cores=1,3,5,7
/proc/29526/task/29536/stat : 29536 (java) T 29524 29526 29526 0 -1 4202560 1126 0 0 0 28 0 0 0 15 0 19 0 869505427 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463872 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29526/tid=29537] ppid=29524 vsize=8601352 CPUtime=0 cores=1,3,5,7
/proc/29526/task/29537/stat : 29537 (java) T 29524 29526 29526 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869505428 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29526/tid=29538] ppid=29524 vsize=8601352 CPUtime=0 cores=1,3,5,7
/proc/29526/task/29538/stat : 29538 (java) T 29524 29526 29526 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869505428 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29526/tid=29539] ppid=29524 vsize=8601352 CPUtime=0 cores=1,3,5,7
/proc/29526/task/29539/stat : 29539 (java) T 29524 29526 29526 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869505430 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216470961 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29526/tid=29540] ppid=29524 vsize=8601352 CPUtime=0.22 cores=1,3,5,7
/proc/29526/task/29540/stat : 29540 (java) T 29524 29526 29526 0 -1 4202560 1571 0 0 0 22 0 0 0 15 0 19 0 869505430 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29526/tid=29541] ppid=29524 vsize=8601352 CPUtime=0.18 cores=1,3,5,7
/proc/29526/task/29541/stat : 29541 (java) T 29524 29526 29526 0 -1 4202560 1871 0 0 0 18 0 0 0 15 0 19 0 869505430 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29526/tid=29542] ppid=29524 vsize=8601352 CPUtime=0 cores=1,3,5,7
/proc/29526/task/29542/stat : 29542 (java) T 29524 29526 29526 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869505430 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29526/tid=29543] ppid=29524 vsize=8601352 CPUtime=0 cores=1,3,5,7
/proc/29526/task/29543/stat : 29543 (java) T 29524 29526 29526 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869505430 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463872 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29526/tid=29544] ppid=29524 vsize=8601352 CPUtime=0 cores=1,3,5,7
/proc/29526/task/29544/stat : 29544 (java) T 29524 29526 29526 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869505446 8807784448 9898 33554432000 1073741824 1073778376 140733319079760 18446744073709551615 210216463872 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29524/tid=29547] ppid=29490 vsize=335112 CPUtime=0 cores=1,3,5,7
/proc/29524/task/29547/stat : 29547 (python) S 29490 29490 28679 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869510270 343154688 5902 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554946 18446604467262457664 0 0 -1 7 0 0 0
[pid=29549] ppid=29490 vsize=345396 CPUtime=0 cores=1,3,5,7
/proc/29549/stat : 29549 (python) S 29490 29490 28679 0 -1 4202560 828 0 0 0 0 0 0 0 19 0 1 0 869514844 353685504 5864 33554432000 4194304 5683644 140735092663056 18446744073709551615 210204667462 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/29549/statm: 86349 5864 349 364 0 21218 0
[pid=29551] ppid=29549 vsize=8532284 CPUtime=0.09 cores=1,3,5,7
/proc/29551/stat : 29551 (java) S 29549 29551 29551 0 -1 4202496 5206 0 1 0 8 1 0 0 17 0 18 0 869514844 8737058816 4661 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29551/statm: 2133071 4661 2085 9 0 2123812 0
[pid=29551/tid=29552] ppid=29549 vsize=8532284 CPUtime=0.07 cores=1,3,5,7
/proc/29551/task/29552/stat : 29552 (java) R 29549 29551 29551 0 -1 4202560 3226 0 1 0 7 0 0 0 22 0 18 0 869514845 8737058816 4703 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29551/tid=29553] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29553/stat : 29553 (java) S 29549 29551 29551 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869514845 8737058816 4704 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 5 0 0 0
[pid=29551/tid=29554] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29554/stat : 29554 (java) S 29549 29551 29551 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869514845 8737058816 4704 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 5 0 0 0
[pid=29551/tid=29555] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29555/stat : 29555 (java) S 29549 29551 29551 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869514845 8737058816 4705 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 5 0 0 0
[pid=29551/tid=29556] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29556/stat : 29556 (java) S 29549 29551 29551 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869514845 8737058816 4705 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 7 0 0 0
[pid=29551/tid=29557] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29557/stat : 29557 (java) S 29549 29551 29551 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 869514845 8737058816 4706 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 7 0 0 0
[pid=29551/tid=29558] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29558/stat : 29558 (java) S 29549 29551 29551 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869514845 8737058816 4707 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 7 0 0 0
[pid=29551/tid=29559] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29559/stat : 29559 (java) S 29549 29551 29551 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869514846 8737058816 4707 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 7 0 0 0
[pid=29551/tid=29560] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29560/stat : 29560 (java) S 29549 29551 29551 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869514846 8737058816 4708 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 5 0 0 0
[pid=29551/tid=29561] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29561/stat : 29561 (java) S 29549 29551 29551 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869514847 8737058816 4708 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463872 0 0 0 16800975 18446604469519252288 0 0 -1 5 0 0 0
[pid=29551/tid=29562] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29562/stat : 29562 (java) S 29549 29551 29551 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869514847 8737058816 4708 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 7 0 0 0
[pid=29551/tid=29563] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29563/stat : 29563 (java) S 29549 29551 29551 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 18 0 869514847 8737058816 4708 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 5 0 0 0
[pid=29551/tid=29564] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29564/stat : 29564 (java) S 29549 29551 29551 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869514849 8737058816 4708 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216470961 0 4 0 16800975 18446604469519252288 0 0 -1 7 0 0 0
[pid=29551/tid=29565] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29565/stat : 29565 (java) R 29549 29551 29551 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 18 0 869514849 8737058816 4708 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29551/tid=29566] ppid=29549 vsize=8532284 CPUtime=0.01 cores=1,3,5,7
/proc/29551/task/29566/stat : 29566 (java) S 29549 29551 29551 0 -1 4202560 605 0 0 0 1 0 0 0 20 0 18 0 869514849 8737058816 4708 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 1 0 0 0
[pid=29551/tid=29567] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29567/stat : 29567 (java) S 29549 29551 29551 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 869514849 8737058816 4708 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463257 0 4 0 16800975 18446604469519252288 0 0 -1 5 0 0 0
[pid=29551/tid=29568] ppid=29549 vsize=8532284 CPUtime=0 cores=1,3,5,7
/proc/29551/task/29568/stat : 29568 (java) R 29549 29551 29551 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869514849 8737058816 4708 33554432000 1073741824 1073778376 140736335485600 18446744073709551615 210216463872 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29490/tid=29497] ppid=29488 vsize=355640 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29497/stat : 29497 (python) S 29488 29490 28679 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 8 0 869475006 364175360 7402 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 5 0 0 0
[pid=29490/tid=29503] ppid=29488 vsize=355640 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29503/stat : 29503 (python) S 29488 29490 28679 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 8 0 869479829 364175360 7402 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 3 0 0 0
[pid=29490/tid=29508] ppid=29488 vsize=355640 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29508/stat : 29508 (python) S 29488 29490 28679 0 -1 4202560 35 930 0 0 0 0 0 0 18 0 8 0 869484847 364175360 7402 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 3 0 0 0
[pid=29490/tid=29513] ppid=29488 vsize=355640 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29513/stat : 29513 (python) S 29488 29490 28679 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 8 0 869489844 364175360 7402 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 5 0 0 0
[pid=29490/tid=29519] ppid=29488 vsize=355640 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29519/stat : 29519 (python) S 29488 29490 28679 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 8 0 869494670 364175360 7402 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 5 0 0 0
[pid=29490/tid=29525] ppid=29488 vsize=355640 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29525/stat : 29525 (python) S 29488 29490 28679 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 8 0 869505424 364175360 7402 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 1 0 0 0
[pid=29490/tid=29550] ppid=29488 vsize=355640 CPUtime=0 cores=1,3,5,7
/proc/29490/task/29550/stat : 29550 (python) S 29488 29490 28679 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 8 0 869514844 364175360 7402 33554432000 4194304 5683644 140735092663056 18446744073709551615 210216470961 0 0 16781312 33554434 18446604458414015424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 401.01
Current children cumulated vsize (KiB) 19872180
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29490 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=574912
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=111982
# CPU time returned by wait4() is 0.686894
# while last known CPU time is 401.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 399.296
CPU time (s): 401.01
CPU user time (s): 378.24
CPU system time (s): 22.77
CPU usage (%): 100.429
Max. virtual memory (cumulated for all children) (KiB): 19872180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.574912
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16480
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= 2883
involuntary context switches= 21
runsolver used 2.31465 second user time and 5.39318 second system time
The end