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-3482225-1307578747/watcher-3482225-1307578747 -o /tmp/evaluation-result-3482225-1307578747/solver-3482225-1307578747 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482225-1307578747.opb -seed 1393809958 -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.34 2.17 1.92 2/830 3024
/proc/meminfo: memFree=14187532/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=15752 CPUtime=0 cores=1,3,5,7
/proc/3024/stat : 3024 (python) S 3022 3024 1117 0 -1 4202496 840 0 0 0 0 0 0 0 20 0 1 0 869475249 16130048 723 33554432000 4194304 5683644 140737031859328 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/3024/statm: 3938 723 334 364 0 425 0
[startup+0.107976 s]
/proc/loadavg: 2.34 2.17 1.92 2/830 3024
/proc/meminfo: memFree=14187532/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/3024/stat : 3024 (python) R 3022 3024 1117 0 -1 4202496 3169 932 1 0 6 1 0 0 18 0 1 0 869475249 98430976 2483 33554432000 4194304 5683644 140737031859328 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3024/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.200905 s]
/proc/loadavg: 2.34 2.17 1.92 2/830 3024
/proc/meminfo: memFree=14187532/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/3024/stat : 3024 (python) R 3022 3024 1117 0 -1 4202496 5357 932 1 0 10 4 0 0 17 0 1 0 869475249 126709760 3744 33554432000 4194304 5683644 140737031859328 18446744073709551615 253640855557 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3024/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.300852 s]
/proc/loadavg: 2.34 2.17 1.92 2/830 3024
/proc/meminfo: memFree=14187532/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=200776 CPUtime=0.2 cores=1,3,5,7
/proc/3024/stat : 3024 (python) S 3022 3024 1117 0 -1 4202496 6649 932 1 0 15 5 0 0 17 0 1 0 869475249 205594624 4936 33554432000 4194304 5683644 140737031859328 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/3024/statm: 50194 4936 1465 364 0 3676 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 200776
[startup+0.700814 s]
/proc/loadavg: 2.34 2.17 1.92 2/830 3024
/proc/meminfo: memFree=14187532/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=297868 CPUtime=0.57 cores=1,3,5,7
/proc/3024/stat : 3024 (python) R 3022 3024 1117 0 -1 4202496 12890 932 1 0 48 9 0 0 17 0 1 0 869475249 305016832 10752 33554432000 4194304 5683644 140737031859328 18446744073709551615 4602976 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3024/statm: 74467 10753 1781 364 0 9360 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 297868
[startup+1.50068 s]
/proc/loadavg: 2.34 2.17 1.92 3/831 3029
/proc/meminfo: memFree=14135320/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=326480 CPUtime=1.37 cores=1,3,5,7
/proc/3024/stat : 3024 (python) R 3022 3024 1117 0 -1 4202496 19942 932 1 0 127 10 0 0 18 0 1 0 869475249 334315520 17804 33554432000 4194304 5683644 140737031859328 18446744073709551615 47916938668530 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3024/statm: 81620 17804 1781 364 0 16513 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 326480
[startup+3.10038 s]
/proc/loadavg: 2.34 2.17 1.92 3/831 3029
/proc/meminfo: memFree=14112876/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=333480 CPUtime=2.97 cores=1,3,5,7
/proc/3024/stat : 3024 (python) R 3022 3024 1117 0 -1 4202496 30282 932 1 0 286 11 0 0 21 0 1 0 869475249 341483520 19718 33554432000 4194304 5683644 140737031859328 18446744073709551615 253640526815 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/3024/statm: 83370 19718 1816 364 0 18263 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 333480
[startup+6.3008 s]
/proc/loadavg: 2.39 2.18 1.93 3/834 3033
/proc/meminfo: memFree=14057748/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=347580 CPUtime=3.94 cores=1,3,5,7
/proc/3024/stat : 3024 (python) S 3022 3024 1117 0 -1 4202496 31530 932 1 0 383 11 0 0 25 0 2 0 869475249 355921920 20734 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3024/statm: 86895 20734 1870 364 0 21782 0
[pid=3031] ppid=3024 vsize=337336 CPUtime=0 cores=1,3,5,7
/proc/3031/stat : 3031 (python) S 3024 3024 1117 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 869475656 345432064 19211 33554432000 4194304 5683644 140737031859328 18446744073709551615 253640879631 0 0 16781312 33554946 4415775281403363588 0 0 17 7 0 0 0
/proc/3031/statm: 84334 19211 351 364 0 19221 0
[pid=3033] ppid=3031 vsize=55724 CPUtime=2.22 cores=1,3,5,7
/proc/3033/stat : 3033 (wbo1.4a) R 3031 3033 3033 0 -1 4202496 25135 0 0 0 219 3 0 0 25 0 1 0 869475656 57061376 12991 33554432000 134512640 135751879 4293001680 18446744073709551615 134637743 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/3033/statm: 13931 12991 145 303 0 13626 0
[pid=3024/tid=3032] ppid=3022 vsize=347580 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3032/stat : 3032 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 25 0 2 0 869475656 355921920 20734 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 740640
[startup+12.7006 s]
/proc/loadavg: 2.36 2.18 1.93 3/834 3033
/proc/meminfo: memFree=14055432/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=347580 CPUtime=3.94 cores=1,3,5,7
/proc/3024/stat : 3024 (python) S 3022 3024 1117 0 -1 4202496 31530 932 1 0 383 11 0 0 25 0 2 0 869475249 355921920 20734 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3024/statm: 86895 20734 1870 364 0 21782 0
[pid=3031] ppid=3024 vsize=337336 CPUtime=0.04 cores=1,3,5,7
/proc/3031/stat : 3031 (python) S 3024 3024 1117 0 -1 4202560 929 0 0 0 2 2 0 0 15 0 1 0 869475656 345432064 19235 33554432000 4194304 5683644 140737031859328 18446744073709551615 253640879631 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/3031/statm: 84334 19235 375 364 0 19221 0
[pid=3033] ppid=3031 vsize=56468 CPUtime=8.61 cores=1,3,5,7
/proc/3033/stat : 3033 (wbo1.4a) R 3031 3033 3033 0 -1 4202496 44693 0 0 0 852 9 0 0 25 0 1 0 869475656 57823232 13197 33554432000 134512640 135751879 4293001680 18446744073709551615 134616489 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/3033/statm: 14117 13197 146 303 0 13812 0
[pid=3024/tid=3032] ppid=3022 vsize=347580 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3032/stat : 3032 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 25 0 2 0 869475656 355921920 20734 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 741384
[startup+25.5003 s]
/proc/loadavg: 2.28 2.17 1.93 3/835 3034
/proc/meminfo: memFree=14049744/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=347580 CPUtime=3.94 cores=1,3,5,7
/proc/3024/stat : 3024 (python) S 3022 3024 1117 0 -1 4202496 31530 932 1 0 383 11 0 0 25 0 2 0 869475249 355921920 20734 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3024/statm: 86895 20734 1870 364 0 21782 0
[pid=3031] ppid=3024 vsize=337336 CPUtime=0.12 cores=1,3,5,7
/proc/3031/stat : 3031 (python) S 3024 3024 1117 0 -1 4202560 940 0 0 0 5 7 0 0 16 0 1 0 869475656 345432064 19235 33554432000 4194304 5683644 140737031859328 18446744073709551615 253640879631 0 0 16781312 33554946 5623753486446373780 0 0 17 7 0 0 0
/proc/3031/statm: 84334 19235 375 364 0 19221 0
[pid=3033] ppid=3031 vsize=60540 CPUtime=21.42 cores=1,3,5,7
/proc/3033/stat : 3033 (wbo1.4a) R 3031 3033 3033 0 -1 4202496 50969 0 0 0 2124 18 0 0 25 0 1 0 869475656 61992960 14210 33554432000 134512640 135751879 4293001680 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/3033/statm: 15135 14210 146 303 0 14830 0
[pid=3024/tid=3032] ppid=3022 vsize=347580 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3032/stat : 3032 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 25 0 2 0 869475656 355921920 20734 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 745456
[startup+51.1227 s]
/proc/loadavg: 2.39 2.20 1.94 3/835 3035
/proc/meminfo: memFree=14030904/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=357836 CPUtime=3.97 cores=1,3,5,7
/proc/3024/stat : 3024 (python) S 3022 3024 1117 0 -1 4202496 32411 932 1 0 385 12 0 0 18 0 3 0 869475249 366424064 20741 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3024/statm: 89459 20741 1873 364 0 24343 0
[pid=3031] ppid=3024 vsize=347580 CPUtime=0.28 cores=1,3,5,7
/proc/3031/stat : 3031 (python) S 3024 3024 1117 0 -1 4202560 1110 0 0 0 12 16 0 0 17 0 2 0 869475656 355921920 19271 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3031/statm: 86895 19271 406 364 0 21782 0
[pid=3033] ppid=3031 vsize=69172 CPUtime=46.97 cores=1,3,5,7
/proc/3033/stat : 3033 (wbo1.4a) T 3031 3033 3033 0 -1 4202496 57079 0 0 0 4663 34 0 0 25 0 1 0 869475656 70832128 16352 33554432000 134512640 135751879 4293001680 18446744073709551615 134616465 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/3033/statm: 17293 16352 146 303 0 16988 0
[pid=3024/tid=3032] ppid=3022 vsize=357836 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3032/stat : 3032 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 25 0 3 0 869475656 366424064 20741 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 774588
[startup+102.301 s]
/proc/loadavg: 2.21 2.18 1.95 3/839 3040
/proc/meminfo: memFree=13053800/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=357836 CPUtime=3.97 cores=1,3,5,7
/proc/3024/stat : 3024 (python) S 3022 3024 1117 0 -1 4202496 32411 932 1 0 385 12 0 0 18 0 3 0 869475249 366424064 20741 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3024/statm: 89459 20741 1873 364 0 24343 0
[pid=3031] ppid=3024 vsize=347580 CPUtime=0.28 cores=1,3,5,7
/proc/3031/stat : 3031 (python) S 3024 3024 1117 0 -1 4202560 1110 0 0 0 12 16 0 0 17 0 2 0 869475656 355921920 19271 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3031/statm: 86895 19271 406 364 0 21782 0
[pid=3033] ppid=3031 vsize=69172 CPUtime=46.97 cores=1,3,5,7
/proc/3033/stat : 3033 (wbo1.4a) T 3031 3033 3033 0 -1 4202496 57079 0 0 0 4663 34 0 0 25 0 1 0 869475656 70832128 16352 33554432000 134512640 135751879 4293001680 18446744073709551615 134616465 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/3033/statm: 17293 16352 146 303 0 16988 0
[pid=3031/tid=3036] ppid=3024 vsize=347580 CPUtime=0 cores=1,3,5,7
/proc/3031/task/3036/stat : 3036 (python) S 3024 3024 1117 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869480354 355921920 19271 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455578477824 0 0 -1 7 0 0 0
[pid=3037] ppid=3024 vsize=347592 CPUtime=0.24 cores=1,3,5,7
/proc/3037/stat : 3037 (python) S 3024 3024 1117 0 -1 4202560 945 0 0 0 11 13 0 0 15 0 1 0 869480357 355934208 19236 33554432000 4194304 5683644 140737031859328 18446744073709551615 253640879686 0 0 16781312 33554946 5623753486446373780 0 0 17 7 0 0 0
/proc/3037/statm: 86898 19236 372 364 0 21782 0
[pid=3039] ppid=3037 vsize=1001060 CPUtime=51.2 cores=1,3,5,7
/proc/3039/stat : 3039 (scip-2.0.1.linu) R 3037 3039 3039 0 -1 4202496 246808 0 0 0 4898 222 0 0 25 0 1 0 869480357 1025085440 242664 33554432000 4194304 13684479 140734935166400 18446744073709551615 5688624 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3039/statm: 250265 242664 658 2317 0 247943 0
[pid=3024/tid=3032] ppid=3022 vsize=357836 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3032/stat : 3032 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 25 0 3 0 869475656 366424064 20741 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 1 0 0 0
[pid=3024/tid=3038] ppid=3022 vsize=357836 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3038/stat : 3038 (python) S 3022 3024 1117 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 3 0 869480357 366424064 20741 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 102.66
Current children cumulated vsize (KiB) 2123240
[startup+162.301 s]
/proc/loadavg: 2.21 2.19 1.97 3/853 3247
/proc/meminfo: memFree=10109496/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=378348 CPUtime=4.02 cores=1,3,5,7
/proc/3024/stat : 3024 (python) S 3022 3024 1117 0 -1 4202496 34169 932 1 0 390 12 0 0 20 0 5 0 869475249 387428352 20753 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3024/statm: 94587 20753 1877 364 0 29465 0
[pid=3031] ppid=3024 vsize=347580 CPUtime=0.28 cores=1,3,5,7
/proc/3031/stat : 3031 (python) S 3024 3024 1117 0 -1 4202560 1110 0 0 0 12 16 0 0 17 0 2 0 869475656 355921920 19271 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3031/statm: 86895 19271 406 364 0 21782 0
[pid=3033] ppid=3031 vsize=69172 CPUtime=46.97 cores=1,3,5,7
/proc/3033/stat : 3033 (wbo1.4a) T 3031 3033 3033 0 -1 4202496 57079 0 0 0 4663 34 0 0 25 0 1 0 869475656 70832128 16352 33554432000 134512640 135751879 4293001680 18446744073709551615 134616465 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/3033/statm: 17293 16352 146 303 0 16988 0
[pid=3031/tid=3036] ppid=3024 vsize=347580 CPUtime=0 cores=1,3,5,7
/proc/3031/task/3036/stat : 3036 (python) S 3024 3024 1117 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869480354 355921920 19271 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455578477824 0 0 -1 7 0 0 0
[pid=3037] ppid=3024 vsize=347592 CPUtime=0.27 cores=1,3,5,7
/proc/3037/stat : 3037 (python) S 3024 3024 1117 0 -1 4202560 1111 0 0 0 12 15 0 0 17 0 2 0 869480357 355934208 19261 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3037/statm: 86898 19261 396 364 0 21782 0
[pid=3039] ppid=3037 vsize=1001944 CPUtime=51.8 cores=1,3,5,7
/proc/3039/stat : 3039 (scip-2.0.1.linu) T 3037 3039 3039 0 -1 4202496 247019 0 0 0 4958 222 0 0 25 0 1 0 869480357 1025990656 242875 33554432000 4194304 13684479 140734935166400 18446744073709551615 4880912 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/3039/statm: 250486 242875 658 2317 0 248164 0
[pid=3037/tid=3041] ppid=3024 vsize=347592 CPUtime=0 cores=1,3,5,7
/proc/3037/task/3041/stat : 3041 (python) S 3024 3024 1117 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869485538 355934208 19261 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554946 18446604458201461824 0 0 -1 7 0 0 0
[pid=3042] ppid=3024 vsize=357848 CPUtime=0.25 cores=1,3,5,7
################
# More data... #
################
[pid=3044/tid=3062] ppid=3042 vsize=8557932 CPUtime=0 cores=1,3,5,7
/proc/3044/task/3062/stat : 3062 (java) T 3042 3044 3044 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869485697 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3042/tid=3239] ppid=3024 vsize=357848 CPUtime=0 cores=1,3,5,7
/proc/3042/task/3239/stat : 3239 (python) S 3024 3024 1117 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869490180 366436352 19274 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554946 18446604466350571904 0 0 -1 5 0 0 0
[pid=3243] ppid=3024 vsize=368104 CPUtime=0.37 cores=1,3,5,7
/proc/3243/stat : 3243 (python) S 3024 3024 1117 0 -1 4202560 997 0 0 0 18 19 0 0 15 0 1 0 869490183 376938496 19244 33554432000 4194304 5683644 140737031859328 18446744073709551615 253640879686 0 0 16781312 33554946 5623753486446373780 0 0 17 7 0 0 0
/proc/3243/statm: 92026 19244 372 364 0 26904 0
[pid=3246] ppid=3243 vsize=50872 CPUtime=72.94 cores=1,3,5,7
/proc/3246/stat : 3246 (clasp-1.3.7-x86) R 3243 3246 3246 0 -1 4202496 15073 0 0 0 7291 3 0 0 25 0 1 0 869490183 52092928 12463 33554432000 134512640 136139019 4289193520 18446744073709551615 134608192 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/3246/statm: 12718 12463 190 398 0 12318 0
[pid=3024/tid=3032] ppid=3022 vsize=378348 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3032/stat : 3032 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 25 0 5 0 869475656 387428352 20753 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 1 0 0 0
[pid=3024/tid=3038] ppid=3022 vsize=378348 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3038/stat : 3038 (python) S 3022 3024 1117 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 5 0 869480357 387428352 20753 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 7 0 0 0
[pid=3024/tid=3043] ppid=3022 vsize=378348 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3043/stat : 3043 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 869485541 387428352 20753 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 1 0 0 0
[pid=3024/tid=3244] ppid=3022 vsize=378348 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3244/stat : 3244 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 869490183 387428352 20753 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 226.62
Current children cumulated vsize (KiB) 11479392
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+245.701 s]
/proc/loadavg: 2.25 2.20 1.99 12/900 3298
/proc/meminfo: memFree=6869096/32951124 swapFree=53733252/67111528
[pid=3024] ppid=3022 vsize=388604 CPUtime=4.05 cores=1,3,5,7
/proc/3024/stat : 3024 (python) S 3022 3024 1117 0 -1 4202496 35081 932 1 0 392 13 0 0 19 0 6 0 869475249 397930496 20759 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/3024/statm: 97151 20759 1879 364 0 32026 0
[pid=3031] ppid=3024 vsize=347580 CPUtime=0.28 cores=1,3,5,7
/proc/3031/stat : 3031 (python) S 3024 3024 1117 0 -1 4202560 1110 0 0 0 12 16 0 0 17 0 2 0 869475656 355921920 19271 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3031/statm: 86895 19271 406 364 0 21782 0
[pid=3033] ppid=3031 vsize=69172 CPUtime=46.97 cores=1,3,5,7
/proc/3033/stat : 3033 (wbo1.4a) T 3031 3033 3033 0 -1 4202496 57079 0 0 0 4663 34 0 0 25 0 1 0 869475656 70832128 16352 33554432000 134512640 135751879 4293001680 18446744073709551615 134616465 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/3033/statm: 17293 16352 146 303 0 16988 0
[pid=3031/tid=3036] ppid=3024 vsize=347580 CPUtime=0 cores=1,3,5,7
/proc/3031/task/3036/stat : 3036 (python) S 3024 3024 1117 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869480354 355921920 19271 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455578477824 0 0 -1 7 0 0 0
[pid=3037] ppid=3024 vsize=347592 CPUtime=0.27 cores=1,3,5,7
/proc/3037/stat : 3037 (python) S 3024 3024 1117 0 -1 4202560 1111 0 0 0 12 15 0 0 17 0 2 0 869480357 355934208 19261 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3037/statm: 86898 19261 396 364 0 21782 0
[pid=3039] ppid=3037 vsize=1001944 CPUtime=51.8 cores=1,3,5,7
/proc/3039/stat : 3039 (scip-2.0.1.linu) T 3037 3039 3039 0 -1 4202496 247019 0 0 0 4958 222 0 0 25 0 1 0 869480357 1025990656 242875 33554432000 4194304 13684479 140734935166400 18446744073709551615 4880912 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/3039/statm: 250486 242875 658 2317 0 248164 0
[pid=3037/tid=3041] ppid=3024 vsize=347592 CPUtime=0 cores=1,3,5,7
/proc/3037/task/3041/stat : 3041 (python) S 3024 3024 1117 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869485538 355934208 19261 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554946 18446604458201461824 0 0 -1 7 0 0 0
[pid=3042] ppid=3024 vsize=357848 CPUtime=0.25 cores=1,3,5,7
/proc/3042/stat : 3042 (python) S 3024 3024 1117 0 -1 4202560 1134 0 0 0 13 12 0 0 16 0 2 0 869485541 366436352 19274 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/3042/statm: 89462 19274 405 364 0 24343 0
[pid=3044] ppid=3042 vsize=8557932 CPUtime=49.72 cores=1,3,5,7
/proc/3044/stat : 3044 (java) T 3042 3044 3044 0 -1 4202496 722146 0 1 0 4892 80 0 0 15 0 19 0 869485541 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3044/statm: 2139483 699508 2263 9 0 2130224 0
[pid=3044/tid=3045] ppid=3042 vsize=8557932 CPUtime=45.83 cores=1,3,5,7
/proc/3044/task/3045/stat : 3045 (java) T 3042 3044 3044 0 -1 4202560 631035 0 1 0 4515 68 0 0 25 0 19 0 869485542 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 46912506020642 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3044/tid=3046] ppid=3042 vsize=8557932 CPUtime=0.11 cores=1,3,5,7
/proc/3044/task/3046/stat : 3046 (java) T 3042 3044 3044 0 -1 4202560 5202 0 0 0 11 0 0 0 15 0 19 0 869485543 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3044/tid=3047] ppid=3042 vsize=8557932 CPUtime=0.1 cores=1,3,5,7
/proc/3044/task/3047/stat : 3047 (java) T 3042 3044 3044 0 -1 4202560 7723 0 0 0 9 1 0 0 15 0 19 0 869485543 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3044/tid=3048] ppid=3042 vsize=8557932 CPUtime=0.07 cores=1,3,5,7
/proc/3044/task/3048/stat : 3048 (java) T 3042 3044 3044 0 -1 4202560 6905 0 0 0 7 0 0 0 15 0 19 0 869485543 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3044/tid=3049] ppid=3042 vsize=8557932 CPUtime=0.2 cores=1,3,5,7
/proc/3044/task/3049/stat : 3049 (java) T 3042 3044 3044 0 -1 4202560 16260 0 0 0 19 1 0 0 15 0 19 0 869485543 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3044/tid=3050] ppid=3042 vsize=8557932 CPUtime=0.12 cores=1,3,5,7
/proc/3044/task/3050/stat : 3050 (java) T 3042 3044 3044 0 -1 4202560 8507 0 0 0 12 0 0 0 15 0 19 0 869485543 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3044/tid=3051] ppid=3042 vsize=8557932 CPUtime=0.13 cores=1,3,5,7
/proc/3044/task/3051/stat : 3051 (java) T 3042 3044 3044 0 -1 4202560 8551 0 0 0 12 1 0 0 15 0 19 0 869485543 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3044/tid=3052] ppid=3042 vsize=8557932 CPUtime=0.13 cores=1,3,5,7
/proc/3044/task/3052/stat : 3052 (java) T 3042 3044 3044 0 -1 4202560 8366 0 0 0 12 1 0 0 15 0 19 0 869485543 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3044/tid=3053] ppid=3042 vsize=8557932 CPUtime=0.14 cores=1,3,5,7
/proc/3044/task/3053/stat : 3053 (java) T 3042 3044 3044 0 -1 4202560 9338 0 0 0 13 1 0 0 15 0 19 0 869485543 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3044/tid=3054] ppid=3042 vsize=8557932 CPUtime=0.19 cores=1,3,5,7
/proc/3044/task/3054/stat : 3054 (java) T 3042 3044 3044 0 -1 4202560 1412 0 0 0 19 0 0 0 15 0 19 0 869485544 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3044/tid=3055] ppid=3042 vsize=8557932 CPUtime=0 cores=1,3,5,7
/proc/3044/task/3055/stat : 3055 (java) T 3042 3044 3044 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869485544 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3044/tid=3056] ppid=3042 vsize=8557932 CPUtime=0 cores=1,3,5,7
/proc/3044/task/3056/stat : 3056 (java) T 3042 3044 3044 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869485544 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3044/tid=3057] ppid=3042 vsize=8557932 CPUtime=0 cores=1,3,5,7
/proc/3044/task/3057/stat : 3057 (java) T 3042 3044 3044 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869485546 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3044/tid=3058] ppid=3042 vsize=8557932 CPUtime=1.5 cores=1,3,5,7
/proc/3044/task/3058/stat : 3058 (java) T 3042 3044 3044 0 -1 4202560 8242 0 0 0 150 0 0 0 15 0 19 0 869485547 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3044/tid=3059] ppid=3042 vsize=8557932 CPUtime=1.09 cores=1,3,5,7
/proc/3044/task/3059/stat : 3059 (java) T 3042 3044 3044 0 -1 4202560 9213 0 0 0 108 1 0 0 15 0 19 0 869485547 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3044/tid=3060] ppid=3042 vsize=8557932 CPUtime=0 cores=1,3,5,7
/proc/3044/task/3060/stat : 3060 (java) T 3042 3044 3044 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869485547 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3044/tid=3061] ppid=3042 vsize=8557932 CPUtime=0 cores=1,3,5,7
/proc/3044/task/3061/stat : 3061 (java) T 3042 3044 3044 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 869485547 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3044/tid=3062] ppid=3042 vsize=8557932 CPUtime=0 cores=1,3,5,7
/proc/3044/task/3062/stat : 3062 (java) T 3042 3044 3044 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869485697 8763322368 699508 33554432000 1073741824 1073778376 140737433580064 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3042/tid=3239] ppid=3024 vsize=357848 CPUtime=0 cores=1,3,5,7
/proc/3042/task/3239/stat : 3239 (python) S 3024 3024 1117 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869490180 366436352 19274 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554946 18446604466350571904 0 0 -1 5 0 0 0
[pid=3243] ppid=3024 vsize=368104 CPUtime=0.5 cores=1,3,5,7
/proc/3243/stat : 3243 (python) S 3024 3024 1117 0 -1 4202560 1170 0 0 0 23 27 0 0 16 0 2 0 869490183 376938496 19269 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3243/statm: 92026 19269 396 364 0 26904 0
[pid=3246] ppid=3243 vsize=50872 CPUtime=95.31 cores=1,3,5,7
/proc/3246/stat : 3246 (clasp-1.3.7-x86) T 3243 3246 3246 0 -1 4202496 15073 0 0 0 9528 3 0 0 25 0 1 0 869490183 52092928 12463 33554432000 134512640 136139019 4289193520 18446744073709551615 134883785 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/3246/statm: 12718 12463 190 398 0 12318 0
[pid=3243/tid=3277] ppid=3024 vsize=368104 CPUtime=0 cores=1,3,5,7
/proc/3243/task/3277/stat : 3277 (python) S 3024 3024 1117 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869499716 376938496 19269 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554946 18446604455114946432 0 0 -1 7 0 0 0
[pid=3278] ppid=3024 vsize=378360 CPUtime=0 cores=1,3,5,7
/proc/3278/stat : 3278 (python) S 3024 3024 1117 0 -1 4202560 803 0 0 0 0 0 0 0 19 0 1 0 869499718 387440640 19224 33554432000 4194304 5683644 140737031859328 18446744073709551615 253640879686 0 0 16781312 33554946 3793252576808402944 0 0 17 1 0 0 0
/proc/3278/statm: 94590 19224 348 364 0 29465 0
[pid=3280] ppid=3278 vsize=8536916 CPUtime=1.61 cores=1,3,5,7
/proc/3280/stat : 3280 (java) S 3278 3280 3280 0 -1 4202496 48780 0 1 0 154 7 0 0 20 0 18 0 869499719 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3280/statm: 2134229 46109 2229 9 0 2124970 0
[pid=3280/tid=3281] ppid=3278 vsize=8536916 CPUtime=0.93 cores=1,3,5,7
/proc/3280/task/3281/stat : 3281 (java) S 3278 3280 3280 0 -1 4202560 35203 0 1 0 88 5 0 0 18 0 18 0 869499720 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253652675481 0 4 0 16800975 18446604443738458880 0 0 -1 3 0 0 0
[pid=3280/tid=3282] ppid=3278 vsize=8536916 CPUtime=0.02 cores=1,3,5,7
/proc/3280/task/3282/stat : 3282 (java) R 3278 3280 3280 0 -1 4202560 1064 0 0 0 2 0 0 0 15 0 18 0 869499720 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3280/tid=3283] ppid=3278 vsize=8536916 CPUtime=0.02 cores=1,3,5,7
/proc/3280/task/3283/stat : 3283 (java) R 3278 3280 3280 0 -1 4202560 962 0 0 0 2 0 0 0 15 0 18 0 869499720 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3280/tid=3284] ppid=3278 vsize=8536916 CPUtime=0.02 cores=1,3,5,7
/proc/3280/task/3284/stat : 3284 (java) R 3278 3280 3280 0 -1 4202560 874 0 0 0 2 0 0 0 15 0 18 0 869499720 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3280/tid=3285] ppid=3278 vsize=8536916 CPUtime=0.04 cores=1,3,5,7
/proc/3280/task/3285/stat : 3285 (java) R 3278 3280 3280 0 -1 4202560 2436 0 0 0 4 0 0 0 16 0 18 0 869499720 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3280/tid=3286] ppid=3278 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3280/task/3286/stat : 3286 (java) R 3278 3280 3280 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869499720 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3280/tid=3287] ppid=3278 vsize=8536916 CPUtime=0.02 cores=1,3,5,7
/proc/3280/task/3287/stat : 3287 (java) R 3278 3280 3280 0 -1 4202560 1601 0 0 0 2 0 0 0 16 0 18 0 869499720 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 47584273939372 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3280/tid=3288] ppid=3278 vsize=8536916 CPUtime=0.01 cores=1,3,5,7
/proc/3280/task/3288/stat : 3288 (java) R 3278 3280 3280 0 -1 4202560 1 0 0 0 1 0 0 0 16 0 18 0 869499720 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3280/tid=3289] ppid=3278 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3280/task/3289/stat : 3289 (java) R 3278 3280 3280 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869499720 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3280/tid=3290] ppid=3278 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3280/task/3290/stat : 3290 (java) S 3278 3280 3280 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 18 0 869499721 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253652675481 0 0 0 16800975 18446604443738458880 0 0 -1 5 0 0 0
[pid=3280/tid=3291] ppid=3278 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3280/task/3291/stat : 3291 (java) S 3278 3280 3280 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869499722 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253652675481 0 4 0 16800975 18446604443738458880 0 0 -1 5 0 0 0
[pid=3280/tid=3292] ppid=3278 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3280/task/3292/stat : 3292 (java) S 3278 3280 3280 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 869499722 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253652675481 0 4 0 16800975 18446604443738458880 0 0 -1 7 0 0 0
[pid=3280/tid=3293] ppid=3278 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3280/task/3293/stat : 3293 (java) S 3278 3280 3280 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869499724 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253652683185 0 4 0 16800975 18446604443738458880 0 0 -1 5 0 0 0
[pid=3280/tid=3294] ppid=3278 vsize=8536916 CPUtime=0.26 cores=1,3,5,7
/proc/3280/task/3294/stat : 3294 (java) S 3278 3280 3280 0 -1 4202560 2150 0 0 0 26 0 0 0 16 0 18 0 869499724 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253652675481 0 4 0 16800975 18446604443738458880 0 0 -1 7 0 0 0
[pid=3280/tid=3296] ppid=3278 vsize=8536916 CPUtime=0.25 cores=1,3,5,7
/proc/3280/task/3296/stat : 3296 (java) S 3278 3280 3280 0 -1 4202560 3034 0 0 0 25 0 0 0 15 0 18 0 869499724 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253652675481 0 4 0 16800975 18446604443738458880 0 0 -1 5 0 0 0
[pid=3280/tid=3297] ppid=3278 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3280/task/3297/stat : 3297 (java) S 3278 3280 3280 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869499724 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253652675481 0 4 0 16800975 18446604443738458880 0 0 -1 5 0 0 0
[pid=3280/tid=3298] ppid=3278 vsize=8536916 CPUtime=0 cores=1,3,5,7
/proc/3280/task/3298/stat : 3298 (java) R 3278 3280 3280 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869499724 8741801984 46109 33554432000 1073741824 1073778376 140737073116272 18446744073709551615 253652676096 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3024/tid=3032] ppid=3022 vsize=388604 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3032/stat : 3032 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 25 0 6 0 869475656 397930496 20759 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 1 0 0 0
[pid=3024/tid=3038] ppid=3022 vsize=388604 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3038/stat : 3038 (python) S 3022 3024 1117 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 6 0 869480357 397930496 20759 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 7 0 0 0
[pid=3024/tid=3043] ppid=3022 vsize=388604 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3043/stat : 3043 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 869485541 397930496 20759 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 1 0 0 0
[pid=3024/tid=3244] ppid=3022 vsize=388604 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3244/stat : 3244 (python) S 3022 3024 1117 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 869490183 397930496 20759 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 7 0 0 0
[pid=3024/tid=3279] ppid=3022 vsize=388604 CPUtime=0 cores=1,3,5,7
/proc/3024/task/3279/stat : 3279 (python) S 3022 3024 1117 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 6 0 869499719 397930496 20759 33554432000 4194304 5683644 140737031859328 18446744073709551615 253652683185 0 0 16781312 33554434 18446604461646872896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 250.76
Current children cumulated vsize (KiB) 20404924
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 3024 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=929402
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=138978
# CPU time returned by wait4() is 4.06838
# while last known CPU time is 250.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 245.792
CPU time (s): 250.76
CPU user time (s): 246.47
CPU system time (s): 4.29
CPU usage (%): 102.021
Max. virtual memory (cumulated for all children) (KiB): 20404924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.9294
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36016
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= 1016
involuntary context switches= 28
runsolver used 1.89071 second user time and 3.9644 second system time
The end