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-4244546-1500690293/watcher-4244546-1500690293 -o /tmp/evaluation-result-4244546-1500690293/solver-4244546-1500690293 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560 bin/concrete HOME/instance-4244546-1500690293.xml
pid=15575
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: 1.43 1.39 1.39 2/262 15578
/proc/meminfo: memFree=30272992/32770624 swapFree=5844/242004
[pid=15578] ppid=15575 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (bash) S 15575 15578 13605 0 -1 4202496 685 1532 0 0 0 0 0 0 20 0 1 0 4296205 9736192 350 33554432000 4194304 5098028 140723621757184 140723621754824 139793734196224 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 12288000 140723621762318 140723621762403 140723621762403 140723621765102 0
/proc/15578/statm: 2377 350 277 221 0 86 0
[startup+0.100132 s]
/proc/loadavg: 1.43 1.39 1.39 2/262 15578
/proc/meminfo: memFree=30272992/32770624 swapFree=5844/242004
[pid=15578] ppid=15575 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (bash) S 15575 15578 13605 0 -1 4202496 879 6420 0 0 0 0 0 1 20 0 1 0 4296205 9871360 378 33554432000 4194304 5098028 140723621757184 140723621751192 139793734196224 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 12288000 140723621762318 140723621762403 140723621762403 140723621765102 0
/proc/15578/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200344 s]
/proc/loadavg: 1.43 1.39 1.39 2/262 15578
/proc/meminfo: memFree=30272992/32770624 swapFree=5844/242004
[pid=15578] ppid=15575 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (java) S 15575 15578 13605 0 -1 1077944320 5127 12811 0 0 6 1 8 3 20 0 13 0 4296205 10686320640 5478 33554432000 4194304 4196468 140726226238880 140726226221424 139758327045879 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
/proc/15578/statm: 2608965 5478 2169 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300312 s]
/proc/loadavg: 1.43 1.39 1.39 2/262 15578
/proc/meminfo: memFree=30272992/32770624 swapFree=5844/242004
[pid=15578] ppid=15575 vsize=10902392 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (java) S 15575 15578 13605 0 -1 1077944320 8003 12811 0 0 22 2 8 3 20 0 20 0 4296205 11164049408 9812 33554432000 4194304 4196468 140726226238880 140726226221424 139758327045879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
/proc/15578/statm: 2725598 9812 2996 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392
[startup+0.700216 s]
/proc/loadavg: 1.43 1.39 1.39 2/262 15578
/proc/meminfo: memFree=30272992/32770624 swapFree=5844/242004
[pid=15578] ppid=15575 vsize=10902720 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (java) S 15575 15578 13605 0 -1 1077944320 12920 12811 0 0 80 4 8 3 20 0 20 0 4296205 11164385280 16246 33554432000 4194304 4196468 140726226238880 140726226221424 139758327045879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
/proc/15578/statm: 2725680 16246 3218 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720
[startup+1.50082 s]
/proc/loadavg: 1.43 1.39 1.39 3/282 15651
/proc/meminfo: memFree=30165544/32770624 swapFree=5844/242036
[pid=15578] ppid=15575 vsize=10915392 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (java) S 15575 15578 13605 0 -1 1077944320 26694 12811 0 0 203 11 8 3 20 0 20 0 4296205 11177361408 44057 33554432000 4194304 4196468 140726226238880 140726226221424 139758327045879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
/proc/15578/statm: 2728848 44057 3409 1 0 2716962 0
[pid=15578/tid=15633] ppid=15575 vsize=10915392 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15633/stat : 15633 (java) R 15575 15578 13605 0 -1 4202560 19362 12811 0 0 126 5 8 3 20 0 20 0 4296218 11177361408 44057 33554432000 4194304 4196468 140726226238880 139758331271088 139758327057814 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15634] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 13605 0 -1 1077944384 45 12811 0 0 0 0 8 3 20 0 20 0 4296219 11177361408 44057 33554432000 4194304 4196468 140726226238880 139758253120400 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15635] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 13605 0 -1 1077944384 24 12811 0 0 0 0 8 3 20 0 20 0 4296219 11177361408 44057 33554432000 4194304 4196468 140726226238880 139758252067600 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15636] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 13605 0 -1 1077944384 10 12811 0 0 0 0 8 3 20 0 20 0 4296219 11177361408 44057 33554432000 4194304 4196468 140726226238880 139758251015312 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15637] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 13605 0 -1 1077944384 18 12811 0 0 0 0 8 3 20 0 20 0 4296219 11177361408 44057 33554432000 4194304 4196468 140726226238880 139758249962512 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15638] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 13605 0 -1 1077944384 128 12811 0 0 0 0 8 3 20 0 20 0 4296219 11177361408 44057 33554432000 4194304 4196468 140726226238880 139758248909200 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15639] ppid=15575 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 13605 0 -1 1077944384 41 12811 0 0 1 0 8 3 20 0 20 0 4296219 11177361408 44057 33554432000 4194304 4196468 140726226238880 139758247856400 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15640] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 13605 0 -1 1077944384 27 12811 0 0 0 0 8 3 20 0 20 0 4296219 11177361408 44057 33554432000 4194304 4196468 140726226238880 139758246804112 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15641] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 13605 0 -1 1077944384 17 12811 0 0 0 0 8 3 20 0 20 0 4296219 11177361408 44057 33554432000 4194304 4196468 140726226238880 139758245751312 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15642] ppid=15575 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 13605 0 -1 1077944384 762 12811 0 0 1 0 8 3 20 0 20 0 4296221 11177361408 44057 33554432000 4194304 4196468 140726226238880 139757667359344 139758327057026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15643] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 13605 0 -1 1077944384 56 12811 0 0 0 0 8 3 20 0 20 0 4296222 11177361408 44057 33554432000 4194304 4196468 140726226238880 139757666305376 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15644] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 13605 0 -1 1077944384 46 12811 0 0 0 0 8 3 20 0 20 0 4296222 11177361408 44057 33554432000 4194304 4196468 140726226238880 139757665252960 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15645] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15645/stat : 15645 (java) S 15575 15578 13605 0 -1 1077944384 1 12811 0 0 0 0 8 3 20 0 20 0 4296226 11177361408 44057 33554432000 4194304 4196468 140726226238880 139757664201296 139758327064475 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15646] ppid=15575 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15646/stat : 15646 (java) S 15575 15578 13605 0 -1 1077944384 1039 12811 0 0 13 0 8 3 20 0 20 0 4296226 11177361408 44057 33554432000 4194304 4196468 140726226238880 139757663148144 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15647] ppid=15575 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15647/stat : 15647 (java) S 15575 15578 13605 0 -1 1077944384 581 12811 0 0 11 0 8 3 20 0 20 0 4296226 11177361408 44057 33554432000 4194304 4196468 140726226238880 139757662095344 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15648] ppid=15575 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15648/stat : 15648 (java) S 15575 15578 13605 0 -1 1077944384 1102 12811 0 0 14 0 8 3 20 0 20 0 4296226 11177361408 44057 33554432000 4194304 4196468 140726226238880 139757661043056 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15649] ppid=15575 vsize=10915392 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15649/stat : 15649 (java) R 15575 15578 13605 0 -1 4202560 1297 12811 0 0 27 0 8 3 20 0 20 0 4296226 11177361408 44057 33554432000 4194304 4196468 140726226238880 139757659990176 139758320142344 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15650] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15650/stat : 15650 (java) S 15575 15578 13605 0 -1 1077944384 3 12811 0 0 0 0 8 3 20 0 20 0 4296227 11177361408 44057 33554432000 4194304 4196468 140726226238880 139757658938208 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15651] ppid=15575 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15651/stat : 15651 (java) S 15575 15578 13605 0 -1 1077944384 6 12811 0 0 0 0 8 3 20 0 20 0 4296227 11177361408 44057 33554432000 4194304 4196468 140726226238880 139757657885488 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10915392
[startup+3.10119 s]
/proc/loadavg: 1.56 1.42 1.40 3/282 15651
/proc/meminfo: memFree=30080208/32770624 swapFree=5844/242036
[pid=15578] ppid=15575 vsize=10925820 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (java) S 15575 15578 13605 0 -1 1077944320 44677 12811 0 0 650 14 8 3 20 0 20 0 4296205 11188039680 55884 33554432000 4194304 4196468 140726226238880 140726226221424 139758327045879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
/proc/15578/statm: 2731455 55884 3474 1 0 2719010 0
[pid=15578/tid=15633] ppid=15575 vsize=10925820 CPUtime=2.94 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15633/stat : 15633 (java) R 15575 15578 13605 0 -1 4202560 27043 12811 0 0 277 6 8 3 20 0 20 0 4296218 11188039680 55884 33554432000 4194304 4196468 140726226238880 139758331274864 139757926464917 0 4 0 16800975 0 0 0 -1 9 0 0 6 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15634] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 13605 0 -1 1077944384 45 12811 0 0 0 0 8 3 20 0 20 0 4296219 11188039680 55884 33554432000 4194304 4196468 140726226238880 139758253120400 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15635] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 13605 0 -1 1077944384 24 12811 0 0 0 0 8 3 20 0 20 0 4296219 11188039680 55884 33554432000 4194304 4196468 140726226238880 139758252067600 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15636] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 13605 0 -1 1077944384 10 12811 0 0 0 0 8 3 20 0 20 0 4296219 11188039680 55884 33554432000 4194304 4196468 140726226238880 139758251015312 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15637] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 13605 0 -1 1077944384 18 12811 0 0 0 0 8 3 20 0 20 0 4296219 11188039680 55884 33554432000 4194304 4196468 140726226238880 139758249962512 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15638] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 13605 0 -1 1077944384 128 12811 0 0 0 0 8 3 20 0 20 0 4296219 11188039680 55884 33554432000 4194304 4196468 140726226238880 139758248909200 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15639] ppid=15575 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 13605 0 -1 1077944384 41 12811 0 0 1 0 8 3 20 0 20 0 4296219 11188039680 55884 33554432000 4194304 4196468 140726226238880 139758247856400 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15640] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 13605 0 -1 1077944384 27 12811 0 0 0 0 8 3 20 0 20 0 4296219 11188039680 55884 33554432000 4194304 4196468 140726226238880 139758246804112 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15641] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 13605 0 -1 1077944384 17 12811 0 0 0 0 8 3 20 0 20 0 4296219 11188039680 55884 33554432000 4194304 4196468 140726226238880 139758245751312 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15642] ppid=15575 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 13605 0 -1 1077944384 780 12811 0 0 1 0 8 3 20 0 20 0 4296221 11188039680 55884 33554432000 4194304 4196468 140726226238880 139757667359344 139758327057026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15643] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 13605 0 -1 1077944384 56 12811 0 0 0 0 8 3 20 0 20 0 4296222 11188039680 55884 33554432000 4194304 4196468 140726226238880 139757666305376 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15644] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 13605 0 -1 1077944384 46 12811 0 0 0 0 8 3 20 0 20 0 4296222 11188039680 55884 33554432000 4194304 4196468 140726226238880 139757665252960 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15645] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15645/stat : 15645 (java) S 15575 15578 13605 0 -1 1077944384 1 12811 0 0 0 0 8 3 20 0 20 0 4296226 11188039680 55884 33554432000 4194304 4196468 140726226238880 139757664201296 139758327064475 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15646] ppid=15575 vsize=10925820 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15646/stat : 15646 (java) R 15575 15578 13605 0 -1 4202560 2929 12811 0 0 68 0 8 3 20 0 20 0 4296226 11188039680 55884 33554432000 4194304 4196468 140726226238880 139757663134608 139758320142588 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15647] ppid=15575 vsize=10925820 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15647/stat : 15647 (java) R 15575 15578 13605 0 -1 4202560 4090 12811 0 0 102 0 8 3 20 0 20 0 4296226 11188039680 55884 33554432000 4194304 4196468 140726226238880 139757662080304 139758313089564 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15648] ppid=15575 vsize=10925820 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15648/stat : 15648 (java) R 15575 15578 13605 0 -1 4202560 2607 12811 0 0 73 1 8 3 20 0 20 0 4296226 11188039680 55884 33554432000 4194304 4196468 140726226238880 139757661029872 139758306291727 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15649] ppid=15575 vsize=10925820 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15649/stat : 15649 (java) S 15575 15578 13605 0 -1 1077944384 4682 12811 0 0 119 1 8 3 20 0 20 0 4296226 11188039680 55884 33554432000 4194304 4196468 140726226238880 139757659990256 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15650] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15650/stat : 15650 (java) S 15575 15578 13605 0 -1 1077944384 3 12811 0 0 0 0 8 3 20 0 20 0 4296227 11188039680 55884 33554432000 4194304 4196468 140726226238880 139757658938208 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15651] ppid=15575 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15651/stat : 15651 (java) S 15575 15578 13605 0 -1 1077944384 9 12811 0 0 0 0 8 3 20 0 20 0 4296227 11188039680 55884 33554432000 4194304 4196468 140726226238880 139757657885488 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 10925820
[startup+6.30076 s]
/proc/loadavg: 1.56 1.42 1.40 5/282 15651
/proc/meminfo: memFree=29911292/32770624 swapFree=5844/242040
[pid=15578] ppid=15575 vsize=10929916 CPUtime=18.05 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (java) S 15575 15578 13605 0 -1 1077944320 52152 12811 0 0 1735 59 8 3 20 0 20 0 4296205 11192233984 105116 33554432000 4194304 4196468 140726226238880 140726226221424 139758327045879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
/proc/15578/statm: 2732479 105116 3509 1 0 2720034 0
[pid=15578/tid=15633] ppid=15575 vsize=10929916 CPUtime=5.95 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15633/stat : 15633 (java) R 15575 15578 13605 0 -1 4202560 28335 12811 0 0 576 8 8 3 20 0 20 0 4296218 11192233984 105116 33554432000 4194304 4196468 140726226238880 139758331278944 139757917077780 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15634] ppid=15575 vsize=10929916 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 13605 0 -1 1077944384 121 12811 0 0 10 5 8 3 20 0 20 0 4296219 11192233984 105116 33554432000 4194304 4196468 140726226238880 139758253120400 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15635] ppid=15575 vsize=10929916 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 13605 0 -1 1077944384 74 12811 0 0 10 6 8 3 20 0 20 0 4296219 11192233984 105116 33554432000 4194304 4196468 140726226238880 139758252067600 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15636] ppid=15575 vsize=10929916 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 13605 0 -1 1077944384 58 12811 0 0 11 4 8 3 20 0 20 0 4296219 11192233984 105116 33554432000 4194304 4196468 140726226238880 139758251015312 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15637] ppid=15575 vsize=10929916 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 13605 0 -1 1077944384 137 12811 0 0 10 6 8 3 20 0 20 0 4296219 11192233984 105116 33554432000 4194304 4196468 140726226238880 139758249962512 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15638] ppid=15575 vsize=10929916 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 13605 0 -1 1077944384 187 12811 0 0 10 5 8 3 20 0 20 0 4296219 11192233984 105116 33554432000 4194304 4196468 140726226238880 139758248909200 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15639] ppid=15575 vsize=10929916 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 13605 0 -1 1077944384 99 12811 0 0 10 4 8 3 20 0 20 0 4296219 11192233984 105116 33554432000 4194304 4196468 140726226238880 139758247856400 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15640] ppid=15575 vsize=10929916 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 13605 0 -1 1077944384 90 12811 0 0 11 5 8 3 20 0 20 0 4296219 11192233984 105116 33554432000 4194304 4196468 140726226238880 139758246804112 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15641] ppid=15575 vsize=10929916 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 13605 0 -1 1077944384 83 12811 0 0 10 5 8 3 20 0 20 0 4296219 11192233984 105116 33554432000 4194304 4196468 140726226238880 139758245751312 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15642] ppid=15575 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 13605 0 -1 1077944384 2114 12811 0 0 5 0 8 3 20 0 20 0 4296221 11192233984 105116 33554432000 4194304 4196468 140726226238880 139757667359344 139758327057026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15643] ppid=15575 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 13605 0 -1 1077944384 56 12811 0 0 0 0 8 3 20 0 20 0 4296222 11192233984 105116 33554432000 4194304 4196468 140726226238880 139757666305376 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15644] ppid=15575 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 13605 0 -1 1077944384 47 12811 0 0 0 0 8 3 20 0 20 0 4296222 11192233984 105116 33554432000 4194304 4196468 140726226238880 139757665252992 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15645] ppid=15575 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15645/stat : 15645 (java) S 15575 15578 13605 0 -1 1077944384 1 12811 0 0 0 0 8 3 20 0 20 0 4296226 11192233984 105116 33554432000 4194304 4196468 140726226238880 139757664201296 139758327064475 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15646] ppid=15575 vsize=10929916 CPUtime=2.86 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15646/stat : 15646 (java) S 15575 15578 13605 0 -1 1077944384 4498 12811 0 0 275 0 8 3 20 0 20 0 4296226 11192233984 105116 33554432000 4194304 4196468 140726226238880 139757663148144 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15647] ppid=15575 vsize=10929916 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15647/stat : 15647 (java) R 15575 15578 13605 0 -1 4202560 4824 12811 0 0 302 1 8 3 20 0 20 0 4296226 11192233984 105116 33554432000 4194304 4196468 140726226238880 139757662081664 139758311622977 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15648] ppid=15575 vsize=10929916 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15648/stat : 15648 (java) R 15575 15578 13605 0 -1 4202560 3661 12811 0 0 286 1 8 3 20 0 20 0 4296226 11192233984 105116 33554432000 4194304 4196468 140726226238880 139757661028936 139758308565193 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15649] ppid=15575 vsize=10929916 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15649/stat : 15649 (java) R 15575 15578 13605 0 -1 4202560 5614 12811 0 0 203 1 8 3 20 0 20 0 4296226 11192233984 105116 33554432000 4194304 4196468 140726226238880 139757659990384 139758305673201 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15650] ppid=15575 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=15578/tid=15645] ppid=15575 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15645/stat : 15645 (java) S 15575 15578 13605 0 -1 1077944384 1 12811 0 0 0 0 8 3 20 0 20 0 4296226 11261440000 474945 33554432000 4194304 4196468 140726226238880 139757664201296 139758327064475 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15646] ppid=15575 vsize=10997500 CPUtime=4.07 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15646/stat : 15646 (java) S 15575 15578 13605 0 -1 1077944384 10801 12811 0 0 394 2 8 3 20 0 20 0 4296226 11261440000 474945 33554432000 4194304 4196468 140726226238880 139757663148144 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15647] ppid=15575 vsize=10997500 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15647/stat : 15647 (java) S 15575 15578 13605 0 -1 1077944384 16224 12811 0 0 453 2 8 3 20 0 20 0 4296226 11261440000 474945 33554432000 4194304 4196468 140726226238880 139757662095344 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15648] ppid=15575 vsize=10997500 CPUtime=4.52 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15648/stat : 15648 (java) S 15575 15578 13605 0 -1 1077944384 15187 12811 0 0 439 2 8 3 20 0 20 0 4296226 11261440000 474945 33554432000 4194304 4196468 140726226238880 139757661043056 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15649] ppid=15575 vsize=10997500 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15649/stat : 15649 (java) S 15575 15578 13605 0 -1 1077944384 13507 12811 0 0 241 3 8 3 20 0 20 0 4296226 11261440000 474945 33554432000 4194304 4196468 140726226238880 139757659990256 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15650] ppid=15575 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15650/stat : 15650 (java) S 15575 15578 13605 0 -1 1077944384 3 12811 0 0 0 0 8 3 20 0 20 0 4296227 11261440000 474945 33554432000 4194304 4196468 140726226238880 139757658938208 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15651] ppid=15575 vsize=10997500 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15651/stat : 15651 (java) S 15575 15578 13605 0 -1 1077944384 2966 12811 0 0 61 66 8 3 20 0 20 0 4296227 11261440000 474945 33554432000 4194304 4196468 140726226238880 139757657885488 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10997500
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 15578 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2321.21 s]
/proc/loadavg: 1.52 1.37 1.34 3/282 15887
/proc/meminfo: memFree=28079728/32770624 swapFree=5844/244752
[pid=15578] ppid=15575 vsize=11130628 CPUtime=2400.54 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (java) S 15575 15578 13605 0 -1 1077944320 264851 12811 0 0 239565 478 8 3 20 0 22 0 4296205 11397763072 477265 33554432000 4194304 4196468 140726226238880 140726226221424 139758327045879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
/proc/15578/statm: 2782657 477265 3518 1 0 2770212 0
[pid=15578/tid=15633] ppid=15575 vsize=11130628 CPUtime=2300.1 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 13605 0 -1 1077944384 97649 12811 0 0 229953 46 8 3 20 0 22 0 4296218 11397763072 477265 33554432000 4194304 4196468 140726226238880 139758331283424 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15634] ppid=15575 vsize=11130628 CPUtime=9.68 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 13605 0 -1 1077944384 6737 12811 0 0 910 47 8 3 20 0 22 0 4296219 11397763072 477265 33554432000 4194304 4196468 140726226238880 139758253120400 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15635] ppid=15575 vsize=11130628 CPUtime=9.63 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 13605 0 -1 1077944384 13406 12811 0 0 908 44 8 3 20 0 22 0 4296219 11397763072 477265 33554432000 4194304 4196468 140726226238880 139758252067600 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15636] ppid=15575 vsize=11130628 CPUtime=9.6 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 13605 0 -1 1077944384 6746 12811 0 0 906 43 8 3 20 0 22 0 4296219 11397763072 477265 33554432000 4194304 4196468 140726226238880 139758251015312 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15637] ppid=15575 vsize=11130628 CPUtime=9.68 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 13605 0 -1 1077944384 9163 12811 0 0 911 46 8 3 20 0 22 0 4296219 11397763072 477265 33554432000 4194304 4196468 140726226238880 139758249962512 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15638] ppid=15575 vsize=11130628 CPUtime=9.62 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 13605 0 -1 1077944384 10823 12811 0 0 906 45 8 3 20 0 22 0 4296219 11397763072 477265 33554432000 4194304 4196468 140726226238880 139758248909200 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15639] ppid=15575 vsize=11130628 CPUtime=9.61 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 13605 0 -1 1077944384 12241 12811 0 0 907 43 8 3 20 0 22 0 4296219 11397763072 477265 33554432000 4194304 4196468 140726226238880 139758247856400 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15640] ppid=15575 vsize=11130628 CPUtime=9.68 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 13605 0 -1 1077944384 11230 12811 0 0 913 44 8 3 20 0 22 0 4296219 11397763072 477265 33554432000 4194304 4196468 140726226238880 139758246804112 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15641] ppid=15575 vsize=11130628 CPUtime=9.66 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 13605 0 -1 1077944384 10401 12811 0 0 909 46 8 3 20 0 22 0 4296219 11397763072 477265 33554432000 4194304 4196468 140726226238880 139758245751312 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15642] ppid=15575 vsize=11130628 CPUtime=7.48 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15642/stat : 15642 (java) R 15575 15578 13605 0 -1 4202560 25177 12811 0 0 698 39 8 3 20 0 22 0 4296221 11397763072 477265 33554432000 4194304 4196468 140726226238880 139757667357016 139758312173179 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15643] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 13605 0 -1 1077944384 56 12811 0 0 0 0 8 3 20 0 22 0 4296222 11397763072 477265 33554432000 4194304 4196468 140726226238880 139757666305376 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15644] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 13605 0 -1 1077944384 47 12811 0 0 0 0 8 3 20 0 22 0 4296222 11397763072 477265 33554432000 4194304 4196468 140726226238880 139757665252992 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15645] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15645/stat : 15645 (java) S 15575 15578 13605 0 -1 1077944384 109 12811 0 0 0 0 8 3 20 0 22 0 4296226 11397763072 477265 33554432000 4194304 4196468 140726226238880 139757664201296 139758327064475 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15646] ppid=15575 vsize=11130628 CPUtime=4.07 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15646/stat : 15646 (java) S 15575 15578 13605 0 -1 1077944384 10801 12811 0 0 394 2 8 3 20 0 22 0 4296226 11397763072 477265 33554432000 4194304 4196468 140726226238880 139757663148144 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15647] ppid=15575 vsize=11130628 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15647/stat : 15647 (java) S 15575 15578 13605 0 -1 1077944384 16234 12811 0 0 453 2 8 3 20 0 22 0 4296226 11397763072 477265 33554432000 4194304 4196468 140726226238880 139757662086528 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15648] ppid=15575 vsize=11130628 CPUtime=4.52 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15648/stat : 15648 (java) S 15575 15578 13605 0 -1 1077944384 15187 12811 0 0 439 2 8 3 20 0 22 0 4296226 11397763072 477265 33554432000 4194304 4196468 140726226238880 139757661043056 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15649] ppid=15575 vsize=11130628 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15649/stat : 15649 (java) S 15575 15578 13605 0 -1 1077944384 13619 12811 0 0 241 3 8 3 20 0 22 0 4296226 11397763072 477265 33554432000 4194304 4196468 140726226238880 139757659984576 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15650] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15650/stat : 15650 (java) S 15575 15578 13605 0 -1 1077944384 3 12811 0 0 0 0 8 3 20 0 22 0 4296227 11397763072 477265 33554432000 4194304 4196468 140726226238880 139757658938208 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15651] ppid=15575 vsize=11130628 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15651/stat : 15651 (java) S 15575 15578 13605 0 -1 1077944384 2966 12811 0 0 61 66 8 3 20 0 22 0 4296227 11397763072 477265 33554432000 4194304 4196468 140726226238880 139757657885488 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
Current children cumulated CPU time (s) 2400.54
Current children cumulated vsize (KiB) 11130628
[startup+2321.6 s]
/proc/loadavg: 1.52 1.37 1.34 3/282 15887
/proc/meminfo: memFree=28079728/32770624 swapFree=5844/244752
[pid=15578] ppid=15575 vsize=11130628 CPUtime=2403.28 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (java) S 15575 15578 13605 0 -1 1077944320 265256 12811 0 0 239838 479 8 3 20 0 22 0 4296205 11397763072 477421 33554432000 4194304 4196468 140726226238880 140726226221424 139758327045879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
/proc/15578/statm: 2782657 477421 3518 1 0 2770212 0
[pid=15578/tid=15633] ppid=15575 vsize=11130628 CPUtime=2300.1 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 13605 0 -1 1077944384 97649 12811 0 0 229953 46 8 3 20 0 22 0 4296218 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758331283424 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15634] ppid=15575 vsize=11130628 CPUtime=10.01 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15634/stat : 15634 (java) S 15575 15578 13605 0 -1 1077944384 6737 12811 0 0 943 47 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758253120400 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15635] ppid=15575 vsize=11130628 CPUtime=9.97 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15635/stat : 15635 (java) S 15575 15578 13605 0 -1 1077944384 13406 12811 0 0 942 44 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758252067600 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15636] ppid=15575 vsize=11130628 CPUtime=9.93 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15636/stat : 15636 (java) S 15575 15578 13605 0 -1 1077944384 6746 12811 0 0 939 43 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758251015312 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15637] ppid=15575 vsize=11130628 CPUtime=10.01 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15637/stat : 15637 (java) S 15575 15578 13605 0 -1 1077944384 9168 12811 0 0 944 46 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758249962512 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15638] ppid=15575 vsize=11130628 CPUtime=9.95 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15638/stat : 15638 (java) S 15575 15578 13605 0 -1 1077944384 10824 12811 0 0 939 45 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758248909200 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15639] ppid=15575 vsize=11130628 CPUtime=9.94 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15639/stat : 15639 (java) S 15575 15578 13605 0 -1 1077944384 12241 12811 0 0 940 43 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758247856400 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15640] ppid=15575 vsize=11130628 CPUtime=10.03 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15640/stat : 15640 (java) S 15575 15578 13605 0 -1 1077944384 11233 12811 0 0 948 44 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758246804112 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15641] ppid=15575 vsize=11130628 CPUtime=10 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15641/stat : 15641 (java) S 15575 15578 13605 0 -1 1077944384 10402 12811 0 0 943 46 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758245751312 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15642] ppid=15575 vsize=11130628 CPUtime=7.52 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15642/stat : 15642 (java) R 15575 15578 13605 0 -1 4202560 25562 12811 0 0 702 39 8 3 20 0 22 0 4296221 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757667357744 139758312173179 0 0 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15643] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 13605 0 -1 1077944384 57 12811 0 0 0 0 8 3 20 0 22 0 4296222 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757666305280 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15644] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 13605 0 -1 1077944384 47 12811 0 0 0 0 8 3 20 0 22 0 4296222 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757665252992 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15645] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15645/stat : 15645 (java) S 15575 15578 13605 0 -1 1077944384 109 12811 0 0 0 0 8 3 20 0 22 0 4296226 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757664201296 139758327064475 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15646] ppid=15575 vsize=11130628 CPUtime=4.07 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15646/stat : 15646 (java) S 15575 15578 13605 0 -1 1077944384 10801 12811 0 0 394 2 8 3 20 0 22 0 4296226 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757663148144 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15647] ppid=15575 vsize=11130628 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15647/stat : 15647 (java) S 15575 15578 13605 0 -1 1077944384 16241 12811 0 0 453 2 8 3 20 0 22 0 4296226 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757662084672 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15648] ppid=15575 vsize=11130628 CPUtime=4.52 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15648/stat : 15648 (java) S 15575 15578 13605 0 -1 1077944384 15187 12811 0 0 439 2 8 3 20 0 22 0 4296226 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757661043056 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15649] ppid=15575 vsize=11130628 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15649/stat : 15649 (java) S 15575 15578 13605 0 -1 1077944384 13621 12811 0 0 241 3 8 3 20 0 22 0 4296226 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757659987760 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15650] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15650/stat : 15650 (java) S 15575 15578 13605 0 -1 1077944384 3 12811 0 0 0 0 8 3 20 0 22 0 4296227 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757658938208 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15651] ppid=15575 vsize=11130628 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15651/stat : 15651 (java) S 15575 15578 13605 0 -1 1077944384 2966 12811 0 0 61 66 8 3 20 0 22 0 4296227 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757657885488 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
Current children cumulated CPU time (s) 2403.28
Current children cumulated vsize (KiB) 11130628
[startup+2321.7 s]
/proc/loadavg: 1.52 1.37 1.34 3/282 15887
/proc/meminfo: memFree=28079728/32770624 swapFree=5844/244752
[pid=15578] ppid=15575 vsize=11130628 CPUtime=2403.85 cores=1,3,5,7,9,11,13,15
/proc/15578/stat : 15578 (java) S 15575 15578 13605 0 -1 1077944320 265259 12811 0 0 239895 479 8 3 20 0 22 0 4296205 11397763072 477421 33554432000 4194304 4196468 140726226238880 140726226221424 139758327045879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
/proc/15578/statm: 2782657 477421 3518 1 0 2770212 0
[pid=15578/tid=15633] ppid=15575 vsize=11130628 CPUtime=2300.1 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15633/stat : 15633 (java) S 15575 15578 13605 0 -1 1077944384 97649 12811 0 0 229953 46 8 3 20 0 22 0 4296218 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758331283424 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15634] ppid=15575 vsize=11130628 CPUtime=10.08 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15634/stat : 15634 (java) R 15575 15578 13605 0 -1 4202560 6737 12811 0 0 950 47 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758253120520 139758310428914 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15635] ppid=15575 vsize=11130628 CPUtime=10.04 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15635/stat : 15635 (java) R 15575 15578 13605 0 -1 4202560 13406 12811 0 0 949 44 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758252067800 139758319674087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15636] ppid=15575 vsize=11130628 CPUtime=10 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15636/stat : 15636 (java) R 15575 15578 13605 0 -1 4202560 6746 12811 0 0 946 43 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758251015512 139758319674087 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15637] ppid=15575 vsize=11130628 CPUtime=10.08 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15637/stat : 15637 (java) R 15575 15578 13605 0 -1 4202560 9168 12811 0 0 951 46 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758249962712 139758319674087 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15638] ppid=15575 vsize=11130628 CPUtime=10.02 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15638/stat : 15638 (java) R 15575 15578 13605 0 -1 4202560 10825 12811 0 0 946 45 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758248909400 139758310428914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15639] ppid=15575 vsize=11130628 CPUtime=10.01 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15639/stat : 15639 (java) R 15575 15578 13605 0 -1 4202560 12241 12811 0 0 947 43 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758247856520 139758319674087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15640] ppid=15575 vsize=11130628 CPUtime=10.1 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15640/stat : 15640 (java) R 15575 15578 13605 0 -1 4202560 11233 12811 0 0 955 44 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758246804312 139758319674087 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15641] ppid=15575 vsize=11130628 CPUtime=10.07 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15641/stat : 15641 (java) R 15575 15578 13605 0 -1 4202560 10402 12811 0 0 950 46 8 3 20 0 22 0 4296219 11397763072 477421 33554432000 4194304 4196468 140726226238880 139758245751512 139758311744661 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15642] ppid=15575 vsize=11130628 CPUtime=7.55 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15642/stat : 15642 (java) S 15575 15578 13605 0 -1 1077944384 25562 12811 0 0 705 39 8 3 20 0 22 0 4296221 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757667357968 139758327056085 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15643] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15643/stat : 15643 (java) S 15575 15578 13605 0 -1 1077944384 57 12811 0 0 0 0 8 3 20 0 22 0 4296222 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757666304880 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15644] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15644/stat : 15644 (java) S 15575 15578 13605 0 -1 1077944384 47 12811 0 0 0 0 8 3 20 0 22 0 4296222 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757665252992 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15645] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15645/stat : 15645 (java) S 15575 15578 13605 0 -1 1077944384 109 12811 0 0 0 0 8 3 20 0 22 0 4296226 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757664201296 139758327064475 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15646] ppid=15575 vsize=11130628 CPUtime=4.07 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15646/stat : 15646 (java) S 15575 15578 13605 0 -1 1077944384 10801 12811 0 0 394 2 8 3 20 0 22 0 4296226 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757663148144 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15647] ppid=15575 vsize=11130628 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15647/stat : 15647 (java) S 15575 15578 13605 0 -1 1077944384 16243 12811 0 0 453 2 8 3 20 0 22 0 4296226 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757662084864 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15648] ppid=15575 vsize=11130628 CPUtime=4.52 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15648/stat : 15648 (java) S 15575 15578 13605 0 -1 1077944384 15187 12811 0 0 439 2 8 3 20 0 22 0 4296226 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757661043056 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15649] ppid=15575 vsize=11130628 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15649/stat : 15649 (java) S 15575 15578 13605 0 -1 1077944384 13621 12811 0 0 241 3 8 3 20 0 22 0 4296226 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757659987760 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15650] ppid=15575 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15650/stat : 15650 (java) S 15575 15578 13605 0 -1 1077944384 3 12811 0 0 0 0 8 3 20 0 22 0 4296227 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757658938208 139758327056085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
[pid=15578/tid=15651] ppid=15575 vsize=11130628 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/15578/task/15651/stat : 15651 (java) S 15575 15578 13605 0 -1 1077944384 2966 12811 0 0 61 66 8 3 20 0 22 0 4296227 11397763072 477421 33554432000 4194304 4196468 140726226238880 139757657885488 139758327057026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35840000 140726226246337 140726226249111 140726226249111 140726226251727 0
Current children cumulated CPU time (s) 2403.85
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2321.74
CPU time (s): 2404.01
CPU user time (s): 2399.16
CPU system time (s): 4.85019
CPU usage (%): 103.544
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.16
system time used= 4.85019
maximum resident set size= 2107560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278187
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274790
involuntary context switches= 176602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9146 second user time and 21.4029 second system time
The end