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-3459147-1307134133/watcher-3459147-1307134133 -o /tmp/evaluation-result-3459147-1307134133/solver-3459147-1307134133 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459147-1307134133.opb
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 2.22 2.84 3/545 13547
/proc/meminfo: memFree=24900088/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/13547/stat : 13547 (java) S 13545 13547 11644 0 -1 4202496 3636 0 1 0 0 0 0 0 25 0 2 0 903643959 13833195520 3338 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 3381579 3346 917 9 0 3372735 0
[pid=13547/tid=13548] ppid=13545 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13548/stat : 13548 (java) R 13545 13547 11644 0 -1 4202560 7010 0 1 0 0 0 0 0 25 0 2 0 903643960 13850947584 7826 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0610811 s]
/proc/loadavg: 1.95 2.22 2.84 3/545 13547
/proc/meminfo: memFree=24900088/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/13547/stat : 13547 (java) S 13545 13547 11644 0 -1 4202496 14038 0 1 0 3 1 0 0 25 0 13 0 903643959 13874806784 13735 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746981349 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 3387404 13735 1691 9 0 3378152 0
[pid=13547/tid=13548] ppid=13545 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/13547/task/13548/stat : 13548 (java) R 13545 13547 11644 0 -1 4202560 12891 0 1 0 3 1 0 0 25 0 13 0 903643960 13874806784 13735 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216735174501 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616
[startup+0.101029 s]
/proc/loadavg: 1.95 2.22 2.84 3/545 13547
/proc/meminfo: memFree=24900088/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=13621408 CPUtime=0.11 cores=1,3,5,7
/proc/13547/stat : 13547 (java) S 13545 13547 11644 0 -1 4202496 15510 0 1 0 9 2 0 0 25 0 18 0 903643959 13948321792 15207 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 3405352 15207 2093 9 0 3396086 0
[pid=13547/tid=13548] ppid=13545 vsize=13621408 CPUtime=0.08 cores=1,3,5,7
/proc/13547/task/13548/stat : 13548 (java) R 13545 13547 11644 0 -1 4202560 13585 0 1 0 7 1 0 0 18 0 18 0 903643960 13948321792 15207 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 47060924015807 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621408
[startup+0.301032 s]
/proc/loadavg: 1.95 2.22 2.84 3/545 13547
/proc/meminfo: memFree=24900088/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=13626224 CPUtime=0.55 cores=1,3,5,7
/proc/13547/stat : 13547 (java) S 13545 13547 11644 0 -1 4202496 18427 0 1 0 53 2 0 0 25 0 19 0 903643959 13953253376 17273 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 3406556 17273 2215 9 0 3397290 0
[pid=13547/tid=13548] ppid=13545 vsize=13626224 CPUtime=0.28 cores=1,3,5,7
/proc/13547/task/13548/stat : 13548 (java) R 13545 13547 11644 0 -1 4202560 14195 0 1 0 27 1 0 0 19 0 19 0 903643960 13953253376 17273 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13626224
[startup+0.70096 s]
/proc/loadavg: 1.95 2.22 2.84 3/545 13547
/proc/meminfo: memFree=24900088/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=13626224 CPUtime=1.06 cores=1,3,5,7
/proc/13547/stat : 13547 (java) S 13545 13547 11644 0 -1 4202496 19381 0 1 0 104 2 0 0 25 0 19 0 903643959 13953253376 17955 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 3406556 17955 2247 9 0 3397290 0
[pid=13547/tid=13548] ppid=13545 vsize=13626224 CPUtime=0.66 cores=1,3,5,7
/proc/13547/task/13548/stat : 13548 (java) R 13545 13547 11644 0 -1 4202560 14392 0 1 0 65 1 0 0 19 0 19 0 903643960 13953253376 17955 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 46912505539296 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 13626224
[startup+1.50083 s]
/proc/loadavg: 1.95 2.22 2.83 3/564 13566
/proc/meminfo: memFree=24834284/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=13626224 CPUtime=1.88 cores=1,3,5,7
/proc/13547/stat : 13547 (java) S 13545 13547 11644 0 -1 4202496 20071 0 1 0 186 2 0 0 25 0 19 0 903643959 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 3406556 18509 2248 9 0 3397290 0
[pid=13547/tid=13548] ppid=13545 vsize=13626224 CPUtime=1.41 cores=1,3,5,7
/proc/13547/task/13548/stat : 13548 (java) R 13545 13547 11644 0 -1 4202560 14394 0 1 0 140 1 0 0 20 0 19 0 903643960 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 46912505617673 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13547/tid=13550] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13550/stat : 13550 (java) S 13545 13547 11644 0 -1 4202560 119 0 0 0 0 0 0 0 16 0 19 0 903643962 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13551] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13551/stat : 13551 (java) S 13545 13547 11644 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13552] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13552/stat : 13552 (java) S 13545 13547 11644 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13553] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13553/stat : 13553 (java) S 13545 13547 11644 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13554] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13554/stat : 13554 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 903643962 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13555] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13555/stat : 13555 (java) S 13545 13547 11644 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13556] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13556/stat : 13556 (java) S 13545 13547 11644 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13557] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13557/stat : 13557 (java) S 13545 13547 11644 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13558] ppid=13545 vsize=13626224 CPUtime=0.05 cores=1,3,5,7
/proc/13547/task/13558/stat : 13558 (java) S 13545 13547 11644 0 -1 4202560 417 0 0 0 5 0 0 0 15 0 19 0 903643963 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13559] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13559/stat : 13559 (java) S 13545 13547 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903643963 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13560] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13560/stat : 13560 (java) S 13545 13547 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903643963 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13561] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13561/stat : 13561 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903643965 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13562] ppid=13545 vsize=13626224 CPUtime=0.19 cores=1,3,5,7
/proc/13547/task/13562/stat : 13562 (java) S 13545 13547 11644 0 -1 4202560 1454 0 0 0 19 0 0 0 15 0 19 0 903643965 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13563] ppid=13545 vsize=13626224 CPUtime=0.19 cores=1,3,5,7
/proc/13547/task/13563/stat : 13563 (java) S 13545 13547 11644 0 -1 4202560 2114 0 0 0 19 0 0 0 15 0 19 0 903643965 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13564] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13564/stat : 13564 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903643965 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13565] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13565/stat : 13565 (java) S 13545 13547 11644 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 903643965 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13566] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13566/stat : 13566 (java) S 13545 13547 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903643976 13953253376 18509 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13626224
[startup+3.10055 s]
/proc/loadavg: 1.95 2.22 2.83 3/564 13566
/proc/meminfo: memFree=24831928/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=13626224 CPUtime=3.5 cores=1,3,5,7
/proc/13547/stat : 13547 (java) S 13545 13547 11644 0 -1 4202496 20313 0 1 0 347 3 0 0 25 0 19 0 903643959 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 3406556 18747 2248 9 0 3397290 0
[pid=13547/tid=13548] ppid=13545 vsize=13626224 CPUtime=2.95 cores=1,3,5,7
/proc/13547/task/13548/stat : 13548 (java) R 13545 13547 11644 0 -1 4202560 14398 0 1 0 294 1 0 0 24 0 19 0 903643960 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 46912505539938 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13547/tid=13550] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13550/stat : 13550 (java) S 13545 13547 11644 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13551] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13551/stat : 13551 (java) S 13545 13547 11644 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 903643962 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13552] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13552/stat : 13552 (java) S 13545 13547 11644 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13553] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13553/stat : 13553 (java) S 13545 13547 11644 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13554] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13554/stat : 13554 (java) S 13545 13547 11644 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13555] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13555/stat : 13555 (java) S 13545 13547 11644 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13556] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13556/stat : 13556 (java) S 13545 13547 11644 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13557] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13557/stat : 13557 (java) S 13545 13547 11644 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13558] ppid=13545 vsize=13626224 CPUtime=0.1 cores=1,3,5,7
/proc/13547/task/13558/stat : 13558 (java) S 13545 13547 11644 0 -1 4202560 635 0 0 0 10 0 0 0 16 0 19 0 903643963 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13559] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13559/stat : 13559 (java) S 13545 13547 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903643963 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13560] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13560/stat : 13560 (java) S 13545 13547 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903643963 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13561] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13561/stat : 13561 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903643965 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13562] ppid=13545 vsize=13626224 CPUtime=0.19 cores=1,3,5,7
/proc/13547/task/13562/stat : 13562 (java) S 13545 13547 11644 0 -1 4202560 1454 0 0 0 19 0 0 0 15 0 19 0 903643965 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13563] ppid=13545 vsize=13626224 CPUtime=0.19 cores=1,3,5,7
/proc/13547/task/13563/stat : 13563 (java) S 13545 13547 11644 0 -1 4202560 2114 0 0 0 19 0 0 0 15 0 19 0 903643965 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13564] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13564/stat : 13564 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903643965 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13565] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13565/stat : 13565 (java) S 13545 13547 11644 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 903643965 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13566] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13566/stat : 13566 (java) S 13545 13547 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903643976 13953253376 18747 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 13626224
Solver just ended. Dumping a history of the last processes samples
[startup+4.70127 s]
/proc/loadavg: 1.95 2.22 2.83 3/564 13566
/proc/meminfo: memFree=24830952/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=13626224 CPUtime=5.1 cores=1,3,5,7
/proc/13547/stat : 13547 (java) S 13545 13547 11644 0 -1 4202496 20327 0 1 0 507 3 0 0 25 0 19 0 903643959 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 3406556 18756 2248 9 0 3397290 0
[pid=13547/tid=13548] ppid=13545 vsize=13626224 CPUtime=4.49 cores=1,3,5,7
/proc/13547/task/13548/stat : 13548 (java) R 13545 13547 11644 0 -1 4202560 14403 0 1 0 448 1 0 0 25 0 19 0 903643960 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 46912505618444 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13547/tid=13550] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13550/stat : 13550 (java) S 13545 13547 11644 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13551] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13551/stat : 13551 (java) S 13545 13547 11644 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13552] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13552/stat : 13552 (java) S 13545 13547 11644 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13553] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13553/stat : 13553 (java) S 13545 13547 11644 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13554] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13554/stat : 13554 (java) S 13545 13547 11644 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13555] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13555/stat : 13555 (java) S 13545 13547 11644 0 -1 4202560 160 0 0 0 0 0 0 0 16 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13556] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13556/stat : 13556 (java) S 13545 13547 11644 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13557] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13557/stat : 13557 (java) S 13545 13547 11644 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13558] ppid=13545 vsize=13626224 CPUtime=0.15 cores=1,3,5,7
/proc/13547/task/13558/stat : 13558 (java) S 13545 13547 11644 0 -1 4202560 639 0 0 0 15 0 0 0 16 0 19 0 903643963 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13559] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13559/stat : 13559 (java) S 13545 13547 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903643963 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13560] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13560/stat : 13560 (java) S 13545 13547 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903643963 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13561] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13561/stat : 13561 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903643965 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13562] ppid=13545 vsize=13626224 CPUtime=0.19 cores=1,3,5,7
/proc/13547/task/13562/stat : 13562 (java) S 13545 13547 11644 0 -1 4202560 1454 0 0 0 19 0 0 0 15 0 19 0 903643965 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13563] ppid=13545 vsize=13626224 CPUtime=0.19 cores=1,3,5,7
/proc/13547/task/13563/stat : 13563 (java) S 13545 13547 11644 0 -1 4202560 2114 0 0 0 19 0 0 0 15 0 19 0 903643965 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13564] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13564/stat : 13564 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903643965 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13565] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13565/stat : 13565 (java) S 13545 13547 11644 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 903643965 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13566] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13566/stat : 13566 (java) S 13545 13547 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903643976 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 13626224
[startup+5.1012 s]
/proc/loadavg: 1.95 2.22 2.83 3/564 13566
/proc/meminfo: memFree=24830952/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=13626224 CPUtime=5.5 cores=1,3,5,7
/proc/13547/stat : 13547 (java) S 13545 13547 11644 0 -1 4202496 20328 0 1 0 547 3 0 0 25 0 19 0 903643959 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 3406556 18756 2248 9 0 3397290 0
[pid=13547/tid=13548] ppid=13545 vsize=13626224 CPUtime=4.88 cores=1,3,5,7
/proc/13547/task/13548/stat : 13548 (java) R 13545 13547 11644 0 -1 4202560 14404 0 1 0 487 1 0 0 25 0 19 0 903643960 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 46912505571227 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13547/tid=13550] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13550/stat : 13550 (java) S 13545 13547 11644 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13551] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13551/stat : 13551 (java) S 13545 13547 11644 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13552] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13552/stat : 13552 (java) S 13545 13547 11644 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13553] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13553/stat : 13553 (java) S 13545 13547 11644 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13554] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13554/stat : 13554 (java) S 13545 13547 11644 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13555] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13555/stat : 13555 (java) S 13545 13547 11644 0 -1 4202560 160 0 0 0 0 0 0 0 16 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13556] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13556/stat : 13556 (java) S 13545 13547 11644 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13557] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13557/stat : 13557 (java) S 13545 13547 11644 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 903643962 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13558] ppid=13545 vsize=13626224 CPUtime=0.17 cores=1,3,5,7
/proc/13547/task/13558/stat : 13558 (java) S 13545 13547 11644 0 -1 4202560 639 0 0 0 17 0 0 0 16 0 19 0 903643963 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13559] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13559/stat : 13559 (java) S 13545 13547 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903643963 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13560] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13560/stat : 13560 (java) S 13545 13547 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903643963 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13561] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13561/stat : 13561 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903643965 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13562] ppid=13545 vsize=13626224 CPUtime=0.19 cores=1,3,5,7
/proc/13547/task/13562/stat : 13562 (java) S 13545 13547 11644 0 -1 4202560 1454 0 0 0 19 0 0 0 15 0 19 0 903643965 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13563] ppid=13545 vsize=13626224 CPUtime=0.19 cores=1,3,5,7
/proc/13547/task/13563/stat : 13563 (java) S 13545 13547 11644 0 -1 4202560 2114 0 0 0 19 0 0 0 15 0 19 0 903643965 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13564] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13564/stat : 13564 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903643965 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13565] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13565/stat : 13565 (java) S 13545 13547 11644 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 903643965 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13566] ppid=13545 vsize=13626224 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13566/stat : 13566 (java) S 13545 13547 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903643976 13953253376 18756 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 13626224
[startup+5.30117 s]
/proc/loadavg: 1.95 2.22 2.83 3/564 13566
/proc/meminfo: memFree=24830952/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=13625696 CPUtime=5.71 cores=1,3,5,7
/proc/13547/stat : 13547 (java) S 13545 13547 11644 0 -1 4202496 20334 0 1 0 568 3 0 0 25 0 19 0 903643959 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 3406424 18562 2248 9 0 3397158 0
[pid=13547/tid=13548] ppid=13545 vsize=13625696 CPUtime=5.06 cores=1,3,5,7
/proc/13547/task/13548/stat : 13548 (java) R 13545 13547 11644 0 -1 4202560 14406 0 1 0 505 1 0 0 25 0 19 0 903643960 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 46912505539320 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13547/tid=13550] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13550/stat : 13550 (java) S 13545 13547 11644 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 903643962 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13551] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13551/stat : 13551 (java) S 13545 13547 11644 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 903643962 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13552] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13552/stat : 13552 (java) S 13545 13547 11644 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 903643962 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13553] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13553/stat : 13553 (java) S 13545 13547 11644 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 903643962 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13554] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13554/stat : 13554 (java) S 13545 13547 11644 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 903643962 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13555] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13555/stat : 13555 (java) S 13545 13547 11644 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 903643962 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 7 0 0 0
[pid=13547/tid=13556] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13556/stat : 13556 (java) S 13545 13547 11644 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 903643962 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13557] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13557/stat : 13557 (java) S 13545 13547 11644 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 903643962 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13558] ppid=13545 vsize=13625696 CPUtime=0.18 cores=1,3,5,7
/proc/13547/task/13558/stat : 13558 (java) S 13545 13547 11644 0 -1 4202560 639 0 0 0 18 0 0 0 16 0 19 0 903643963 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 0 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13559] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13559/stat : 13559 (java) S 13545 13547 11644 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 903643963 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13560] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13560/stat : 13560 (java) S 13545 13547 11644 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 903643963 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13561] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13561/stat : 13561 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903643965 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216747002289 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13562] ppid=13545 vsize=13625696 CPUtime=0.2 cores=1,3,5,7
/proc/13547/task/13562/stat : 13562 (java) S 13545 13547 11644 0 -1 4202560 1458 0 0 0 20 0 0 0 15 0 19 0 903643965 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13563] ppid=13545 vsize=13625696 CPUtime=0.19 cores=1,3,5,7
/proc/13547/task/13563/stat : 13563 (java) S 13545 13547 11644 0 -1 4202560 2114 0 0 0 19 0 0 0 15 0 19 0 903643965 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 5 0 0 0
[pid=13547/tid=13564] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13564/stat : 13564 (java) S 13545 13547 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903643965 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746994585 0 4 0 16800975 18446604454727114880 0 0 -1 1 0 0 0
[pid=13547/tid=13565] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13565/stat : 13565 (java) S 13545 13547 11644 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 903643965 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
[pid=13547/tid=13566] ppid=13545 vsize=13625696 CPUtime=0 cores=1,3,5,7
/proc/13547/task/13566/stat : 13566 (java) S 13545 13547 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903643976 13952712704 18562 33554432000 1073741824 1073778376 140735149754288 18446744073709551615 216746995200 0 4 0 16800975 18446604454727114880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 13625696
[startup+5.40113 s]
/proc/loadavg: 1.95 2.22 2.83 5/565 13567
/proc/meminfo: memFree=24831440/32951124 swapFree=56241860/67111528
[pid=13547] ppid=13545 vsize=0 CPUtime=5.83 cores=1,3,5,7
/proc/13547/stat : 13547 (java) Z 13545 13547 11644 0 -1 4203548 20370 0 1 0 580 3 0 0 18 0 1 0 903643959 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13547/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 5.42077
CPU time (s): 5.84311
CPU user time (s): 5.80712
CPU system time (s): 0.035994
CPU usage (%): 107.791
Max. virtual memory (cumulated for all children) (KiB): 13626224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.80712
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20370
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= 695
involuntary context switches= 257
runsolver used 0.033994 second user time and 0.082987 second system time
The end