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-3459320-1307136219/watcher-3459320-1307136219 -o /tmp/evaluation-result-3459320-1307136219/solver-3459320-1307136219 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459320-1307136219.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: 2.15 2.06 2.09 2/545 14395
/proc/meminfo: memFree=24898432/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 2463 0 1 0 0 0 0 0 24 0 2 0 903852551 13833195520 2165 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3377245 2185 906 9 0 3368401 0
[pid=14395/tid=14396] ppid=14393 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 5639 0 1 0 0 0 0 0 25 0 2 0 903852551 13850947584 6455 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.075748 s]
/proc/loadavg: 2.15 2.06 2.09 2/545 14395
/proc/meminfo: memFree=24898432/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 14306 0 1 0 4 2 0 0 24 0 18 0 903852551 13880410112 14003 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3388772 14004 1742 9 0 3379506 0
[pid=14395/tid=14396] ppid=14393 vsize=13555088 CPUtime=0.05 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 13133 0 1 0 4 1 0 0 25 0 18 0 903852551 13880410112 14004 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 47823976329123 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.101392 s]
/proc/loadavg: 2.15 2.06 2.09 2/545 14395
/proc/meminfo: memFree=24898432/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13621548 CPUtime=0.1 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 15459 0 1 0 8 2 0 0 24 0 18 0 903852551 13948465152 15156 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3405387 15157 2092 9 0 3396121 0
[pid=14395/tid=14396] ppid=14393 vsize=13621548 CPUtime=0.07 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 13546 0 1 0 6 1 0 0 18 0 18 0 903852551 13948465152 15159 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 47823976296453 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621548
[startup+0.363894 s]
/proc/loadavg: 2.15 2.06 2.09 2/545 14395
/proc/meminfo: memFree=24898432/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13626140 CPUtime=0.73 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 21946 0 1 0 70 3 0 0 24 0 19 0 903852551 13953167360 20180 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3406535 20180 2219 9 0 3397269 0
[pid=14395/tid=14396] ppid=14393 vsize=13626140 CPUtime=0.34 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 16702 0 1 0 32 2 0 0 19 0 19 0 903852551 13953167360 20180 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 46912505122388 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 13626140
[startup+0.700639 s]
/proc/loadavg: 2.15 2.06 2.09 2/545 14395
/proc/meminfo: memFree=24898432/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13626140 CPUtime=1.26 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 22729 0 1 0 123 3 0 0 24 0 19 0 903852551 13953167360 20963 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3406535 20963 2225 9 0 3397269 0
[pid=14395/tid=14396] ppid=14393 vsize=13626140 CPUtime=0.68 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 17443 0 1 0 66 2 0 0 19 0 19 0 903852551 13953167360 20963 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 46912505703012 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 13626140
[startup+1.50152 s]
/proc/loadavg: 2.15 2.06 2.09 3/564 14414
/proc/meminfo: memFree=24819672/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13626140 CPUtime=2.21 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 30305 0 1 0 217 4 0 0 24 0 19 0 903852551 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3406535 26783 2253 9 0 3397269 0
[pid=14395/tid=14396] ppid=14393 vsize=13626140 CPUtime=1.46 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 18547 0 1 0 144 2 0 0 20 0 19 0 903852551 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 46912505686848 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14395/tid=14398] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14398/stat : 14398 (java) S 14393 14395 11644 0 -1 4202560 535 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14399] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14399/stat : 14399 (java) S 14393 14395 11644 0 -1 4202560 517 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14400] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14400/stat : 14400 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14401] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14401/stat : 14401 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14402] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14402/stat : 14402 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14403] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14403/stat : 14403 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14404] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14404/stat : 14404 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14405] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14405/stat : 14405 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14406] ppid=14393 vsize=13626140 CPUtime=0.01 cores=1,3,5,7
/proc/14395/task/14406/stat : 14406 (java) S 14393 14395 11644 0 -1 4202560 1050 0 0 0 1 0 0 0 16 0 19 0 903852554 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 0 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14407] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14407/stat : 14407 (java) S 14393 14395 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14408] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14408/stat : 14408 (java) S 14393 14395 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14409] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14409/stat : 14409 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216747002289 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14410] ppid=14393 vsize=13626140 CPUtime=0.3 cores=1,3,5,7
/proc/14395/task/14410/stat : 14410 (java) S 14393 14395 11644 0 -1 4202560 1987 0 0 0 30 0 0 0 18 0 19 0 903852557 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14411] ppid=14393 vsize=13626140 CPUtime=0.41 cores=1,3,5,7
/proc/14395/task/14411/stat : 14411 (java) S 14393 14395 11644 0 -1 4202560 6513 0 0 0 40 1 0 0 15 0 19 0 903852557 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14412] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14412/stat : 14412 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14413] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14413/stat : 14413 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903852557 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14414] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14414/stat : 14414 (java) S 14393 14395 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903852580 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 13626140
[startup+3.10122 s]
/proc/loadavg: 2.15 2.06 2.09 3/564 14414
/proc/meminfo: memFree=24797240/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13626140 CPUtime=3.84 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 30305 0 1 0 380 4 0 0 24 0 19 0 903852551 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3406535 26783 2253 9 0 3397269 0
[pid=14395/tid=14396] ppid=14393 vsize=13626140 CPUtime=3.06 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 18547 0 1 0 304 2 0 0 25 0 19 0 903852551 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 46912505704195 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14395/tid=14398] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14398/stat : 14398 (java) S 14393 14395 11644 0 -1 4202560 535 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14399] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14399/stat : 14399 (java) S 14393 14395 11644 0 -1 4202560 517 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14400] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14400/stat : 14400 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14401] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14401/stat : 14401 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14402] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14402/stat : 14402 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14403] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14403/stat : 14403 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14404] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14404/stat : 14404 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14405] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14405/stat : 14405 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 903852553 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14406] ppid=14393 vsize=13626140 CPUtime=0.01 cores=1,3,5,7
/proc/14395/task/14406/stat : 14406 (java) S 14393 14395 11644 0 -1 4202560 1050 0 0 0 1 0 0 0 15 0 19 0 903852554 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 0 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14407] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14407/stat : 14407 (java) S 14393 14395 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14408] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14408/stat : 14408 (java) S 14393 14395 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14409] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14409/stat : 14409 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216747002289 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14410] ppid=14393 vsize=13626140 CPUtime=0.31 cores=1,3,5,7
/proc/14395/task/14410/stat : 14410 (java) S 14393 14395 11644 0 -1 4202560 1987 0 0 0 31 0 0 0 17 0 19 0 903852557 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14411] ppid=14393 vsize=13626140 CPUtime=0.43 cores=1,3,5,7
/proc/14395/task/14411/stat : 14411 (java) S 14393 14395 11644 0 -1 4202560 6513 0 0 0 42 1 0 0 16 0 19 0 903852557 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14412] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14412/stat : 14412 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14413] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14413/stat : 14413 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903852557 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14414] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14414/stat : 14414 (java) S 14393 14395 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903852580 13953167360 26783 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 13626140
[startup+6.30066 s]
/proc/loadavg: 2.13 2.06 2.09 3/564 14414
/proc/meminfo: memFree=24774928/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13626140 CPUtime=7.07 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 35989 0 1 0 702 5 0 0 24 0 19 0 903852551 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3406535 32302 2253 9 0 3397269 0
[pid=14395/tid=14396] ppid=14393 vsize=13626140 CPUtime=6.21 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 18551 0 1 0 619 2 0 0 25 0 19 0 903852551 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 46912505703186 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14395/tid=14398] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14398/stat : 14398 (java) S 14393 14395 11644 0 -1 4202560 535 0 0 0 0 0 0 0 15 0 19 0 903852553 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14399] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14399/stat : 14399 (java) S 14393 14395 11644 0 -1 4202560 1518 0 0 0 0 0 0 0 16 0 19 0 903852553 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14400] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14400/stat : 14400 (java) S 14393 14395 11644 0 -1 4202560 1394 0 0 0 0 0 0 0 15 0 19 0 903852553 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14401] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14401/stat : 14401 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903852553 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14402] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14402/stat : 14402 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903852553 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14403] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14403/stat : 14403 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 903852553 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14404] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14404/stat : 14404 (java) S 14393 14395 11644 0 -1 4202560 913 0 0 0 0 0 0 0 16 0 19 0 903852553 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14405] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14405/stat : 14405 (java) S 14393 14395 11644 0 -1 4202560 1304 0 0 0 0 0 0 0 15 0 19 0 903852553 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14406] ppid=14393 vsize=13626140 CPUtime=0.05 cores=1,3,5,7
/proc/14395/task/14406/stat : 14406 (java) S 14393 14395 11644 0 -1 4202560 2120 0 0 0 5 0 0 0 15 0 19 0 903852554 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 0 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14407] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14407/stat : 14407 (java) S 14393 14395 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14408] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14408/stat : 14408 (java) S 14393 14395 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14409] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14409/stat : 14409 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216747002289 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14410] ppid=14393 vsize=13626140 CPUtime=0.32 cores=1,3,5,7
/proc/14395/task/14410/stat : 14410 (java) S 14393 14395 11644 0 -1 4202560 1988 0 0 0 32 0 0 0 15 0 19 0 903852557 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14411] ppid=14393 vsize=13626140 CPUtime=0.43 cores=1,3,5,7
/proc/14395/task/14411/stat : 14411 (java) S 14393 14395 11644 0 -1 4202560 6513 0 0 0 42 1 0 0 15 0 19 0 903852557 13953167360 32302 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=14395/tid=14403] ppid=14393 vsize=13626140 CPUtime=0.64 cores=1,3,5,7
/proc/14395/task/14403/stat : 14403 (java) S 14393 14395 11644 0 -1 4202560 2683 0 0 0 64 0 0 0 15 0 19 0 903852553 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14404] ppid=14393 vsize=13626140 CPUtime=0.57 cores=1,3,5,7
/proc/14395/task/14404/stat : 14404 (java) S 14393 14395 11644 0 -1 4202560 3819 0 0 0 56 1 0 0 15 0 19 0 903852553 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14405] ppid=14393 vsize=13626140 CPUtime=0.51 cores=1,3,5,7
/proc/14395/task/14405/stat : 14405 (java) S 14393 14395 11644 0 -1 4202560 3878 0 0 0 51 0 0 0 15 0 19 0 903852553 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14406] ppid=14393 vsize=13626140 CPUtime=19.21 cores=1,3,5,7
/proc/14395/task/14406/stat : 14406 (java) S 14393 14395 11644 0 -1 4202560 23092 0 0 0 1914 7 0 0 15 0 19 0 903852554 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 0 0 16800975 18446604458739433856 0 0 -1 3 0 0 0
[pid=14395/tid=14407] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14407/stat : 14407 (java) S 14393 14395 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14408] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14408/stat : 14408 (java) S 14393 14395 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14409] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14409/stat : 14409 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216747002289 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14410] ppid=14393 vsize=13626140 CPUtime=0.36 cores=1,3,5,7
/proc/14395/task/14410/stat : 14410 (java) S 14393 14395 11644 0 -1 4202560 2007 0 0 0 36 0 0 0 15 0 19 0 903852557 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14411] ppid=14393 vsize=13626140 CPUtime=0.44 cores=1,3,5,7
/proc/14395/task/14411/stat : 14411 (java) S 14393 14395 11644 0 -1 4202560 6513 0 0 0 43 1 0 0 15 0 19 0 903852557 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14412] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14412/stat : 14412 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14413] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14413/stat : 14413 (java) S 14393 14395 11644 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 903852557 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14414] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14414/stat : 14414 (java) S 14393 14395 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903852580 13953167360 83420 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.93
Current children cumulated vsize (KiB) 13626140
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/564 14695
/proc/meminfo: memFree=24545180/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13626140 CPUtime=1785.98 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 87761 0 1 0 178575 23 0 0 24 0 19 0 903852551 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3406535 83434 2254 9 0 3397269 0
[pid=14395/tid=14396] ppid=14393 vsize=13626140 CPUtime=1760.28 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 28452 0 1 0 176023 5 0 0 17 0 19 0 903852551 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 46912505703186 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14395/tid=14398] ppid=14393 vsize=13626140 CPUtime=0.71 cores=1,3,5,7
/proc/14395/task/14398/stat : 14398 (java) S 14393 14395 11644 0 -1 4202560 4012 0 0 0 71 0 0 0 15 0 19 0 903852553 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14399] ppid=14393 vsize=13626140 CPUtime=0.66 cores=1,3,5,7
/proc/14395/task/14399/stat : 14399 (java) S 14393 14395 11644 0 -1 4202560 3427 0 0 0 65 1 0 0 15 0 19 0 903852553 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14400] ppid=14393 vsize=13626140 CPUtime=0.66 cores=1,3,5,7
/proc/14395/task/14400/stat : 14400 (java) S 14393 14395 11644 0 -1 4202560 4783 0 0 0 65 1 0 0 15 0 19 0 903852553 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14401] ppid=14393 vsize=13626140 CPUtime=0.63 cores=1,3,5,7
/proc/14395/task/14401/stat : 14401 (java) S 14393 14395 11644 0 -1 4202560 1424 0 0 0 63 0 0 0 15 0 19 0 903852553 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14402] ppid=14393 vsize=13626140 CPUtime=0.51 cores=1,3,5,7
/proc/14395/task/14402/stat : 14402 (java) S 14393 14395 11644 0 -1 4202560 2407 0 0 0 51 0 0 0 16 0 19 0 903852553 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14403] ppid=14393 vsize=13626140 CPUtime=0.64 cores=1,3,5,7
/proc/14395/task/14403/stat : 14403 (java) S 14393 14395 11644 0 -1 4202560 2683 0 0 0 64 0 0 0 15 0 19 0 903852553 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14404] ppid=14393 vsize=13626140 CPUtime=0.59 cores=1,3,5,7
/proc/14395/task/14404/stat : 14404 (java) S 14393 14395 11644 0 -1 4202560 3819 0 0 0 58 1 0 0 16 0 19 0 903852553 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14405] ppid=14393 vsize=13626140 CPUtime=0.53 cores=1,3,5,7
/proc/14395/task/14405/stat : 14405 (java) S 14393 14395 11644 0 -1 4202560 3886 0 0 0 53 0 0 0 16 0 19 0 903852553 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14406] ppid=14393 vsize=13626140 CPUtime=19.84 cores=1,3,5,7
/proc/14395/task/14406/stat : 14406 (java) S 14393 14395 11644 0 -1 4202560 23096 0 0 0 1977 7 0 0 15 0 19 0 903852554 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 0 0 16800975 18446604458739433856 0 0 -1 3 0 0 0
[pid=14395/tid=14407] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14407/stat : 14407 (java) S 14393 14395 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14408] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14408/stat : 14408 (java) S 14393 14395 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14409] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14409/stat : 14409 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216747002289 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14410] ppid=14393 vsize=13626140 CPUtime=0.36 cores=1,3,5,7
/proc/14395/task/14410/stat : 14410 (java) S 14393 14395 11644 0 -1 4202560 2007 0 0 0 36 0 0 0 15 0 19 0 903852557 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14411] ppid=14393 vsize=13626140 CPUtime=0.44 cores=1,3,5,7
/proc/14395/task/14411/stat : 14411 (java) S 14393 14395 11644 0 -1 4202560 6513 0 0 0 43 1 0 0 15 0 19 0 903852557 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14412] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14412/stat : 14412 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14413] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14413/stat : 14413 (java) S 14393 14395 11644 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 903852557 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14414] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14414/stat : 14414 (java) S 14393 14395 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903852580 13953167360 83434 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1785.98
Current children cumulated vsize (KiB) 13626140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.32 s]
/proc/loadavg: 2.00 2.02 2.02 3/564 14695
/proc/meminfo: memFree=24545300/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13626140 CPUtime=1800.02 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 87765 0 1 0 179979 23 0 0 24 0 19 0 903852551 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3406535 83436 2254 9 0 3397269 0
[pid=14395/tid=14396] ppid=14393 vsize=13626140 CPUtime=1774.2 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 28454 0 1 0 177415 5 0 0 19 0 19 0 903852551 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 46912505689652 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14395/tid=14398] ppid=14393 vsize=13626140 CPUtime=0.71 cores=1,3,5,7
/proc/14395/task/14398/stat : 14398 (java) S 14393 14395 11644 0 -1 4202560 4014 0 0 0 71 0 0 0 16 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14399] ppid=14393 vsize=13626140 CPUtime=0.67 cores=1,3,5,7
/proc/14395/task/14399/stat : 14399 (java) S 14393 14395 11644 0 -1 4202560 3427 0 0 0 66 1 0 0 16 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14400] ppid=14393 vsize=13626140 CPUtime=0.66 cores=1,3,5,7
/proc/14395/task/14400/stat : 14400 (java) S 14393 14395 11644 0 -1 4202560 4783 0 0 0 65 1 0 0 15 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14401] ppid=14393 vsize=13626140 CPUtime=0.63 cores=1,3,5,7
/proc/14395/task/14401/stat : 14401 (java) S 14393 14395 11644 0 -1 4202560 1424 0 0 0 63 0 0 0 16 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14402] ppid=14393 vsize=13626140 CPUtime=0.51 cores=1,3,5,7
/proc/14395/task/14402/stat : 14402 (java) S 14393 14395 11644 0 -1 4202560 2407 0 0 0 51 0 0 0 15 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14403] ppid=14393 vsize=13626140 CPUtime=0.64 cores=1,3,5,7
/proc/14395/task/14403/stat : 14403 (java) S 14393 14395 11644 0 -1 4202560 2683 0 0 0 64 0 0 0 15 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14404] ppid=14393 vsize=13626140 CPUtime=0.59 cores=1,3,5,7
/proc/14395/task/14404/stat : 14404 (java) S 14393 14395 11644 0 -1 4202560 3819 0 0 0 58 1 0 0 15 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14405] ppid=14393 vsize=13626140 CPUtime=0.53 cores=1,3,5,7
/proc/14395/task/14405/stat : 14405 (java) S 14393 14395 11644 0 -1 4202560 3886 0 0 0 53 0 0 0 15 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14406] ppid=14393 vsize=13626140 CPUtime=19.95 cores=1,3,5,7
/proc/14395/task/14406/stat : 14406 (java) S 14393 14395 11644 0 -1 4202560 23096 0 0 0 1988 7 0 0 15 0 19 0 903852554 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 0 0 16800975 18446604458739433856 0 0 -1 3 0 0 0
[pid=14395/tid=14407] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14407/stat : 14407 (java) S 14393 14395 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14408] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14408/stat : 14408 (java) S 14393 14395 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14409] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14409/stat : 14409 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216747002289 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14410] ppid=14393 vsize=13626140 CPUtime=0.36 cores=1,3,5,7
/proc/14395/task/14410/stat : 14410 (java) S 14393 14395 11644 0 -1 4202560 2007 0 0 0 36 0 0 0 15 0 19 0 903852557 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14411] ppid=14393 vsize=13626140 CPUtime=0.44 cores=1,3,5,7
/proc/14395/task/14411/stat : 14411 (java) S 14393 14395 11644 0 -1 4202560 6513 0 0 0 43 1 0 0 15 0 19 0 903852557 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14412] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14412/stat : 14412 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14413] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14413/stat : 14413 (java) S 14393 14395 11644 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 903852557 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14414] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14414/stat : 14414 (java) S 14393 14395 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903852580 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13626140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.32 s]
/proc/loadavg: 2.00 2.02 2.02 3/564 14695
/proc/meminfo: memFree=24545300/32951124 swapFree=56241860/67111528
[pid=14395] ppid=14393 vsize=13626140 CPUtime=1800.02 cores=1,3,5,7
/proc/14395/stat : 14395 (java) S 14393 14395 11644 0 -1 4202496 87765 0 1 0 179979 23 0 0 24 0 19 0 903852551 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14395/statm: 3406535 83436 2254 9 0 3397269 0
[pid=14395/tid=14396] ppid=14393 vsize=13626140 CPUtime=1774.2 cores=1,3,5,7
/proc/14395/task/14396/stat : 14396 (java) R 14393 14395 11644 0 -1 4202560 28454 0 1 0 177415 5 0 0 19 0 19 0 903852551 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 46912505689652 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14395/tid=14398] ppid=14393 vsize=13626140 CPUtime=0.71 cores=1,3,5,7
/proc/14395/task/14398/stat : 14398 (java) S 14393 14395 11644 0 -1 4202560 4014 0 0 0 71 0 0 0 16 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14399] ppid=14393 vsize=13626140 CPUtime=0.67 cores=1,3,5,7
/proc/14395/task/14399/stat : 14399 (java) S 14393 14395 11644 0 -1 4202560 3427 0 0 0 66 1 0 0 16 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14400] ppid=14393 vsize=13626140 CPUtime=0.66 cores=1,3,5,7
/proc/14395/task/14400/stat : 14400 (java) S 14393 14395 11644 0 -1 4202560 4783 0 0 0 65 1 0 0 15 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14401] ppid=14393 vsize=13626140 CPUtime=0.63 cores=1,3,5,7
/proc/14395/task/14401/stat : 14401 (java) S 14393 14395 11644 0 -1 4202560 1424 0 0 0 63 0 0 0 16 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14402] ppid=14393 vsize=13626140 CPUtime=0.51 cores=1,3,5,7
/proc/14395/task/14402/stat : 14402 (java) S 14393 14395 11644 0 -1 4202560 2407 0 0 0 51 0 0 0 15 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14403] ppid=14393 vsize=13626140 CPUtime=0.64 cores=1,3,5,7
/proc/14395/task/14403/stat : 14403 (java) S 14393 14395 11644 0 -1 4202560 2683 0 0 0 64 0 0 0 15 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14404] ppid=14393 vsize=13626140 CPUtime=0.59 cores=1,3,5,7
/proc/14395/task/14404/stat : 14404 (java) S 14393 14395 11644 0 -1 4202560 3819 0 0 0 58 1 0 0 15 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14405] ppid=14393 vsize=13626140 CPUtime=0.53 cores=1,3,5,7
/proc/14395/task/14405/stat : 14405 (java) S 14393 14395 11644 0 -1 4202560 3886 0 0 0 53 0 0 0 15 0 19 0 903852553 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14406] ppid=14393 vsize=13626140 CPUtime=19.95 cores=1,3,5,7
/proc/14395/task/14406/stat : 14406 (java) S 14393 14395 11644 0 -1 4202560 23096 0 0 0 1988 7 0 0 15 0 19 0 903852554 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 0 0 16800975 18446604458739433856 0 0 -1 3 0 0 0
[pid=14395/tid=14407] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14407/stat : 14407 (java) S 14393 14395 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14408] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14408/stat : 14408 (java) S 14393 14395 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 903852555 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14409] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14409/stat : 14409 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216747002289 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14410] ppid=14393 vsize=13626140 CPUtime=0.36 cores=1,3,5,7
/proc/14395/task/14410/stat : 14410 (java) S 14393 14395 11644 0 -1 4202560 2007 0 0 0 36 0 0 0 15 0 19 0 903852557 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14411] ppid=14393 vsize=13626140 CPUtime=0.44 cores=1,3,5,7
/proc/14395/task/14411/stat : 14411 (java) S 14393 14395 11644 0 -1 4202560 6513 0 0 0 43 1 0 0 15 0 19 0 903852557 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 7 0 0 0
[pid=14395/tid=14412] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14412/stat : 14412 (java) S 14393 14395 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903852557 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746994585 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
[pid=14395/tid=14413] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14413/stat : 14413 (java) S 14393 14395 11644 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 903852557 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 1 0 0 0
[pid=14395/tid=14414] ppid=14393 vsize=13626140 CPUtime=0 cores=1,3,5,7
/proc/14395/task/14414/stat : 14414 (java) S 14393 14395 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 903852580 13953167360 83436 33554432000 1073741824 1073778376 140737061357680 18446744073709551615 216746995200 0 4 0 16800975 18446604458739433856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13626140
Child status: 143
Real time (s): 1796.38
CPU time (s): 1800.08
CPU user time (s): 1799.83
CPU system time (s): 0.247962
CPU usage (%): 100.206
Max. virtual memory (cumulated for all children) (KiB): 13626140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.247962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87803
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= 47796
involuntary context switches= 15731
runsolver used 9.53555 second user time and 21.9727 second system time
The end