runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4244177-1500681415/watcher-4244177-1500681415 -o /tmp/evaluation-result-4244177-1500681415/solver-4244177-1500681415 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500681061-15128 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244177-1500681415.xml
pid=15350
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 13.92 11.74 7.25 3/261 15353
/proc/meminfo: memFree=31394652/32770624 swapFree=5940/57136
[pid=15353] ppid=15350 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/stat : 15353 (java) S 15350 15353 15097 0 -1 1077944320 2219 0 0 0 0 0 0 0 20 0 2 0 3411279 8550137856 2442 33554432000 4194304 4196468 140736620089712 140736620072256 140690131455735 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
/proc/15353/statm: 2087436 2442 1197 1 0 2076347 0
[pid=15353/tid=15354] ppid=15350 vsize=8351800 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15354/stat : 15354 (java) R 15350 15353 15097 0 -1 1077944384 925 0 0 0 0 0 0 0 20 0 4 0 3411279 8552243200 2442 33554432000 4194304 4196468 140736620089712 140690135697104 140690131465941 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15355] ppid=15350 vsize=8352828 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15355/stat : 15355 (java) S 15350 15353 15097 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 3411280 8553295872 2508 33554432000 4194304 4196468 140736620089712 140690057530720 140690131465941 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15356] ppid=15350 vsize=8352828 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15356/stat : 15356 (java) S 15350 15353 15097 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 3411280 8553295872 2508 33554432000 4194304 4196468 140736620089712 140690056478176 140690131465941 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15357] ppid=15350 vsize=8353856 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15357/stat : 15357 (java) S 15350 15353 15097 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 3411280 8554348544 2508 33554432000 4194304 4196468 140736620089712 140690055425120 140690131465941 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15358] ppid=15350 vsize=8354884 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15358/stat : 15358 (java) S 15350 15353 15097 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 3411280 8555401216 2508 33554432000 4194304 4196468 140736620089712 140690054372576 140690131465941 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15359] ppid=15350 vsize=8355912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15359/stat : 15359 (java) S 15350 15353 15097 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 3411280 8556453888 2508 33554432000 4194304 4196468 140736620089712 140690053319520 140690131465941 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15360] ppid=15350 vsize=8355912 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15360/stat : 15360 (java) S 15350 15353 15097 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 3411280 8556453888 2508 33554432000 4194304 4196468 140736620089712 140690052266976 140690131465941 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15361] ppid=15350 vsize=8356940 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15361/stat : 15361 (java) S 15350 15353 15097 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 3411280 8557506560 2508 33554432000 4194304 4196468 140736620089712 140690051213920 140690131465941 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15362] ppid=15350 vsize=8489040 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15362/stat : 15362 (java) S 15350 15353 15097 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 3411280 8692776960 2508 33554432000 4194304 4196468 140736620089712 140690050161376 140690131465941 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[startup+0.100139 s]
/proc/loadavg: 13.92 11.74 7.25 3/261 15353
/proc/meminfo: memFree=31394652/32770624 swapFree=5940/57136
[pid=15353] ppid=15350 vsize=10900556 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15353/stat : 15353 (java) S 15350 15353 15097 0 -1 1077944320 4690 0 0 0 9 1 0 0 20 0 20 0 3411279 11162169344 6756 33554432000 4194304 4196468 140736620089712 140736620072256 140690131455735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
/proc/15353/statm: 2725139 6756 2627 1 0 2713552 0
[pid=15353/tid=15354] ppid=15350 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15354/stat : 15354 (java) R 15350 15353 15097 0 -1 4202560 2763 0 0 0 7 1 0 0 20 0 20 0 3411279 11162169344 6756 33554432000 4194304 4196468 140736620089712 140690135681424 140690131477661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15355] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15355/stat : 15355 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 6756 33554432000 4194304 4196468 140736620089712 140690057530384 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15356] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15356/stat : 15356 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 6756 33554432000 4194304 4196468 140736620089712 140690056477840 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15357] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15357/stat : 15357 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 6756 33554432000 4194304 4196468 140736620089712 140690055424784 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15358] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15358/stat : 15358 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 6756 33554432000 4194304 4196468 140736620089712 140690054372240 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15359] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15359/stat : 15359 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 6756 33554432000 4194304 4196468 140736620089712 140690053319184 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15360] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15360/stat : 15360 (java) S 15350 15353 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 6756 33554432000 4194304 4196468 140736620089712 140690052266640 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15361] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15361/stat : 15361 (java) S 15350 15353 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 6756 33554432000 4194304 4196468 140736620089712 140690051213584 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15362] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15362/stat : 15362 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 6756 33554432000 4194304 4196468 140736620089712 140690050161040 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200767 s]
/proc/loadavg: 13.92 11.74 7.25 3/261 15353
/proc/meminfo: memFree=31394652/32770624 swapFree=5940/57136
[pid=15353] ppid=15350 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15353/stat : 15353 (java) S 15350 15353 15097 0 -1 1077944320 6829 0 0 0 24 2 0 0 20 0 20 0 3411279 11162169344 9131 33554432000 4194304 4196468 140736620089712 140736620072256 140690131455735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
/proc/15353/statm: 2725139 9131 2892 1 0 2713552 0
[pid=15353/tid=15354] ppid=15350 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15354/stat : 15354 (java) R 15350 15353 15097 0 -1 4202560 4492 0 0 0 17 1 0 0 20 0 20 0 3411279 11162169344 9131 33554432000 4194304 4196468 140736620089712 140690135671120 140690131477661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15355] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15355/stat : 15355 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 9131 33554432000 4194304 4196468 140736620089712 140690057530384 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15356] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15356/stat : 15356 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 9131 33554432000 4194304 4196468 140736620089712 140690056477840 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15357] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15357/stat : 15357 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 9131 33554432000 4194304 4196468 140736620089712 140690055424784 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15358] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15358/stat : 15358 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 9131 33554432000 4194304 4196468 140736620089712 140690054372240 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15359] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15359/stat : 15359 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 9131 33554432000 4194304 4196468 140736620089712 140690053319184 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15360] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15360/stat : 15360 (java) S 15350 15353 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 9131 33554432000 4194304 4196468 140736620089712 140690052266640 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15361] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15361/stat : 15361 (java) S 15350 15353 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 9131 33554432000 4194304 4196468 140736620089712 140690051213584 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15362] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15362/stat : 15362 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 9131 33554432000 4194304 4196468 140736620089712 140690050161040 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300662 s]
/proc/loadavg: 13.92 11.74 7.25 3/261 15353
/proc/meminfo: memFree=31394652/32770624 swapFree=5940/57136
[pid=15353] ppid=15350 vsize=10900556 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15353/stat : 15353 (java) S 15350 15353 15097 0 -1 1077944320 7671 0 0 0 39 3 0 0 20 0 20 0 3411279 11162169344 19236 33554432000 4194304 4196468 140736620089712 140736620072256 140690131455735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
/proc/15353/statm: 2725139 19236 2940 1 0 2713552 0
[pid=15353/tid=15354] ppid=15350 vsize=10900556 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15354/stat : 15354 (java) R 15350 15353 15097 0 -1 4202560 4563 0 0 0 25 2 0 0 20 0 20 0 3411279 11162169344 19236 33554432000 4194304 4196468 140736620089712 140690135686928 140690131477661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15355] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15355/stat : 15355 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 19236 33554432000 4194304 4196468 140736620089712 140690057530384 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15356] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15356/stat : 15356 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 19236 33554432000 4194304 4196468 140736620089712 140690056477840 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15357] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15357/stat : 15357 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 19236 33554432000 4194304 4196468 140736620089712 140690055424784 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15358] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15358/stat : 15358 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 19236 33554432000 4194304 4196468 140736620089712 140690054372240 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15359] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15359/stat : 15359 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 19236 33554432000 4194304 4196468 140736620089712 140690053319184 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15360] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15360/stat : 15360 (java) S 15350 15353 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 19236 33554432000 4194304 4196468 140736620089712 140690052266640 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15361] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15361/stat : 15361 (java) S 15350 15353 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 19236 33554432000 4194304 4196468 140736620089712 140690051213584 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15362] ppid=15350 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15362/stat : 15362 (java) S 15350 15353 15097 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3411280 11162169344 19236 33554432000 4194304 4196468 140736620089712 140690050161040 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10900556
[startup+0.700551 s]
/proc/loadavg: 13.92 11.74 7.25 3/261 15353
/proc/meminfo: memFree=31394652/32770624 swapFree=5940/57136
[pid=15353] ppid=15350 vsize=10900632 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/15353/stat : 15353 (java) S 15350 15353 15097 0 -1 1077944320 9092 0 0 0 107 80 0 0 20 0 20 0 3411279 11162247168 72140 33554432000 4194304 4196468 140736620089712 140736620072256 140690131455735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
/proc/15353/statm: 2725158 72140 3050 1 0 2713552 0
[pid=15353/tid=15354] ppid=15350 vsize=10900632 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15354/stat : 15354 (java) R 15350 15353 15097 0 -1 4202560 5223 0 0 0 48 5 0 0 20 0 20 0 3411279 11162247168 72140 33554432000 4194304 4196468 140736620089712 140690135690816 140690131467670 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15355] ppid=15350 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15355/stat : 15355 (java) S 15350 15353 15097 0 -1 1077944384 65 0 0 0 4 9 0 0 20 0 20 0 3411280 11162247168 72140 33554432000 4194304 4196468 140736620089712 140690057530384 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15356] ppid=15350 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15356/stat : 15356 (java) S 15350 15353 15097 0 -1 1077944384 61 0 0 0 4 8 0 0 20 0 20 0 3411280 11162247168 72140 33554432000 4194304 4196468 140736620089712 140690056477840 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15357] ppid=15350 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15357/stat : 15357 (java) S 15350 15353 15097 0 -1 1077944384 63 0 0 0 4 9 0 0 20 0 20 0 3411280 11162247168 72140 33554432000 4194304 4196468 140736620089712 140690055424784 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15358] ppid=15350 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15358/stat : 15358 (java) S 15350 15353 15097 0 -1 1077944384 67 0 0 0 4 9 0 0 20 0 20 0 3411280 11162247168 72140 33554432000 4194304 4196468 140736620089712 140690054372240 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15359] ppid=15350 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15359/stat : 15359 (java) S 15350 15353 15097 0 -1 1077944384 74 0 0 0 4 8 0 0 20 0 20 0 3411280 11162247168 72140 33554432000 4194304 4196468 140736620089712 140690053319184 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15360] ppid=15350 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15360/stat : 15360 (java) S 15350 15353 15097 0 -1 1077944384 61 0 0 0 4 9 0 0 20 0 20 0 3411280 11162247168 72140 33554432000 4194304 4196468 140736620089712 140690052266640 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15361] ppid=15350 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15361/stat : 15361 (java) S 15350 15353 15097 0 -1 1077944384 61 0 0 0 4 9 0 0 20 0 20 0 3411280 11162247168 72140 33554432000 4194304 4196468 140736620089712 140690051213584 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15362] ppid=15350 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15362/stat : 15362 (java) S 15350 15353 15097 0 -1 1077944384 62 0 0 0 4 9 0 0 20 0 20 0 3411280 11162247168 72140 33554432000 4194304 4196468 140736620089712 140690050161040 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10900632
[startup+1.50083 s]
/proc/loadavg: 13.92 11.74 7.25 11/281 15373
/proc/meminfo: memFree=30061232/32770624 swapFree=5940/57168
[pid=15353] ppid=15350 vsize=10900632 CPUtime=4.48 cores=0,2,4,6,8,10,12,14
/proc/15353/stat : 15353 (java) S 15350 15353 15097 0 -1 1077944320 13743 0 0 0 351 97 0 0 20 0 20 0 3411279 11162247168 285226 33554432000 4194304 4196468 140736620089712 140736620072256 140690131455735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
/proc/15353/statm: 2725158 285226 3120 1 0 2713552 0
[pid=15353/tid=15354] ppid=15350 vsize=10900632 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15354/stat : 15354 (java) R 15350 15353 15097 0 -1 4202560 6264 0 0 0 97 17 0 0 20 0 20 0 3411279 11162247168 285226 33554432000 4194304 4196468 140736620089712 140690135693456 140689726355816 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15355] ppid=15350 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15355/stat : 15355 (java) S 15350 15353 15097 0 -1 1077944384 129 0 0 0 21 9 0 0 20 0 20 0 3411280 11162247168 285226 33554432000 4194304 4196468 140736620089712 140690057530384 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15356] ppid=15350 vsize=10900632 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15356/stat : 15356 (java) S 15350 15353 15097 0 -1 1077944384 130 0 0 0 18 9 0 0 20 0 20 0 3411280 11162247168 285226 33554432000 4194304 4196468 140736620089712 140690056477840 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15357] ppid=15350 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15357/stat : 15357 (java) S 15350 15353 15097 0 -1 1077944384 198 0 0 0 19 9 0 0 20 0 20 0 3411280 11162247168 285226 33554432000 4194304 4196468 140736620089712 140690055424784 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15358] ppid=15350 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15358/stat : 15358 (java) S 15350 15353 15097 0 -1 1077944384 81 0 0 0 21 9 0 0 20 0 20 0 3411280 11162247168 285226 33554432000 4194304 4196468 140736620089712 140690054372240 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15359] ppid=15350 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15359/stat : 15359 (java) S 15350 15353 15097 0 -1 1077944384 164 0 0 0 21 9 0 0 20 0 20 0 3411280 11162247168 285226 33554432000 4194304 4196468 140736620089712 140690053319184 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15360] ppid=15350 vsize=10900632 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15360/stat : 15360 (java) S 15350 15353 15097 0 -1 1077944384 298 0 0 0 22 9 0 0 20 0 20 0 3411280 11162247168 285226 33554432000 4194304 4196468 140736620089712 140690052266640 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15361] ppid=15350 vsize=10900632 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15361/stat : 15361 (java) S 15350 15353 15097 0 -1 1077944384 210 0 0 0 22 9 0 0 20 0 20 0 3411280 11162247168 285226 33554432000 4194304 4196468 140736620089712 140690051213584 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15362] ppid=15350 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15362/stat : 15362 (java) S 15350 15353 15097 0 -1 1077944384 214 0 0 0 21 9 0 0 20 0 20 0 3411280 11162247168 285226 33554432000 4194304 4196468 140736620089712 140690050161040 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15364] ppid=15350 vsize=10900632 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15364/stat : 15364 (java) S 15350 15353 15097 0 -1 1077944384 513 0 0 0 1 0 0 0 20 0 20 0 3411282 11162247168 285226 33554432000 4194304 4196468 140736620089712 140689270532848 140690131466882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15365] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15365/stat : 15365 (java) S 15350 15353 15097 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3411283 11162247168 285226 33554432000 4194304 4196468 140736620089712 140689269479072 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15366] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15366/stat : 15366 (java) S 15350 15353 15097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3411283 11162247168 285226 33554432000 4194304 4196468 140736620089712 140689268425968 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15367] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15367/stat : 15367 (java) S 15350 15353 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3411287 11162247168 285226 33554432000 4194304 4196468 140736620089712 140689267374544 140690131474331 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15368] ppid=15350 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15368/stat : 15368 (java) S 15350 15353 15097 0 -1 1077944384 1254 0 0 0 21 0 0 0 20 0 20 0 3411287 11162247168 285226 33554432000 4194304 4196468 140736620089712 140689266321648 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15369] ppid=15350 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15369/stat : 15369 (java) S 15350 15353 15097 0 -1 1077944384 868 0 0 0 21 0 0 0 20 0 20 0 3411287 11162247168 285226 33554432000 4194304 4196468 140736620089712 140689265269104 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15370] ppid=15350 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15370/stat : 15370 (java) S 15350 15353 15097 0 -1 1077944384 966 0 0 0 21 0 0 0 20 0 20 0 3411287 11162247168 285226 33554432000 4194304 4196468 140736620089712 140689264216048 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15371] ppid=15350 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15371/stat : 15371 (java) S 15350 15353 15097 0 -1 1077944384 1086 0 0 0 20 0 0 0 20 0 20 0 3411287 11162247168 285226 33554432000 4194304 4196468 140736620089712 140689263163504 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15372] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15372/stat : 15372 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411287 11162247168 285226 33554432000 4194304 4196468 140736620089712 140689262111712 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15373] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15373/stat : 15373 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411287 11162247168 285226 33554432000 4194304 4196468 140736620089712 140689261059248 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
Current children cumulated CPU time (s) 4.48
################
# More data... #
################
[pid=15353/tid=15369] ppid=15350 vsize=10900632 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15369/stat : 15369 (java) S 15350 15353 15097 0 -1 1077944384 9103 0 0 0 120 2 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689265269104 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15370] ppid=15350 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15370/stat : 15370 (java) S 15350 15353 15097 0 -1 1077944384 5173 0 0 0 53 1 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689264216048 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15371] ppid=15350 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15371/stat : 15371 (java) S 15350 15353 15097 0 -1 1077944384 2583 0 0 0 33 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689263163504 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15372] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15372/stat : 15372 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689262111712 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15373] ppid=15350 vsize=10900632 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15373/stat : 15373 (java) S 15350 15353 15097 0 -1 1077944384 686 0 0 0 5 5 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689261059248 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
Current children cumulated CPU time (s) 2400.73
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15353
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15353 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+334.401 s]
/proc/loadavg: 15.10 13.81 9.46 10/286 15499
/proc/meminfo: memFree=23552508/32770624 swapFree=5940/57504
[pid=15353] ppid=15350 vsize=10900632 CPUtime=2408.5 cores=0,2,4,6,8,10,12,14
/proc/15353/stat : 15353 (java) S 15350 15353 15097 0 -1 1077944320 273829 0 0 0 238286 2564 0 0 20 0 20 0 3411279 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140736620072256 140690131455735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
/proc/15353/statm: 2725158 2090016 3148 1 0 2713552 0
[pid=15353/tid=15354] ppid=15350 vsize=10900632 CPUtime=28.41 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15354/stat : 15354 (java) S 15350 15353 15097 0 -1 1077944384 17572 0 0 0 2784 57 0 0 20 0 20 0 3411279 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690135693136 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15355] ppid=15350 vsize=10900632 CPUtime=295.76 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15355/stat : 15355 (java) R 15350 15353 15097 0 -1 4202560 14873 0 0 0 29265 311 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690057530280 140690124083943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15356] ppid=15350 vsize=10900632 CPUtime=296.37 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15356/stat : 15356 (java) R 15350 15353 15097 0 -1 4202560 15045 0 0 0 29316 321 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690056477736 140690124083943 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15357] ppid=15350 vsize=10900632 CPUtime=297.43 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15357/stat : 15357 (java) R 15350 15353 15097 0 -1 4202560 21851 0 0 0 29438 305 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690055424680 140690124083943 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15358] ppid=15350 vsize=10900632 CPUtime=297.23 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15358/stat : 15358 (java) R 15350 15353 15097 0 -1 4202560 15413 0 0 0 29420 303 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690054372136 140690124083943 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15359] ppid=15350 vsize=10900632 CPUtime=296.83 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15359/stat : 15359 (java) R 15350 15353 15097 0 -1 4202560 20070 0 0 0 29372 311 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690053319384 140690116441031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15360] ppid=15350 vsize=10900632 CPUtime=296.6 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15360/stat : 15360 (java) R 15350 15353 15097 0 -1 4202560 19382 0 0 0 29345 315 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690052266536 140690124083943 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15361] ppid=15350 vsize=10900632 CPUtime=296.66 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15361/stat : 15361 (java) R 15350 15353 15097 0 -1 4202560 16331 0 0 0 29349 317 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690051213480 140690124083943 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15362] ppid=15350 vsize=10900632 CPUtime=296.27 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15362/stat : 15362 (java) R 15350 15353 15097 0 -1 4202560 16528 0 0 0 29323 304 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690050160936 140690124083943 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15364] ppid=15350 vsize=10900632 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15364/stat : 15364 (java) S 15350 15353 15097 0 -1 1077944384 87883 0 0 0 325 5 0 0 20 0 20 0 3411282 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689270531168 140690131465941 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15365] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15365/stat : 15365 (java) S 15350 15353 15097 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 3411283 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689269479136 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15366] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15366/stat : 15366 (java) S 15350 15353 15097 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3411283 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689268425984 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15367] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15367/stat : 15367 (java) S 15350 15353 15097 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689267374192 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15368] ppid=15350 vsize=10900632 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15368/stat : 15368 (java) S 15350 15353 15097 0 -1 1077944384 9925 0 0 0 129 1 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689266321648 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15369] ppid=15350 vsize=10900632 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15369/stat : 15369 (java) S 15350 15353 15097 0 -1 1077944384 9103 0 0 0 120 2 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689265269104 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15370] ppid=15350 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15370/stat : 15370 (java) S 15350 15353 15097 0 -1 1077944384 5173 0 0 0 53 1 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689264216048 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15371] ppid=15350 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15371/stat : 15371 (java) S 15350 15353 15097 0 -1 1077944384 2583 0 0 0 33 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689263163504 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15372] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15372/stat : 15372 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689262111712 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15373] ppid=15350 vsize=10900632 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15373/stat : 15373 (java) S 15350 15353 15097 0 -1 1077944384 686 0 0 0 5 5 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689261059248 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
Current children cumulated CPU time (s) 2408.5
Current children cumulated vsize (KiB) 10900632
[startup+335.201 s]
/proc/loadavg: 15.10 13.81 9.46 10/286 15499
/proc/meminfo: memFree=23552508/32770624 swapFree=5940/57504
[pid=15353] ppid=15350 vsize=10900632 CPUtime=2414.62 cores=0,2,4,6,8,10,12,14
/proc/15353/stat : 15353 (java) S 15350 15353 15097 0 -1 1077944320 273931 0 0 0 238895 2567 0 0 20 0 20 0 3411279 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140736620072256 140690131455735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
/proc/15353/statm: 2725158 2090016 3148 1 0 2713552 0
[pid=15353/tid=15354] ppid=15350 vsize=10900632 CPUtime=28.41 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15354/stat : 15354 (java) S 15350 15353 15097 0 -1 1077944384 17572 0 0 0 2784 57 0 0 20 0 20 0 3411279 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690135693136 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15355] ppid=15350 vsize=10900632 CPUtime=296.53 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15355/stat : 15355 (java) R 15350 15353 15097 0 -1 4202560 14873 0 0 0 29341 312 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690057529968 140690124083943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15356] ppid=15350 vsize=10900632 CPUtime=297.13 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15356/stat : 15356 (java) S 15350 15353 15097 0 -1 1077944384 15045 0 0 0 29392 321 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690056477424 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15357] ppid=15350 vsize=10900632 CPUtime=298.18 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15357/stat : 15357 (java) R 15350 15353 15097 0 -1 4202560 21851 0 0 0 29512 306 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690055424680 140690114838768 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15358] ppid=15350 vsize=10900632 CPUtime=298 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15358/stat : 15358 (java) R 15350 15353 15097 0 -1 4202560 15413 0 0 0 29496 304 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690054371824 140690124083943 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15359] ppid=15350 vsize=10900632 CPUtime=297.62 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15359/stat : 15359 (java) R 15350 15353 15097 0 -1 4202560 20172 0 0 0 29451 311 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690053319384 140690113052445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15360] ppid=15350 vsize=10900632 CPUtime=297.37 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15360/stat : 15360 (java) R 15350 15353 15097 0 -1 4202560 19382 0 0 0 29421 316 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690052266536 140690124083943 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15361] ppid=15350 vsize=10900632 CPUtime=297.42 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15361/stat : 15361 (java) R 15350 15353 15097 0 -1 4202560 16331 0 0 0 29425 317 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690051213168 140690124083943 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15362] ppid=15350 vsize=10900632 CPUtime=297.02 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15362/stat : 15362 (java) R 15350 15353 15097 0 -1 4202560 16528 0 0 0 29398 304 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690050160936 140690124083943 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15364] ppid=15350 vsize=10900632 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15364/stat : 15364 (java) S 15350 15353 15097 0 -1 1077944384 87883 0 0 0 325 5 0 0 20 0 20 0 3411282 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689270531168 140690131465941 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15365] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15365/stat : 15365 (java) S 15350 15353 15097 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 3411283 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689269479136 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15366] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15366/stat : 15366 (java) S 15350 15353 15097 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3411283 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689268425984 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15367] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15367/stat : 15367 (java) S 15350 15353 15097 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689267374192 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15368] ppid=15350 vsize=10900632 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15368/stat : 15368 (java) S 15350 15353 15097 0 -1 1077944384 9925 0 0 0 129 1 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689266321648 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15369] ppid=15350 vsize=10900632 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15369/stat : 15369 (java) S 15350 15353 15097 0 -1 1077944384 9103 0 0 0 120 2 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689265269104 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15370] ppid=15350 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15370/stat : 15370 (java) S 15350 15353 15097 0 -1 1077944384 5173 0 0 0 53 1 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689264216048 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15371] ppid=15350 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15371/stat : 15371 (java) S 15350 15353 15097 0 -1 1077944384 2583 0 0 0 33 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689263163504 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15372] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15372/stat : 15372 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689262111712 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15373] ppid=15350 vsize=10900632 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15373/stat : 15373 (java) S 15350 15353 15097 0 -1 1077944384 686 0 0 0 5 5 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689261059248 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
Current children cumulated CPU time (s) 2414.62
Current children cumulated vsize (KiB) 10900632
[startup+335.401 s]
/proc/loadavg: 15.10 13.81 9.46 10/286 15499
/proc/meminfo: memFree=23552508/32770624 swapFree=5940/57504
[pid=15353] ppid=15350 vsize=10900632 CPUtime=2416.16 cores=0,2,4,6,8,10,12,14
/proc/15353/stat : 15353 (java) S 15350 15353 15097 0 -1 1077944320 273931 0 0 0 239048 2568 0 0 20 0 20 0 3411279 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140736620072256 140690131455735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
/proc/15353/statm: 2725158 2090016 3148 1 0 2713552 0
[pid=15353/tid=15354] ppid=15350 vsize=10900632 CPUtime=28.41 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15354/stat : 15354 (java) S 15350 15353 15097 0 -1 1077944384 17572 0 0 0 2784 57 0 0 20 0 20 0 3411279 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690135693136 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15355] ppid=15350 vsize=10900632 CPUtime=296.72 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15355/stat : 15355 (java) R 15350 15353 15097 0 -1 4202560 14873 0 0 0 29360 312 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690057530280 140690124083943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15356] ppid=15350 vsize=10900632 CPUtime=297.31 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15356/stat : 15356 (java) R 15350 15353 15097 0 -1 4202560 15045 0 0 0 29410 321 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690056477736 140690117214552 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15357] ppid=15350 vsize=10900632 CPUtime=298.37 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15357/stat : 15357 (java) R 15350 15353 15097 0 -1 4202560 21851 0 0 0 29531 306 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690055424680 140690124083943 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15358] ppid=15350 vsize=10900632 CPUtime=298.19 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15358/stat : 15358 (java) R 15350 15353 15097 0 -1 4202560 15413 0 0 0 29515 304 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690054372136 140690124083943 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15359] ppid=15350 vsize=10900632 CPUtime=297.82 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15359/stat : 15359 (java) R 15350 15353 15097 0 -1 4202560 20172 0 0 0 29471 311 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690053319384 140690116406340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15360] ppid=15350 vsize=10900632 CPUtime=297.56 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15360/stat : 15360 (java) R 15350 15353 15097 0 -1 4202560 19382 0 0 0 29440 316 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690052266224 140690124083943 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15361] ppid=15350 vsize=10900632 CPUtime=297.63 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15361/stat : 15361 (java) R 15350 15353 15097 0 -1 4202560 16331 0 0 0 29445 318 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690051213480 140690124083943 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15362] ppid=15350 vsize=10900632 CPUtime=297.23 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15362/stat : 15362 (java) R 15350 15353 15097 0 -1 4202560 16528 0 0 0 29418 305 0 0 20 0 20 0 3411280 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140690050160936 140690124083943 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15364] ppid=15350 vsize=10900632 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15364/stat : 15364 (java) S 15350 15353 15097 0 -1 1077944384 87883 0 0 0 325 5 0 0 20 0 20 0 3411282 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689270531168 140690131465941 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15365] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15365/stat : 15365 (java) S 15350 15353 15097 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 3411283 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689269479136 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15366] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15366/stat : 15366 (java) S 15350 15353 15097 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3411283 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689268425984 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15367] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15367/stat : 15367 (java) S 15350 15353 15097 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689267374192 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15368] ppid=15350 vsize=10900632 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15368/stat : 15368 (java) S 15350 15353 15097 0 -1 1077944384 9925 0 0 0 129 1 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689266321648 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15369] ppid=15350 vsize=10900632 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15369/stat : 15369 (java) S 15350 15353 15097 0 -1 1077944384 9103 0 0 0 120 2 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689265269104 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15370] ppid=15350 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15370/stat : 15370 (java) S 15350 15353 15097 0 -1 1077944384 5173 0 0 0 53 1 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689264216048 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15371] ppid=15350 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15371/stat : 15371 (java) S 15350 15353 15097 0 -1 1077944384 2583 0 0 0 33 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689263163504 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15372] ppid=15350 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15372/stat : 15372 (java) S 15350 15353 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689262111712 140690131465941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
[pid=15353/tid=15373] ppid=15350 vsize=10900632 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15353/task/15373/stat : 15373 (java) S 15350 15353 15097 0 -1 1077944384 686 0 0 0 5 5 0 0 20 0 20 0 3411287 11162247168 2090016 33554432000 4194304 4196468 140736620089712 140689261059248 140690131466882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33357824 140736620094635 140736620094788 140736620094788 140736620097487 0
Current children cumulated CPU time (s) 2416.16
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 335.449
CPU time (s): 2416.24
CPU user time (s): 2390.51
CPU system time (s): 25.727
CPU usage (%): 720.301
Max. virtual memory (cumulated for all children) (KiB): 10904932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.51
system time used= 25.727
maximum resident set size= 8360328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46281
involuntary context switches= 231879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.87817 second user time and 3.37277 second system time
The end