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-3482416-1307577922/watcher-3482416-1307577922 -o /tmp/evaluation-result-3482416-1307577922/solver-3482416-1307577922 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482416-1307577922.opb -seed 1872601430 -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.09 2.05 1.62 2/557 24549
/proc/meminfo: memFree=22569772/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/24549/stat : 24549 (python) R 24547 24549 23366 0 -1 4202496 1042 0 0 0 0 0 0 0 17 0 1 0 869394863 16629760 913 33554432000 4194304 5683644 140735496869840 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24549/statm: 4060 913 380 364 0 547 0
[startup+0.0954521 s]
/proc/loadavg: 2.09 2.05 1.62 2/557 24549
/proc/meminfo: memFree=22569772/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=84568 CPUtime=0.05 cores=1,3,5,7
/proc/24549/stat : 24549 (python) S 24547 24549 23366 0 -1 4202496 2409 0 0 0 4 1 0 0 17 0 1 0 869394863 86597632 2136 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634513408 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/24549/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568
[startup+0.100463 s]
/proc/loadavg: 2.09 2.05 1.62 2/557 24549
/proc/meminfo: memFree=22569772/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=85620 CPUtime=0.05 cores=1,3,5,7
/proc/24549/stat : 24549 (python) R 24547 24549 23366 0 -1 4202496 2663 0 0 0 4 1 0 0 17 0 1 0 869394863 87674880 2382 33554432000 4194304 5683644 140735496869840 18446744073709551615 4570838 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24549/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.300458 s]
/proc/loadavg: 2.09 2.05 1.62 2/557 24549
/proc/meminfo: memFree=22569772/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/24549/stat : 24549 (python) S 24547 24549 23366 0 -1 4202496 5358 930 1 0 12 5 0 0 16 0 1 0 869394863 126709760 3744 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634511365 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/24549/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700346 s]
/proc/loadavg: 2.09 2.05 1.62 2/557 24549
/proc/meminfo: memFree=22569772/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=282408 CPUtime=0.44 cores=1,3,5,7
/proc/24549/stat : 24549 (python) R 24547 24549 23366 0 -1 4202496 9047 930 1 0 32 12 0 0 15 0 1 0 869394863 289185792 6911 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634212107 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/24549/statm: 70602 6935 1774 364 0 5495 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282408
[startup+1.50021 s]
/proc/loadavg: 2.09 2.05 1.62 3/561 24558
/proc/meminfo: memFree=22542212/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=293416 CPUtime=0.5 cores=1,3,5,7
/proc/24549/stat : 24549 (python) S 24547 24549 23366 0 -1 4202496 10747 1326 1 0 37 13 0 0 17 0 2 0 869394863 300457984 7215 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/24549/statm: 73354 7215 1871 364 0 8241 0
[pid=24556] ppid=24549 vsize=283172 CPUtime=0 cores=1,3,5,7
/proc/24556/stat : 24556 (python) S 24549 24549 23366 0 -1 4202560 668 0 0 0 0 0 0 0 17 0 1 0 869394939 289968128 5656 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634535439 0 0 16781312 33554946 11784240278435496198 0 0 17 7 0 0 0
/proc/24556/statm: 70793 5656 316 364 0 5680 0
[pid=24558] ppid=24556 vsize=2380 CPUtime=0.72 cores=1,3,5,7
/proc/24558/stat : 24558 (clasp-1.3.7-x86) R 24556 24558 24558 0 -1 4202496 614 0 0 0 72 0 0 0 18 0 1 0 869394940 2437120 351 33554432000 134512640 136139019 4294197488 18446744073709551615 134832139 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24558/statm: 595 351 183 398 0 195 0
[pid=24549/tid=24557] ppid=24547 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24557/stat : 24557 (python) S 24547 24549 23366 0 -1 4202560 25 1326 0 0 0 0 0 0 17 0 2 0 869394939 300457984 7215 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 578968
[startup+3.10093 s]
/proc/loadavg: 2.08 2.05 1.62 3/561 24558
/proc/meminfo: memFree=22539484/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=293416 CPUtime=0.5 cores=1,3,5,7
/proc/24549/stat : 24549 (python) S 24547 24549 23366 0 -1 4202496 10747 1326 1 0 37 13 0 0 17 0 2 0 869394863 300457984 7215 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/24549/statm: 73354 7215 1871 364 0 8241 0
[pid=24556] ppid=24549 vsize=283172 CPUtime=0 cores=1,3,5,7
/proc/24556/stat : 24556 (python) S 24549 24549 23366 0 -1 4202560 691 0 0 0 0 0 0 0 15 0 1 0 869394939 289968128 5659 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634535439 0 0 16781312 33554946 11784242546178228486 0 0 17 7 0 0 0
/proc/24556/statm: 70793 5659 319 364 0 5680 0
[pid=24558] ppid=24556 vsize=2508 CPUtime=2.33 cores=1,3,5,7
/proc/24558/stat : 24558 (clasp-1.3.7-x86) R 24556 24558 24558 0 -1 4202496 647 0 0 0 233 0 0 0 22 0 1 0 869394940 2568192 384 33554432000 134512640 136139019 4294197488 18446744073709551615 134876516 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24558/statm: 627 384 183 398 0 227 0
[pid=24549/tid=24557] ppid=24547 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24557/stat : 24557 (python) S 24547 24549 23366 0 -1 4202560 25 1326 0 0 0 0 0 0 17 0 2 0 869394939 300457984 7215 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 579096
[startup+6.30036 s]
/proc/loadavg: 2.08 2.05 1.62 4/561 24558
/proc/meminfo: memFree=22535772/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=293416 CPUtime=0.5 cores=1,3,5,7
/proc/24549/stat : 24549 (python) S 24547 24549 23366 0 -1 4202496 10747 1326 1 0 37 13 0 0 17 0 2 0 869394863 300457984 7215 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/24549/statm: 73354 7215 1871 364 0 8241 0
[pid=24556] ppid=24549 vsize=283172 CPUtime=0.01 cores=1,3,5,7
/proc/24556/stat : 24556 (python) S 24549 24549 23366 0 -1 4202560 851 0 0 0 0 1 0 0 15 0 1 0 869394939 289968128 5683 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634535439 0 0 16781312 33554946 11784242546178228486 0 0 17 7 0 0 0
/proc/24556/statm: 70793 5683 343 364 0 5680 0
[pid=24558] ppid=24556 vsize=2760 CPUtime=5.53 cores=1,3,5,7
/proc/24558/stat : 24558 (clasp-1.3.7-x86) R 24556 24558 24558 0 -1 4202496 693 0 0 0 553 0 0 0 25 0 1 0 869394940 2826240 430 33554432000 134512640 136139019 4294197488 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24558/statm: 690 430 183 398 0 290 0
[pid=24549/tid=24557] ppid=24547 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24557/stat : 24557 (python) S 24547 24549 23366 0 -1 4202560 25 1326 0 0 0 0 0 0 17 0 2 0 869394939 300457984 7215 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 579348
[startup+12.7002 s]
/proc/loadavg: 2.07 2.05 1.63 3/561 24558
/proc/meminfo: memFree=22481216/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=293416 CPUtime=0.5 cores=1,3,5,7
/proc/24549/stat : 24549 (python) S 24547 24549 23366 0 -1 4202496 10747 1326 1 0 37 13 0 0 17 0 2 0 869394863 300457984 7215 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/24549/statm: 73354 7215 1871 364 0 8241 0
[pid=24556] ppid=24549 vsize=283172 CPUtime=0.03 cores=1,3,5,7
/proc/24556/stat : 24556 (python) S 24549 24549 23366 0 -1 4202560 853 0 0 0 1 2 0 0 15 0 1 0 869394939 289968128 5683 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634535439 0 0 16781312 33554946 5623753486446373588 0 0 17 7 0 0 0
/proc/24556/statm: 70793 5683 343 364 0 5680 0
[pid=24558] ppid=24556 vsize=2892 CPUtime=11.93 cores=1,3,5,7
/proc/24558/stat : 24558 (clasp-1.3.7-x86) R 24556 24558 24558 0 -1 4202496 722 0 0 0 1193 0 0 0 25 0 1 0 869394940 2961408 459 33554432000 134512640 136139019 4294197488 18446744073709551615 134640733 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24558/statm: 723 459 183 398 0 323 0
[pid=24549/tid=24557] ppid=24547 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24557/stat : 24557 (python) S 24547 24549 23366 0 -1 4202560 25 1326 0 0 0 0 0 0 17 0 2 0 869394939 300457984 7215 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 579480
[startup+25.501 s]
/proc/loadavg: 2.06 2.04 1.63 3/561 24558
/proc/meminfo: memFree=22458540/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=293416 CPUtime=0.5 cores=1,3,5,7
/proc/24549/stat : 24549 (python) S 24547 24549 23366 0 -1 4202496 10747 1326 1 0 37 13 0 0 17 0 2 0 869394863 300457984 7215 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/24549/statm: 73354 7215 1871 364 0 8241 0
[pid=24556] ppid=24549 vsize=283172 CPUtime=0.1 cores=1,3,5,7
/proc/24556/stat : 24556 (python) S 24549 24549 23366 0 -1 4202560 859 0 0 0 4 6 0 0 15 0 1 0 869394939 289968128 5683 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634535439 0 0 16781312 33554946 5623753486446373588 0 0 17 7 0 0 0
/proc/24556/statm: 70793 5683 343 364 0 5680 0
[pid=24558] ppid=24556 vsize=3140 CPUtime=24.73 cores=1,3,5,7
/proc/24558/stat : 24558 (clasp-1.3.7-x86) R 24556 24558 24558 0 -1 4202496 781 0 0 0 2473 0 0 0 25 0 1 0 869394940 3215360 518 33554432000 134512640 136139019 4294197488 18446744073709551615 134634724 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/24558/statm: 785 518 183 398 0 385 0
[pid=24549/tid=24557] ppid=24547 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24557/stat : 24557 (python) S 24547 24549 23366 0 -1 4202560 25 1326 0 0 0 0 0 0 17 0 2 0 869394939 300457984 7215 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 579728
[startup+51.1004 s]
/proc/loadavg: 2.04 2.04 1.64 3/565 24563
/proc/meminfo: memFree=22424112/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=304152 CPUtime=0.52 cores=1,3,5,7
/proc/24549/stat : 24549 (python) S 24547 24549 23366 0 -1 4202496 11623 1326 1 0 39 13 0 0 19 0 3 0 869394863 311451648 7336 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/24549/statm: 76038 7336 1874 364 0 10922 0
[pid=24556] ppid=24549 vsize=293416 CPUtime=0.19 cores=1,3,5,7
/proc/24556/stat : 24556 (python) S 24549 24549 23366 0 -1 4202560 1140 0 0 0 8 11 0 0 17 0 2 0 869394939 300457984 5756 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24556/statm: 73354 5756 411 364 0 8241 0
[pid=24558] ppid=24556 vsize=3248 CPUtime=47.2 cores=1,3,5,7
/proc/24558/stat : 24558 (clasp-1.3.7-x86) T 24556 24558 24558 0 -1 4202496 810 0 0 0 4720 0 0 0 25 0 1 0 869394940 3325952 547 33554432000 134512640 136139019 4294197488 18446744073709551615 134598373 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/24558/statm: 812 547 183 398 0 412 0
[pid=24556/tid=24560] ppid=24549 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/24556/task/24560/stat : 24560 (python) S 24549 24549 23366 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869399660 300457984 5756 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604464896388032 0 0 -1 7 0 0 0
[pid=24561] ppid=24549 vsize=293908 CPUtime=0 cores=1,3,5,7
/proc/24561/stat : 24561 (python) S 24549 24549 23366 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 869399663 300961792 5778 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634535494 0 0 16781312 33554946 4294934792 0 0 17 1 0 0 0
/proc/24561/statm: 73477 5778 320 364 0 8361 0
[pid=24563] ppid=24561 vsize=51492 CPUtime=3.09 cores=1,3,5,7
/proc/24563/stat : 24563 (scip-2.0.1.linu) R 24561 24563 24563 0 -1 4202496 13310 0 0 0 288 21 0 0 18 0 1 0 869399663 52727808 10406 33554432000 4194304 13684479 140737225543936 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/24563/statm: 12873 10406 841 2317 0 10551 0
[pid=24549/tid=24557] ppid=24547 vsize=304152 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24557/stat : 24557 (python) S 24547 24549 23366 0 -1 4202560 25 1326 0 0 0 0 0 0 17 0 3 0 869394939 311451648 7336 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
[pid=24549/tid=24562] ppid=24547 vsize=304152 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24562/stat : 24562 (python) S 24547 24549 23366 0 -1 4202560 26 1326 0 0 0 0 0 0 19 0 3 0 869399663 311451648 7336 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 946216
[startup+102.319 s]
/proc/loadavg: 2.08 2.06 1.67 3/569 24568
/proc/meminfo: memFree=22309532/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=314172 CPUtime=0.54 cores=1,3,5,7
/proc/24549/stat : 24549 (python) S 24547 24549 23366 0 -1 4202496 12543 1326 1 0 41 13 0 0 19 0 4 0 869394863 321712128 7269 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/24549/statm: 78543 7269 1876 364 0 13424 0
[pid=24556] ppid=24549 vsize=293416 CPUtime=0.19 cores=1,3,5,7
/proc/24556/stat : 24556 (python) S 24549 24549 23366 0 -1 4202560 1140 0 0 0 8 11 0 0 17 0 2 0 869394939 300457984 5756 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24556/statm: 73354 5756 411 364 0 8241 0
[pid=24558] ppid=24556 vsize=3248 CPUtime=47.2 cores=1,3,5,7
/proc/24558/stat : 24558 (clasp-1.3.7-x86) T 24556 24558 24558 0 -1 4202496 810 0 0 0 4720 0 0 0 25 0 1 0 869394940 3325952 547 33554432000 134512640 136139019 4294197488 18446744073709551615 134598373 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/24558/statm: 812 547 183 398 0 412 0
[pid=24556/tid=24560] ppid=24549 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/24556/task/24560/stat : 24560 (python) S 24549 24549 23366 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869399660 300457984 5756 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604464896388032 0 0 -1 7 0 0 0
[pid=24561] ppid=24549 vsize=293908 CPUtime=0.23 cores=1,3,5,7
/proc/24561/stat : 24561 (python) S 24549 24549 23366 0 -1 4202560 1120 0 0 0 10 13 0 0 17 0 2 0 869399663 300961792 5850 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24561/statm: 73477 5850 391 364 0 8361 0
[pid=24563] ppid=24561 vsize=51492 CPUtime=48.46 cores=1,3,5,7
/proc/24563/stat : 24563 (scip-2.0.1.linu) T 24561 24563 24563 0 -1 4202496 13337 0 0 0 4623 223 0 0 18 0 1 0 869399663 52727808 10433 33554432000 4194304 13684479 140737225543936 18446744073709551615 7268195 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/24563/statm: 12873 10433 842 2317 0 10551 0
[pid=24561/tid=24565] ppid=24549 vsize=293908 CPUtime=0 cores=1,3,5,7
/proc/24561/task/24565/stat : 24565 (python) S 24549 24549 23366 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869404510 300961792 5850 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604467111189376 0 0 -1 7 0 0 0
[pid=24566] ppid=24549 vsize=303928 CPUtime=0.02 cores=1,3,5,7
/proc/24566/stat : 24566 (python) S 24549 24549 23366 0 -1 4202560 905 0 0 0 1 1 0 0 15 0 1 0 869404512 311222272 5733 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634535494 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
################
# More data... #
################
[pid=24549/tid=24740] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24740/stat : 24740 (python) S 24547 24549 23366 0 -1 4202560 30 1326 0 0 0 0 0 0 20 0 11 0 869500084 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 7 0 0 0
[pid=24549/tid=24766] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24766/stat : 24766 (python) S 24547 24549 23366 0 -1 4202560 27 1326 0 0 0 0 0 0 20 0 11 0 869567112 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 3 0 0 0
[pid=24549/tid=24771] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24771/stat : 24771 (python) S 24547 24549 23366 0 -1 4202560 26 1326 0 0 0 0 0 0 20 0 11 0 869571842 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 12679840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789.5 s]
/proc/loadavg: 2.02 2.07 1.97 3/618 24772
/proc/meminfo: memFree=16708428/32951124 swapFree=51712240/67111528
[pid=24549] ppid=24547 vsize=386552 CPUtime=0.89 cores=1,3,5,7
/proc/24549/stat : 24549 (python) S 24547 24549 23366 0 -1 4202496 19208 1326 1 0 74 15 0 0 20 0 11 0 869394863 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24549/statm: 96638 7480 1890 364 0 31498 0
[pid=24556] ppid=24549 vsize=293416 CPUtime=0.99 cores=1,3,5,7
/proc/24556/stat : 24556 (python) S 24549 24549 23366 0 -1 4202560 1202 0 0 0 45 54 0 0 15 0 2 0 869394939 300457984 5757 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24556/statm: 73354 5757 412 364 0 8241 0
[pid=24558] ppid=24556 vsize=3740 CPUtime=232.01 cores=1,3,5,7
/proc/24558/stat : 24558 (clasp-1.3.7-x86) T 24556 24558 24558 0 -1 4202496 958 0 0 0 23201 0 0 0 25 0 1 0 869394940 3829760 695 33554432000 134512640 136139019 4294197488 18446744073709551615 134875798 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/24558/statm: 935 695 183 398 0 535 0
[pid=24556/tid=24560] ppid=24549 vsize=293416 CPUtime=0 cores=1,3,5,7
/proc/24556/task/24560/stat : 24560 (python) S 24549 24549 23366 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869399660 300457984 5757 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604464896388032 0 0 -1 7 0 0 0
[pid=24561] ppid=24549 vsize=294148 CPUtime=5.93 cores=1,3,5,7
/proc/24561/stat : 24561 (python) S 24549 24549 23366 0 -1 4202560 1417 0 0 0 287 306 0 0 15 0 2 0 869399663 301207552 5913 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24561/statm: 73537 5913 393 364 0 8421 0
[pid=24563] ppid=24561 vsize=62416 CPUtime=1104.96 cores=1,3,5,7
/proc/24563/stat : 24563 (scip-2.0.1.linu) T 24561 24563 24563 0 -1 4202496 16498 0 0 0 105235 5261 0 0 18 0 1 0 869399663 63913984 13594 33554432000 4194304 13684479 140737225543936 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/24563/statm: 15604 13594 1022 2317 0 13282 0
[pid=24561/tid=24565] ppid=24549 vsize=294148 CPUtime=0 cores=1,3,5,7
/proc/24561/task/24565/stat : 24565 (python) S 24549 24549 23366 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 869404510 301207552 5913 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604467111189376 0 0 -1 7 0 0 0
[pid=24566] ppid=24549 vsize=303928 CPUtime=0.49 cores=1,3,5,7
/proc/24566/stat : 24566 (python) S 24549 24549 23366 0 -1 4202560 1147 0 0 0 23 26 0 0 15 0 2 0 869404512 311222272 5781 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24566/statm: 75982 5781 391 364 0 10863 0
[pid=24568] ppid=24566 vsize=43696 CPUtime=95.27 cores=1,3,5,7
/proc/24568/stat : 24568 (scip-2.0.1.linu) T 24566 24568 24568 0 -1 4202496 12842 0 0 0 9442 85 0 0 25 0 1 0 869404513 44744704 8381 33554432000 4194304 15243407 140734843236032 18446744073709551615 8113833 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/24568/statm: 10924 8381 966 2698 0 8219 0
[pid=24566/tid=24570] ppid=24549 vsize=303928 CPUtime=0 cores=1,3,5,7
/proc/24566/task/24570/stat : 24570 (python) S 24549 24549 23366 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869409246 311222272 5781 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604463087254336 0 0 -1 7 0 0 0
[pid=24573] ppid=24549 vsize=314628 CPUtime=0.23 cores=1,3,5,7
/proc/24573/stat : 24573 (python) S 24549 24549 23366 0 -1 4202560 1113 0 0 0 12 11 0 0 19 0 2 0 869413673 322179072 5915 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24573/statm: 78657 5915 391 364 0 13535 0
[pid=24575] ppid=24573 vsize=27632 CPUtime=52.25 cores=1,3,5,7
/proc/24575/stat : 24575 (pbct-0.1.2-linu) T 24573 24575 24575 0 -1 4202496 6716 0 0 0 4907 318 0 0 25 0 1 0 869413673 28295168 6385 33554432000 134512640 136422188 4289194368 18446744073709551615 135874785 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/24575/statm: 6908 6385 213 467 0 6439 0
[pid=24573/tid=24577] ppid=24549 vsize=314628 CPUtime=0 cores=1,3,5,7
/proc/24573/task/24577/stat : 24577 (python) S 24549 24549 23366 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869418899 322179072 5915 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604462109787136 0 0 -1 7 0 0 0
[pid=24578] ppid=24549 vsize=324884 CPUtime=0.2 cores=1,3,5,7
/proc/24578/stat : 24578 (python) S 24549 24549 23366 0 -1 4202560 1136 0 0 0 10 10 0 0 17 0 2 0 869418910 332681216 5919 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24578/statm: 81221 5919 391 364 0 16096 0
[pid=24580] ppid=24578 vsize=64684 CPUtime=48.23 cores=1,3,5,7
/proc/24580/stat : 24580 (minion) T 24578 24580 24580 0 -1 4202496 9201 0 0 0 4823 0 0 0 25 0 1 0 869418910 66236416 8926 33554432000 134512640 165565024 4288520016 18446744073709551615 142424470 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/24580/statm: 16171 8926 359 7582 0 8586 0
[pid=24578/tid=24674] ppid=24549 vsize=324884 CPUtime=0 cores=1,3,5,7
/proc/24578/task/24674/stat : 24674 (python) S 24549 24549 23366 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869423734 332681216 5919 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604469923733760 0 0 -1 7 0 0 0
[pid=24693] ppid=24549 vsize=335140 CPUtime=0.21 cores=1,3,5,7
/proc/24693/stat : 24693 (python) S 24549 24549 23366 0 -1 4202560 1130 0 0 0 10 11 0 0 16 0 2 0 869442594 343183360 5934 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24693/statm: 83785 5934 391 364 0 18657 0
[pid=24695] ppid=24693 vsize=8544272 CPUtime=49.73 cores=1,3,5,7
/proc/24695/stat : 24695 (java) T 24693 24695 24695 0 -1 4202496 174750 0 1 0 4953 20 0 0 15 0 19 0 869442595 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24695/statm: 2136068 154199 2249 9 0 2126809 0
[pid=24695/tid=24696] ppid=24693 vsize=8544272 CPUtime=47.25 cores=1,3,5,7
/proc/24695/task/24696/stat : 24696 (java) T 24693 24695 24695 0 -1 4202560 126819 0 1 0 4713 12 0 0 25 0 19 0 869442596 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 46912505638833 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 8
[pid=24695/tid=24697] ppid=24693 vsize=8544272 CPUtime=0.1 cores=1,3,5,7
/proc/24695/task/24697/stat : 24697 (java) T 24693 24695 24695 0 -1 4202560 4905 0 0 0 10 0 0 0 15 0 19 0 869442596 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=24695/tid=24698] ppid=24693 vsize=8544272 CPUtime=0.1 cores=1,3,5,7
/proc/24695/task/24698/stat : 24698 (java) T 24693 24695 24695 0 -1 4202560 4602 0 0 0 10 0 0 0 15 0 19 0 869442596 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24695/tid=24699] ppid=24693 vsize=8544272 CPUtime=0.1 cores=1,3,5,7
/proc/24695/task/24699/stat : 24699 (java) T 24693 24695 24695 0 -1 4202560 4165 0 0 0 10 0 0 0 15 0 19 0 869442596 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24695/tid=24700] ppid=24693 vsize=8544272 CPUtime=0.09 cores=1,3,5,7
/proc/24695/task/24700/stat : 24700 (java) T 24693 24695 24695 0 -1 4202560 3863 0 0 0 9 0 0 0 15 0 19 0 869442596 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24695/tid=24701] ppid=24693 vsize=8544272 CPUtime=0.12 cores=1,3,5,7
/proc/24695/task/24701/stat : 24701 (java) T 24693 24695 24695 0 -1 4202560 4466 0 0 0 12 0 0 0 15 0 19 0 869442596 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24695/tid=24702] ppid=24693 vsize=8544272 CPUtime=0.1 cores=1,3,5,7
/proc/24695/task/24702/stat : 24702 (java) T 24693 24695 24695 0 -1 4202560 4313 0 0 0 10 0 0 0 15 0 19 0 869442596 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24695/tid=24703] ppid=24693 vsize=8544272 CPUtime=0.09 cores=1,3,5,7
/proc/24695/task/24703/stat : 24703 (java) T 24693 24695 24695 0 -1 4202560 2893 0 0 0 9 0 0 0 15 0 19 0 869442596 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=24695/tid=24704] ppid=24693 vsize=8544272 CPUtime=0.11 cores=1,3,5,7
/proc/24695/task/24704/stat : 24704 (java) T 24693 24695 24695 0 -1 4202560 4321 0 0 0 11 0 0 0 15 0 19 0 869442596 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24695/tid=24705] ppid=24693 vsize=8544272 CPUtime=0.08 cores=1,3,5,7
/proc/24695/task/24705/stat : 24705 (java) T 24693 24695 24695 0 -1 4202560 947 0 0 0 7 1 0 0 15 0 19 0 869442597 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331904 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=24695/tid=24706] ppid=24693 vsize=8544272 CPUtime=0 cores=1,3,5,7
/proc/24695/task/24706/stat : 24706 (java) T 24693 24695 24695 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869442598 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24695/tid=24707] ppid=24693 vsize=8544272 CPUtime=0 cores=1,3,5,7
/proc/24695/task/24707/stat : 24707 (java) T 24693 24695 24695 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869442598 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24695/tid=24708] ppid=24693 vsize=8544272 CPUtime=0 cores=1,3,5,7
/proc/24695/task/24708/stat : 24708 (java) T 24693 24695 24695 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869442600 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646338993 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24695/tid=24709] ppid=24693 vsize=8544272 CPUtime=0.85 cores=1,3,5,7
/proc/24695/task/24709/stat : 24709 (java) T 24693 24695 24695 0 -1 4202560 5623 0 0 0 85 0 0 0 15 0 19 0 869442600 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24695/tid=24710] ppid=24693 vsize=8544272 CPUtime=0.62 cores=1,3,5,7
/proc/24695/task/24710/stat : 24710 (java) T 24693 24695 24695 0 -1 4202560 6439 0 0 0 62 0 0 0 15 0 19 0 869442600 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24695/tid=24711] ppid=24693 vsize=8544272 CPUtime=0 cores=1,3,5,7
/proc/24695/task/24711/stat : 24711 (java) T 24693 24695 24695 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869442600 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331289 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24695/tid=24712] ppid=24693 vsize=8544272 CPUtime=0 cores=1,3,5,7
/proc/24695/task/24712/stat : 24712 (java) T 24693 24695 24695 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869442600 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331904 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24695/tid=24713] ppid=24693 vsize=8544272 CPUtime=0 cores=1,3,5,7
/proc/24695/task/24713/stat : 24713 (java) T 24693 24695 24695 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869442626 8749334528 154199 33554432000 1073741824 1073778376 140733576999952 18446744073709551615 216646331904 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24693/tid=24719] ppid=24549 vsize=335140 CPUtime=0 cores=1,3,5,7
/proc/24693/task/24719/stat : 24719 (python) S 24549 24549 23366 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869447375 343183360 5934 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604461089156160 0 0 -1 7 0 0 0
[pid=24722] ppid=24549 vsize=345540 CPUtime=0.21 cores=1,3,5,7
/proc/24722/stat : 24722 (python) S 24549 24549 23366 0 -1 4202560 1159 0 0 0 10 11 0 0 19 0 2 0 869452569 353832960 5943 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24722/statm: 86385 5943 391 364 0 21254 0
[pid=24724] ppid=24722 vsize=57672 CPUtime=48.28 cores=1,3,5,7
/proc/24724/stat : 24724 (bsolo_pb10) T 24722 24724 24724 0 -1 4202496 12278 0 0 0 4824 4 0 0 25 0 1 0 869452570 59056128 11989 33554432000 134512640 137138936 4286667360 18446744073709551615 134540747 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/24724/statm: 14418 11989 192 642 0 13774 0
[pid=24722/tid=24726] ppid=24549 vsize=345540 CPUtime=0 cores=1,3,5,7
/proc/24722/task/24726/stat : 24726 (python) S 24549 24549 23366 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 869457399 353832960 5943 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604464664168512 0 0 -1 7 0 0 0
[pid=24739] ppid=24549 vsize=355796 CPUtime=0.41 cores=1,3,5,7
/proc/24739/stat : 24739 (python) S 24549 24549 23366 0 -1 4202560 1205 0 0 0 20 21 0 0 19 0 2 0 869500084 364335104 5976 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24739/statm: 88949 5976 397 364 0 23815 0
[pid=24741] ppid=24739 vsize=66504 CPUtime=92.49 cores=1,3,5,7
/proc/24741/stat : 24741 (bsolo_pb10) T 24739 24741 24741 0 -1 4202496 14630 0 0 0 9228 21 0 0 25 0 1 0 869500084 68100096 14174 33554432000 134512640 137138936 4288570544 18446744073709551615 134542325 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/24741/statm: 16626 14174 190 642 0 15982 0
[pid=24739/tid=24744] ppid=24549 vsize=355796 CPUtime=0 cores=1,3,5,7
/proc/24739/task/24744/stat : 24744 (python) S 24549 24549 23366 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869509334 364335104 5976 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604462109786240 0 0 -1 3 0 0 0
[pid=24765] ppid=24549 vsize=366052 CPUtime=0.21 cores=1,3,5,7
/proc/24765/stat : 24765 (python) S 24549 24549 23366 0 -1 4202560 1181 0 0 0 10 11 0 0 19 0 2 0 869567112 374837248 5980 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24765/statm: 91513 5980 397 364 0 26376 0
[pid=24767] ppid=24765 vsize=44240 CPUtime=47.28 cores=1,3,5,7
/proc/24767/stat : 24767 (bsolo_pb10) T 24765 24767 24767 0 -1 4202496 9026 0 0 0 4714 14 0 0 25 0 1 0 869567113 45301760 8626 33554432000 134512640 137138936 4292724384 18446744073709551615 134540747 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/24767/statm: 11060 8626 192 642 0 10416 0
[pid=24765/tid=24769] ppid=24549 vsize=366052 CPUtime=0 cores=1,3,5,7
/proc/24765/task/24769/stat : 24769 (python) S 24549 24549 23366 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869571841 374837248 5980 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554946 18446604457545782400 0 0 -1 7 0 0 0
[pid=24770] ppid=24549 vsize=376308 CPUtime=0.08 cores=1,3,5,7
/proc/24770/stat : 24770 (python) S 24549 24549 23366 0 -1 4202560 942 0 0 0 4 4 0 0 15 0 1 0 869571842 385339392 5930 33554432000 4194304 5683644 140735496869840 18446744073709551615 216634535494 0 0 16781312 33554946 5623458817330129620 0 0 17 3 0 0 0
/proc/24770/statm: 94077 5930 344 364 0 28937 0
[pid=24772] ppid=24770 vsize=68592 CPUtime=19.71 cores=1,3,5,7
/proc/24772/stat : 24772 (wbo1.4a) R 24770 24772 24772 0 -1 4202496 16916 0 0 0 1943 28 0 0 25 0 1 0 869571843 70238208 16636 33554432000 134512640 135751879 4290562816 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/24772/statm: 17148 16636 143 303 0 16843 0
[pid=24549/tid=24557] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24557/stat : 24557 (python) S 24547 24549 23366 0 -1 4202560 34 1326 0 0 0 0 0 0 15 0 11 0 869394939 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
[pid=24549/tid=24562] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24562/stat : 24562 (python) S 24547 24549 23366 0 -1 4202560 42 1326 0 0 0 0 0 0 18 0 11 0 869399663 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
[pid=24549/tid=24567] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24567/stat : 24567 (python) S 24547 24549 23366 0 -1 4202560 36 1326 0 0 0 0 0 0 18 0 11 0 869404512 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
[pid=24549/tid=24574] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24574/stat : 24574 (python) S 24547 24549 23366 0 -1 4202560 31 1326 0 0 0 0 0 0 20 0 11 0 869413673 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
[pid=24549/tid=24579] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24579/stat : 24579 (python) S 24547 24549 23366 0 -1 4202560 32 1326 0 0 0 0 0 0 20 0 11 0 869418910 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 5 0 0 0
[pid=24549/tid=24694] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24694/stat : 24694 (python) S 24547 24549 23366 0 -1 4202560 27 1326 0 0 0 0 0 0 20 0 11 0 869442594 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
[pid=24549/tid=24723] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24723/stat : 24723 (python) S 24547 24549 23366 0 -1 4202560 31 1326 0 0 0 0 0 0 20 0 11 0 869452570 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 1 0 0 0
[pid=24549/tid=24740] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24740/stat : 24740 (python) S 24547 24549 23366 0 -1 4202560 30 1326 0 0 0 0 0 0 20 0 11 0 869500084 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 7 0 0 0
[pid=24549/tid=24766] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24766/stat : 24766 (python) S 24547 24549 23366 0 -1 4202560 27 1326 0 0 0 0 0 0 20 0 11 0 869567112 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 3 0 0 0
[pid=24549/tid=24771] ppid=24547 vsize=386552 CPUtime=0 cores=1,3,5,7
/proc/24549/task/24771/stat : 24771 (python) S 24547 24549 23366 0 -1 4202560 26 1326 0 0 0 0 0 0 20 0 11 0 869571842 395829248 7480 33554432000 4194304 5683644 140735496869840 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 12679840
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24549 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=758884
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=161975
# CPU time returned by wait4() is 0.920859
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1789.59
CPU time (s): 1800.06
CPU user time (s): 1737.75
CPU system time (s): 62.31
CPU usage (%): 100.585
Max. virtual memory (cumulated for all children) (KiB): 12679840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.758884
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20963
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= 3480
involuntary context switches= 29
runsolver used 13.7899 second user time and 30.6823 second system time
The end