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-3482716-1307576517/watcher-3482716-1307576517 -o /tmp/evaluation-result-3482716-1307576517/solver-3482716-1307576517 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482716-1307576517.opb -seed 1439643868 -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.60 0.49 0.17 2/498 15633
/proc/meminfo: memFree=30706204/32951124 swapFree=53876552/67111528
[pid=15633] ppid=15631 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/15633/stat : 15633 (python) R 15631 15633 15018 0 -1 4202496 997 0 0 0 0 0 0 0 24 0 1 0 869252673 16633856 870 33554432000 4194304 5683644 140733508908176 18446744073709551615 270612771525 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15633/statm: 4061 870 368 364 0 548 0
[startup+0.072034 s]
/proc/loadavg: 1.60 0.49 0.17 2/498 15633
/proc/meminfo: memFree=30706204/32951124 swapFree=53876552/67111528
[pid=15633] ppid=15631 vsize=54640 CPUtime=0.05 cores=1,3,5,7
/proc/15633/stat : 15633 (python) S 15631 15633 15018 0 -1 4202496 2072 0 0 0 4 1 0 0 24 0 1 0 869252673 55951360 1829 33554432000 4194304 5683644 140733508908176 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/15633/statm: 13660 1829 492 364 0 1310 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54640
[startup+0.101058 s]
/proc/loadavg: 1.60 0.49 0.17 2/498 15633
/proc/meminfo: memFree=30706204/32951124 swapFree=53876552/67111528
[pid=15633] ppid=15631 vsize=85364 CPUtime=0.05 cores=1,3,5,7
/proc/15633/stat : 15633 (python) D 15631 15633 15018 0 -1 4202496 2585 0 0 0 4 1 0 0 18 0 1 0 869252673 87412736 2310 33554432000 4194304 5683644 140733508908176 18446744073709551615 270613116471 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/15633/statm: 21341 2310 709 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364
[startup+0.301502 s]
/proc/loadavg: 1.60 0.49 0.17 2/498 15633
/proc/meminfo: memFree=30706204/32951124 swapFree=53876552/67111528
[pid=15633] ppid=15631 vsize=123744 CPUtime=0.15 cores=1,3,5,7
/proc/15633/stat : 15633 (python) S 15631 15633 15018 0 -1 4202496 5358 932 1 0 11 4 0 0 17 0 1 0 869252673 126713856 3746 33554432000 4194304 5683644 140733508908176 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 7
/proc/15633/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.700912 s]
/proc/loadavg: 1.60 0.49 0.17 2/498 15633
/proc/meminfo: memFree=30706204/32951124 swapFree=53876552/67111528
[pid=15633] ppid=15631 vsize=283736 CPUtime=0.46 cores=1,3,5,7
/proc/15633/stat : 15633 (python) S 15631 15633 15018 0 -1 4202496 9435 932 1 0 36 10 0 0 17 0 1 0 869252673 290545664 7293 33554432000 4194304 5683644 140733508908176 18446744073709551615 270613108736 0 2147483391 16781312 33554434 18446744071699199166 0 0 17 7 0 0 7
/proc/15633/statm: 70934 7293 1828 364 0 5827 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 283736
Solver just ended. Dumping a history of the last processes samples
[startup+1.11984 s]
/proc/loadavg: 1.60 0.49 0.17 6/519 15658
/proc/meminfo: memFree=30645756/32951124 swapFree=53876552/67111528
[pid=15633] ppid=15631 vsize=294004 CPUtime=0.48 cores=1,3,5,7
/proc/15633/stat : 15633 (python) S 15631 15633 15018 0 -1 4202496 9831 932 1 0 38 10 0 0 19 0 2 0 869252673 301060096 7339 33554432000 4194304 5683644 140733508908176 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/15633/statm: 73501 7339 1870 364 0 8388 0
[pid=15639] ppid=15633 vsize=283760 CPUtime=0 cores=1,3,5,7
/proc/15639/stat : 15639 (python) S 15633 15633 15018 0 -1 4202560 749 0 0 0 0 0 0 0 16 0 1 0 869252745 290570240 5817 33554432000 4194304 5683644 140733508908176 18446744073709551615 270613130767 0 0 16781312 33554946 3755107481898975232 0 0 17 7 0 0 0
/proc/15639/statm: 70940 5817 352 364 0 5827 0
[pid=15641] ppid=15639 vsize=8536672 CPUtime=0.81 cores=1,3,5,7
/proc/15641/stat : 15641 (java) S 15639 15641 15641 0 -1 4202496 10862 0 1 0 79 2 0 0 19 0 19 0 869252746 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/15641/statm: 2134168 9050 2221 9 0 2124909 0
[pid=15641/tid=15642] ppid=15639 vsize=8536672 CPUtime=0.35 cores=1,3,5,7
/proc/15641/task/15642/stat : 15642 (java) R 15639 15641 15641 0 -1 4202560 5910 0 1 0 35 0 0 0 19 0 19 0 869252746 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 46912505164251 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15641/tid=15643] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15643/stat : 15643 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869252747 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15644] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15644/stat : 15644 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252747 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15645] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15645/stat : 15645 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252747 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15646] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15646/stat : 15646 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869252747 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15647] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15647/stat : 15647 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869252747 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15648] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15648/stat : 15648 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252747 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 3 0 0 0
[pid=15641/tid=15649] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15649/stat : 15649 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252747 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 3 0 0 0
[pid=15641/tid=15650] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15650/stat : 15650 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252747 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 3 0 0 0
[pid=15641/tid=15651] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15651/stat : 15651 (java) S 15639 15641 15641 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869252748 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624927232 0 0 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15652] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15652/stat : 15652 (java) S 15639 15641 15641 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869252748 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15653] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15653/stat : 15653 (java) S 15639 15641 15641 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869252748 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15654] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15654/stat : 15654 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252750 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624934321 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15655] ppid=15639 vsize=8536672 CPUtime=0.23 cores=1,3,5,7
/proc/15641/task/15655/stat : 15655 (java) R 15639 15641 15641 0 -1 4202560 2270 0 0 0 23 0 0 0 17 0 19 0 869252750 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 47760373714999 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15641/tid=15656] ppid=15639 vsize=8536672 CPUtime=0.2 cores=1,3,5,7
/proc/15641/task/15656/stat : 15656 (java) S 15639 15641 15641 0 -1 4202560 1299 0 0 0 20 0 0 0 17 0 19 0 869252750 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 1 0 0 0
[pid=15641/tid=15657] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15657/stat : 15657 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252751 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15658] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15658/stat : 15658 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252751 8741552128 9050 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624927232 0 4 0 16800975 18446604468988531968 0 0 -1 1 0 0 0
[pid=15633/tid=15640] ppid=15631 vsize=294004 CPUtime=0 cores=1,3,5,7
/proc/15633/task/15640/stat : 15640 (python) S 15631 15633 15018 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869252746 301060096 7339 33554432000 4194304 5683644 140733508908176 18446744073709551615 270624934321 0 0 16781312 33554434 18446604466849199360 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9114436
[startup+1.3008 s]
/proc/loadavg: 1.60 0.49 0.17 6/519 15658
/proc/meminfo: memFree=30645756/32951124 swapFree=53876552/67111528
[pid=15633] ppid=15631 vsize=294004 CPUtime=0.48 cores=1,3,5,7
/proc/15633/stat : 15633 (python) S 15631 15633 15018 0 -1 4202496 9831 932 1 0 38 10 0 0 19 0 2 0 869252673 301060096 7339 33554432000 4194304 5683644 140733508908176 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 7
/proc/15633/statm: 73501 7339 1870 364 0 8388 0
[pid=15639] ppid=15633 vsize=283760 CPUtime=0 cores=1,3,5,7
/proc/15639/stat : 15639 (python) S 15633 15633 15018 0 -1 4202560 749 0 0 0 0 0 0 0 16 0 1 0 869252745 290570240 5817 33554432000 4194304 5683644 140733508908176 18446744073709551615 270613130767 0 0 16781312 33554946 3755107481898975232 0 0 17 7 0 0 0
/proc/15639/statm: 70940 5817 352 364 0 5827 0
[pid=15641] ppid=15639 vsize=8536672 CPUtime=1.08 cores=1,3,5,7
/proc/15641/stat : 15641 (java) S 15639 15641 15641 0 -1 4202496 11574 0 1 0 105 3 0 0 19 0 19 0 869252746 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/15641/statm: 2134168 9628 2221 9 0 2124909 0
[pid=15641/tid=15642] ppid=15639 vsize=8536672 CPUtime=0.54 cores=1,3,5,7
/proc/15641/task/15642/stat : 15642 (java) R 15639 15641 15641 0 -1 4202560 6474 0 1 0 53 1 0 0 19 0 19 0 869252746 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 46912505788682 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15641/tid=15643] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15643/stat : 15643 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869252747 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15644] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15644/stat : 15644 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252747 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15645] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15645/stat : 15645 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869252747 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15646] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15646/stat : 15646 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869252747 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15647] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15647/stat : 15647 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869252747 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15648] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15648/stat : 15648 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252747 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 3 0 0 0
[pid=15641/tid=15649] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15649/stat : 15649 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252747 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 3 0 0 0
[pid=15641/tid=15650] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15650/stat : 15650 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252747 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 3 0 0 0
[pid=15641/tid=15651] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15651/stat : 15651 (java) S 15639 15641 15641 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869252748 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624927232 0 0 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15652] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15652/stat : 15652 (java) S 15639 15641 15641 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869252748 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15653] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15653/stat : 15653 (java) S 15639 15641 15641 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869252748 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15654] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15654/stat : 15654 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252750 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624934321 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15655] ppid=15639 vsize=8536672 CPUtime=0.28 cores=1,3,5,7
/proc/15641/task/15655/stat : 15655 (java) S 15639 15641 15641 0 -1 4202560 2414 0 0 0 28 0 0 0 16 0 19 0 869252750 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 3 0 0 0
[pid=15641/tid=15656] ppid=15639 vsize=8536672 CPUtime=0.23 cores=1,3,5,7
/proc/15641/task/15656/stat : 15656 (java) S 15639 15641 15641 0 -1 4202560 1303 0 0 0 23 0 0 0 15 0 19 0 869252750 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 1 0 0 0
[pid=15641/tid=15657] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15657/stat : 15657 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869252751 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624926617 0 4 0 16800975 18446604468988531968 0 0 -1 7 0 0 0
[pid=15641/tid=15658] ppid=15639 vsize=8536672 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15658/stat : 15658 (java) S 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869252751 8741552128 9628 33554432000 1073741824 1073778376 140735879696208 18446744073709551615 270624927232 0 4 0 16800975 18446604468988531968 0 0 -1 3 0 0 0
[pid=15633/tid=15640] ppid=15631 vsize=294004 CPUtime=0 cores=1,3,5,7
/proc/15633/task/15640/stat : 15640 (python) S 15631 15633 15018 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869252746 301060096 7339 33554432000 4194304 5683644 140733508908176 18446744073709551615 270624934321 0 0 16781312 33554434 18446604466849199360 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 9114436
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15633 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=407937
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117982
# CPU time returned by wait4() is 0.525919
# while last known CPU time is 1.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1.37619
CPU time (s): 1.56
CPU user time (s): 1.43
CPU system time (s): 0.13
CPU usage (%): 113.356
Max. virtual memory (cumulated for all children) (KiB): 9114436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.407937
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16581
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= 1566
involuntary context switches= 21
runsolver used 0.011998 second user time and 0.025996 second system time
The end