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-3689641-1337891956/watcher-3689641-1337891956 -o /tmp/evaluation-result-3689641-1337891956/solver-3689641-1337891956 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689641-1337891956.opb
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.55 2.12 2.04 3/194 24020
/proc/meminfo: memFree=24461736/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24020/stat : 24020 (java) D 24018 24020 21352 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255324175 9515008 182 33554432000 1073741824 1073778376 140734447536880 140734447527912 240426761909 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/24020/statm: 2323 182 140 9 0 71 0
[startup+0.026616 s]
/proc/loadavg: 2.55 2.12 2.04 3/194 24020
/proc/meminfo: memFree=24461736/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9014776 CPUtime=0.01 cores=1,3,5,7
/proc/24020/stat : 24020 (java) S 24018 24020 21352 0 -1 4202496 2228 0 1 0 0 1 0 0 20 0 10 0 255324175 9231130624 2929 33554432000 1073741824 1073778376 140737178705488 140737178696624 240430121021 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24020/statm: 2253694 2929 1080 9 0 2244803 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9014776
[startup+0.100271 s]
/proc/loadavg: 2.55 2.12 2.04 3/194 24020
/proc/meminfo: memFree=24461736/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/24020/stat : 24020 (java) S 24018 24020 21352 0 -1 4202496 4248 0 1 0 8 1 0 0 20 0 18 0 255324175 9787813888 5450 33554432000 1073741824 1073778376 140737178705488 140737178696624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24020/statm: 2389603 5451 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.30023 s]
/proc/loadavg: 2.55 2.12 2.04 3/194 24020
/proc/meminfo: memFree=24461736/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9558412 CPUtime=0.56 cores=1,3,5,7
/proc/24020/stat : 24020 (java) S 24018 24020 21352 0 -1 4202496 7339 0 1 0 54 2 0 0 20 0 18 0 255324175 9787813888 9806 33554432000 1073741824 1073778376 140737178705488 140737178696624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24020/statm: 2389603 9806 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558412
[startup+0.700217 s]
/proc/loadavg: 2.55 2.12 2.04 3/194 24020
/proc/meminfo: memFree=24461736/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/24020/stat : 24020 (java) S 24018 24020 21352 0 -1 4202496 8899 0 1 0 129 3 0 0 20 0 19 0 255324175 9855975424 14716 33554432000 1073741824 1073778376 140737178705488 140737178696624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24020/statm: 2406244 14716 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9624976
[startup+1.5006 s]
/proc/loadavg: 2.55 2.12 2.04 3/213 24039
/proc/meminfo: memFree=24408280/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9624976 CPUtime=2.19 cores=1,3,5,7
/proc/24020/stat : 24020 (java) S 24018 24020 21352 0 -1 4202496 8961 0 1 0 216 3 0 0 20 0 19 0 255324175 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 140737178696624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24020/statm: 2406244 18347 2274 9 0 2396937 0
[pid=24020/tid=24022] ppid=24018 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/24020/task/24022/stat : 24022 (java) R 24018 24020 21352 0 -1 4202560 2469 0 1 0 142 2 0 0 20 0 19 0 255324176 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139803436282232 139803283280112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24023] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24023/stat : 24023 (java) S 24018 24020 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139803408734760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24024] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24024/stat : 24024 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139803407681960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24025] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24025/stat : 24025 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139803406629160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24026] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24026/stat : 24026 (java) S 24018 24020 21352 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139803405576360 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24027] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24027/stat : 24027 (java) S 24018 24020 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139803404524584 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24028] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24028/stat : 24028 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139803403471784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24029] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24029/stat : 24029 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139803402418984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24030] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24030/stat : 24030 (java) S 24018 24020 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139803401366184 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24031] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24031/stat : 24031 (java) S 24018 24020 21352 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139802789775848 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24032] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24032/stat : 24032 (java) S 24018 24020 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139802788721912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24033] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24033/stat : 24033 (java) S 24018 24020 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139802787669000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24034] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24034/stat : 24034 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139802786617488 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24035] ppid=24018 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/24020/task/24035/stat : 24035 (java) S 24018 24020 21352 0 -1 4202560 2698 0 0 0 32 0 0 0 20 0 19 0 255324182 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139802785565624 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24036] ppid=24018 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/24020/task/24036/stat : 24036 (java) S 24018 24020 21352 0 -1 4202560 2549 0 0 0 36 0 0 0 20 0 19 0 255324182 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139802784512824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24037] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24037/stat : 24037 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139802783460216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24038] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24038/stat : 24038 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139802782407624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24039] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24039/stat : 24039 (java) S 24018 24020 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255324213 9855975424 18347 33554432000 1073741824 1073778376 140737178705488 139802781353128 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9624976
[startup+3.10061 s]
/proc/loadavg: 2.55 2.12 2.04 3/213 24039
/proc/meminfo: memFree=24391524/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9624976 CPUtime=3.84 cores=1,3,5,7
/proc/24020/stat : 24020 (java) S 24018 24020 21352 0 -1 4202496 8988 0 1 0 380 4 0 0 20 0 19 0 255324175 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 140737178696624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24020/statm: 2406244 20411 2275 9 0 2396937 0
[pid=24020/tid=24022] ppid=24018 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/24020/task/24022/stat : 24022 (java) R 24018 24020 21352 0 -1 4202560 2470 0 1 0 299 2 0 0 20 0 19 0 255324176 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139803436282144 139803283261897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24023] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24023/stat : 24023 (java) S 24018 24020 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139803408734760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24024] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24024/stat : 24024 (java) S 24018 24020 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139803407681960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24025] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24025/stat : 24025 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139803406629160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24026] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24026/stat : 24026 (java) S 24018 24020 21352 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139803405576360 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24027] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24027/stat : 24027 (java) S 24018 24020 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139803404524584 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24028] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24028/stat : 24028 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139803403471784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24029] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24029/stat : 24029 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139803402418984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24030] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24030/stat : 24030 (java) S 24018 24020 21352 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139803401366184 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24031] ppid=24018 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/24020/task/24031/stat : 24031 (java) S 24018 24020 21352 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 255324179 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139802789775848 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24032] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24032/stat : 24032 (java) S 24018 24020 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139802788721912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24033] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24033/stat : 24033 (java) S 24018 24020 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139802787669000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24034] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24034/stat : 24034 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139802786617488 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24035] ppid=24018 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/24020/task/24035/stat : 24035 (java) S 24018 24020 21352 0 -1 4202560 2699 0 0 0 34 0 0 0 20 0 19 0 255324182 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139802785565624 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24036] ppid=24018 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/24020/task/24036/stat : 24036 (java) S 24018 24020 21352 0 -1 4202560 2550 0 0 0 38 0 0 0 20 0 19 0 255324182 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139802784512824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24037] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24037/stat : 24037 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139802783460216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24038] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24038/stat : 24038 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139802782407624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24039] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24039/stat : 24039 (java) S 24018 24020 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255324213 9855975424 20411 33554432000 1073741824 1073778376 140737178705488 139802781353128 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9624976
[startup+6.30075 s]
/proc/loadavg: 2.51 2.11 2.04 3/213 24039
/proc/meminfo: memFree=24382960/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9624976 CPUtime=7.12 cores=1,3,5,7
/proc/24020/stat : 24020 (java) S 24018 24020 21352 0 -1 4202496 9017 0 1 0 707 5 0 0 20 0 19 0 255324175 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 140737178696624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24020/statm: 2406244 21430 2275 9 0 2396937 0
[pid=24020/tid=24022] ppid=24018 vsize=9624976 CPUtime=6.12 cores=1,3,5,7
/proc/24020/task/24022/stat : 24022 (java) R 24018 24020 21352 0 -1 4202560 2474 0 1 0 610 2 0 0 20 0 19 0 255324176 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139803436282144 139803283330407 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24023] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24023/stat : 24023 (java) S 24018 24020 21352 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139803408734760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24024] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24024/stat : 24024 (java) S 24018 24020 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139803407681960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24025] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24025/stat : 24025 (java) S 24018 24020 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139803406629160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24026] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24026/stat : 24026 (java) S 24018 24020 21352 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139803405576360 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24027] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24027/stat : 24027 (java) S 24018 24020 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139803404524584 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24028] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24028/stat : 24028 (java) S 24018 24020 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139803403471784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24029] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24029/stat : 24029 (java) S 24018 24020 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139803402418984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24030] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24030/stat : 24030 (java) S 24018 24020 21352 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255324178 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139803401366184 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24031] ppid=24018 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24020/task/24031/stat : 24031 (java) S 24018 24020 21352 0 -1 4202560 32 0 0 0 9 0 0 0 20 0 19 0 255324179 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139802789775848 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24032] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24032/stat : 24032 (java) S 24018 24020 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139802788721912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24033] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24033/stat : 24033 (java) S 24018 24020 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139802787669000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24034] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24034/stat : 24034 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139802786617488 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24035] ppid=24018 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/24020/task/24035/stat : 24035 (java) S 24018 24020 21352 0 -1 4202560 2699 0 0 0 34 0 0 0 20 0 19 0 255324182 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139802785565624 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24036] ppid=24018 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/24020/task/24036/stat : 24036 (java) S 24018 24020 21352 0 -1 4202560 2559 0 0 0 43 0 0 0 20 0 19 0 255324182 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139802784512824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24037] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24037/stat : 24037 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139802783460216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24038] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24038/stat : 24038 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139802782407624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24039] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24039/stat : 24039 (java) S 24018 24020 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255324213 9855975424 21430 33554432000 1073741824 1073778376 140737178705488 139802781353128 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=24020/tid=24028] ppid=24018 vsize=9624976 CPUtime=4.98 cores=1,3,5,7
/proc/24020/task/24028/stat : 24028 (java) S 24018 24020 21352 0 -1 4202560 2317 0 0 0 483 15 0 0 20 0 19 0 255324178 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139803403471784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24029] ppid=24018 vsize=9624976 CPUtime=5.04 cores=1,3,5,7
/proc/24020/task/24029/stat : 24029 (java) S 24018 24020 21352 0 -1 4202560 1161 0 0 0 489 15 0 0 20 0 19 0 255324178 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139803402418984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24030] ppid=24018 vsize=9624976 CPUtime=4.95 cores=1,3,5,7
/proc/24020/task/24030/stat : 24030 (java) S 24018 24020 21352 0 -1 4202560 2064 0 0 0 482 13 0 0 20 0 19 0 255324178 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139803401366184 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24031] ppid=24018 vsize=9624976 CPUtime=4.82 cores=1,3,5,7
/proc/24020/task/24031/stat : 24031 (java) S 24018 24020 21352 0 -1 4202560 663 0 0 0 474 8 0 0 20 0 19 0 255324179 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139802789775848 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24032] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24032/stat : 24032 (java) S 24018 24020 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139802788721912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24033] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24033/stat : 24033 (java) S 24018 24020 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139802787669000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24034] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24034/stat : 24034 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139802786617488 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24035] ppid=24018 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/24020/task/24035/stat : 24035 (java) S 24018 24020 21352 0 -1 4202560 2708 0 0 0 35 0 0 0 20 0 19 0 255324182 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139802785565624 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24036] ppid=24018 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/24020/task/24036/stat : 24036 (java) S 24018 24020 21352 0 -1 4202560 2559 0 0 0 43 0 0 0 20 0 19 0 255324182 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139802784512824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24037] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24037/stat : 24037 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139802783460216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24038] ppid=24018 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/24020/task/24038/stat : 24038 (java) S 24018 24020 21352 0 -1 4202560 95 0 0 0 37 32 0 0 20 0 19 0 255324182 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139802782407624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24039] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24039/stat : 24039 (java) S 24018 24020 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255324213 9855975424 130873 33554432000 1073741824 1073778376 140737178705488 139802781353128 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1691.98
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 24136
/proc/meminfo: memFree=23974684/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9624976 CPUtime=1753.25 cores=1,3,5,7
/proc/24020/stat : 24020 (java) S 24018 24020 21352 0 -1 4202496 26922 0 1 0 175173 152 0 0 20 0 19 0 255324175 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 140737178696624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24020/statm: 2406244 135145 2276 9 0 2396937 0
[pid=24020/tid=24022] ppid=24018 vsize=9624976 CPUtime=1705.79 cores=1,3,5,7
/proc/24020/task/24022/stat : 24022 (java) R 24018 24020 21352 0 -1 4202560 2978 0 1 0 170548 31 0 0 20 0 19 0 255324176 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139803436281200 139803283357608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24023] ppid=24018 vsize=9624976 CPUtime=5.2 cores=1,3,5,7
/proc/24020/task/24023/stat : 24023 (java) S 24018 24020 21352 0 -1 4202560 2121 0 0 0 509 11 0 0 20 0 19 0 255324178 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139803408734760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24024] ppid=24018 vsize=9624976 CPUtime=5.16 cores=1,3,5,7
/proc/24020/task/24024/stat : 24024 (java) S 24018 24020 21352 0 -1 4202560 2385 0 0 0 504 12 0 0 20 0 19 0 255324178 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139803407681960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24025] ppid=24018 vsize=9624976 CPUtime=5.08 cores=1,3,5,7
/proc/24020/task/24025/stat : 24025 (java) S 24018 24020 21352 0 -1 4202560 2329 0 0 0 496 12 0 0 20 0 19 0 255324178 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139803406629160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24026] ppid=24018 vsize=9624976 CPUtime=5.16 cores=1,3,5,7
/proc/24020/task/24026/stat : 24026 (java) S 24018 24020 21352 0 -1 4202560 2168 0 0 0 503 13 0 0 20 0 19 0 255324178 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139803405576360 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24027] ppid=24018 vsize=9624976 CPUtime=5.04 cores=1,3,5,7
/proc/24020/task/24027/stat : 24027 (java) S 24018 24020 21352 0 -1 4202560 1803 0 0 0 491 13 0 0 20 0 19 0 255324178 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139803404524584 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24028] ppid=24018 vsize=9624976 CPUtime=5.21 cores=1,3,5,7
/proc/24020/task/24028/stat : 24028 (java) S 24018 24020 21352 0 -1 4202560 2520 0 0 0 505 16 0 0 20 0 19 0 255324178 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139803403471784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24029] ppid=24018 vsize=9624976 CPUtime=5.25 cores=1,3,5,7
/proc/24020/task/24029/stat : 24029 (java) S 24018 24020 21352 0 -1 4202560 1323 0 0 0 510 15 0 0 20 0 19 0 255324178 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139803402418984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24030] ppid=24018 vsize=9624976 CPUtime=5.14 cores=1,3,5,7
/proc/24020/task/24030/stat : 24030 (java) S 24018 24020 21352 0 -1 4202560 2064 0 0 0 501 13 0 0 20 0 19 0 255324178 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139803401366184 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24031] ppid=24018 vsize=9624976 CPUtime=4.99 cores=1,3,5,7
/proc/24020/task/24031/stat : 24031 (java) S 24018 24020 21352 0 -1 4202560 681 0 0 0 491 8 0 0 20 0 19 0 255324179 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139802789775848 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24032] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24032/stat : 24032 (java) S 24018 24020 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139802788721912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24033] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24033/stat : 24033 (java) S 24018 24020 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139802787669000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24034] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24034/stat : 24034 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139802786617488 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24035] ppid=24018 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/24020/task/24035/stat : 24035 (java) S 24018 24020 21352 0 -1 4202560 2708 0 0 0 35 0 0 0 20 0 19 0 255324182 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139802785565624 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24036] ppid=24018 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/24020/task/24036/stat : 24036 (java) S 24018 24020 21352 0 -1 4202560 2559 0 0 0 43 0 0 0 20 0 19 0 255324182 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139802784512824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24037] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24037/stat : 24037 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139802783460216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24038] ppid=24018 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/24020/task/24038/stat : 24038 (java) S 24018 24020 21352 0 -1 4202560 99 0 0 0 39 34 0 0 20 0 19 0 255324182 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139802782407624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24039] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24039/stat : 24039 (java) S 24018 24020 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255324213 9855975424 135145 33554432000 1073741824 1073778376 140737178705488 139802781353128 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1753.25
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1768.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 24136
/proc/meminfo: memFree=23396716/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/24020/stat : 24020 (java) S 24018 24020 21352 0 -1 4202496 26933 0 1 0 179856 154 0 0 20 0 19 0 255324175 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 140737178696624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24020/statm: 2406244 135140 2276 9 0 2396937 0
[pid=24020/tid=24022] ppid=24018 vsize=9624976 CPUtime=1751.76 cores=1,3,5,7
/proc/24020/task/24022/stat : 24022 (java) R 24018 24020 21352 0 -1 4202560 2985 0 1 0 175144 32 0 0 20 0 19 0 255324176 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803436281200 139803283309705 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24023] ppid=24018 vsize=9624976 CPUtime=5.33 cores=1,3,5,7
/proc/24020/task/24023/stat : 24023 (java) S 24018 24020 21352 0 -1 4202560 2121 0 0 0 522 11 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803408734760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24024] ppid=24018 vsize=9624976 CPUtime=5.28 cores=1,3,5,7
/proc/24020/task/24024/stat : 24024 (java) S 24018 24020 21352 0 -1 4202560 2385 0 0 0 516 12 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803407681960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24025] ppid=24018 vsize=9624976 CPUtime=5.21 cores=1,3,5,7
/proc/24020/task/24025/stat : 24025 (java) S 24018 24020 21352 0 -1 4202560 2329 0 0 0 509 12 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803406629160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24026] ppid=24018 vsize=9624976 CPUtime=5.23 cores=1,3,5,7
/proc/24020/task/24026/stat : 24026 (java) S 24018 24020 21352 0 -1 4202560 2168 0 0 0 510 13 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803405576360 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24027] ppid=24018 vsize=9624976 CPUtime=5.18 cores=1,3,5,7
/proc/24020/task/24027/stat : 24027 (java) S 24018 24020 21352 0 -1 4202560 1803 0 0 0 505 13 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803404524584 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24028] ppid=24018 vsize=9624976 CPUtime=5.29 cores=1,3,5,7
/proc/24020/task/24028/stat : 24028 (java) S 24018 24020 21352 0 -1 4202560 2520 0 0 0 513 16 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803403471784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24029] ppid=24018 vsize=9624976 CPUtime=5.34 cores=1,3,5,7
/proc/24020/task/24029/stat : 24029 (java) S 24018 24020 21352 0 -1 4202560 1323 0 0 0 519 15 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803402418984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24030] ppid=24018 vsize=9624976 CPUtime=5.25 cores=1,3,5,7
/proc/24020/task/24030/stat : 24030 (java) S 24018 24020 21352 0 -1 4202560 2064 0 0 0 512 13 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803401366184 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24031] ppid=24018 vsize=9624976 CPUtime=4.99 cores=1,3,5,7
/proc/24020/task/24031/stat : 24031 (java) S 24018 24020 21352 0 -1 4202560 683 0 0 0 491 8 0 0 20 0 19 0 255324179 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802789775848 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24032] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24032/stat : 24032 (java) S 24018 24020 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802788721912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24033] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24033/stat : 24033 (java) S 24018 24020 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802787669000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24034] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24034/stat : 24034 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802786617488 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24035] ppid=24018 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/24020/task/24035/stat : 24035 (java) S 24018 24020 21352 0 -1 4202560 2708 0 0 0 35 0 0 0 20 0 19 0 255324182 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802785565624 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24036] ppid=24018 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/24020/task/24036/stat : 24036 (java) S 24018 24020 21352 0 -1 4202560 2559 0 0 0 43 0 0 0 20 0 19 0 255324182 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802784512824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24037] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24037/stat : 24037 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802783460216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24038] ppid=24018 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/24020/task/24038/stat : 24038 (java) S 24018 24020 21352 0 -1 4202560 101 0 0 0 40 34 0 0 20 0 19 0 255324182 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802782407624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24039] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24039/stat : 24039 (java) S 24018 24020 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255324213 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802781353128 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1768.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 24136
/proc/meminfo: memFree=23396716/32873844 swapFree=6080/6080
[pid=24020] ppid=24018 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/24020/stat : 24020 (java) S 24018 24020 21352 0 -1 4202496 26933 0 1 0 179856 154 0 0 20 0 19 0 255324175 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 140737178696624 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24020/statm: 2406244 135140 2276 9 0 2396937 0
[pid=24020/tid=24022] ppid=24018 vsize=9624976 CPUtime=1751.76 cores=1,3,5,7
/proc/24020/task/24022/stat : 24022 (java) R 24018 24020 21352 0 -1 4202560 2985 0 1 0 175144 32 0 0 20 0 19 0 255324176 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803436281200 139803283309705 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24023] ppid=24018 vsize=9624976 CPUtime=5.33 cores=1,3,5,7
/proc/24020/task/24023/stat : 24023 (java) S 24018 24020 21352 0 -1 4202560 2121 0 0 0 522 11 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803408734760 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24024] ppid=24018 vsize=9624976 CPUtime=5.28 cores=1,3,5,7
/proc/24020/task/24024/stat : 24024 (java) S 24018 24020 21352 0 -1 4202560 2385 0 0 0 516 12 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803407681960 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24025] ppid=24018 vsize=9624976 CPUtime=5.21 cores=1,3,5,7
/proc/24020/task/24025/stat : 24025 (java) S 24018 24020 21352 0 -1 4202560 2329 0 0 0 509 12 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803406629160 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24026] ppid=24018 vsize=9624976 CPUtime=5.23 cores=1,3,5,7
/proc/24020/task/24026/stat : 24026 (java) S 24018 24020 21352 0 -1 4202560 2168 0 0 0 510 13 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803405576360 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24027] ppid=24018 vsize=9624976 CPUtime=5.18 cores=1,3,5,7
/proc/24020/task/24027/stat : 24027 (java) S 24018 24020 21352 0 -1 4202560 1803 0 0 0 505 13 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803404524584 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24028] ppid=24018 vsize=9624976 CPUtime=5.29 cores=1,3,5,7
/proc/24020/task/24028/stat : 24028 (java) S 24018 24020 21352 0 -1 4202560 2520 0 0 0 513 16 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803403471784 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24029] ppid=24018 vsize=9624976 CPUtime=5.34 cores=1,3,5,7
/proc/24020/task/24029/stat : 24029 (java) S 24018 24020 21352 0 -1 4202560 1323 0 0 0 519 15 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803402418984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24030] ppid=24018 vsize=9624976 CPUtime=5.25 cores=1,3,5,7
/proc/24020/task/24030/stat : 24030 (java) S 24018 24020 21352 0 -1 4202560 2064 0 0 0 512 13 0 0 20 0 19 0 255324178 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139803401366184 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24031] ppid=24018 vsize=9624976 CPUtime=4.99 cores=1,3,5,7
/proc/24020/task/24031/stat : 24031 (java) S 24018 24020 21352 0 -1 4202560 683 0 0 0 491 8 0 0 20 0 19 0 255324179 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802789775848 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24020/tid=24032] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24032/stat : 24032 (java) S 24018 24020 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802788721912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24033] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24033/stat : 24033 (java) S 24018 24020 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255324179 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802787669000 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24034] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24034/stat : 24034 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802786617488 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24035] ppid=24018 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/24020/task/24035/stat : 24035 (java) S 24018 24020 21352 0 -1 4202560 2708 0 0 0 35 0 0 0 20 0 19 0 255324182 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802785565624 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24036] ppid=24018 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/24020/task/24036/stat : 24036 (java) S 24018 24020 21352 0 -1 4202560 2559 0 0 0 43 0 0 0 20 0 19 0 255324182 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802784512824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24020/tid=24037] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24037/stat : 24037 (java) S 24018 24020 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255324182 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802783460216 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24020/tid=24038] ppid=24018 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/24020/task/24038/stat : 24038 (java) S 24018 24020 21352 0 -1 4202560 101 0 0 0 40 34 0 0 20 0 19 0 255324182 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802782407624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24020/tid=24039] ppid=24018 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24020/task/24039/stat : 24039 (java) S 24018 24020 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255324213 9855975424 135140 33554432000 1073741824 1073778376 140737178705488 139802781353128 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1768.58
CPU time (s): 1800.79
CPU user time (s): 1798.85
CPU system time (s): 1.9447
CPU usage (%): 101.822
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.9447
maximum resident set size= 544812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26971
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51828
involuntary context switches= 65352
runsolver used 6.10007 second user time and 15.7846 second system time
The end