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-3481490-1307577909/watcher-3481490-1307577909 -o /tmp/evaluation-result-3481490-1307577909/solver-3481490-1307577909 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481490-1307577909.opb -seed 1465183181 -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.95 1.99 1.62 2/682 29343
/proc/meminfo: memFree=17056660/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/29343/stat : 29343 (python) R 29341 29343 27243 0 -1 4202496 1034 0 0 0 0 0 0 0 20 0 1 0 850206862 16633856 906 33554432000 4194304 5683644 140735216592560 18446744073709551615 220815694160 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29343/statm: 4061 906 380 364 0 548 0
[startup+0.113186 s]
/proc/loadavg: 1.95 1.99 1.62 2/682 29343
/proc/meminfo: memFree=17056660/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=96132 CPUtime=0.07 cores=1,3,5,7
/proc/29343/stat : 29343 (python) S 29341 29343 27243 0 -1 4202496 3033 466 1 0 5 2 0 0 18 0 1 0 850206862 98439168 2483 33554432000 4194304 5683644 140735216592560 18446744073709551615 220816236288 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/29343/statm: 24033 2483 792 364 0 1628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96132
[startup+0.200918 s]
/proc/loadavg: 1.95 1.99 1.62 2/682 29343
/proc/meminfo: memFree=17056660/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=119988 CPUtime=0.13 cores=1,3,5,7
/proc/29343/stat : 29343 (python) R 29341 29343 27243 0 -1 4202496 4938 933 1 0 10 3 0 0 17 0 1 0 850206862 122867712 3358 33554432000 4194304 5683644 140735216592560 18446744073709551615 220816234496 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/29343/statm: 29997 3358 919 364 0 2446 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 119988
[startup+0.300962 s]
/proc/loadavg: 1.95 1.99 1.62 2/682 29343
/proc/meminfo: memFree=17056660/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/29343/stat : 29343 (python) R 29341 29343 27243 0 -1 4202496 5357 933 1 0 12 5 0 0 16 0 1 0 850206862 126713856 3744 33554432000 4194304 5683644 140735216592560 18446744073709551615 220816232453 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/29343/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700783 s]
/proc/loadavg: 1.95 1.99 1.62 2/682 29343
/proc/meminfo: memFree=17056660/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=282812 CPUtime=0.42 cores=1,3,5,7
/proc/29343/stat : 29343 (python) S 29341 29343 27243 0 -1 4202496 9304 933 1 0 31 11 0 0 15 0 1 0 850206862 289599488 7035 33554432000 4194304 5683644 140735216592560 18446744073709551615 220816256527 0 0 16781312 2 3410410204339109888 0 0 17 5 0 0 0
/proc/29343/statm: 70703 7035 1777 364 0 5596 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282812
[startup+1.50068 s]
/proc/loadavg: 1.95 1.99 1.62 3/686 29352
/proc/meminfo: memFree=16997648/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=296160 CPUtime=0.79 cores=1,3,5,7
/proc/29343/stat : 29343 (python) S 29341 29343 27243 0 -1 4202496 12110 1415 1 0 59 13 5 2 18 0 2 0 850206862 303267840 7879 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29343/statm: 74040 7879 1871 364 0 8927 0
[pid=29350] ppid=29343 vsize=285916 CPUtime=0 cores=1,3,5,7
/proc/29350/stat : 29350 (python) S 29343 29343 27243 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 1 0 850206963 292777984 6323 33554432000 4194304 5683644 140735216592560 18446744073709551615 220816256527 0 0 16781312 33554946 4591072344365039876 0 0 17 7 0 0 0
/proc/29350/statm: 71479 6323 319 364 0 6366 0
[pid=29352] ppid=29350 vsize=79392 CPUtime=0.47 cores=1,3,5,7
/proc/29352/stat : 29352 (scip-2.0.1.linu) R 29350 29352 29352 0 -1 4202496 18118 0 0 0 29 18 0 0 18 0 1 0 850206963 81297408 17105 33554432000 4194304 13684479 140737012096448 18446744073709551615 11828363 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29352/statm: 19848 17105 732 2317 0 17526 0
[pid=29343/tid=29351] ppid=29341 vsize=296160 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29351/stat : 29351 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 18 0 2 0 850206963 303267840 7879 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 661468
[startup+3.10038 s]
/proc/loadavg: 1.95 1.99 1.62 3/686 29352
/proc/meminfo: memFree=16957596/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=296160 CPUtime=0.79 cores=1,3,5,7
/proc/29343/stat : 29343 (python) S 29341 29343 27243 0 -1 4202496 12110 1415 1 0 59 13 5 2 18 0 2 0 850206862 303267840 7879 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29343/statm: 74040 7879 1871 364 0 8927 0
[pid=29350] ppid=29343 vsize=285916 CPUtime=0 cores=1,3,5,7
/proc/29350/stat : 29350 (python) S 29343 29343 27243 0 -1 4202560 728 0 0 0 0 0 0 0 15 0 1 0 850206963 292777984 6323 33554432000 4194304 5683644 140735216592560 18446744073709551615 220816256527 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/29350/statm: 71479 6323 319 364 0 6366 0
[pid=29352] ppid=29350 vsize=84960 CPUtime=2.07 cores=1,3,5,7
/proc/29352/stat : 29352 (scip-2.0.1.linu) R 29350 29352 29352 0 -1 4202496 20550 0 0 0 176 31 0 0 18 0 1 0 850206963 86999040 18495 33554432000 4194304 13684479 140737012096448 18446744073709551615 6427716 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29352/statm: 21240 18495 773 2317 0 18918 0
[pid=29343/tid=29351] ppid=29341 vsize=296160 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29351/stat : 29351 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 18 0 2 0 850206963 303267840 7879 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 667036
[startup+6.30079 s]
/proc/loadavg: 1.95 1.99 1.62 3/686 29352
/proc/meminfo: memFree=16943924/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=296160 CPUtime=0.79 cores=1,3,5,7
/proc/29343/stat : 29343 (python) S 29341 29343 27243 0 -1 4202496 12110 1415 1 0 59 13 5 2 18 0 2 0 850206862 303267840 7879 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29343/statm: 74040 7879 1871 364 0 8927 0
[pid=29350] ppid=29343 vsize=285916 CPUtime=0.02 cores=1,3,5,7
/proc/29350/stat : 29350 (python) S 29343 29343 27243 0 -1 4202560 871 0 0 0 1 1 0 0 15 0 1 0 850206963 292777984 6347 33554432000 4194304 5683644 140735216592560 18446744073709551615 220816256527 0 0 16781312 33554946 2389522604365971456 0 0 17 7 0 0 0
/proc/29350/statm: 71479 6347 343 364 0 6366 0
[pid=29352] ppid=29350 vsize=95688 CPUtime=5.27 cores=1,3,5,7
/proc/29352/stat : 29352 (scip-2.0.1.linu) R 29350 29352 29352 0 -1 4202496 23437 0 0 0 490 37 0 0 25 0 1 0 850206963 97984512 21226 33554432000 4194304 13684479 140737012096448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29352/statm: 23922 21226 783 2317 0 21600 0
[pid=29343/tid=29351] ppid=29341 vsize=296160 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29351/stat : 29351 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 18 0 2 0 850206963 303267840 7879 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 677764
[startup+12.7006 s]
/proc/loadavg: 1.96 1.99 1.62 3/686 29353
/proc/meminfo: memFree=16935620/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=296160 CPUtime=0.79 cores=1,3,5,7
/proc/29343/stat : 29343 (python) S 29341 29343 27243 0 -1 4202496 12110 1415 1 0 59 13 5 2 18 0 2 0 850206862 303267840 7879 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29343/statm: 74040 7879 1871 364 0 8927 0
[pid=29350] ppid=29343 vsize=285916 CPUtime=0.04 cores=1,3,5,7
/proc/29350/stat : 29350 (python) S 29343 29343 27243 0 -1 4202560 876 0 0 0 2 2 0 0 15 0 1 0 850206963 292777984 6347 33554432000 4194304 5683644 140735216592560 18446744073709551615 220816256527 0 0 16781312 33554946 1999086764077088768 0 0 17 7 0 0 0
/proc/29350/statm: 71479 6347 343 364 0 6366 0
[pid=29352] ppid=29350 vsize=108520 CPUtime=11.67 cores=1,3,5,7
/proc/29352/stat : 29352 (scip-2.0.1.linu) R 29350 29352 29352 0 -1 4202496 26450 0 0 0 1126 41 0 0 25 0 1 0 850206963 111124480 24216 33554432000 4194304 13684479 140737012096448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29352/statm: 27130 24216 787 2317 0 24808 0
[pid=29343/tid=29351] ppid=29341 vsize=296160 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29351/stat : 29351 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 18 0 2 0 850206963 303267840 7879 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 690596
[startup+25.5012 s]
/proc/loadavg: 1.97 1.99 1.63 3/686 29353
/proc/meminfo: memFree=16934384/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=296160 CPUtime=0.79 cores=1,3,5,7
/proc/29343/stat : 29343 (python) S 29341 29343 27243 0 -1 4202496 12110 1415 1 0 59 13 5 2 18 0 2 0 850206862 303267840 7879 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29343/statm: 74040 7879 1871 364 0 8927 0
[pid=29350] ppid=29343 vsize=285916 CPUtime=0.1 cores=1,3,5,7
/proc/29350/stat : 29350 (python) S 29343 29343 27243 0 -1 4202560 885 0 0 0 5 5 0 0 15 0 1 0 850206963 292777984 6347 33554432000 4194304 5683644 140735216592560 18446744073709551615 220816256527 0 0 16781312 33554946 5623753486446373688 0 0 17 7 0 0 0
/proc/29350/statm: 71479 6347 343 364 0 6366 0
[pid=29352] ppid=29350 vsize=107404 CPUtime=24.47 cores=1,3,5,7
/proc/29352/stat : 29352 (scip-2.0.1.linu) R 29350 29352 29352 0 -1 4202496 27065 0 0 0 2398 49 0 0 25 0 1 0 850206963 109981696 23777 33554432000 4194304 13684479 140737012096448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29352/statm: 26851 23777 781 2317 0 24529 0
[pid=29343/tid=29351] ppid=29341 vsize=296160 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29351/stat : 29351 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 18 0 2 0 850206963 303267840 7879 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 689480
[startup+51.1005 s]
/proc/loadavg: 1.98 1.99 1.64 3/708 29376
/proc/meminfo: memFree=16337544/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=296160 CPUtime=0.81 cores=1,3,5,7
/proc/29343/stat : 29343 (python) R 29341 29343 27243 0 -1 4202496 12585 1415 1 0 61 13 5 2 18 0 2 0 850206862 303267840 7880 33554432000 4194304 5683644 140735216592560 18446744073709551615 220819718369 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29343/statm: 74040 7880 1872 364 0 8927 0
[pid=29350] ppid=29343 vsize=296160 CPUtime=0.22 cores=1,3,5,7
/proc/29350/stat : 29350 (python) S 29343 29343 27243 0 -1 4202560 1100 0 0 0 11 11 0 0 16 0 2 0 850206963 303267840 6415 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29350/statm: 74040 6415 406 364 0 8927 0
[pid=29352] ppid=29350 vsize=112540 CPUtime=50.05 cores=1,3,5,7
/proc/29352/stat : 29352 (scip-2.0.1.linu) T 29350 29352 29352 0 -1 4202496 29786 0 0 0 4928 77 0 0 25 0 1 0 850206963 115240960 25624 33554432000 4194304 13684479 140737012096448 18446744073709551615 7098919 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29352/statm: 28135 25624 802 2317 0 25813 0
[pid=29343/tid=29351] ppid=29341 vsize=296160 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29351/stat : 29351 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 18 0 2 0 850206963 303267840 7880 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 704860
[startup+102.302 s]
/proc/loadavg: 2.04 2.00 1.66 3/729 29499
/proc/meminfo: memFree=15268164/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=316672 CPUtime=0.84 cores=1,3,5,7
/proc/29343/stat : 29343 (python) S 29341 29343 27243 0 -1 4202496 13825 1415 1 0 63 14 5 2 20 0 4 0 850206862 324272128 7892 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29343/statm: 79168 7892 1876 364 0 14049 0
[pid=29350] ppid=29343 vsize=296160 CPUtime=0.22 cores=1,3,5,7
/proc/29350/stat : 29350 (python) S 29343 29343 27243 0 -1 4202560 1100 0 0 0 11 11 0 0 16 0 2 0 850206963 303267840 6415 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29350/statm: 74040 6415 406 364 0 8927 0
[pid=29352] ppid=29350 vsize=112540 CPUtime=50.05 cores=1,3,5,7
/proc/29352/stat : 29352 (scip-2.0.1.linu) T 29350 29352 29352 0 -1 4202496 29786 0 0 0 4928 77 0 0 25 0 1 0 850206963 115240960 25624 33554432000 4194304 13684479 140737012096448 18446744073709551615 7098919 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29352/statm: 28135 25624 802 2317 0 25813 0
[pid=29350/tid=29377] ppid=29343 vsize=296160 CPUtime=0 cores=1,3,5,7
/proc/29350/task/29377/stat : 29377 (python) S 29343 29343 27243 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850211969 303267840 6415 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554946 18446604456804927616 0 0 -1 7 0 0 0
[pid=29378] ppid=29343 vsize=296172 CPUtime=0.21 cores=1,3,5,7
/proc/29378/stat : 29378 (python) S 29343 29343 27243 0 -1 4202560 1163 0 0 0 9 12 0 0 17 0 2 0 850211972 303280128 6415 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29378/statm: 74043 6415 406 364 0 8927 0
[pid=29380] ppid=29378 vsize=8610652 CPUtime=48.7 cores=1,3,5,7
/proc/29380/stat : 29380 (java) T 29378 29380 29380 0 -1 4202496 283975 0 1 0 4837 33 0 0 18 0 19 0 850211972 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29380/statm: 2152663 258233 2261 9 0 2143404 0
[pid=29380/tid=29381] ppid=29378 vsize=8610652 CPUtime=46.55 cores=1,3,5,7
/proc/29380/task/29381/stat : 29381 (java) T 29378 29380 29380 0 -1 4202560 252145 0 1 0 4628 27 0 0 25 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 46912505971462 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29380/tid=29382] ppid=29378 vsize=8610652 CPUtime=0.03 cores=1,3,5,7
/proc/29380/task/29382/stat : 29382 (java) T 29378 29380 29380 0 -1 4202560 3090 0 0 0 3 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29380/tid=29383] ppid=29378 vsize=8610652 CPUtime=0.03 cores=1,3,5,7
/proc/29380/task/29383/stat : 29383 (java) T 29378 29380 29380 0 -1 4202560 570 0 0 0 3 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29380/tid=29384] ppid=29378 vsize=8610652 CPUtime=0.04 cores=1,3,5,7
/proc/29380/task/29384/stat : 29384 (java) T 29378 29380 29380 0 -1 4202560 2351 0 0 0 4 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29380/tid=29385] ppid=29378 vsize=8610652 CPUtime=0.05 cores=1,3,5,7
/proc/29380/task/29385/stat : 29385 (java) T 29378 29380 29380 0 -1 4202560 2335 0 0 0 5 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29380/tid=29386] ppid=29378 vsize=8610652 CPUtime=0.03 cores=1,3,5,7
/proc/29380/task/29386/stat : 29386 (java) T 29378 29380 29380 0 -1 4202560 763 0 0 0 3 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29380/tid=29387] ppid=29378 vsize=8610652 CPUtime=0.04 cores=1,3,5,7
/proc/29380/task/29387/stat : 29387 (java) T 29378 29380 29380 0 -1 4202560 1914 0 0 0 4 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=29536/tid=29548] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29548/stat : 29548 (java) S 29534 29536 29536 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850226645 8737173504 6313 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29549] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29549/stat : 29549 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850226647 8737173504 6314 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828060081 0 4 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29550] ppid=29534 vsize=8532396 CPUtime=0.03 cores=1,3,5,7
/proc/29536/task/29550/stat : 29550 (java) R 29534 29536 29536 0 -1 4202560 469 0 0 0 3 0 0 0 25 0 18 0 850226647 8737173504 6314 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 47517366408088 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29536/tid=29551] ppid=29534 vsize=8532396 CPUtime=0.05 cores=1,3,5,7
/proc/29536/task/29551/stat : 29551 (java) R 29534 29536 29536 0 -1 4202560 973 0 0 0 5 0 0 0 17 0 18 0 850226647 8737173504 6314 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828055264 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29536/tid=29552] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29552/stat : 29552 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850226647 8737173504 6314 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29553] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29553/stat : 29553 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850226647 8737173504 6314 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052992 0 4 0 16800975 18446604454622255808 0 0 -1 1 0 0 0
[pid=29343/tid=29351] ppid=29341 vsize=337184 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29351/stat : 29351 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 18 0 6 0 850206963 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 5 0 0 0
[pid=29343/tid=29379] ppid=29341 vsize=337184 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29379/stat : 29379 (python) S 29341 29343 27243 0 -1 4202560 23 1415 0 0 0 0 5 2 20 0 6 0 850211972 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 7 0 0 0
[pid=29343/tid=29462] ppid=29341 vsize=337184 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29462/stat : 29462 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 20 0 6 0 850216699 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 7 0 0 0
[pid=29343/tid=29503] ppid=29341 vsize=337184 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29503/stat : 29503 (python) S 29341 29343 27243 0 -1 4202560 24 1415 0 0 0 0 5 2 20 0 6 0 850221667 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 7 0 0 0
[pid=29343/tid=29535] ppid=29341 vsize=337184 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29535/stat : 29535 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 20 0 6 0 850226642 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 200.18
Current children cumulated vsize (KiB) 19322400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+198.001 s]
/proc/loadavg: 2.09 2.02 1.69 6/780 29553
/proc/meminfo: memFree=14874704/32951124 swapFree=60476376/67111528
[pid=29343] ppid=29341 vsize=337184 CPUtime=0.89 cores=1,3,5,7
/proc/29343/stat : 29343 (python) S 29341 29343 27243 0 -1 4202496 15645 1415 1 0 68 14 5 2 20 0 6 0 850206862 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29343/statm: 84296 7904 1880 364 0 19171 0
[pid=29350] ppid=29343 vsize=296160 CPUtime=0.22 cores=1,3,5,7
/proc/29350/stat : 29350 (python) S 29343 29343 27243 0 -1 4202560 1100 0 0 0 11 11 0 0 16 0 2 0 850206963 303267840 6415 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29350/statm: 74040 6415 406 364 0 8927 0
[pid=29352] ppid=29350 vsize=112540 CPUtime=50.05 cores=1,3,5,7
/proc/29352/stat : 29352 (scip-2.0.1.linu) T 29350 29352 29352 0 -1 4202496 29786 0 0 0 4928 77 0 0 25 0 1 0 850206963 115240960 25624 33554432000 4194304 13684479 140737012096448 18446744073709551615 7098919 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29352/statm: 28135 25624 802 2317 0 25813 0
[pid=29350/tid=29377] ppid=29343 vsize=296160 CPUtime=0 cores=1,3,5,7
/proc/29350/task/29377/stat : 29377 (python) S 29343 29343 27243 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850211969 303267840 6415 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554946 18446604456804927616 0 0 -1 7 0 0 0
[pid=29378] ppid=29343 vsize=296172 CPUtime=0.21 cores=1,3,5,7
/proc/29378/stat : 29378 (python) S 29343 29343 27243 0 -1 4202560 1163 0 0 0 9 12 0 0 17 0 2 0 850211972 303280128 6415 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29378/statm: 74043 6415 406 364 0 8927 0
[pid=29380] ppid=29378 vsize=8610652 CPUtime=48.7 cores=1,3,5,7
/proc/29380/stat : 29380 (java) T 29378 29380 29380 0 -1 4202496 283975 0 1 0 4837 33 0 0 18 0 19 0 850211972 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29380/statm: 2152663 258233 2261 9 0 2143404 0
[pid=29380/tid=29381] ppid=29378 vsize=8610652 CPUtime=46.55 cores=1,3,5,7
/proc/29380/task/29381/stat : 29381 (java) T 29378 29380 29380 0 -1 4202560 252145 0 1 0 4628 27 0 0 25 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 46912505971462 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29380/tid=29382] ppid=29378 vsize=8610652 CPUtime=0.03 cores=1,3,5,7
/proc/29380/task/29382/stat : 29382 (java) T 29378 29380 29380 0 -1 4202560 3090 0 0 0 3 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29380/tid=29383] ppid=29378 vsize=8610652 CPUtime=0.03 cores=1,3,5,7
/proc/29380/task/29383/stat : 29383 (java) T 29378 29380 29380 0 -1 4202560 570 0 0 0 3 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29380/tid=29384] ppid=29378 vsize=8610652 CPUtime=0.04 cores=1,3,5,7
/proc/29380/task/29384/stat : 29384 (java) T 29378 29380 29380 0 -1 4202560 2351 0 0 0 4 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29380/tid=29385] ppid=29378 vsize=8610652 CPUtime=0.05 cores=1,3,5,7
/proc/29380/task/29385/stat : 29385 (java) T 29378 29380 29380 0 -1 4202560 2335 0 0 0 5 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29380/tid=29386] ppid=29378 vsize=8610652 CPUtime=0.03 cores=1,3,5,7
/proc/29380/task/29386/stat : 29386 (java) T 29378 29380 29380 0 -1 4202560 763 0 0 0 3 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=29380/tid=29387] ppid=29378 vsize=8610652 CPUtime=0.04 cores=1,3,5,7
/proc/29380/task/29387/stat : 29387 (java) T 29378 29380 29380 0 -1 4202560 1914 0 0 0 4 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29380/tid=29388] ppid=29378 vsize=8610652 CPUtime=0.05 cores=1,3,5,7
/proc/29380/task/29388/stat : 29388 (java) T 29378 29380 29380 0 -1 4202560 2763 0 0 0 5 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29380/tid=29389] ppid=29378 vsize=8610652 CPUtime=0.02 cores=1,3,5,7
/proc/29380/task/29389/stat : 29389 (java) T 29378 29380 29380 0 -1 4202560 1864 0 0 0 2 0 0 0 15 0 19 0 850211973 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29380/tid=29390] ppid=29378 vsize=8610652 CPUtime=0.53 cores=1,3,5,7
/proc/29380/task/29390/stat : 29390 (java) T 29378 29380 29380 0 -1 4202560 4806 0 0 0 52 1 0 0 15 0 19 0 850211974 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052992 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29380/tid=29391] ppid=29378 vsize=8610652 CPUtime=0 cores=1,3,5,7
/proc/29380/task/29391/stat : 29391 (java) T 29378 29380 29380 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850211974 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29380/tid=29392] ppid=29378 vsize=8610652 CPUtime=0 cores=1,3,5,7
/proc/29380/task/29392/stat : 29392 (java) T 29378 29380 29380 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850211974 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29380/tid=29393] ppid=29378 vsize=8610652 CPUtime=0 cores=1,3,5,7
/proc/29380/task/29393/stat : 29393 (java) T 29378 29380 29380 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850211977 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29380/tid=29394] ppid=29378 vsize=8610652 CPUtime=0.63 cores=1,3,5,7
/proc/29380/task/29394/stat : 29394 (java) T 29378 29380 29380 0 -1 4202560 4223 0 0 0 63 0 0 0 15 0 19 0 850211977 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=29380/tid=29395] ppid=29378 vsize=8610652 CPUtime=0.59 cores=1,3,5,7
/proc/29380/task/29395/stat : 29395 (java) T 29378 29380 29380 0 -1 4202560 5751 0 0 0 59 0 0 0 15 0 19 0 850211977 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29380/tid=29396] ppid=29378 vsize=8610652 CPUtime=0 cores=1,3,5,7
/proc/29380/task/29396/stat : 29396 (java) T 29378 29380 29380 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850211977 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=29380/tid=29397] ppid=29378 vsize=8610652 CPUtime=0 cores=1,3,5,7
/proc/29380/task/29397/stat : 29397 (java) T 29378 29380 29380 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850211977 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29380/tid=29398] ppid=29378 vsize=8610652 CPUtime=0 cores=1,3,5,7
/proc/29380/task/29398/stat : 29398 (java) T 29378 29380 29380 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850212020 8817307648 258233 33554432000 1073741824 1073778376 140736883975376 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=29378/tid=29460] ppid=29343 vsize=296172 CPUtime=0 cores=1,3,5,7
/proc/29378/task/29460/stat : 29460 (python) S 29343 29343 27243 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850216697 303280128 6415 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554946 18446604461251810496 0 0 -1 7 0 0 0
[pid=29461] ppid=29343 vsize=306428 CPUtime=0.22 cores=1,3,5,7
/proc/29461/stat : 29461 (python) S 29343 29343 27243 0 -1 4202560 1182 0 0 0 9 13 0 0 17 0 2 0 850216699 313782272 6410 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29461/statm: 76607 6410 397 364 0 11488 0
[pid=29463] ppid=29461 vsize=99516 CPUtime=49.64 cores=1,3,5,7
/proc/29463/stat : 29463 (scip-2.0.1.linu) T 29461 29463 29463 0 -1 4202496 54752 0 0 0 4911 53 0 0 25 0 1 0 850216699 101904384 22078 33554432000 4194304 15243407 140733786975536 18446744073709551615 12487560 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/29463/statm: 24879 22078 901 2698 0 22174 0
[pid=29461/tid=29501] ppid=29343 vsize=306428 CPUtime=0 cores=1,3,5,7
/proc/29461/task/29501/stat : 29501 (python) S 29343 29343 27243 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 850221664 313782272 6410 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554946 18446604464801080320 0 0 -1 7 0 0 0
[pid=29502] ppid=29343 vsize=316684 CPUtime=0.22 cores=1,3,5,7
/proc/29502/stat : 29502 (python) S 29343 29343 27243 0 -1 4202560 1140 0 0 0 11 11 0 0 17 0 2 0 850221667 324284416 6408 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/29502/statm: 79171 6408 391 364 0 14049 0
[pid=29504] ppid=29502 vsize=87728 CPUtime=49.71 cores=1,3,5,7
/proc/29504/stat : 29504 (wbo1.4a) T 29502 29504 29504 0 -1 4202496 22023 0 0 0 4924 47 0 0 25 0 1 0 850221667 89833472 21478 33554432000 134512640 135751879 4287002224 18446744073709551615 134616532 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/29504/statm: 21932 21478 146 303 0 21627 0
[pid=29502/tid=29533] ppid=29343 vsize=316684 CPUtime=0 cores=1,3,5,7
/proc/29502/task/29533/stat : 29533 (python) S 29343 29343 27243 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 850226639 324284416 6408 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554946 18446604457247924544 0 0 -1 3 0 0 0
[pid=29534] ppid=29343 vsize=326940 CPUtime=0 cores=1,3,5,7
/proc/29534/stat : 29534 (python) S 29343 29343 27243 0 -1 4202560 789 0 0 0 0 0 0 0 19 0 1 0 850226642 334786560 6340 33554432000 4194304 5683644 140735216592560 18446744073709551615 220816256582 0 0 16781312 33554946 4293573441673494528 0 0 17 7 0 0 0
/proc/29534/statm: 81735 6340 320 364 0 16610 0
[pid=29536] ppid=29534 vsize=8532396 CPUtime=0.32 cores=1,3,5,7
/proc/29536/stat : 29536 (java) S 29534 29536 29536 0 -1 4202496 7051 0 1 0 31 1 0 0 20 0 18 0 850226642 8737173504 6297 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29536/statm: 2133099 6297 2177 9 0 2123840 0
[pid=29536/tid=29537] ppid=29534 vsize=8532396 CPUtime=0.21 cores=1,3,5,7
/proc/29536/task/29537/stat : 29537 (java) R 29534 29536 29536 0 -1 4202560 4232 0 1 0 21 0 0 0 18 0 18 0 850226643 8737173504 6311 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 46912505179137 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29536/tid=29538] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29538/stat : 29538 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850226643 8737173504 6311 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29539] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29539/stat : 29539 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850226643 8737173504 6311 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29540] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29540/stat : 29540 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850226643 8737173504 6312 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29541] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29541/stat : 29541 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850226643 8737173504 6312 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 7 0 0 0
[pid=29536/tid=29542] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29542/stat : 29542 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850226643 8737173504 6312 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 1 0 0 0
[pid=29536/tid=29543] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29543/stat : 29543 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850226643 8737173504 6312 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 7 0 0 0
[pid=29536/tid=29544] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29544/stat : 29544 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850226643 8737173504 6313 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 1 0 0 0
[pid=29536/tid=29545] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29545/stat : 29545 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850226643 8737173504 6313 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 7 0 0 0
[pid=29536/tid=29546] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29546/stat : 29546 (java) S 29534 29536 29536 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850226644 8737173504 6313 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052992 0 0 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29547] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29547/stat : 29547 (java) S 29534 29536 29536 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850226645 8737173504 6313 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29548] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29548/stat : 29548 (java) S 29534 29536 29536 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850226645 8737173504 6313 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29549] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29549/stat : 29549 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850226647 8737173504 6314 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828060081 0 4 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29550] ppid=29534 vsize=8532396 CPUtime=0.03 cores=1,3,5,7
/proc/29536/task/29550/stat : 29550 (java) R 29534 29536 29536 0 -1 4202560 469 0 0 0 3 0 0 0 25 0 18 0 850226647 8737173504 6314 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 47517366408088 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29536/tid=29551] ppid=29534 vsize=8532396 CPUtime=0.05 cores=1,3,5,7
/proc/29536/task/29551/stat : 29551 (java) R 29534 29536 29536 0 -1 4202560 973 0 0 0 5 0 0 0 17 0 18 0 850226647 8737173504 6314 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828055264 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29536/tid=29552] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29552/stat : 29552 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850226647 8737173504 6314 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052377 0 4 0 16800975 18446604454622255808 0 0 -1 3 0 0 0
[pid=29536/tid=29553] ppid=29534 vsize=8532396 CPUtime=0 cores=1,3,5,7
/proc/29536/task/29553/stat : 29553 (java) S 29534 29536 29536 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850226647 8737173504 6314 33554432000 1073741824 1073778376 140734513254464 18446744073709551615 220828052992 0 4 0 16800975 18446604454622255808 0 0 -1 1 0 0 0
[pid=29343/tid=29351] ppid=29341 vsize=337184 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29351/stat : 29351 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 18 0 6 0 850206963 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 5 0 0 0
[pid=29343/tid=29379] ppid=29341 vsize=337184 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29379/stat : 29379 (python) S 29341 29343 27243 0 -1 4202560 23 1415 0 0 0 0 5 2 20 0 6 0 850211972 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 7 0 0 0
[pid=29343/tid=29462] ppid=29341 vsize=337184 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29462/stat : 29462 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 20 0 6 0 850216699 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 7 0 0 0
[pid=29343/tid=29503] ppid=29341 vsize=337184 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29503/stat : 29503 (python) S 29341 29343 27243 0 -1 4202560 24 1415 0 0 0 0 5 2 20 0 6 0 850221667 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 7 0 0 0
[pid=29343/tid=29535] ppid=29341 vsize=337184 CPUtime=0.07 cores=1,3,5,7
/proc/29343/task/29535/stat : 29535 (python) S 29341 29343 27243 0 -1 4202560 27 1415 0 0 0 0 5 2 20 0 6 0 850226642 345276416 7904 33554432000 4194304 5683644 140735216592560 18446744073709551615 220828060081 0 0 16781312 33554434 18446604456804928512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 200.18
Current children cumulated vsize (KiB) 19322400
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29343 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=744886
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=168974
# CPU time returned by wait4() is 0.91386
# while last known CPU time is 200.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 198.084
CPU time (s): 200.18
CPU user time (s): 197.44
CPU system time (s): 2.74
CPU usage (%): 101.058
Max. virtual memory (cumulated for all children) (KiB): 19322400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.744886
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17063
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= 7983
involuntary context switches= 24
runsolver used 1.23081 second user time and 2.42563 second system time
The end