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-4249174-1500794938/watcher-4249174-1500794938 -o /tmp/evaluation-result-4249174-1500794938/solver-4249174-1500794938 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500794937-22501 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2086507959 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249174-1500794938.xml
pid=22525
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: 0.00 0.01 0.05 4/244 22532
/proc/meminfo: memFree=30380452/32770624 swapFree=7328/1358560
[pid=22531] ppid=22525 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 14761331 369864704 1925 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 90299 1925 1072 1 0 79210 0
[pid=22531/tid=22534] ppid=22525 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) S 22525 22531 22469 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 14761331 369864704 1925 33554432000 4194304 4196468 140728132005568 140335601297824 140335597066882 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[startup+0.100072 s]
/proc/loadavg: 0.00 0.01 0.05 4/244 22532
/proc/meminfo: memFree=30380452/32770624 swapFree=7328/1358560
[pid=22531] ppid=22525 vsize=13261040 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 5539 0 0 0 8 1 0 0 20 0 20 0 14761331 13579304960 5829 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 3315260 5829 2624 1 0 3303698 0
[pid=22531/tid=22534] ppid=22525 vsize=13261040 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) R 22525 22531 22469 0 -1 4202560 3612 0 0 0 6 1 0 0 20 0 20 0 14761331 13579304960 5829 33554432000 4194304 4196468 140728132005568 140335601295512 140335589733749 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13261040
[startup+0.200439 s]
/proc/loadavg: 0.00 0.01 0.05 4/244 22532
/proc/meminfo: memFree=30380452/32770624 swapFree=7328/1358560
[pid=22531] ppid=22525 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 8752 0 0 0 23 3 0 0 20 0 20 0 14761331 13582245888 9733 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 3315978 9733 3509 1 0 3303698 0
[pid=22531/tid=22534] ppid=22525 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) R 22525 22531 22469 0 -1 4202560 6463 0 0 0 15 2 0 0 20 0 20 0 14761331 13582245888 9733 33554432000 4194304 4196468 140728132005568 140335601282928 140335597077661 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300454 s]
/proc/loadavg: 0.00 0.01 0.05 4/244 22532
/proc/meminfo: memFree=30380452/32770624 swapFree=7328/1358560
[pid=22531] ppid=22525 vsize=13263912 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 10008 0 0 0 40 4 0 0 20 0 20 0 14761331 13582245888 11703 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 3315978 11703 3680 1 0 3303698 0
[pid=22531/tid=22534] ppid=22525 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) R 22525 22531 22469 0 -1 4202560 7153 0 0 0 24 2 0 0 20 0 20 0 14761331 13582245888 11703 33554432000 4194304 4196468 140728132005568 140335601286464 140335597077661 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13263912
[startup+0.700391 s]
/proc/loadavg: 0.00 0.01 0.05 4/244 22532
/proc/meminfo: memFree=30380452/32770624 swapFree=7328/1358560
[pid=22531] ppid=22525 vsize=13268028 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 13915 0 0 0 129 6 0 0 20 0 20 0 14761331 13586460672 20321 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 3317007 20321 3755 1 0 3304722 0
[pid=22531/tid=22534] ppid=22525 vsize=13268028 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) R 22525 22531 22469 0 -1 4202560 8489 0 0 0 63 3 0 0 20 0 20 0 14761331 13586460672 20321 33554432000 4194304 4196468 140728132005568 140335601278880 140335581136222 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 13268028
[startup+1.50112 s]
/proc/loadavg: 0.00 0.01 0.05 10/284 22572
/proc/meminfo: memFree=30133412/32770624 swapFree=7328/1358080
[pid=22531] ppid=22525 vsize=13268028 CPUtime=4.06 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 23577 0 0 0 397 9 0 0 20 0 20 0 14761331 13586460672 42131 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 3317007 42131 3784 1 0 3304722 0
[pid=22531/tid=22534] ppid=22525 vsize=13268028 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) R 22525 22531 22469 0 -1 4202560 10305 0 0 0 141 5 0 0 20 0 20 0 14761331 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335601291656 140335192446269 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22539] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22539/stat : 22539 (java) S 22525 22531 22469 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 14761332 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335515536144 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22542] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22542/stat : 22542 (java) S 22525 22531 22469 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14761332 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335514483600 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22545] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22545/stat : 22545 (java) S 22525 22531 22469 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14761333 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335513431056 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22547] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22547/stat : 22547 (java) S 22525 22531 22469 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 14761333 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335512378512 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22549] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22549/stat : 22549 (java) S 22525 22531 22469 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 14761333 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335511324944 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22550] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22550/stat : 22550 (java) S 22525 22531 22469 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14761333 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335510272400 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22551] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22551/stat : 22551 (java) S 22525 22531 22469 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14761333 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335509219856 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22552] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22552/stat : 22552 (java) S 22525 22531 22469 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 14761333 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335508167312 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22553] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22553/stat : 22553 (java) S 22525 22531 22469 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 14761335 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335059962352 140335597066882 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22555] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22555/stat : 22555 (java) S 22525 22531 22469 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335058908576 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22557] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22557/stat : 22557 (java) S 22525 22531 22469 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335057855984 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22559] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22559/stat : 22559 (java) S 22525 22531 22469 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335056804560 140335597074331 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22560] ppid=22525 vsize=13268028 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22560/stat : 22560 (java) S 22525 22531 22469 0 -1 1077944384 3685 0 0 0 73 1 0 0 20 0 20 0 14761339 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335055751152 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22561] ppid=22525 vsize=13268028 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22561/stat : 22561 (java) S 22525 22531 22469 0 -1 1077944384 3709 0 0 0 71 1 0 0 20 0 20 0 14761339 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335054698608 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22562] ppid=22525 vsize=13268028 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22562/stat : 22562 (java) S 22525 22531 22469 0 -1 1077944384 2753 0 0 0 65 0 0 0 20 0 20 0 14761339 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335053646064 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22563] ppid=22525 vsize=13268028 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22563/stat : 22563 (java) S 22525 22531 22469 0 -1 1077944384 1718 0 0 0 44 0 0 0 20 0 20 0 14761339 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335052593520 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22564] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22564/stat : 22564 (java) S 22525 22531 22469 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335051541216 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22565] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22565/stat : 22565 (java) S 22525 22531 22469 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14761340 13586460672 42131 33554432000 4194304 4196468 140728132005568 140335050488752 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13268028
[startup+3.10529 s]
/proc/loadavg: 0.40 0.10 0.07 4/284 22572
/proc/meminfo: memFree=29973432/32770624 swapFree=7328/1357760
[pid=22531] ppid=22525 vsize=13268028 CPUtime=5.9 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 26505 0 0 0 572 18 0 0 20 0 20 0 14761331 13586460672 57658 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 3317007 57658 3804 1 0 3304722 0
[pid=22531/tid=22534] ppid=22525 vsize=13268028 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) S 22525 22531 22469 0 -1 1077944384 10758 0 0 0 299 5 0 0 20 0 20 0 14761331 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335601294368 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22539] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22539/stat : 22539 (java) R 22525 22531 22469 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 20 0 14761332 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335515536344 140335582083609 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22542] ppid=22525 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22542/stat : 22542 (java) R 22525 22531 22469 0 -1 4202560 48 0 0 0 0 1 0 0 20 0 20 0 14761332 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335514483800 140335589683943 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22545] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22545/stat : 22545 (java) R 22525 22531 22469 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 20 0 14761333 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335513431056 140335589683943 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22547] ppid=22525 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22547/stat : 22547 (java) R 22525 22531 22469 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 20 0 14761333 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335512378712 140335597065941 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22549] ppid=22525 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22549/stat : 22549 (java) S 22525 22531 22469 0 -1 1077944384 49 0 0 0 0 1 0 0 20 0 20 0 14761333 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335511324944 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22550] ppid=22525 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22550/stat : 22550 (java) R 22525 22531 22469 0 -1 4202560 38 0 0 0 0 1 0 0 20 0 20 0 14761333 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335510272520 140335589683943 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22551] ppid=22525 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22551/stat : 22551 (java) S 22525 22531 22469 0 -1 1077944384 446 0 0 0 1 1 0 0 20 0 20 0 14761333 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335509219856 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22552] ppid=22525 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22552/stat : 22552 (java) S 22525 22531 22469 0 -1 1077944384 58 0 0 0 0 1 0 0 20 0 20 0 14761333 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335508167312 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22553] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22553/stat : 22553 (java) S 22525 22531 22469 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 20 0 14761335 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335059960864 140335597065941 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22555] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22555/stat : 22555 (java) S 22525 22531 22469 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335058908640 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22557] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22557/stat : 22557 (java) S 22525 22531 22469 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335057856000 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22559] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22559/stat : 22559 (java) S 22525 22531 22469 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335056804560 140335597074331 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22560] ppid=22525 vsize=13268028 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22560/stat : 22560 (java) S 22525 22531 22469 0 -1 1077944384 3688 0 0 0 74 1 0 0 20 0 20 0 14761339 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335055751152 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22561] ppid=22525 vsize=13268028 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22561/stat : 22561 (java) S 22525 22531 22469 0 -1 1077944384 3975 0 0 0 73 1 0 0 20 0 20 0 14761339 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335054698608 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22562] ppid=22525 vsize=13268028 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22562/stat : 22562 (java) S 22525 22531 22469 0 -1 1077944384 2905 0 0 0 70 0 0 0 20 0 20 0 14761339 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335053646064 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22563] ppid=22525 vsize=13268028 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22563/stat : 22563 (java) S 22525 22531 22469 0 -1 1077944384 2623 0 0 0 45 0 0 0 20 0 20 0 14761339 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335052593520 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22564] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22564/stat : 22564 (java) S 22525 22531 22469 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335051541216 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22565] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22565/stat : 22565 (java) S 22525 22531 22469 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 14761340 13586460672 57658 33554432000 4194304 4196468 140728132005568 140335050488752 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 13268028
[startup+6.30083 s]
/proc/loadavg: 0.40 0.10 0.07 4/285 22573
/proc/meminfo: memFree=29957608/32770624 swapFree=7328/1357772
[pid=22531] ppid=22525 vsize=13268028 CPUtime=9.18 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 26831 0 0 0 900 18 0 0 20 0 20 0 14761331 13586460672 56649 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 3317007 56649 3804 1 0 3304722 0
[pid=22531/tid=22534] ppid=22525 vsize=13268028 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) R 22525 22531 22469 0 -1 4202560 10785 0 0 0 617 5 0 0 20 0 20 0 14761331 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335601285616 140335192783993 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22539] ppid=22525 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22539/stat : 22539 (java) S 22525 22531 22469 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 14761332 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335515536144 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22542] ppid=22525 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22542/stat : 22542 (java) S 22525 22531 22469 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 20 0 14761332 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335514483600 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22545] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22545/stat : 22545 (java) S 22525 22531 22469 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 14761333 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335513431056 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22547] ppid=22525 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22547/stat : 22547 (java) S 22525 22531 22469 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 20 0 14761333 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335512378512 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22549] ppid=22525 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22549/stat : 22549 (java) S 22525 22531 22469 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 20 0 14761333 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335511324944 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22550] ppid=22525 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22550/stat : 22550 (java) S 22525 22531 22469 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 20 0 14761333 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335510272400 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22551] ppid=22525 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22551/stat : 22551 (java) S 22525 22531 22469 0 -1 1077944384 448 0 0 0 1 1 0 0 20 0 20 0 14761333 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335509219856 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22552] ppid=22525 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22552/stat : 22552 (java) S 22525 22531 22469 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 20 0 14761333 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335508167312 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22553] ppid=22525 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22553/stat : 22553 (java) S 22525 22531 22469 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 14761335 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335059962352 140335597066882 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22555] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22555/stat : 22555 (java) S 22525 22531 22469 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335058908640 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22557] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22557/stat : 22557 (java) S 22525 22531 22469 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 56649 33554432000 4194304 4196468 140728132005568 140335057856000 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22559] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=22531/tid=22561] ppid=22525 vsize=13268028 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22561/stat : 22561 (java) S 22525 22531 22469 0 -1 1077944384 4982 0 0 0 78 1 0 0 20 0 20 0 14761339 13586460672 64779 33554432000 4194304 4196468 140728132005568 140335054698608 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22562] ppid=22525 vsize=13268028 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22562/stat : 22562 (java) S 22525 22531 22469 0 -1 1077944384 6808 0 0 0 83 1 0 0 20 0 20 0 14761339 13586460672 64779 33554432000 4194304 4196468 140728132005568 140335053646064 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22563] ppid=22525 vsize=13268028 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22563/stat : 22563 (java) S 22525 22531 22469 0 -1 1077944384 3980 0 0 0 46 1 0 0 20 0 20 0 14761339 13586460672 64779 33554432000 4194304 4196468 140728132005568 140335052593520 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22564] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22564/stat : 22564 (java) S 22525 22531 22469 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 64779 33554432000 4194304 4196468 140728132005568 140335051541216 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22565] ppid=22525 vsize=13268028 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22565/stat : 22565 (java) S 22525 22531 22469 0 -1 1077944384 684 0 0 0 23 32 0 0 20 0 20 0 14761340 13586460672 64779 33554432000 4194304 4196468 140728132005568 140335050488752 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
Current children cumulated CPU time (s) 2298.25
Current children cumulated vsize (KiB) 13268028
[startup+2322.3 s]
/proc/loadavg: 1.34 1.41 1.30 4/281 22669
/proc/meminfo: memFree=29898256/32770624 swapFree=7328/1359980
[pid=22531] ppid=22525 vsize=13268028 CPUtime=2359.2 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 72737 0 0 0 235673 247 0 0 20 0 20 0 14761331 13586460672 65291 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 3317007 65291 3816 1 0 3304722 0
[pid=22531/tid=22534] ppid=22525 vsize=13268028 CPUtime=2311.5 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) R 22525 22531 22469 0 -1 4202560 29994 0 0 0 231137 13 0 0 20 0 20 0 14761331 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335601293968 140335578461956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22539] ppid=22525 vsize=13268028 CPUtime=5.08 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22539/stat : 22539 (java) S 22525 22531 22469 0 -1 1077944384 1372 0 0 0 483 25 0 0 20 0 20 0 14761332 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335515536144 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22542] ppid=22525 vsize=13268028 CPUtime=5.2 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22542/stat : 22542 (java) S 22525 22531 22469 0 -1 1077944384 2124 0 0 0 496 24 0 0 20 0 20 0 14761332 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335514483600 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22545] ppid=22525 vsize=13268028 CPUtime=5.09 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22545/stat : 22545 (java) S 22525 22531 22469 0 -1 1077944384 2548 0 0 0 486 23 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335513431056 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22547] ppid=22525 vsize=13268028 CPUtime=4.98 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22547/stat : 22547 (java) S 22525 22531 22469 0 -1 1077944384 1963 0 0 0 473 25 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335512378512 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22549] ppid=22525 vsize=13268028 CPUtime=5.09 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22549/stat : 22549 (java) S 22525 22531 22469 0 -1 1077944384 2129 0 0 0 485 24 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335511324944 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22550] ppid=22525 vsize=13268028 CPUtime=5.05 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22550/stat : 22550 (java) S 22525 22531 22469 0 -1 1077944384 1302 0 0 0 480 25 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335510272400 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22551] ppid=22525 vsize=13268028 CPUtime=5.07 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22551/stat : 22551 (java) S 22525 22531 22469 0 -1 1077944384 2107 0 0 0 483 24 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335509219856 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22552] ppid=22525 vsize=13268028 CPUtime=5.06 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22552/stat : 22552 (java) S 22525 22531 22469 0 -1 1077944384 1412 0 0 0 482 24 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335508167312 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22553] ppid=22525 vsize=13268028 CPUtime=3.49 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22553/stat : 22553 (java) S 22525 22531 22469 0 -1 1077944384 5337 0 0 0 323 26 0 0 20 0 20 0 14761335 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335059962352 140335597066882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22555] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22555/stat : 22555 (java) S 22525 22531 22469 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335058908640 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22557] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22557/stat : 22557 (java) S 22525 22531 22469 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335057856000 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22559] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22559/stat : 22559 (java) S 22525 22531 22469 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335056804560 140335597074331 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22560] ppid=22525 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22560/stat : 22560 (java) S 22525 22531 22469 0 -1 1077944384 4544 0 0 0 76 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335055751152 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22561] ppid=22525 vsize=13268028 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22561/stat : 22561 (java) S 22525 22531 22469 0 -1 1077944384 4984 0 0 0 78 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335054698608 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22562] ppid=22525 vsize=13268028 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22562/stat : 22562 (java) S 22525 22531 22469 0 -1 1077944384 6810 0 0 0 83 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335053646064 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22563] ppid=22525 vsize=13268028 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22563/stat : 22563 (java) S 22525 22531 22469 0 -1 1077944384 3982 0 0 0 46 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335052593520 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22564] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22564/stat : 22564 (java) S 22525 22531 22469 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335051541216 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22565] ppid=22525 vsize=13268028 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22565/stat : 22565 (java) S 22525 22531 22469 0 -1 1077944384 699 0 0 0 24 32 0 0 20 0 20 0 14761340 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335050488752 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
Current children cumulated CPU time (s) 2359.2
Current children cumulated vsize (KiB) 13268028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2362.5 s]
/proc/loadavg: 1.34 1.41 1.31 4/281 22670
/proc/meminfo: memFree=29895528/32770624 swapFree=7328/1360032
[pid=22531] ppid=22525 vsize=13268028 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 72894 0 0 0 239757 250 0 0 20 0 20 0 14761331 13586460672 65291 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 3317007 65291 3816 1 0 3304722 0
[pid=22531/tid=22534] ppid=22525 vsize=13268028 CPUtime=2351.5 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) R 22525 22531 22469 0 -1 4202560 30088 0 0 0 235137 13 0 0 20 0 20 0 14761331 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335601294288 140335192401987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22539] ppid=22525 vsize=13268028 CPUtime=5.19 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22539/stat : 22539 (java) S 22525 22531 22469 0 -1 1077944384 1385 0 0 0 493 26 0 0 20 0 20 0 14761332 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335515536144 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22542] ppid=22525 vsize=13268028 CPUtime=5.32 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22542/stat : 22542 (java) S 22525 22531 22469 0 -1 1077944384 2124 0 0 0 508 24 0 0 20 0 20 0 14761332 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335514483600 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22545] ppid=22525 vsize=13268028 CPUtime=5.17 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22545/stat : 22545 (java) S 22525 22531 22469 0 -1 1077944384 2549 0 0 0 494 23 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335513431056 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22547] ppid=22525 vsize=13268028 CPUtime=5.08 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22547/stat : 22547 (java) S 22525 22531 22469 0 -1 1077944384 2004 0 0 0 482 26 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335512378512 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22549] ppid=22525 vsize=13268028 CPUtime=5.2 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22549/stat : 22549 (java) S 22525 22531 22469 0 -1 1077944384 2130 0 0 0 495 25 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335511324944 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22550] ppid=22525 vsize=13268028 CPUtime=5.15 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22550/stat : 22550 (java) S 22525 22531 22469 0 -1 1077944384 1305 0 0 0 490 25 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335510272400 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22551] ppid=22525 vsize=13268028 CPUtime=5.15 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22551/stat : 22551 (java) S 22525 22531 22469 0 -1 1077944384 2107 0 0 0 491 24 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335509219856 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22552] ppid=22525 vsize=13268028 CPUtime=5.17 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22552/stat : 22552 (java) S 22525 22531 22469 0 -1 1077944384 1412 0 0 0 492 25 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335508167312 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22553] ppid=22525 vsize=13268028 CPUtime=3.55 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22553/stat : 22553 (java) S 22525 22531 22469 0 -1 1077944384 5339 0 0 0 329 26 0 0 20 0 20 0 14761335 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335059962352 140335597066882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22555] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22555/stat : 22555 (java) S 22525 22531 22469 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335058908640 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22557] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22557/stat : 22557 (java) S 22525 22531 22469 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335057856000 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22559] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22559/stat : 22559 (java) S 22525 22531 22469 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335056804560 140335597074331 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22560] ppid=22525 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22560/stat : 22560 (java) S 22525 22531 22469 0 -1 1077944384 4544 0 0 0 76 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335055751152 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22561] ppid=22525 vsize=13268028 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22561/stat : 22561 (java) S 22525 22531 22469 0 -1 1077944384 4984 0 0 0 78 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335054698608 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22562] ppid=22525 vsize=13268028 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22562/stat : 22562 (java) S 22525 22531 22469 0 -1 1077944384 6810 0 0 0 83 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335053646064 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22563] ppid=22525 vsize=13268028 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22563/stat : 22563 (java) S 22525 22531 22469 0 -1 1077944384 3982 0 0 0 46 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335052593520 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22564] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22564/stat : 22564 (java) S 22525 22531 22469 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335051541216 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22565] ppid=22525 vsize=13268028 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22565/stat : 22565 (java) S 22525 22531 22469 0 -1 1077944384 701 0 0 0 24 33 0 0 20 0 20 0 14761340 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335050488752 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13268028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22531 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2362.5 s]
/proc/loadavg: 1.34 1.41 1.31 4/281 22670
/proc/meminfo: memFree=29895528/32770624 swapFree=7328/1360032
[pid=22531] ppid=22525 vsize=13268028 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/22531/stat : 22531 (java) S 22525 22531 22469 0 -1 1077944320 72894 0 0 0 239757 250 0 0 20 0 20 0 14761331 13586460672 65291 33554432000 4194304 4196468 140728132005568 140728131988112 140335597055735 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
/proc/22531/statm: 3317007 65291 3816 1 0 3304722 0
[pid=22531/tid=22534] ppid=22525 vsize=13268028 CPUtime=2351.5 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22534/stat : 22534 (java) R 22525 22531 22469 0 -1 4202560 30088 0 0 0 235137 13 0 0 20 0 20 0 14761331 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335601294288 140335192401987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22539] ppid=22525 vsize=13268028 CPUtime=5.19 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22539/stat : 22539 (java) S 22525 22531 22469 0 -1 1077944384 1385 0 0 0 493 26 0 0 20 0 20 0 14761332 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335515536144 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22542] ppid=22525 vsize=13268028 CPUtime=5.32 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22542/stat : 22542 (java) S 22525 22531 22469 0 -1 1077944384 2124 0 0 0 508 24 0 0 20 0 20 0 14761332 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335514483600 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22545] ppid=22525 vsize=13268028 CPUtime=5.17 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22545/stat : 22545 (java) S 22525 22531 22469 0 -1 1077944384 2549 0 0 0 494 23 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335513431056 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22547] ppid=22525 vsize=13268028 CPUtime=5.08 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22547/stat : 22547 (java) S 22525 22531 22469 0 -1 1077944384 2004 0 0 0 482 26 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335512378512 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22549] ppid=22525 vsize=13268028 CPUtime=5.2 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22549/stat : 22549 (java) S 22525 22531 22469 0 -1 1077944384 2130 0 0 0 495 25 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335511324944 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22550] ppid=22525 vsize=13268028 CPUtime=5.15 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22550/stat : 22550 (java) S 22525 22531 22469 0 -1 1077944384 1305 0 0 0 490 25 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335510272400 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22551] ppid=22525 vsize=13268028 CPUtime=5.15 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22551/stat : 22551 (java) S 22525 22531 22469 0 -1 1077944384 2107 0 0 0 491 24 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335509219856 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22552] ppid=22525 vsize=13268028 CPUtime=5.17 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22552/stat : 22552 (java) S 22525 22531 22469 0 -1 1077944384 1412 0 0 0 492 25 0 0 20 0 20 0 14761333 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335508167312 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22553] ppid=22525 vsize=13268028 CPUtime=3.55 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22553/stat : 22553 (java) S 22525 22531 22469 0 -1 1077944384 5339 0 0 0 329 26 0 0 20 0 20 0 14761335 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335059962352 140335597066882 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22555] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22555/stat : 22555 (java) S 22525 22531 22469 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335058908640 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22557] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22557/stat : 22557 (java) S 22525 22531 22469 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 14761336 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335057856000 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22559] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22559/stat : 22559 (java) S 22525 22531 22469 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335056804560 140335597074331 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22560] ppid=22525 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22560/stat : 22560 (java) S 22525 22531 22469 0 -1 1077944384 4544 0 0 0 76 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335055751152 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22561] ppid=22525 vsize=13268028 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22561/stat : 22561 (java) S 22525 22531 22469 0 -1 1077944384 4984 0 0 0 78 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335054698608 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22562] ppid=22525 vsize=13268028 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22562/stat : 22562 (java) S 22525 22531 22469 0 -1 1077944384 6810 0 0 0 83 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335053646064 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22563] ppid=22525 vsize=13268028 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22563/stat : 22563 (java) S 22525 22531 22469 0 -1 1077944384 3982 0 0 0 46 1 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335052593520 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22564] ppid=22525 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22564/stat : 22564 (java) S 22525 22531 22469 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14761339 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335051541216 140335597065941 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
[pid=22531/tid=22565] ppid=22525 vsize=13268028 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/22531/task/22565/stat : 22565 (java) S 22525 22531 22469 0 -1 1077944384 701 0 0 0 24 33 0 0 20 0 20 0 14761340 13586460672 65291 33554432000 4194304 4196468 140728132005568 140335050488752 140335597066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 29802496 140728132011145 140728132011332 140728132011332 140728132014031 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13268028
Child status: 143
Real time (s): 2362.51
CPU time (s): 2400.1
CPU user time (s): 2397.58
CPU system time (s): 2.51661
CPU usage (%): 101.591
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.58
system time used= 2.51661
maximum resident set size= 261736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213329
involuntary context switches= 150209
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4964 second user time and 18.8539 second system time
The end