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-3481702-1307576747/watcher-3481702-1307576747 -o /tmp/evaluation-result-3481702-1307576747/solver-3481702-1307576747 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481702-1307576747.opb -seed 683913730 -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: 1.87 1.42 0.65 3/564 22151
/proc/meminfo: memFree=29870864/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/22151/stat : 22151 (python) R 22149 22151 21667 0 -1 4202496 1045 0 0 0 0 0 0 0 17 0 1 0 947905451 16633856 916 33554432000 4194304 5683644 140734967801872 18446744073709551615 256415085524 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22151/statm: 4061 916 381 364 0 548 0
[startup+0.066979 s]
/proc/loadavg: 1.87 1.42 0.65 3/564 22151
/proc/meminfo: memFree=29870864/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=50016 CPUtime=0.04 cores=1,3,5,7
/proc/22151/stat : 22151 (python) R 22149 22151 21667 0 -1 4202496 1949 0 0 0 4 0 0 0 17 0 1 0 947905451 51216384 1713 33554432000 4194304 5683644 140734967801872 18446744073709551615 5116756 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22151/statm: 12504 1713 476 364 0 1204 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50016
[startup+0.100977 s]
/proc/loadavg: 1.87 1.42 0.65 3/564 22151
/proc/meminfo: memFree=29870864/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/22151/stat : 22151 (python) R 22149 22151 21667 0 -1 4202496 3169 931 1 0 6 1 0 0 18 0 1 0 947905451 98435072 2483 33554432000 4194304 5683644 140734967801872 18446744073709551615 5178109 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22151/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.3009 s]
/proc/loadavg: 1.87 1.42 0.65 3/564 22151
/proc/meminfo: memFree=29870864/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=184600 CPUtime=0.22 cores=1,3,5,7
/proc/22151/stat : 22151 (python) R 22149 22151 21667 0 -1 4202496 6374 931 1 0 18 4 0 0 17 0 1 0 947905451 189030400 4670 33554432000 4194304 5683644 140734967801872 18446744073709551615 256415389696 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/22151/statm: 46150 4670 1251 364 0 3656 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184600
[startup+0.700869 s]
/proc/loadavg: 1.87 1.42 0.65 3/564 22151
/proc/meminfo: memFree=29870864/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=286032 CPUtime=0.59 cores=1,3,5,7
/proc/22151/stat : 22151 (python) R 22149 22151 21667 0 -1 4202496 10347 931 1 0 52 7 0 0 17 0 1 0 947905451 292896768 7890 33554432000 4194304 5683644 140734967801872 18446744073709551615 256418830179 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/22151/statm: 71508 7890 1855 364 0 6398 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 286032
[startup+1.50073 s]
/proc/loadavg: 1.87 1.42 0.65 3/568 22160
/proc/meminfo: memFree=29802972/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=296288 CPUtime=0.61 cores=1,3,5,7
/proc/22151/stat : 22151 (python) S 22149 22151 21667 0 -1 4202496 10585 931 1 0 53 8 0 0 19 0 2 0 947905451 303398912 7910 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22151/statm: 74072 7910 1870 364 0 8959 0
[pid=22158] ppid=22151 vsize=286044 CPUtime=0 cores=1,3,5,7
/proc/22158/stat : 22158 (python) S 22151 22151 21667 0 -1 4202560 873 0 0 0 0 0 0 0 15 0 1 0 947905523 292909056 6394 33554432000 4194304 5683644 140734967801872 18446744073709551615 256415411727 0 0 16781312 33554946 4294934788 0 0 17 5 0 0 0
/proc/22158/statm: 71511 6394 358 364 0 6398 0
[pid=22160] ppid=22158 vsize=52568 CPUtime=0.77 cores=1,3,5,7
/proc/22160/stat : 22160 (scip-2.0.1.linu) R 22158 22160 22160 0 -1 4202496 11311 0 0 0 54 23 0 0 21 0 1 0 947905523 53829632 10687 33554432000 4194304 13684479 140736465025216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22160/statm: 13142 10687 643 2317 0 10820 0
[pid=22151/tid=22159] ppid=22149 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22159/stat : 22159 (python) S 22149 22151 21667 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 947905523 303398912 7910 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 634900
[startup+3.10042 s]
/proc/loadavg: 1.87 1.42 0.65 3/568 22160
/proc/meminfo: memFree=29784616/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=296288 CPUtime=0.61 cores=1,3,5,7
/proc/22151/stat : 22151 (python) S 22149 22151 21667 0 -1 4202496 10585 931 1 0 53 8 0 0 19 0 2 0 947905451 303398912 7910 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22151/statm: 74072 7910 1870 364 0 8959 0
[pid=22158] ppid=22151 vsize=286044 CPUtime=0 cores=1,3,5,7
/proc/22158/stat : 22158 (python) S 22151 22151 21667 0 -1 4202560 875 0 0 0 0 0 0 0 15 0 1 0 947905523 292909056 6394 33554432000 4194304 5683644 140734967801872 18446744073709551615 256415411727 0 0 16781312 33554946 1309313474446229504 0 0 17 5 0 0 0
/proc/22158/statm: 71511 6394 358 364 0 6398 0
[pid=22160] ppid=22158 vsize=69376 CPUtime=2.37 cores=1,3,5,7
/proc/22160/stat : 22160 (scip-2.0.1.linu) R 22158 22160 22160 0 -1 4202496 15806 0 0 0 210 27 0 0 25 0 1 0 947905523 71041024 14859 33554432000 4194304 13684479 140736465025216 18446744073709551615 6457242 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22160/statm: 17344 14859 791 2317 0 15022 0
[pid=22151/tid=22159] ppid=22149 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22159/stat : 22159 (python) S 22149 22151 21667 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 947905523 303398912 7910 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 651708
[startup+6.30081 s]
/proc/loadavg: 1.88 1.43 0.66 3/568 22160
/proc/meminfo: memFree=29768532/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=296288 CPUtime=0.61 cores=1,3,5,7
/proc/22151/stat : 22151 (python) S 22149 22151 21667 0 -1 4202496 10585 931 1 0 53 8 0 0 19 0 2 0 947905451 303398912 7910 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22151/statm: 74072 7910 1870 364 0 8959 0
[pid=22158] ppid=22151 vsize=286044 CPUtime=0.02 cores=1,3,5,7
/proc/22158/stat : 22158 (python) S 22151 22151 21667 0 -1 4202560 1009 0 0 0 2 0 0 0 15 0 1 0 947905523 292909056 6417 33554432000 4194304 5683644 140734967801872 18446744073709551615 256415411727 0 0 16781312 33554946 2238681871166734336 0 0 17 5 0 0 0
/proc/22158/statm: 71511 6417 381 364 0 6398 0
[pid=22160] ppid=22158 vsize=87344 CPUtime=5.55 cores=1,3,5,7
/proc/22160/stat : 22160 (scip-2.0.1.linu) R 22158 22160 22160 0 -1 4202496 20460 0 0 0 522 33 0 0 21 0 1 0 947905523 89440256 19321 33554432000 4194304 13684479 140736465025216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22160/statm: 21836 19321 811 2317 0 19514 0
[pid=22151/tid=22159] ppid=22149 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22159/stat : 22159 (python) S 22149 22151 21667 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 947905523 303398912 7910 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 669676
[startup+12.7006 s]
/proc/loadavg: 1.89 1.44 0.67 3/568 22161
/proc/meminfo: memFree=29738196/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=296288 CPUtime=0.61 cores=1,3,5,7
/proc/22151/stat : 22151 (python) S 22149 22151 21667 0 -1 4202496 10585 931 1 0 53 8 0 0 19 0 2 0 947905451 303398912 7910 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22151/statm: 74072 7910 1870 364 0 8959 0
[pid=22158] ppid=22151 vsize=286044 CPUtime=0.08 cores=1,3,5,7
/proc/22158/stat : 22158 (python) S 22151 22151 21667 0 -1 4202560 1023 0 0 0 6 2 0 0 15 0 1 0 947905523 292909056 6417 33554432000 4194304 5683644 140734967801872 18446744073709551615 256415411727 0 0 16781312 33554946 2242347247796748288 0 0 17 5 0 0 0
/proc/22158/statm: 71511 6417 381 364 0 6398 0
[pid=22160] ppid=22158 vsize=122136 CPUtime=11.94 cores=1,3,5,7
/proc/22160/stat : 22160 (scip-2.0.1.linu) R 22158 22160 22160 0 -1 4202496 30151 0 0 0 1151 43 0 0 25 0 1 0 947905523 125067264 27202 33554432000 4194304 13684479 140736465025216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22160/statm: 30534 27202 982 2317 0 28212 0
[pid=22151/tid=22159] ppid=22149 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22159/stat : 22159 (python) S 22149 22151 21667 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 947905523 303398912 7910 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 704468
[startup+25.5201 s]
/proc/loadavg: 1.92 1.47 0.69 3/568 22161
/proc/meminfo: memFree=29710584/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=296288 CPUtime=0.61 cores=1,3,5,7
/proc/22151/stat : 22151 (python) S 22149 22151 21667 0 -1 4202496 10585 931 1 0 53 8 0 0 19 0 2 0 947905451 303398912 7910 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22151/statm: 74072 7910 1870 364 0 8959 0
[pid=22158] ppid=22151 vsize=286044 CPUtime=0.14 cores=1,3,5,7
/proc/22158/stat : 22158 (python) S 22151 22151 21667 0 -1 4202560 1026 0 0 0 10 4 0 0 15 0 1 0 947905523 292909056 6417 33554432000 4194304 5683644 140734967801872 18446744073709551615 256415411727 0 0 16781312 33554946 711552978594562048 0 0 17 1 0 0 0
/proc/22158/statm: 71511 6417 381 364 0 6398 0
[pid=22160] ppid=22158 vsize=143720 CPUtime=24.74 cores=1,3,5,7
/proc/22160/stat : 22160 (scip-2.0.1.linu) R 22158 22160 22160 0 -1 4202496 45787 0 0 0 2413 61 0 0 25 0 1 0 947905523 147169280 32776 33554432000 4194304 13684479 140736465025216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/22160/statm: 35930 32776 1071 2317 0 33608 0
[pid=22151/tid=22159] ppid=22149 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22159/stat : 22159 (python) S 22149 22151 21667 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 947905523 303398912 7910 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 726052
[startup+51.1012 s]
/proc/loadavg: 2.10 1.54 0.73 3/590 22219
/proc/meminfo: memFree=29668080/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=307048 CPUtime=0.64 cores=1,3,5,7
/proc/22151/stat : 22151 (python) S 22149 22151 21667 0 -1 4202496 11488 931 1 0 56 8 0 0 20 0 3 0 947905451 314417152 8043 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22151/statm: 76762 8043 1873 364 0 11646 0
[pid=22158] ppid=22151 vsize=296288 CPUtime=0.27 cores=1,3,5,7
/proc/22158/stat : 22158 (python) S 22151 22151 21667 0 -1 4202560 1177 0 0 0 16 11 0 0 16 0 2 0 947905523 303398912 6453 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22158/statm: 74072 6453 412 364 0 8959 0
[pid=22160] ppid=22158 vsize=154472 CPUtime=48.34 cores=1,3,5,7
/proc/22160/stat : 22160 (scip-2.0.1.linu) T 22158 22160 22160 0 -1 4202496 49920 0 0 0 4736 98 0 0 19 0 1 0 947905523 158179328 35648 33554432000 4194304 13684479 140736465025216 18446744073709551615 7390342 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/22160/statm: 38618 35648 880 2317 0 36296 0
[pid=22158/tid=22198] ppid=22151 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/22158/task/22198/stat : 22198 (python) S 22151 22151 21667 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 947910364 303398912 6453 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554946 18446604456431576384 0 0 -1 7 0 0 0
[pid=22199] ppid=22151 vsize=296804 CPUtime=0 cores=1,3,5,7
/proc/22199/stat : 22199 (python) S 22151 22151 21667 0 -1 4202560 786 0 0 0 0 0 0 0 15 0 1 0 947910367 303927296 6515 33554432000 4194304 5683644 140734967801872 18446744073709551615 256415411782 0 0 16781312 33554946 3955412932539449344 0 0 17 5 0 0 0
/proc/22199/statm: 74201 6515 349 364 0 9085 0
[pid=22201] ppid=22199 vsize=8537884 CPUtime=2.82 cores=1,3,5,7
/proc/22201/stat : 22201 (java) S 22199 22201 22201 0 -1 4202496 21966 0 1 0 278 4 0 0 17 0 19 0 947910367 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22201/statm: 2134471 16569 2236 9 0 2125212 0
[pid=22201/tid=22202] ppid=22199 vsize=8537884 CPUtime=1.87 cores=1,3,5,7
/proc/22201/task/22202/stat : 22202 (java) R 22199 22201 22201 0 -1 4202560 12278 0 1 0 185 2 0 0 25 0 19 0 947910368 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 46912505890874 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22201/tid=22203] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22203/stat : 22203 (java) S 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947910369 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 5 0 0 0
[pid=22201/tid=22204] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22204/stat : 22204 (java) S 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947910369 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 5 0 0 0
[pid=22201/tid=22205] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22205/stat : 22205 (java) S 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947910369 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 5 0 0 0
[pid=22201/tid=22206] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22206/stat : 22206 (java) S 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947910369 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 5 0 0 0
[pid=22201/tid=22207] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22207/stat : 22207 (java) S 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947910369 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 5 0 0 0
[pid=22201/tid=22208] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22208/stat : 22208 (java) S 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947910369 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 5 0 0 0
[pid=22201/tid=22209] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22209/stat : 22209 (java) S 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947910369 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 5 0 0 0
[pid=22201/tid=22210] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22210/stat : 22210 (java) S 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947910369 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 5 0 0 0
[pid=22201/tid=22211] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22211/stat : 22211 (java) S 22199 22201 22201 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 947910370 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427208192 0 0 0 16800975 18446604460735980544 0 0 -1 7 0 0 0
[pid=22201/tid=22212] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22212/stat : 22212 (java) S 22199 22201 22201 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 947910370 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 7 0 0 0
[pid=22201/tid=22213] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22213/stat : 22213 (java) S 22199 22201 22201 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 947910370 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 7 0 0 0
[pid=22201/tid=22214] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22214/stat : 22214 (java) S 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947910372 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427215281 0 4 0 16800975 18446604460735980544 0 0 -1 7 0 0 0
[pid=22201/tid=22215] ppid=22199 vsize=8537884 CPUtime=0.48 cores=1,3,5,7
/proc/22201/task/22215/stat : 22215 (java) S 22199 22201 22201 0 -1 4202560 2559 0 0 0 48 0 0 0 15 0 19 0 947910372 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 1 0 0 0
[pid=22201/tid=22216] ppid=22199 vsize=8537884 CPUtime=0.45 cores=1,3,5,7
/proc/22201/task/22216/stat : 22216 (java) S 22199 22201 22201 0 -1 4202560 5725 0 0 0 45 0 0 0 19 0 19 0 947910372 8742793216 16569 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446604460735980544 0 0 -1 5 0 0 0
[pid=22201/tid=22217] ppid=22199 vsize=8537884 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=22408/tid=22422] ppid=22406 vsize=8539364 CPUtime=0.52 cores=1,3,5,7
/proc/22408/task/22422/stat : 22422 (java) R 22406 22408 22408 0 -1 4202560 3918 0 0 0 52 0 0 0 25 0 19 0 947924533 8744308736 19075 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 47040100189786 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22408/tid=22423] ppid=22406 vsize=8539364 CPUtime=0.49 cores=1,3,5,7
/proc/22408/task/22423/stat : 22423 (java) R 22406 22408 22408 0 -1 4202560 4150 0 0 0 49 0 0 0 25 0 19 0 947924533 8744308736 19076 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 47040102873800 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22408/tid=22424] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22424/stat : 22424 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947924533 8744308736 19076 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 7 0 0 0
[pid=22408/tid=22425] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22425/stat : 22425 (java) R 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947924533 8744308736 19077 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427208192 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22408/tid=22426] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22426/stat : 22426 (java) S 22406 22408 22408 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947924586 8744308736 19077 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427208192 0 4 0 16800975 18446604457724595008 0 0 -1 3 0 0 0
[pid=22151/tid=22159] ppid=22149 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22159/stat : 22159 (python) S 22149 22151 21667 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 6 0 947905523 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 3 0 0 0
[pid=22151/tid=22200] ppid=22149 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22200/stat : 22200 (python) S 22149 22151 21667 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 947910367 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 5 0 0 0
[pid=22151/tid=22314] ppid=22149 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22314/stat : 22314 (python) S 22149 22151 21667 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 947915219 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 5 0 0 0
[pid=22151/tid=22323] ppid=22149 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22323/stat : 22323 (python) S 22149 22151 21667 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 947919873 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 5 0 0 0
[pid=22151/tid=22407] ppid=22149 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22407/stat : 22407 (python) S 22149 22151 21667 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 947924529 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 194.77
Current children cumulated vsize (KiB) 19327344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+191.501 s]
/proc/loadavg: 2.11 1.77 0.93 7/658 22426
/proc/meminfo: memFree=28922704/32950928 swapFree=50514916/67111528
[pid=22151] ppid=22149 vsize=337816 CPUtime=0.71 cores=1,3,5,7
/proc/22151/stat : 22151 (python) S 22149 22151 21667 0 -1 4202496 14162 931 1 0 63 8 0 0 20 0 6 0 947905451 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22151/statm: 84454 8081 1879 364 0 19329 0
[pid=22158] ppid=22151 vsize=296288 CPUtime=0.27 cores=1,3,5,7
/proc/22158/stat : 22158 (python) S 22151 22151 21667 0 -1 4202560 1177 0 0 0 16 11 0 0 16 0 2 0 947905523 303398912 6453 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22158/statm: 74072 6453 412 364 0 8959 0
[pid=22160] ppid=22158 vsize=154472 CPUtime=48.34 cores=1,3,5,7
/proc/22160/stat : 22160 (scip-2.0.1.linu) T 22158 22160 22160 0 -1 4202496 49920 0 0 0 4736 98 0 0 19 0 1 0 947905523 158179328 35648 33554432000 4194304 13684479 140736465025216 18446744073709551615 7390342 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/22160/statm: 38618 35648 880 2317 0 36296 0
[pid=22158/tid=22198] ppid=22151 vsize=296288 CPUtime=0 cores=1,3,5,7
/proc/22158/task/22198/stat : 22198 (python) S 22151 22151 21667 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 947910364 303398912 6453 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554946 18446604456431576384 0 0 -1 7 0 0 0
[pid=22199] ppid=22151 vsize=296804 CPUtime=0.23 cores=1,3,5,7
/proc/22199/stat : 22199 (python) S 22151 22151 21667 0 -1 4202560 1104 0 0 0 11 12 0 0 17 0 2 0 947910367 303927296 6564 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22199/statm: 74201 6564 397 364 0 9085 0
[pid=22201] ppid=22199 vsize=8540184 CPUtime=49.9 cores=1,3,5,7
/proc/22201/stat : 22201 (java) T 22199 22201 22201 0 -1 4202496 31202 0 1 0 4981 9 0 0 15 0 19 0 947910367 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22201/statm: 2135046 20390 2261 9 0 2125787 0
[pid=22201/tid=22202] ppid=22199 vsize=8540184 CPUtime=48.19 cores=1,3,5,7
/proc/22201/task/22202/stat : 22202 (java) T 22199 22201 22201 0 -1 4202560 12480 0 1 0 4814 5 0 0 25 0 19 0 947910368 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 46912505909847 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22201/tid=22203] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22203/stat : 22203 (java) T 22199 22201 22201 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 947910369 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22201/tid=22204] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22204/stat : 22204 (java) T 22199 22201 22201 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 947910369 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22201/tid=22205] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22205/stat : 22205 (java) T 22199 22201 22201 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 947910369 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22201/tid=22206] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22206/stat : 22206 (java) T 22199 22201 22201 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 947910369 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22201/tid=22207] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22207/stat : 22207 (java) T 22199 22201 22201 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 947910369 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22201/tid=22208] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22208/stat : 22208 (java) T 22199 22201 22201 0 -1 4202560 359 0 0 0 0 0 0 0 15 0 19 0 947910369 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22201/tid=22209] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22209/stat : 22209 (java) T 22199 22201 22201 0 -1 4202560 510 0 0 0 0 0 0 0 15 0 19 0 947910369 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22201/tid=22210] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22210/stat : 22210 (java) T 22199 22201 22201 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 947910369 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22201/tid=22211] ppid=22199 vsize=8540184 CPUtime=0.14 cores=1,3,5,7
/proc/22201/task/22211/stat : 22211 (java) T 22199 22201 22201 0 -1 4202560 1664 0 0 0 14 0 0 0 15 0 19 0 947910370 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22201/tid=22212] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22212/stat : 22212 (java) T 22199 22201 22201 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947910370 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22201/tid=22213] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22213/stat : 22213 (java) T 22199 22201 22201 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947910370 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22201/tid=22214] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22214/stat : 22214 (java) T 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947910372 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22201/tid=22215] ppid=22199 vsize=8540184 CPUtime=0.95 cores=1,3,5,7
/proc/22201/task/22215/stat : 22215 (java) T 22199 22201 22201 0 -1 4202560 8002 0 0 0 95 0 0 0 15 0 19 0 947910372 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22201/tid=22216] ppid=22199 vsize=8540184 CPUtime=0.53 cores=1,3,5,7
/proc/22201/task/22216/stat : 22216 (java) T 22199 22201 22201 0 -1 4202560 6286 0 0 0 53 0 0 0 15 0 19 0 947910372 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22201/tid=22217] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22217/stat : 22217 (java) T 22199 22201 22201 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947910372 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22201/tid=22218] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22218/stat : 22218 (java) T 22199 22201 22201 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947910372 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22201/tid=22219] ppid=22199 vsize=8540184 CPUtime=0 cores=1,3,5,7
/proc/22201/task/22219/stat : 22219 (java) T 22199 22201 22201 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947910427 8745148416 20390 33554432000 1073741824 1073778376 140735613846368 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22199/tid=22312] ppid=22151 vsize=296804 CPUtime=0 cores=1,3,5,7
/proc/22199/task/22312/stat : 22312 (python) S 22151 22151 21667 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947915216 303927296 6564 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554946 18446604463500679104 0 0 -1 7 0 0 0
[pid=22313] ppid=22151 vsize=307060 CPUtime=0.24 cores=1,3,5,7
/proc/22313/stat : 22313 (python) S 22151 22151 21667 0 -1 4202560 1126 0 0 0 11 13 0 0 16 0 2 0 947915218 314429440 6568 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22313/statm: 76765 6568 397 364 0 11646 0
[pid=22315] ppid=22313 vsize=102360 CPUtime=46.51 cores=1,3,5,7
/proc/22315/stat : 22315 (scip-2.0.1.linu) T 22313 22315 22315 0 -1 4202496 34048 0 0 0 4596 55 0 0 25 0 1 0 947915219 104816640 22623 33554432000 4194304 15243407 140736265983408 18446744073709551615 4752933 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/22315/statm: 25590 22623 921 2698 0 22885 0
[pid=22313/tid=22321] ppid=22151 vsize=307060 CPUtime=0 cores=1,3,5,7
/proc/22313/task/22321/stat : 22321 (python) S 22151 22151 21667 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947919870 314429440 6568 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554946 18446604470852321728 0 0 -1 7 0 0 0
[pid=22322] ppid=22151 vsize=317316 CPUtime=0.29 cores=1,3,5,7
/proc/22322/stat : 22322 (python) S 22151 22151 21667 0 -1 4202560 1168 0 0 0 14 15 0 0 16 0 2 0 947919873 324931584 6582 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22322/statm: 79329 6582 407 364 0 14207 0
[pid=22325] ppid=22322 vsize=108108 CPUtime=46.52 cores=1,3,5,7
/proc/22325/stat : 22325 (wbo1.4a) T 22322 22325 22325 0 -1 4202496 89216 0 0 0 4607 45 0 0 25 0 1 0 947919873 110702592 26575 33554432000 134512640 135751879 4294070352 18446744073709551615 134611024 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/22325/statm: 27027 26575 146 303 0 26722 0
[pid=22322/tid=22405] ppid=22151 vsize=317316 CPUtime=0 cores=1,3,5,7
/proc/22322/task/22405/stat : 22405 (python) S 22151 22151 21667 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 947924526 324931584 6582 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554946 18446604467898613824 0 0 -1 7 0 0 0
[pid=22406] ppid=22151 vsize=327572 CPUtime=0 cores=1,3,5,7
/proc/22406/stat : 22406 (python) S 22151 22151 21667 0 -1 4202560 811 0 0 0 0 0 0 0 15 0 1 0 947924528 335433728 6547 33554432000 4194304 5683644 140734967801872 18446744073709551615 256415411782 0 0 16781312 33554946 2237187742238769152 0 0 17 5 0 0 0
/proc/22406/statm: 81893 6547 349 364 0 16768 0
[pid=22408] ppid=22406 vsize=8539364 CPUtime=1.76 cores=1,3,5,7
/proc/22408/stat : 22408 (java) S 22406 22408 22408 0 -1 4202496 23635 0 1 0 173 3 0 0 20 0 19 0 947924529 8744308736 18992 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22408/statm: 2134841 18992 2234 9 0 2125582 0
[pid=22408/tid=22409] ppid=22406 vsize=8539364 CPUtime=0.74 cores=1,3,5,7
/proc/22408/task/22409/stat : 22409 (java) R 22406 22408 22408 0 -1 4202560 14259 0 1 0 72 2 0 0 19 0 19 0 947924529 8744308736 19071 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 46912505940090 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22408/tid=22410] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22410/stat : 22410 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947924530 8744308736 19071 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 1 0 0 0
[pid=22408/tid=22411] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22411/stat : 22411 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947924530 8744308736 19071 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 1 0 0 0
[pid=22408/tid=22412] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22412/stat : 22412 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947924530 8744308736 19072 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 1 0 0 0
[pid=22408/tid=22413] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22413/stat : 22413 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947924530 8744308736 19072 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 7 0 0 0
[pid=22408/tid=22414] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22414/stat : 22414 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947924530 8744308736 19073 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 7 0 0 0
[pid=22408/tid=22415] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22415/stat : 22415 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947924530 8744308736 19073 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 7 0 0 0
[pid=22408/tid=22416] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22416/stat : 22416 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947924530 8744308736 19073 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 7 0 0 0
[pid=22408/tid=22417] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22417/stat : 22417 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947924530 8744308736 19074 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 7 0 0 0
[pid=22408/tid=22418] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22418/stat : 22418 (java) S 22406 22408 22408 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 947924531 8744308736 19074 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427208192 0 0 0 16800975 18446604457724595008 0 0 -1 3 0 0 0
[pid=22408/tid=22419] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22419/stat : 22419 (java) S 22406 22408 22408 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947924531 8744308736 19074 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 1 0 0 0
[pid=22408/tid=22420] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22420/stat : 22420 (java) S 22406 22408 22408 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947924531 8744308736 19075 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 1 0 0 0
[pid=22408/tid=22421] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22421/stat : 22421 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947924533 8744308736 19075 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427215281 0 4 0 16800975 18446604457724595008 0 0 -1 1 0 0 0
[pid=22408/tid=22422] ppid=22406 vsize=8539364 CPUtime=0.52 cores=1,3,5,7
/proc/22408/task/22422/stat : 22422 (java) R 22406 22408 22408 0 -1 4202560 3918 0 0 0 52 0 0 0 25 0 19 0 947924533 8744308736 19075 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 47040100189786 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22408/tid=22423] ppid=22406 vsize=8539364 CPUtime=0.49 cores=1,3,5,7
/proc/22408/task/22423/stat : 22423 (java) R 22406 22408 22408 0 -1 4202560 4150 0 0 0 49 0 0 0 25 0 19 0 947924533 8744308736 19076 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 47040102873800 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22408/tid=22424] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22424/stat : 22424 (java) S 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947924533 8744308736 19076 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427207577 0 4 0 16800975 18446604457724595008 0 0 -1 7 0 0 0
[pid=22408/tid=22425] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22425/stat : 22425 (java) R 22406 22408 22408 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947924533 8744308736 19077 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427208192 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22408/tid=22426] ppid=22406 vsize=8539364 CPUtime=0 cores=1,3,5,7
/proc/22408/task/22426/stat : 22426 (java) S 22406 22408 22408 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947924586 8744308736 19077 33554432000 1073741824 1073778376 140734185000576 18446744073709551615 256427208192 0 4 0 16800975 18446604457724595008 0 0 -1 3 0 0 0
[pid=22151/tid=22159] ppid=22149 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22159/stat : 22159 (python) S 22149 22151 21667 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 6 0 947905523 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 3 0 0 0
[pid=22151/tid=22200] ppid=22149 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22200/stat : 22200 (python) S 22149 22151 21667 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 947910367 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 5 0 0 0
[pid=22151/tid=22314] ppid=22149 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22314/stat : 22314 (python) S 22149 22151 21667 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 947915219 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 5 0 0 0
[pid=22151/tid=22323] ppid=22149 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22323/stat : 22323 (python) S 22149 22151 21667 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 947919873 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 5 0 0 0
[pid=22151/tid=22407] ppid=22149 vsize=337816 CPUtime=0 cores=1,3,5,7
/proc/22151/task/22407/stat : 22407 (python) S 22149 22151 21667 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 947924529 345923584 8081 33554432000 4194304 5683644 140734967801872 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456431578176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 194.77
Current children cumulated vsize (KiB) 19327344
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22151 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=638902
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=93985
# CPU time returned by wait4() is 0.732887
# while last known CPU time is 194.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 191.586
CPU time (s): 194.77
CPU user time (s): 192.08
CPU system time (s): 2.69
CPU usage (%): 101.662
Max. virtual memory (cumulated for all children) (KiB): 19327344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.638902
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15096
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= 1007
involuntary context switches= 18
runsolver used 1.20782 second user time and 2.77858 second system time
The end