runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3717987-1338257661/watcher-3717987-1338257661 -o /tmp/evaluation-result-3717987-1338257661/solver-3717987-1338257661 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717987-1338257661.wbo
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.02 2.01 3/193 22095
/proc/meminfo: memFree=28335552/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/22095/stat : 22095 (java) R 22093 22095 18511 0 -1 4202496 139 0 0 0 0 0 0 0 20 0 1 0 291891593 9445376 92 33554432000 1073741824 1073778376 140737380989888 140737380987016 270698323238 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22095/statm: 2306 93 74 9 0 38 0
[startup+0.031799 s]
/proc/loadavg: 2.09 2.02 2.01 3/193 22095
/proc/meminfo: memFree=28335552/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 2991 0 1 0 1 0 0 0 20 0 13 0 291891593 9446973440 3690 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22095/statm: 2306390 3690 1676 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560
[startup+0.100191 s]
/proc/loadavg: 2.09 2.02 2.01 3/193 22095
/proc/meminfo: memFree=28335552/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 4458 0 1 0 10 0 0 0 20 0 18 0 291891593 9787817984 6102 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22095/statm: 2389604 6102 2139 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416
[startup+0.300166 s]
/proc/loadavg: 2.09 2.02 2.01 3/193 22095
/proc/meminfo: memFree=28335552/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9558416 CPUtime=0.54 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 6724 0 1 0 53 1 0 0 20 0 18 0 291891593 9787817984 10904 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22095/statm: 2389604 10904 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558416
[startup+0.700249 s]
/proc/loadavg: 2.09 2.02 2.01 3/193 22095
/proc/meminfo: memFree=28335552/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9558416 CPUtime=1.32 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 8917 0 1 0 126 6 0 0 20 0 18 0 291891593 9787817984 45638 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22095/statm: 2389604 45638 2249 9 0 2380296 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9558416
[startup+1.5007 s]
/proc/loadavg: 2.09 2.02 2.01 3/211 22113
/proc/meminfo: memFree=27864908/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9558416 CPUtime=2.53 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 9722 0 1 0 232 21 0 0 20 0 18 0 291891593 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22095/statm: 2389604 98926 2249 9 0 2380296 0
[pid=22095/tid=22097] ppid=22093 vsize=9558416 CPUtime=1.3 cores=1,3,5,7
/proc/22095/task/22097/stat : 22097 (java) R 22093 22095 18511 0 -1 4202560 2558 0 1 0 126 4 0 0 20 0 18 0 291891594 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140454104558856 140453970768746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22098] ppid=22093 vsize=9558416 CPUtime=0.05 cores=1,3,5,7
/proc/22095/task/22098/stat : 22098 (java) S 22093 22095 18511 0 -1 4202560 53 0 0 0 4 1 0 0 20 0 18 0 291891594 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140454093621416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22099] ppid=22093 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/22095/task/22099/stat : 22099 (java) S 22093 22095 18511 0 -1 4202560 134 0 0 0 5 2 0 0 20 0 18 0 291891594 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140454092568872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22100] ppid=22093 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/22095/task/22100/stat : 22100 (java) S 22093 22095 18511 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 18 0 291891594 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140454091516328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22101] ppid=22093 vsize=9558416 CPUtime=0.11 cores=1,3,5,7
/proc/22095/task/22101/stat : 22101 (java) S 22093 22095 18511 0 -1 4202560 146 0 0 0 8 3 0 0 20 0 18 0 291891594 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140454090463784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22102] ppid=22093 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/22095/task/22102/stat : 22102 (java) S 22093 22095 18511 0 -1 4202560 98 0 0 0 5 1 0 0 20 0 18 0 291891594 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140454089411240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22103] ppid=22093 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/22095/task/22103/stat : 22103 (java) S 22093 22095 18511 0 -1 4202560 46 0 0 0 5 2 0 0 20 0 18 0 291891594 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453942606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22104] ppid=22093 vsize=9558416 CPUtime=0.05 cores=1,3,5,7
/proc/22095/task/22104/stat : 22104 (java) S 22093 22095 18511 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 18 0 291891594 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453941554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22105] ppid=22093 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/22095/task/22105/stat : 22105 (java) S 22093 22095 18511 0 -1 4202560 137 0 0 0 4 2 0 0 20 0 18 0 291891594 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453940501544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22106] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22106/stat : 22106 (java) S 22093 22095 18511 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 291891595 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453928302696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22107] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22107/stat : 22107 (java) S 22093 22095 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 291891596 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453927249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22108] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22108/stat : 22108 (java) S 22093 22095 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 291891596 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453926196360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22109] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22109/stat : 22109 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291891598 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453925145104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22110] ppid=22093 vsize=9558416 CPUtime=0.26 cores=1,3,5,7
/proc/22095/task/22110/stat : 22110 (java) S 22093 22095 18511 0 -1 4202560 2695 0 0 0 26 0 0 0 20 0 18 0 291891598 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453924092472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22111] ppid=22093 vsize=9558416 CPUtime=0.24 cores=1,3,5,7
/proc/22095/task/22111/stat : 22111 (java) S 22093 22095 18511 0 -1 4202560 2407 0 0 0 24 0 0 0 20 0 18 0 291891598 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453923039928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22112] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22112/stat : 22112 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291891598 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453921987576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22113] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22113/stat : 22113 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291891598 9787817984 98926 33554432000 1073741824 1073778376 140736262570752 140453920935240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 9558416
[startup+3.10065 s]
/proc/loadavg: 2.09 2.02 2.01 3/212 22114
/proc/meminfo: memFree=27624976/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9558416 CPUtime=4.81 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 11215 0 1 0 439 42 0 0 20 0 18 0 291891593 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22095/statm: 2389604 200345 2249 9 0 2380296 0
[pid=22095/tid=22097] ppid=22093 vsize=9558416 CPUtime=2.66 cores=1,3,5,7
/proc/22095/task/22097/stat : 22097 (java) R 22093 22095 18511 0 -1 4202560 2844 0 1 0 259 7 0 0 20 0 18 0 291891594 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140454104558984 270710924557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22098] ppid=22093 vsize=9558416 CPUtime=0.24 cores=1,3,5,7
/proc/22095/task/22098/stat : 22098 (java) S 22093 22095 18511 0 -1 4202560 182 0 0 0 18 6 0 0 20 0 18 0 291891594 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140454093621416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22099] ppid=22093 vsize=9558416 CPUtime=0.14 cores=1,3,5,7
/proc/22095/task/22099/stat : 22099 (java) S 22093 22095 18511 0 -1 4202560 434 0 0 0 11 3 0 0 20 0 18 0 291891594 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140454092568872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22100] ppid=22093 vsize=9558416 CPUtime=0.15 cores=1,3,5,7
/proc/22095/task/22100/stat : 22100 (java) S 22093 22095 18511 0 -1 4202560 94 0 0 0 11 4 0 0 20 0 18 0 291891594 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140454091516328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22101] ppid=22093 vsize=9558416 CPUtime=0.2 cores=1,3,5,7
/proc/22095/task/22101/stat : 22101 (java) S 22093 22095 18511 0 -1 4202560 182 0 0 0 15 5 0 0 20 0 18 0 291891594 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140454090463784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22102] ppid=22093 vsize=9558416 CPUtime=0.21 cores=1,3,5,7
/proc/22095/task/22102/stat : 22102 (java) S 22093 22095 18511 0 -1 4202560 281 0 0 0 16 5 0 0 20 0 18 0 291891594 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140454089411240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22103] ppid=22093 vsize=9558416 CPUtime=0.26 cores=1,3,5,7
/proc/22095/task/22103/stat : 22103 (java) S 22093 22095 18511 0 -1 4202560 115 0 0 0 21 5 0 0 20 0 18 0 291891594 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453942606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22104] ppid=22093 vsize=9558416 CPUtime=0.14 cores=1,3,5,7
/proc/22095/task/22104/stat : 22104 (java) S 22093 22095 18511 0 -1 4202560 84 0 0 0 11 3 0 0 20 0 18 0 291891594 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453941554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22105] ppid=22093 vsize=9558416 CPUtime=0.13 cores=1,3,5,7
/proc/22095/task/22105/stat : 22105 (java) S 22093 22095 18511 0 -1 4202560 173 0 0 0 10 3 0 0 20 0 18 0 291891594 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453940501544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22106] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22106/stat : 22106 (java) S 22093 22095 18511 0 -1 4202560 551 0 0 0 0 0 0 0 20 0 18 0 291891595 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453928302696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22107] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22107/stat : 22107 (java) S 22093 22095 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 291891596 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453927249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22108] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22108/stat : 22108 (java) S 22093 22095 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 291891596 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453926196360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22109] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22109/stat : 22109 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291891598 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453925145104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22110] ppid=22093 vsize=9558416 CPUtime=0.26 cores=1,3,5,7
/proc/22095/task/22110/stat : 22110 (java) S 22093 22095 18511 0 -1 4202560 2695 0 0 0 26 0 0 0 20 0 18 0 291891598 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453924092472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22111] ppid=22093 vsize=9558416 CPUtime=0.25 cores=1,3,5,7
/proc/22095/task/22111/stat : 22111 (java) S 22093 22095 18511 0 -1 4202560 2407 0 0 0 25 0 0 0 20 0 18 0 291891598 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453923039928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22112] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22112/stat : 22112 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291891598 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453921987576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22113] ppid=22093 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22113/stat : 22113 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291891598 9787817984 200345 33554432000 1073741824 1073778376 140736262570752 140453920935240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 9558416
[startup+6.3008 s]
/proc/loadavg: 2.64 2.14 2.04 3/213 22115
/proc/meminfo: memFree=27183444/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9624980 CPUtime=8.94 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 12557 0 1 0 843 51 0 0 20 0 19 0 291891593 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22095/statm: 2406245 225957 2269 9 0 2396937 0
[pid=22095/tid=22097] ppid=22093 vsize=9624980 CPUtime=5.71 cores=1,3,5,7
/proc/22095/task/22097/stat : 22097 (java) R 22093 22095 18511 0 -1 4202560 2860 0 1 0 563 8 0 0 20 0 19 0 291891594 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140454104558176 140453970974382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22098] ppid=22093 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/22095/task/22098/stat : 22098 (java) S 22093 22095 18511 0 -1 4202560 422 0 0 0 24 7 0 0 20 0 19 0 291891594 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140454093621416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22099] ppid=22093 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/22095/task/22099/stat : 22099 (java) S 22093 22095 18511 0 -1 4202560 450 0 0 0 17 4 0 0 20 0 19 0 291891594 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140454092568872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22100] ppid=22093 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/22095/task/22100/stat : 22100 (java) S 22093 22095 18511 0 -1 4202560 115 0 0 0 17 4 0 0 20 0 19 0 291891594 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140454091516328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22101] ppid=22093 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/22095/task/22101/stat : 22101 (java) S 22093 22095 18511 0 -1 4202560 222 0 0 0 24 6 0 0 20 0 19 0 291891594 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140454090463784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22102] ppid=22093 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/22095/task/22102/stat : 22102 (java) S 22093 22095 18511 0 -1 4202560 504 0 0 0 21 6 0 0 20 0 19 0 291891594 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140454089411240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22103] ppid=22093 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/22095/task/22103/stat : 22103 (java) S 22093 22095 18511 0 -1 4202560 137 0 0 0 26 5 0 0 20 0 19 0 291891594 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453942606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22104] ppid=22093 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/22095/task/22104/stat : 22104 (java) S 22093 22095 18511 0 -1 4202560 128 0 0 0 20 5 0 0 20 0 19 0 291891594 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453941554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22105] ppid=22093 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/22095/task/22105/stat : 22105 (java) S 22093 22095 18511 0 -1 4202560 215 0 0 0 17 4 0 0 20 0 19 0 291891594 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453940501544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22106] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22106/stat : 22106 (java) S 22093 22095 18511 0 -1 4202560 562 0 0 0 0 0 0 0 20 0 19 0 291891595 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453928302696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22107] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22107/stat : 22107 (java) S 22093 22095 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291891596 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453927249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22108] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22108/stat : 22108 (java) S 22093 22095 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291891596 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453926196360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22109] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22109/stat : 22109 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453925145104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22110] ppid=22093 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/22095/task/22110/stat : 22110 (java) S 22093 22095 18511 0 -1 4202560 2699 0 0 0 43 0 0 0 20 0 19 0 291891598 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453924092472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22111] ppid=22093 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/22095/task/22111/stat : 22111 (java) S 22093 22095 18511 0 -1 4202560 3063 0 0 0 54 0 0 0 20 0 19 0 291891598 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453923039928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22112] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22112/stat : 22112 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453921987576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22113] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22113/stat : 22113 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453920935240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22115] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22115/stat : 22115 (java) S 22093 22095 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291892059 9855979520 225957 33554432000 1073741824 1073778376 140736262570752 140453919879976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.94
Current children cumulated vsize (KiB) 9624980
[startup+12.7008 s]
/proc/loadavg: 2.59 2.13 2.04 3/213 22115
/proc/meminfo: memFree=26973144/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9624980 CPUtime=15.63 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 16378 0 1 0 1509 54 0 0 20 0 19 0 291891593 9855979520 278196 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
[pid=22095/tid=22103] ppid=22093 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/22095/task/22103/stat : 22103 (java) S 22093 22095 18511 0 -1 4202560 3870 0 0 0 51 9 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453942606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22104] ppid=22093 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/22095/task/22104/stat : 22104 (java) S 22093 22095 18511 0 -1 4202560 5243 0 0 0 52 10 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453941554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22105] ppid=22093 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/22095/task/22105/stat : 22105 (java) S 22093 22095 18511 0 -1 4202560 4926 0 0 0 42 9 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453940501544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22106] ppid=22093 vsize=9624980 CPUtime=10.53 cores=1,3,5,7
/proc/22095/task/22106/stat : 22106 (java) S 22093 22095 18511 0 -1 4202560 1939 0 0 0 1044 9 0 0 20 0 19 0 291891595 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453928302696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22107] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22107/stat : 22107 (java) S 22093 22095 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291891596 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453927249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22108] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22108/stat : 22108 (java) S 22093 22095 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291891596 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453926196360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22109] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22109/stat : 22109 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453925145104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22110] ppid=22093 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/22095/task/22110/stat : 22110 (java) S 22093 22095 18511 0 -1 4202560 3396 0 0 0 71 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453924092472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22111] ppid=22093 vsize=9624980 CPUtime=0.78 cores=1,3,5,7
/proc/22095/task/22111/stat : 22111 (java) S 22093 22095 18511 0 -1 4202560 5640 0 0 0 76 2 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453923039928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22112] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22112/stat : 22112 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453921987576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22113] ppid=22093 vsize=9624980 CPUtime=0.77 cores=1,3,5,7
/proc/22095/task/22113/stat : 22113 (java) S 22093 22095 18511 0 -1 4202560 99 0 0 0 34 43 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453920935240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22115] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22115/stat : 22115 (java) S 22093 22095 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291892059 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453919879976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.66
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 22131
/proc/meminfo: memFree=25689508/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9624980 CPUtime=1787.67 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 56627 0 1 0 178626 141 0 0 20 0 19 0 291891593 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22095/statm: 2406245 524849 2282 9 0 2396937 0
[pid=22095/tid=22097] ppid=22093 vsize=9624980 CPUtime=1770.23 cores=1,3,5,7
/proc/22095/task/22097/stat : 22097 (java) R 22093 22095 18511 0 -1 4202560 3576 0 1 0 176982 41 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454104559936 140453971272368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22098] ppid=22093 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/22095/task/22098/stat : 22098 (java) S 22093 22095 18511 0 -1 4202560 4713 0 0 0 49 11 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454093621416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22099] ppid=22093 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/22095/task/22099/stat : 22099 (java) S 22093 22095 18511 0 -1 4202560 5982 0 0 0 56 10 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454092568872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22100] ppid=22093 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/22095/task/22100/stat : 22100 (java) S 22093 22095 18511 0 -1 4202560 5702 0 0 0 36 7 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454091516328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22101] ppid=22093 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/22095/task/22101/stat : 22101 (java) S 22093 22095 18511 0 -1 4202560 5035 0 0 0 54 11 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454090463784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22102] ppid=22093 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/22095/task/22102/stat : 22102 (java) S 22093 22095 18511 0 -1 4202560 5323 0 0 0 53 10 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454089411240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22103] ppid=22093 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/22095/task/22103/stat : 22103 (java) S 22093 22095 18511 0 -1 4202560 3870 0 0 0 51 9 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453942606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22104] ppid=22093 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/22095/task/22104/stat : 22104 (java) S 22093 22095 18511 0 -1 4202560 5243 0 0 0 52 10 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453941554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22105] ppid=22093 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/22095/task/22105/stat : 22105 (java) S 22093 22095 18511 0 -1 4202560 4926 0 0 0 42 9 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453940501544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22106] ppid=22093 vsize=9624980 CPUtime=10.53 cores=1,3,5,7
/proc/22095/task/22106/stat : 22106 (java) S 22093 22095 18511 0 -1 4202560 1939 0 0 0 1044 9 0 0 20 0 19 0 291891595 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453928302696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22107] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22107/stat : 22107 (java) S 22093 22095 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291891596 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453927249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22108] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22108/stat : 22108 (java) S 22093 22095 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291891596 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453926196360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22109] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22109/stat : 22109 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453925145104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22110] ppid=22093 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/22095/task/22110/stat : 22110 (java) S 22093 22095 18511 0 -1 4202560 3396 0 0 0 71 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453924092472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22111] ppid=22093 vsize=9624980 CPUtime=0.78 cores=1,3,5,7
/proc/22095/task/22111/stat : 22111 (java) S 22093 22095 18511 0 -1 4202560 5640 0 0 0 76 2 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453923039928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22112] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22112/stat : 22112 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453921987576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22113] ppid=22093 vsize=9624980 CPUtime=0.8 cores=1,3,5,7
/proc/22095/task/22113/stat : 22113 (java) S 22093 22095 18511 0 -1 4202560 103 0 0 0 36 44 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453920935240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22115] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22115/stat : 22115 (java) S 22093 22095 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291892059 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453919879976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.67
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.7 s]
/proc/loadavg: 2.00 2.00 2.00 2/193 22134
/proc/meminfo: memFree=26760984/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 56627 0 1 0 179867 141 0 0 20 0 19 0 291891593 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22095/statm: 2406245 524849 2282 9 0 2396937 0
[pid=22095/tid=22097] ppid=22093 vsize=9624980 CPUtime=1782.64 cores=1,3,5,7
/proc/22095/task/22097/stat : 22097 (java) R 22093 22095 18511 0 -1 4202560 3576 0 1 0 178222 42 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454104559936 140453971272346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22098] ppid=22093 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/22095/task/22098/stat : 22098 (java) S 22093 22095 18511 0 -1 4202560 4713 0 0 0 49 11 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454093621416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22099] ppid=22093 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/22095/task/22099/stat : 22099 (java) S 22093 22095 18511 0 -1 4202560 5982 0 0 0 56 10 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454092568872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22100] ppid=22093 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/22095/task/22100/stat : 22100 (java) S 22093 22095 18511 0 -1 4202560 5702 0 0 0 36 7 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454091516328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22101] ppid=22093 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/22095/task/22101/stat : 22101 (java) S 22093 22095 18511 0 -1 4202560 5035 0 0 0 54 11 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454090463784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22102] ppid=22093 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/22095/task/22102/stat : 22102 (java) S 22093 22095 18511 0 -1 4202560 5323 0 0 0 53 10 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454089411240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22103] ppid=22093 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/22095/task/22103/stat : 22103 (java) S 22093 22095 18511 0 -1 4202560 3870 0 0 0 51 9 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453942606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22104] ppid=22093 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/22095/task/22104/stat : 22104 (java) S 22093 22095 18511 0 -1 4202560 5243 0 0 0 52 10 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453941554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22105] ppid=22093 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/22095/task/22105/stat : 22105 (java) S 22093 22095 18511 0 -1 4202560 4926 0 0 0 42 9 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453940501544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22106] ppid=22093 vsize=9624980 CPUtime=10.53 cores=1,3,5,7
/proc/22095/task/22106/stat : 22106 (java) S 22093 22095 18511 0 -1 4202560 1939 0 0 0 1044 9 0 0 20 0 19 0 291891595 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453928302696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22107] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22107/stat : 22107 (java) S 22093 22095 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291891596 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453927249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22108] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22108/stat : 22108 (java) S 22093 22095 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291891596 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453926196360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22109] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22109/stat : 22109 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453925145104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22110] ppid=22093 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/22095/task/22110/stat : 22110 (java) S 22093 22095 18511 0 -1 4202560 3396 0 0 0 71 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453924092472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22111] ppid=22093 vsize=9624980 CPUtime=0.78 cores=1,3,5,7
/proc/22095/task/22111/stat : 22111 (java) S 22093 22095 18511 0 -1 4202560 5640 0 0 0 76 2 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453923039928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22112] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22112/stat : 22112 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453921987576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22113] ppid=22093 vsize=9624980 CPUtime=0.8 cores=1,3,5,7
/proc/22095/task/22113/stat : 22113 (java) S 22093 22095 18511 0 -1 4202560 103 0 0 0 36 44 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453920935240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22115] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22115/stat : 22115 (java) S 22093 22095 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291892059 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453919879976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.7 s]
/proc/loadavg: 2.00 2.00 2.00 2/193 22134
/proc/meminfo: memFree=26760984/32873648 swapFree=6864/6864
[pid=22095] ppid=22093 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/22095/stat : 22095 (java) S 22093 22095 18511 0 -1 4202496 56627 0 1 0 179867 141 0 0 20 0 19 0 291891593 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140736262561888 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22095/statm: 2406245 524849 2282 9 0 2396937 0
[pid=22095/tid=22097] ppid=22093 vsize=9624980 CPUtime=1782.64 cores=1,3,5,7
/proc/22095/task/22097/stat : 22097 (java) R 22093 22095 18511 0 -1 4202560 3576 0 1 0 178222 42 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454104559936 140453971272346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22098] ppid=22093 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/22095/task/22098/stat : 22098 (java) S 22093 22095 18511 0 -1 4202560 4713 0 0 0 49 11 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454093621416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22099] ppid=22093 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/22095/task/22099/stat : 22099 (java) S 22093 22095 18511 0 -1 4202560 5982 0 0 0 56 10 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454092568872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22100] ppid=22093 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/22095/task/22100/stat : 22100 (java) S 22093 22095 18511 0 -1 4202560 5702 0 0 0 36 7 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454091516328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22101] ppid=22093 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/22095/task/22101/stat : 22101 (java) S 22093 22095 18511 0 -1 4202560 5035 0 0 0 54 11 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454090463784 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22102] ppid=22093 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/22095/task/22102/stat : 22102 (java) S 22093 22095 18511 0 -1 4202560 5323 0 0 0 53 10 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140454089411240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22103] ppid=22093 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/22095/task/22103/stat : 22103 (java) S 22093 22095 18511 0 -1 4202560 3870 0 0 0 51 9 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453942606632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22095/tid=22104] ppid=22093 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/22095/task/22104/stat : 22104 (java) S 22093 22095 18511 0 -1 4202560 5243 0 0 0 52 10 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453941554088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22105] ppid=22093 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/22095/task/22105/stat : 22105 (java) S 22093 22095 18511 0 -1 4202560 4926 0 0 0 42 9 0 0 20 0 19 0 291891594 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453940501544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22106] ppid=22093 vsize=9624980 CPUtime=10.53 cores=1,3,5,7
/proc/22095/task/22106/stat : 22106 (java) S 22093 22095 18511 0 -1 4202560 1939 0 0 0 1044 9 0 0 20 0 19 0 291891595 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453928302696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22107] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22107/stat : 22107 (java) S 22093 22095 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291891596 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453927249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22108] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22108/stat : 22108 (java) S 22093 22095 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291891596 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453926196360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22109] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22109/stat : 22109 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453925145104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22095/tid=22110] ppid=22093 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/22095/task/22110/stat : 22110 (java) S 22093 22095 18511 0 -1 4202560 3396 0 0 0 71 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453924092472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22111] ppid=22093 vsize=9624980 CPUtime=0.78 cores=1,3,5,7
/proc/22095/task/22111/stat : 22111 (java) S 22093 22095 18511 0 -1 4202560 5640 0 0 0 76 2 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453923039928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22112] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22112/stat : 22112 (java) S 22093 22095 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453921987576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22095/tid=22113] ppid=22093 vsize=9624980 CPUtime=0.8 cores=1,3,5,7
/proc/22095/task/22113/stat : 22113 (java) S 22093 22095 18511 0 -1 4202560 103 0 0 0 36 44 0 0 20 0 19 0 291891598 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453920935240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22095/tid=22115] ppid=22093 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/22095/task/22115/stat : 22115 (java) S 22093 22095 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291892059 9855979520 524849 33554432000 1073741824 1073778376 140736262570752 140453919879976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980
Child status: 143
Real time (s): 1794.76
CPU time (s): 1800.53
CPU user time (s): 1798.65
CPU system time (s): 1.88071
CPU usage (%): 100.321
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 1.88071
maximum resident set size= 2099548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56669
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41007
involuntary context switches= 13782
runsolver used 6.35003 second user time and 15.5026 second system time
The end