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-3482674-1307576506/watcher-3482674-1307576506 -o /tmp/evaluation-result-3482674-1307576506/solver-3482674-1307576506 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482674-1307576506.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.64 0.46 0.15 2/505 23816
/proc/meminfo: memFree=30377804/32951124 swapFree=51712240/67111528
[pid=23816] ppid=23814 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/23816/stat : 23816 (python) R 23814 23816 23366 0 -1 4202496 1038 0 0 0 0 0 0 0 20 0 1 0 869253323 16629760 910 33554432000 4194304 5683644 140736658985248 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23816/statm: 4060 910 380 364 0 547 0
[startup+0.0982709 s]
/proc/loadavg: 1.64 0.46 0.15 2/505 23816
/proc/meminfo: memFree=30377804/32951124 swapFree=51712240/67111528
[pid=23816] ppid=23814 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/23816/stat : 23816 (python) S 23814 23816 23366 0 -1 4202496 2664 0 0 0 5 1 0 0 18 0 1 0 869253323 87674880 2382 33554432000 4194304 5683644 140736658985248 18446744073709551615 216634513408 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/23816/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.100773 s]
/proc/loadavg: 1.64 0.46 0.15 2/505 23816
/proc/meminfo: memFree=30377804/32951124 swapFree=51712240/67111528
[pid=23816] ppid=23814 vsize=87828 CPUtime=0.06 cores=1,3,5,7
/proc/23816/stat : 23816 (python) S 23814 23816 23366 0 -1 4202496 2691 0 0 0 5 1 0 0 18 0 1 0 869253323 89935872 2407 33554432000 4194304 5683644 140736658985248 18446744073709551615 216634513408 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/23816/statm: 21957 2407 735 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.300232 s]
/proc/loadavg: 1.64 0.46 0.15 2/505 23816
/proc/meminfo: memFree=30377804/32951124 swapFree=51712240/67111528
[pid=23816] ppid=23814 vsize=156948 CPUtime=0.2 cores=1,3,5,7
/proc/23816/stat : 23816 (python) S 23814 23816 23366 0 -1 4202496 5785 930 1 0 15 5 0 0 17 0 1 0 869253323 160714752 4114 33554432000 4194304 5683644 140736658985248 18446744073709551615 216634513408 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/23816/statm: 39237 4114 1133 364 0 3228 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 156948
[startup+0.701156 s]
/proc/loadavg: 1.64 0.46 0.15 2/505 23816
/proc/meminfo: memFree=30377804/32951124 swapFree=51712240/67111528
[pid=23816] ppid=23814 vsize=294632 CPUtime=0.53 cores=1,3,5,7
/proc/23816/stat : 23816 (python) S 23814 23816 23366 0 -1 4202496 9864 930 1 0 44 9 0 0 19 0 2 0 869253323 301703168 7497 33554432000 4194304 5683644 140736658985248 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23816/statm: 73658 7497 1870 364 0 8545 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 294632
[startup+1.50101 s]
/proc/loadavg: 1.64 0.46 0.15 4/521 23840
/proc/meminfo: memFree=30329248/32951124 swapFree=51712240/67111528
[pid=23816] ppid=23814 vsize=294632 CPUtime=0.53 cores=1,3,5,7
/proc/23816/stat : 23816 (python) S 23814 23816 23366 0 -1 4202496 9864 930 1 0 44 9 0 0 19 0 2 0 869253323 301703168 7497 33554432000 4194304 5683644 140736658985248 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23816/statm: 73658 7497 1870 364 0 8545 0
[pid=23823] ppid=23816 vsize=284388 CPUtime=0 cores=1,3,5,7
/proc/23823/stat : 23823 (python) S 23816 23816 23366 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 869253392 291213312 5975 33554432000 4194304 5683644 140736658985248 18446744073709551615 216634535439 0 0 16781312 33554946 4312318658933129478 0 0 17 7 0 0 0
/proc/23823/statm: 71097 5975 352 364 0 5984 0
[pid=23825] ppid=23823 vsize=8533644 CPUtime=0.22 cores=1,3,5,7
/proc/23825/stat : 23825 (java) S 23823 23825 23825 0 -1 4202496 6033 0 115 0 21 1 0 0 18 0 18 0 869253392 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 12
/proc/23825/statm: 2133411 5618 2162 9 0 2124152 0
[pid=23825/tid=23826] ppid=23823 vsize=8533644 CPUtime=0.15 cores=1,3,5,7
/proc/23825/task/23826/stat : 23826 (java) R 23823 23825 23825 0 -1 4202560 3636 0 57 0 14 1 0 0 22 0 18 0 869253406 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 46912505212358 0 4 0 16800975 0 0 0 -1 7 0 0 47
[pid=23825/tid=23827] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869253409 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23825/tid=23828] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869253409 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23830] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869253409 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23831] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869253409 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23832] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869253409 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23833] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869253409 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23835] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23835/stat : 23835 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869253409 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23836] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23836/stat : 23836 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869253409 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23838] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23838/stat : 23838 (java) S 23823 23825 23825 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869253412 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331904 0 0 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23825/tid=23839] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23839/stat : 23839 (java) S 23823 23825 23825 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 18 0 869253413 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23825/tid=23840] ppid=23823 vsize=8533644 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23840/stat : 23840 (java) S 23823 23825 23825 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 18 0 869253413 8738451456 5618 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23816/tid=23824] ppid=23814 vsize=294632 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (python) S 23814 23816 23366 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869253392 301703168 7497 33554432000 4194304 5683644 140736658985248 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 9112664
Solver just ended. Dumping a history of the last processes samples
[startup+1.90094 s]
/proc/loadavg: 1.64 0.46 0.15 4/521 23840
/proc/meminfo: memFree=30329248/32951124 swapFree=51712240/67111528
[pid=23816] ppid=23814 vsize=294632 CPUtime=0.53 cores=1,3,5,7
/proc/23816/stat : 23816 (python) S 23814 23816 23366 0 -1 4202496 9864 930 1 0 44 9 0 0 19 0 2 0 869253323 301703168 7497 33554432000 4194304 5683644 140736658985248 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23816/statm: 73658 7497 1870 364 0 8545 0
[pid=23823] ppid=23816 vsize=284388 CPUtime=0 cores=1,3,5,7
/proc/23823/stat : 23823 (python) S 23816 23816 23366 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 869253392 291213312 5975 33554432000 4194304 5683644 140736658985248 18446744073709551615 216634535439 0 0 16781312 33554946 929939133449633792 0 0 17 7 0 0 0
/proc/23823/statm: 71097 5975 352 364 0 5984 0
[pid=23825] ppid=23823 vsize=8539512 CPUtime=1.14 cores=1,3,5,7
/proc/23825/stat : 23825 (java) S 23823 23825 23825 0 -1 4202496 13476 0 115 0 111 3 0 0 18 0 19 0 869253392 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 12
/proc/23825/statm: 2134878 11104 2223 9 0 2125619 0
[pid=23825/tid=23826] ppid=23823 vsize=8539512 CPUtime=0.54 cores=1,3,5,7
/proc/23825/task/23826/stat : 23826 (java) R 23823 23825 23825 0 -1 4202560 7331 0 57 0 53 1 0 0 24 0 19 0 869253406 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 46912505745056 0 4 0 16800975 0 0 0 -1 7 0 0 47
[pid=23825/tid=23827] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869253409 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23825/tid=23828] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23830] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23831] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23832] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23833] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23835] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23835/stat : 23835 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23836] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23836/stat : 23836 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869253409 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23838] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23838/stat : 23838 (java) S 23823 23825 23825 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 869253412 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331904 0 0 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23825/tid=23839] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23839/stat : 23839 (java) S 23823 23825 23825 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 869253413 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23825/tid=23840] ppid=23823 vsize=8539512 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23840/stat : 23840 (java) S 23823 23825 23825 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 869253413 8744460288 11104 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23816/tid=23824] ppid=23814 vsize=294632 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (python) S 23814 23816 23366 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869253392 301703168 7497 33554432000 4194304 5683644 140736658985248 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9118532
[startup+2.00092 s]
/proc/loadavg: 1.64 0.46 0.15 4/521 23840
/proc/meminfo: memFree=30329248/32951124 swapFree=51712240/67111528
[pid=23816] ppid=23814 vsize=294632 CPUtime=0.53 cores=1,3,5,7
/proc/23816/stat : 23816 (python) S 23814 23816 23366 0 -1 4202496 9864 930 1 0 44 9 0 0 19 0 2 0 869253323 301703168 7497 33554432000 4194304 5683644 140736658985248 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23816/statm: 73658 7497 1870 364 0 8545 0
[pid=23823] ppid=23816 vsize=284388 CPUtime=0 cores=1,3,5,7
/proc/23823/stat : 23823 (python) S 23816 23816 23366 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 869253392 291213312 5975 33554432000 4194304 5683644 140736658985248 18446744073709551615 216634535439 0 0 16781312 33554946 929939133449633792 0 0 17 7 0 0 0
/proc/23823/statm: 71097 5975 352 364 0 5984 0
[pid=23825] ppid=23823 vsize=8539792 CPUtime=1.28 cores=1,3,5,7
/proc/23825/stat : 23825 (java) S 23823 23825 23825 0 -1 4202496 13749 0 115 0 125 3 0 0 18 0 19 0 869253392 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 12
/proc/23825/statm: 2134948 11376 2226 9 0 2125689 0
[pid=23825/tid=23826] ppid=23823 vsize=8539792 CPUtime=0.64 cores=1,3,5,7
/proc/23825/task/23826/stat : 23826 (java) R 23823 23825 23825 0 -1 4202560 7547 0 57 0 63 1 0 0 24 0 19 0 869253406 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 46912505742065 0 4 0 16800975 0 0 0 -1 7 0 0 47
[pid=23825/tid=23827] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869253409 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23825/tid=23828] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23830] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23831] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23832] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23833] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23835] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23835/stat : 23835 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869253409 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23836] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23836/stat : 23836 (java) S 23823 23825 23825 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869253409 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 5 0 0 0
[pid=23825/tid=23838] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23838/stat : 23838 (java) S 23823 23825 23825 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 869253412 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331904 0 0 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23825/tid=23839] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23839/stat : 23839 (java) S 23823 23825 23825 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 869253413 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23825/tid=23840] ppid=23823 vsize=8539792 CPUtime=0 cores=1,3,5,7
/proc/23825/task/23840/stat : 23840 (java) S 23823 23825 23825 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 869253413 8744747008 11376 33554432000 1073741824 1073778376 140733791446576 18446744073709551615 216646331289 0 4 0 16800975 18446604468562401984 0 0 -1 7 0 0 0
[pid=23816/tid=23824] ppid=23814 vsize=294632 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (python) S 23814 23816 23366 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 869253392 301703168 7497 33554432000 4194304 5683644 140736658985248 18446744073709551615 216646338993 0 0 16781312 33554434 18446604460774859072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 9118812
Child status: 0
Real time (s): 2.06837
CPU time (s): 1.89171
CPU user time (s): 1.75573
CPU system time (s): 0.135979
CPU usage (%): 91.4592
Max. virtual memory (cumulated for all children) (KiB): 9118812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.75573
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30658
page faults= 116
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2505
involuntary context switches= 184
runsolver used 0.022996 second user time and 0.032994 second system time
The end