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-4243705-1500675380/watcher-4243705-1500675380 -o /tmp/evaluation-result-4243705-1500675380/solver-4243705-1500675380 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500674693-6198 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243705-1500675380.xml
pid=6628
running on 8 cores: 1,3,5,7,9,11,13,15
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: 8.62 5.69 3.66 3/262 6631
/proc/meminfo: memFree=31554752/32770624 swapFree=5764/225392
[pid=6631] ppid=6628 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 2005 0 0 0 0 0 0 0 20 0 2 0 2806269 8550137856 1752 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2087436 1752 1197 1 0 2076347 0
[pid=6631/tid=6632] ppid=6628 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) R 6628 6631 2452 0 -1 4202560 789 0 0 0 0 0 0 0 20 0 2 0 2806270 8550137856 1818 33554432000 4194304 4196468 140721002752320 139877396470176 139877384517536 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[startup+0.100123 s]
/proc/loadavg: 8.62 5.69 3.66 3/262 6631
/proc/meminfo: memFree=31554752/32770624 swapFree=5764/225392
[pid=6631] ppid=6628 vsize=10900456 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 5037 0 0 0 9 1 0 0 20 0 20 0 2806269 11162066944 6165 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2725114 6165 2632 1 0 2713552 0
[pid=6631/tid=6632] ppid=6628 vsize=10900456 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) R 6628 6631 2452 0 -1 4202560 3137 0 0 0 8 0 0 0 20 0 20 0 2806270 11162066944 6165 33554432000 4194304 4196468 140721002752320 139877396470368 139877375420821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900456
[startup+0.200399 s]
/proc/loadavg: 8.62 5.69 3.66 3/262 6631
/proc/meminfo: memFree=31554752/32770624 swapFree=5764/225392
[pid=6631] ppid=6628 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 7172 0 0 0 24 2 0 0 20 0 20 0 2806269 11162169344 8406 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2725139 8406 2830 1 0 2713552 0
[pid=6631/tid=6632] ppid=6628 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) R 6628 6631 2452 0 -1 4202560 4856 0 0 0 17 1 0 0 20 0 20 0 2806270 11162169344 8406 33554432000 4194304 4196468 140721002752320 139877396449360 139877376308574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300387 s]
/proc/loadavg: 8.62 5.69 3.66 3/262 6631
/proc/meminfo: memFree=31554752/32770624 swapFree=5764/225392
[pid=6631] ppid=6628 vsize=10900556 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 8240 0 0 0 40 3 0 0 20 0 20 0 2806269 11162169344 17294 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2725139 17294 2974 1 0 2713552 0
[pid=6631/tid=6632] ppid=6628 vsize=10900556 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) R 6628 6631 2452 0 -1 4202560 5109 0 0 0 26 2 0 0 20 0 20 0 2806270 11162169344 17294 33554432000 4194304 4196468 140721002752320 139877396459248 139877392250013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10900556
[startup+0.700254 s]
/proc/loadavg: 8.62 5.69 3.66 3/262 6631
/proc/meminfo: memFree=31554752/32770624 swapFree=5764/225392
[pid=6631] ppid=6628 vsize=10900632 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 12101 0 0 0 124 83 0 0 20 0 20 0 2806269 11162247168 74559 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2725158 74559 3082 1 0 2713552 0
[pid=6631/tid=6632] ppid=6628 vsize=10900632 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) R 6628 6631 2452 0 -1 4202560 5855 0 0 0 49 5 0 0 20 0 20 0 2806270 11162247168 74559 33554432000 4194304 4196468 140721002752320 139877396461920 139877376308574 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 10900632
[startup+1.50082 s]
/proc/loadavg: 8.62 5.69 3.66 10/282 6651
/proc/meminfo: memFree=30682152/32770624 swapFree=5764/225412
[pid=6631] ppid=6628 vsize=10900632 CPUtime=5.11 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 16457 0 0 0 377 134 0 0 20 0 20 0 2806269 11162247168 239455 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2725158 239455 3124 1 0 2713552 0
[pid=6631/tid=6632] ppid=6628 vsize=10900632 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) R 6628 6631 2452 0 -1 4202560 6321 0 0 0 99 10 0 0 20 0 20 0 2806270 11162247168 239455 33554432000 4194304 4196468 140721002752320 139877396463064 139877031599392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6634] ppid=6628 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6634/stat : 6634 (java) S 6628 6631 2452 0 -1 1077944384 168 0 0 0 22 14 0 0 20 0 20 0 2806270 11162247168 239455 33554432000 4194304 4196468 140721002752320 139877355333904 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6635] ppid=6628 vsize=10900632 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6635/stat : 6635 (java) S 6628 6631 2452 0 -1 1077944384 168 0 0 0 15 14 0 0 20 0 20 0 2806270 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876998240656 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6636] ppid=6628 vsize=10900632 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6636/stat : 6636 (java) S 6628 6631 2452 0 -1 1077944384 183 0 0 0 21 14 0 0 20 0 20 0 2806270 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876997188112 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6637] ppid=6628 vsize=10900632 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6637/stat : 6637 (java) S 6628 6631 2452 0 -1 1077944384 499 0 0 0 19 14 0 0 20 0 20 0 2806270 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876996135568 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6638] ppid=6628 vsize=10900632 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6638/stat : 6638 (java) S 6628 6631 2452 0 -1 1077944384 342 0 0 0 21 14 0 0 20 0 20 0 2806270 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876995083024 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6639] ppid=6628 vsize=10900632 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6639/stat : 6639 (java) S 6628 6631 2452 0 -1 1077944384 539 0 0 0 19 16 0 0 20 0 20 0 2806270 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876994030480 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6640] ppid=6628 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6640/stat : 6640 (java) S 6628 6631 2452 0 -1 1077944384 315 0 0 0 21 15 0 0 20 0 20 0 2806270 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876992977936 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6641] ppid=6628 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6641/stat : 6641 (java) S 6628 6631 2452 0 -1 1077944384 185 0 0 0 21 15 0 0 20 0 20 0 2806270 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876991925392 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6642] ppid=6628 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6642/stat : 6642 (java) S 6628 6631 2452 0 -1 1077944384 743 0 0 0 1 0 0 0 20 0 20 0 2806273 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876867434480 139877392239234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6643] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6643/stat : 6643 (java) S 6628 6631 2452 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2806273 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876866380768 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6644] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6644/stat : 6644 (java) S 6628 6631 2452 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2806274 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876865328112 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6645] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6645/stat : 6645 (java) S 6628 6631 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876864276688 139877392246683 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6646] ppid=6628 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6646/stat : 6646 (java) S 6628 6631 2452 0 -1 1077944384 2309 0 0 0 37 0 0 0 20 0 20 0 2806278 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876863224304 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6647] ppid=6628 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6647/stat : 6647 (java) S 6628 6631 2452 0 -1 1077944384 1078 0 0 0 27 0 0 0 20 0 20 0 2806278 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876862171760 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6648] ppid=6628 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6648/stat : 6648 (java) S 6628 6631 2452 0 -1 1077944384 775 0 0 0 22 0 0 0 20 0 20 0 2806278 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876861119216 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6649] ppid=6628 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6649/stat : 6649 (java) S 6628 6631 2452 0 -1 1077944384 1465 0 0 0 25 0 0 0 20 0 20 0 2806278 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876860066672 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6650] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6650/stat : 6650 (java) S 6628 6631 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876859013344 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6651] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6651/stat : 6651 (java) S 6628 6631 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 239455 33554432000 4194304 4196468 140721002752320 139876857960880 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 10900632
[startup+3.10084 s]
/proc/loadavg: 8.62 5.69 3.66 3/282 6651
/proc/meminfo: memFree=30293980/32770624 swapFree=5764/225420
[pid=6631] ppid=6628 vsize=10900632 CPUtime=7.24 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 19030 0 0 0 571 153 0 0 20 0 20 0 2806269 11162247168 345098 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2725158 345098 3129 1 0 2713552 0
[pid=6631/tid=6632] ppid=6628 vsize=10900632 CPUtime=2.61 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) R 6628 6631 2452 0 -1 4202560 7905 0 0 0 247 14 0 0 20 0 20 0 2806270 11162247168 345098 33554432000 4194304 4196468 140721002752320 139877396465728 139877031599246 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6634] ppid=6628 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6634/stat : 6634 (java) S 6628 6631 2452 0 -1 1077944384 273 0 0 0 27 16 0 0 20 0 20 0 2806270 11162247168 345098 33554432000 4194304 4196468 140721002752320 139877355333904 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6635] ppid=6628 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6635/stat : 6635 (java) S 6628 6631 2452 0 -1 1077944384 240 0 0 0 21 16 0 0 20 0 20 0 2806270 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876998240656 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6636] ppid=6628 vsize=10900632 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6636/stat : 6636 (java) S 6628 6631 2452 0 -1 1077944384 254 0 0 0 27 17 0 0 20 0 20 0 2806270 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876997188112 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6637] ppid=6628 vsize=10900632 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6637/stat : 6637 (java) S 6628 6631 2452 0 -1 1077944384 569 0 0 0 25 15 0 0 20 0 20 0 2806270 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876996135568 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6638] ppid=6628 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6638/stat : 6638 (java) S 6628 6631 2452 0 -1 1077944384 433 0 0 0 27 16 0 0 20 0 20 0 2806270 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876995083024 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6639] ppid=6628 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6639/stat : 6639 (java) S 6628 6631 2452 0 -1 1077944384 626 0 0 0 25 18 0 0 20 0 20 0 2806270 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876994030480 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6640] ppid=6628 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6640/stat : 6640 (java) S 6628 6631 2452 0 -1 1077944384 419 0 0 0 26 17 0 0 20 0 20 0 2806270 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876992977936 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6641] ppid=6628 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6641/stat : 6641 (java) S 6628 6631 2452 0 -1 1077944384 266 0 0 0 27 16 0 0 20 0 20 0 2806270 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876991925392 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6642] ppid=6628 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6642/stat : 6642 (java) S 6628 6631 2452 0 -1 1077944384 1049 0 0 0 1 0 0 0 20 0 20 0 2806273 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876867434480 139877392239234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6643] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6643/stat : 6643 (java) S 6628 6631 2452 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2806273 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876866380768 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6644] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6644/stat : 6644 (java) S 6628 6631 2452 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2806274 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876865328112 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6645] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6645/stat : 6645 (java) S 6628 6631 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876864276688 139877392246683 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6646] ppid=6628 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6646/stat : 6646 (java) S 6628 6631 2452 0 -1 1077944384 2309 0 0 0 37 0 0 0 20 0 20 0 2806278 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876863224304 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6647] ppid=6628 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6647/stat : 6647 (java) S 6628 6631 2452 0 -1 1077944384 1078 0 0 0 27 0 0 0 20 0 20 0 2806278 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876862171760 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6648] ppid=6628 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6648/stat : 6648 (java) S 6628 6631 2452 0 -1 1077944384 775 0 0 0 22 0 0 0 20 0 20 0 2806278 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876861119216 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6649] ppid=6628 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6649/stat : 6649 (java) S 6628 6631 2452 0 -1 1077944384 1465 0 0 0 25 0 0 0 20 0 20 0 2806278 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876860066672 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6650] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6650/stat : 6650 (java) S 6628 6631 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876859013344 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6651] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6651/stat : 6651 (java) S 6628 6631 2452 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 345098 33554432000 4194304 4196468 140721002752320 139876857960880 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 10900632
[startup+6.30087 s]
/proc/loadavg: 8.09 5.63 3.65 3/282 6651
/proc/meminfo: memFree=29728872/32770624 swapFree=5764/225420
[pid=6631] ppid=6628 vsize=10900632 CPUtime=12.36 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 25287 0 0 0 981 255 0 0 20 0 20 0 2806269 11162247168 561827 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2725158 561827 3129 1 0 2713552 0
[pid=6631/tid=6632] ppid=6628 vsize=10900632 CPUtime=5.52 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) R 6628 6631 2452 0 -1 4202560 9018 0 0 0 528 24 0 0 20 0 20 0 2806270 11162247168 561827 33554432000 4194304 4196468 140721002752320 139877396465776 139877031917469 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6634] ppid=6628 vsize=10900632 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6634/stat : 6634 (java) S 6628 6631 2452 0 -1 1077944384 588 0 0 0 42 28 0 0 20 0 20 0 2806270 11162247168 561827 33554432000 4194304 4196468 140721002752320 139877355333904 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6635] ppid=6628 vsize=10900632 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6635/stat : 6635 (java) S 6628 6631 2452 0 -1 1077944384 905 0 0 0 36 27 0 0 20 0 20 0 2806270 11162247168 561827 33554432000 4194304 4196468 140721002752320 139876998240656 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6636] ppid=6628 vsize=10900632 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6636/stat : 6636 (java) S 6628 6631 2452 0 -1 1077944384 831 0 0 0 43 28 0 0 20 0 20 0 2806270 11162247168 561827 33554432000 4194304 4196468 140721002752320 139876997188112 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6637] ppid=6628 vsize=10900632 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6637/stat : 6637 (java) S 6628 6631 2452 0 -1 1077944384 1317 0 0 0 41 28 0 0 20 0 20 0 2806270 11162247168 561827 33554432000 4194304 4196468 140721002752320 139876996135568 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6638] ppid=6628 vsize=10900632 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6638/stat : 6638 (java) S 6628 6631 2452 0 -1 1077944384 874 0 0 0 44 27 0 0 20 0 20 0 2806270 11162247168 561827 33554432000 4194304 4196468 140721002752320 139876995083024 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6639] ppid=6628 vsize=10900632 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6639/stat : 6639 (java) S 6628 6631 2452 0 -1 1077944384 949 0 0 0 41 30 0 0 20 0 20 0 2806270 11162247168 561827 33554432000 4194304 4196468 140721002752320 139876994030480 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6640] ppid=6628 vsize=10900632 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6640/stat : 6640 (java) S 6628 6631 2452 0 -1 1077944384 817 0 0 0 43 28 0 0 20 0 20 0 2806270 11162247168 561827 33554432000 4194304 4196468 140721002752320 139876992977936 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6641] ppid=6628 vsize=10900632 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6641/stat : 6641 (java) S 6628 6631 2452 0 -1 1077944384 727 0 0 0 44 27 0 0 20 0 20 0 2806270 11162247168 561827 33554432000 4194304 4196468 140721002752320 139876991925392 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6642] ppid=6628 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6642/stat : 6642 (java) S 6628 6631 2452 0 -1 1077944384 1766 0 0 0 1 0 0 0 20 0 20 0 2806273 11162247168 561827 33554432000 4194304 4196468 140721002752320 139876867434480 139877392239234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6643] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6643/stat : 6643 (java) S 6628 6631 2452 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2806273 11162247168 561827 33554432000 4194304 4196468 140721002752320 139876866380768 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6644] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6644/stat : 6644 (java) S 6628 6631 2452 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2806274 11162247168 561827 33554432000 4194304 4196468 140721002752320 139876865328112 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6645] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=6631/tid=6647] ppid=6628 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6647/stat : 6647 (java) S 6628 6631 2452 0 -1 1077944384 9593 0 0 0 115 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876862171808 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6648] ppid=6628 vsize=10900632 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6648/stat : 6648 (java) S 6628 6631 2452 0 -1 1077944384 8922 0 0 0 117 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876861118976 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6649] ppid=6628 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6649/stat : 6649 (java) S 6628 6631 2452 0 -1 1077944384 5432 0 0 0 36 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876860066720 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6650] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6650/stat : 6650 (java) S 6628 6631 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876859013344 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6651] ppid=6628 vsize=10900632 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6651/stat : 6651 (java) S 6628 6631 2452 0 -1 1077944384 1027 0 0 0 10 8 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876857960880 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
Current children cumulated CPU time (s) 2400.36
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 -6631
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6631 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+446.401 s]
/proc/loadavg: 8.78 6.88 4.75 10/282 6665
/proc/meminfo: memFree=22848940/32770624 swapFree=5764/225844
[pid=6631] ppid=6628 vsize=10900632 CPUtime=2411.32 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 242426 0 0 0 239449 1683 0 0 20 0 20 0 2806269 11162247168 2082427 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2725158 2082427 3155 1 0 2713552 0
[pid=6631/tid=6632] ppid=6628 vsize=10900632 CPUtime=155.7 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) S 6628 6631 2452 0 -1 1077944384 29337 0 0 0 15523 47 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139877396464928 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6634] ppid=6628 vsize=10900632 CPUtime=281.07 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6634/stat : 6634 (java) R 6628 6631 2452 0 -1 4202560 12280 0 0 0 27907 200 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139877355334024 139877384856295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6635] ppid=6628 vsize=10900632 CPUtime=281.43 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6635/stat : 6635 (java) R 6628 6631 2452 0 -1 4202560 9724 0 0 0 27946 197 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876998240856 139877376685673 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6636] ppid=6628 vsize=10900632 CPUtime=281.97 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6636/stat : 6636 (java) R 6628 6631 2452 0 -1 4202560 10335 0 0 0 28004 193 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876997188312 139877373837858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6637] ppid=6628 vsize=10900632 CPUtime=280.92 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6637/stat : 6637 (java) R 6628 6631 2452 0 -1 4202560 8848 0 0 0 27889 203 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876996135456 139877376685555 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6638] ppid=6628 vsize=10900632 CPUtime=280.97 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6638/stat : 6638 (java) R 6628 6631 2452 0 -1 4202560 9950 0 0 0 27898 199 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876995083224 139877384856295 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6639] ppid=6628 vsize=10900632 CPUtime=280.6 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6639/stat : 6639 (java) R 6628 6631 2452 0 -1 4202560 8634 0 0 0 27853 207 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876994030680 139877376926832 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6640] ppid=6628 vsize=10900632 CPUtime=280.3 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6640/stat : 6640 (java) R 6628 6631 2452 0 -1 4202560 9082 0 0 0 27815 215 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876992978136 139877373837842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6641] ppid=6628 vsize=10900632 CPUtime=281.11 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6641/stat : 6641 (java) R 6628 6631 2452 0 -1 4202560 6764 0 0 0 27914 197 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876991925592 139877373837926 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6642] ppid=6628 vsize=10900632 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6642/stat : 6642 (java) S 6628 6631 2452 0 -1 1077944384 102955 0 0 0 314 6 0 0 20 0 20 0 2806273 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876867433024 139877392238293 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6643] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6643/stat : 6643 (java) S 6628 6631 2452 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 2806273 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876866380768 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6644] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6644/stat : 6644 (java) S 6628 6631 2452 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 2806274 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876865328128 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6645] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6645/stat : 6645 (java) S 6628 6631 2452 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876864276336 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6646] ppid=6628 vsize=10900632 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6646/stat : 6646 (java) S 6628 6631 2452 0 -1 1077944384 8140 0 0 0 100 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876863224352 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6647] ppid=6628 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6647/stat : 6647 (java) S 6628 6631 2452 0 -1 1077944384 9593 0 0 0 115 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876862171808 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6648] ppid=6628 vsize=10900632 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6648/stat : 6648 (java) S 6628 6631 2452 0 -1 1077944384 8922 0 0 0 117 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876861118976 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6649] ppid=6628 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6649/stat : 6649 (java) S 6628 6631 2452 0 -1 1077944384 5432 0 0 0 36 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876860066720 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6650] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6650/stat : 6650 (java) S 6628 6631 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876859013344 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6651] ppid=6628 vsize=10900632 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6651/stat : 6651 (java) S 6628 6631 2452 0 -1 1077944384 1028 0 0 0 10 8 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876857960880 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 13 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
Current children cumulated CPU time (s) 2411.32
Current children cumulated vsize (KiB) 10900632
[startup+446.801 s]
/proc/loadavg: 8.78 6.88 4.75 10/282 6665
/proc/meminfo: memFree=22848940/32770624 swapFree=5764/225852
[pid=6631] ppid=6628 vsize=10900632 CPUtime=2414.43 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 242426 0 0 0 239759 1684 0 0 20 0 20 0 2806269 11162247168 2082427 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2725158 2082427 3155 1 0 2713552 0
[pid=6631/tid=6632] ppid=6628 vsize=10900632 CPUtime=155.7 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) S 6628 6631 2452 0 -1 1077944384 29337 0 0 0 15523 47 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139877396464928 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6634] ppid=6628 vsize=10900632 CPUtime=281.46 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6634/stat : 6634 (java) S 6628 6631 2452 0 -1 1077944384 12280 0 0 0 27945 201 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139877355333904 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6635] ppid=6628 vsize=10900632 CPUtime=281.83 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6635/stat : 6635 (java) S 6628 6631 2452 0 -1 1077944384 9724 0 0 0 27985 198 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876998240656 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6636] ppid=6628 vsize=10900632 CPUtime=282.36 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6636/stat : 6636 (java) S 6628 6631 2452 0 -1 1077944384 10335 0 0 0 28043 193 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876997188112 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6637] ppid=6628 vsize=10900632 CPUtime=281.3 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6637/stat : 6637 (java) S 6628 6631 2452 0 -1 1077944384 8848 0 0 0 27927 203 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876996135568 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6638] ppid=6628 vsize=10900632 CPUtime=281.35 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6638/stat : 6638 (java) S 6628 6631 2452 0 -1 1077944384 9950 0 0 0 27936 199 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876995083024 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6639] ppid=6628 vsize=10900632 CPUtime=281 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6639/stat : 6639 (java) S 6628 6631 2452 0 -1 1077944384 8634 0 0 0 27893 207 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876994030480 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6640] ppid=6628 vsize=10900632 CPUtime=280.7 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6640/stat : 6640 (java) S 6628 6631 2452 0 -1 1077944384 9082 0 0 0 27855 215 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876992977936 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6641] ppid=6628 vsize=10900632 CPUtime=281.49 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6641/stat : 6641 (java) S 6628 6631 2452 0 -1 1077944384 6764 0 0 0 27952 197 0 0 20 0 20 0 2806270 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876991925392 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6642] ppid=6628 vsize=10900632 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6642/stat : 6642 (java) R 6628 6631 2452 0 -1 4202560 102955 0 0 0 314 6 0 0 20 0 20 0 2806273 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876867433024 139877377224491 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6643] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6643/stat : 6643 (java) S 6628 6631 2452 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 2806273 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876866380768 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6644] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6644/stat : 6644 (java) S 6628 6631 2452 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 2806274 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876865328128 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6645] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6645/stat : 6645 (java) S 6628 6631 2452 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876864276336 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6646] ppid=6628 vsize=10900632 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6646/stat : 6646 (java) S 6628 6631 2452 0 -1 1077944384 8140 0 0 0 100 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876863224352 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6647] ppid=6628 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6647/stat : 6647 (java) S 6628 6631 2452 0 -1 1077944384 9593 0 0 0 115 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876862171808 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6648] ppid=6628 vsize=10900632 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6648/stat : 6648 (java) S 6628 6631 2452 0 -1 1077944384 8922 0 0 0 117 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876861118976 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6649] ppid=6628 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6649/stat : 6649 (java) S 6628 6631 2452 0 -1 1077944384 5432 0 0 0 36 1 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876860066720 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6650] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6650/stat : 6650 (java) S 6628 6631 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876859013344 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6651] ppid=6628 vsize=10900632 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6651/stat : 6651 (java) S 6628 6631 2452 0 -1 1077944384 1028 0 0 0 10 8 0 0 20 0 20 0 2806278 11162247168 2082427 33554432000 4194304 4196468 140721002752320 139876857960880 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 13 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
Current children cumulated CPU time (s) 2414.43
Current children cumulated vsize (KiB) 10900632
[startup+447.001 s]
/proc/loadavg: 8.78 6.88 4.75 10/282 6665
/proc/meminfo: memFree=22848940/32770624 swapFree=5764/225852
[pid=6631] ppid=6628 vsize=10900632 CPUtime=2415.74 cores=1,3,5,7,9,11,13,15
/proc/6631/stat : 6631 (java) S 6628 6631 2452 0 -1 1077944320 245773 0 0 0 239890 1684 0 0 20 0 20 0 2806269 11162247168 2082460 33554432000 4194304 4196468 140721002752320 140721002734864 139877392228087 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
/proc/6631/statm: 2725158 2082460 3155 1 0 2713552 0
[pid=6631/tid=6632] ppid=6628 vsize=10900632 CPUtime=155.7 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6632/stat : 6632 (java) S 6628 6631 2452 0 -1 1077944384 29344 0 0 0 15523 47 0 0 20 0 20 0 2806270 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139877396465312 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6634] ppid=6628 vsize=10900632 CPUtime=281.62 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6634/stat : 6634 (java) R 6628 6631 2452 0 -1 4202560 12292 0 0 0 27961 201 0 0 20 0 20 0 2806270 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139877355333792 139877376925726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6635] ppid=6628 vsize=10900632 CPUtime=281.99 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6635/stat : 6635 (java) R 6628 6631 2452 0 -1 4202560 9747 0 0 0 28001 198 0 0 20 0 20 0 2806270 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876998240856 139877377213383 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6636] ppid=6628 vsize=10900632 CPUtime=282.51 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6636/stat : 6636 (java) R 6628 6631 2452 0 -1 4202560 10382 0 0 0 28058 193 0 0 20 0 20 0 2806270 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876997188312 139877377179559 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6637] ppid=6628 vsize=10900632 CPUtime=281.46 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6637/stat : 6637 (java) R 6628 6631 2452 0 -1 4202560 8861 0 0 0 27943 203 0 0 20 0 20 0 2806270 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876996135832 139877376682016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6638] ppid=6628 vsize=10900632 CPUtime=281.51 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6638/stat : 6638 (java) R 6628 6631 2452 0 -1 4202560 9965 0 0 0 27952 199 0 0 20 0 20 0 2806270 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876995083224 139877376682264 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6639] ppid=6628 vsize=10900632 CPUtime=281.15 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6639/stat : 6639 (java) R 6628 6631 2452 0 -1 4202560 8683 0 0 0 27908 207 0 0 20 0 20 0 2806270 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876994030368 139877376925726 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6640] ppid=6628 vsize=10900632 CPUtime=280.85 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6640/stat : 6640 (java) R 6628 6631 2452 0 -1 4202560 9095 0 0 0 27870 215 0 0 20 0 20 0 2806270 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876992978136 139877376681939 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6641] ppid=6628 vsize=10900632 CPUtime=281.65 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6641/stat : 6641 (java) R 6628 6631 2452 0 -1 4202560 6816 0 0 0 27968 197 0 0 20 0 20 0 2806270 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876991925592 139877377213383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6642] ppid=6628 vsize=10900632 CPUtime=3.24 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6642/stat : 6642 (java) S 6628 6631 2452 0 -1 1077944384 106014 0 0 0 318 6 0 0 20 0 20 0 2806273 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876867432800 139877392238293 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6643] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6643/stat : 6643 (java) S 6628 6631 2452 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 2806273 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876866380768 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6644] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6644/stat : 6644 (java) S 6628 6631 2452 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 2806274 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876865328128 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6645] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6645/stat : 6645 (java) S 6628 6631 2452 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876864271616 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6646] ppid=6628 vsize=10900632 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6646/stat : 6646 (java) S 6628 6631 2452 0 -1 1077944384 8142 0 0 0 100 1 0 0 20 0 20 0 2806278 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876863224304 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6647] ppid=6628 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6647/stat : 6647 (java) S 6628 6631 2452 0 -1 1077944384 9595 0 0 0 115 1 0 0 20 0 20 0 2806278 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876862171760 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6648] ppid=6628 vsize=10900632 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6648/stat : 6648 (java) S 6628 6631 2452 0 -1 1077944384 8924 0 0 0 117 1 0 0 20 0 20 0 2806278 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876861119216 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6649] ppid=6628 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6649/stat : 6649 (java) S 6628 6631 2452 0 -1 1077944384 5435 0 0 0 36 1 0 0 20 0 20 0 2806278 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876860066432 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6650] ppid=6628 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6650/stat : 6650 (java) S 6628 6631 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2806278 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876859013344 139877392238293 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
[pid=6631/tid=6651] ppid=6628 vsize=10900632 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6631/task/6651/stat : 6651 (java) S 6628 6631 2452 0 -1 1077944384 1028 0 0 0 10 8 0 0 20 0 20 0 2806278 11162247168 2082460 33554432000 4194304 4196468 140721002752320 139876857960880 139877392239234 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 13 0 0 6293624 6294260 8765440 140721002755243 140721002755396 140721002755396 140721002758095 0
Current children cumulated CPU time (s) 2415.74
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 447.041
CPU time (s): 2415.83
CPU user time (s): 2398.94
CPU system time (s): 16.8846
CPU usage (%): 540.404
Max. virtual memory (cumulated for all children) (KiB): 10903244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.94
system time used= 16.8846
maximum resident set size= 8330176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245784
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52284
involuntary context switches= 180046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.32524 second user time and 4.34579 second system time
The end