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-3687580-1337872377/watcher-3687580-1337872377 -o /tmp/evaluation-result-3687580-1337872377/solver-3687580-1337872377 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687580-1337872377.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: 3.82 3.11 1.56 4/197 22116
/proc/meminfo: memFree=27338508/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22116/stat : 22116 (java) D 22114 22116 21597 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253365079 9515008 183 33554432000 1073741824 1073778376 140735227929968 140735227921000 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2323 183 140 9 0 71 0
[startup+0.0989081 s]
/proc/loadavg: 3.82 3.11 1.56 4/197 22116
/proc/meminfo: memFree=27338508/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 21597 0 -1 4202496 4309 0 1 0 8 1 0 0 20 0 18 0 253365079 9787813888 5499 33554432000 1073741824 1073778376 140735862964656 140735862955792 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22116/statm: 2389603 5499 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.100243 s]
/proc/loadavg: 3.82 3.11 1.56 4/197 22116
/proc/meminfo: memFree=27338508/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 21597 0 -1 4202496 4322 0 1 0 8 1 0 0 20 0 18 0 253365079 9787813888 5512 33554432000 1073741824 1073778376 140735862964656 140735862955792 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22116/statm: 2389603 5512 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.30024 s]
/proc/loadavg: 3.82 3.11 1.56 4/197 22116
/proc/meminfo: memFree=27338508/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 21597 0 -1 4202496 6843 0 1 0 45 4 0 0 20 0 19 0 253365079 10060460032 9770 33554432000 1073741824 1073778376 140735862964656 140735862955792 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22116/statm: 2456167 9770 2229 9 0 2446860 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9824668
[startup+0.700209 s]
/proc/loadavg: 3.82 3.11 1.56 4/197 22116
/proc/meminfo: memFree=27338508/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 21597 0 -1 4202496 6843 0 1 0 45 4 0 0 20 0 19 0 253365079 10060460032 9770 33554432000 1073741824 1073778376 140735862964656 140735862955792 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22116/statm: 2456167 9770 2229 9 0 2446860 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9824668
[startup+1.50065 s]
/proc/loadavg: 3.91 3.14 1.58 3/216 22141
/proc/meminfo: memFree=27301708/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9824668 CPUtime=1.91 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 21597 0 -1 4202496 16048 0 1 0 184 7 0 0 20 0 22 0 253365079 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 140735862955792 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22116/statm: 2456167 19577 2243 9 0 2446860 0
[pid=22116/tid=22118] ppid=22114 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 21597 0 -1 4202560 2456 0 1 0 20 2 0 0 20 0 22 0 253365080 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965417804792 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965406865960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965405813160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965404760360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965403707560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965402655784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965255859112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965254806312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965253753512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253365082 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965241555432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253365082 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965240501496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253365083 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965239448584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965238397072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=9824668 CPUtime=0.5 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) R 22114 22116 21597 0 -1 4202560 6292 0 0 0 49 1 0 0 20 0 22 0 253365085 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965237322296 139965420381161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) R 22114 22116 21597 0 -1 4202560 5971 0 0 0 46 0 0 0 20 0 22 0 253365085 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965236279688 139965424623185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965235239800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965234187208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22137] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22137/stat : 22137 (java) S 22114 22116 21597 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253365104 10060460032 19577 33554432000 1073741824 1073778376 140735862964656 139965231027112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9824668
[startup+3.10065 s]
/proc/loadavg: 3.91 3.14 1.58 3/216 22144
/proc/meminfo: memFree=27204512/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9824668 CPUtime=5.51 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 21597 0 -1 4202496 21212 0 1 0 537 14 0 0 20 0 22 0 253365079 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 140735862955792 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22116/statm: 2456167 48153 2278 9 0 2446860 0
[pid=22116/tid=22118] ppid=22114 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 21597 0 -1 4202560 2456 0 1 0 21 2 0 0 20 0 22 0 253365080 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965417804792 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965406865960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965405813160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965404760360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965403707560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965402655784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 21597 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965255859112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965254806312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253365081 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965253753512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 21597 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 22 0 253365082 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965241555432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253365082 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965240501496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253365083 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965239448584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965238397072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) R 22114 22116 21597 0 -1 4202560 10762 0 0 0 90 2 0 0 20 0 22 0 253365085 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965237345208 139965419613328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=9824668 CPUtime=0.79 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) R 22114 22116 21597 0 -1 4202560 6537 0 0 0 79 0 0 0 20 0 22 0 253365085 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965236292408 139965423953676 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965235239800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965234187208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22144] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22144/stat : 22144 (java) S 22114 22116 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253365205 10060460032 48153 33554432000 1073741824 1073778376 140735862964656 139965229974568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 9824668
[startup+6.3008 s]
/proc/loadavg: 3.91 3.14 1.58 5/219 22147
/proc/meminfo: memFree=27116628/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9824668 CPUtime=12.2 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 21597 0 -1 4202496 23625 0 1 0 1202 18 0 0 20 0 22 0 253365079 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 140735862955792 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22116/statm: 2456167 66451 2279 9 0 2446860 0
[pid=22116/tid=22118] ppid=22114 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 21597 0 -1 4202560 2457 0 1 0 21 2 0 0 20 0 22 0 253365080 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965417804792 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 21597 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 22 0 253365081 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965406865960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 21597 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 253365081 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965405813160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 21597 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 253365081 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965404760360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 21597 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 253365081 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965403707560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 21597 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 22 0 253365081 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965402655784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 21597 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 253365081 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965255859112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 21597 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 22 0 253365081 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965254806312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 21597 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 253365081 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965253753512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 21597 0 -1 4202560 117 0 0 0 23 2 0 0 20 0 22 0 253365082 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965241555432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253365082 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965240501496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253365083 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965239448584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965238397072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) S 22114 22116 21597 0 -1 4202560 12075 0 0 0 114 2 0 0 20 0 22 0 253365085 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965237345208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) S 22114 22116 21597 0 -1 4202560 7437 0 0 0 98 2 0 0 20 0 22 0 253365085 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965236292408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965235239800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965234187208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22144] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22144/stat : 22144 (java) S 22114 22116 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253365205 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965229974568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22145] ppid=22114 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/22116/task/22145/stat : 22145 (java) R 22114 22116 21597 0 -1 4202560 7 0 0 0 367 0 0 0 20 0 22 0 253365305 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965233131744 139965283942284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22146] ppid=22114 vsize=9824668 CPUtime=3.65 cores=1,3,5,7
/proc/22116/task/22146/stat : 22146 (java) R 22114 22116 21597 0 -1 4202560 33 0 0 0 365 0 0 0 20 0 22 0 253365305 10060460032 66451 33554432000 1073741824 1073778376 140735862964656 139965232076944 139965284009821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=22116/tid=22156] ppid=22114 vsize=9824668 CPUtime=375.73 cores=1,3,5,7
/proc/22116/task/22156/stat : 22156 (java) R 22114 22116 21597 0 -1 4202560 27 0 0 0 37568 5 0 0 20 0 22 0 253405194 10060460032 707826 33554432000 1073741824 1073778376 140735862964656 139965231026272 139965283943043 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22157] ppid=22114 vsize=9824668 CPUtime=375.69 cores=1,3,5,7
/proc/22116/task/22157/stat : 22157 (java) R 22114 22116 21597 0 -1 4202560 14 0 0 0 37564 5 0 0 20 0 22 0 253405194 10060460032 707826 33554432000 1073741824 1073778376 140735862964656 139965232077920 139965283975259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22158] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22158/stat : 22158 (java) S 22114 22116 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253405194 10060460032 707826 33554432000 1073741824 1073778376 140735862964656 139965233133096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1595.55
Current children cumulated vsize (KiB) 9824668
[startup+942.301 s]
/proc/loadavg: 3.82 3.73 2.93 5/219 22237
/proc/meminfo: memFree=25241992/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9824668 CPUtime=1709.26 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 21597 0 -1 4202496 37394 0 1 0 170755 171 0 0 20 0 22 0 253365079 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 140735862955792 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22116/statm: 2456167 721166 2280 9 0 2446860 0
[pid=22116/tid=22118] ppid=22114 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 21597 0 -1 4202560 2574 0 1 0 24 3 0 0 20 0 22 0 253365080 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965417804792 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=9824668 CPUtime=3.36 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 21597 0 -1 4202560 667 0 0 0 324 12 0 0 20 0 22 0 253365081 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965406865960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=9824668 CPUtime=3.43 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 21597 0 -1 4202560 818 0 0 0 332 11 0 0 20 0 22 0 253365081 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965405813160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=9824668 CPUtime=3.41 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 21597 0 -1 4202560 554 0 0 0 330 11 0 0 20 0 22 0 253365081 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965404760360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 21597 0 -1 4202560 804 0 0 0 325 8 0 0 20 0 22 0 253365081 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965403707560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 21597 0 -1 4202560 672 0 0 0 337 11 0 0 20 0 22 0 253365081 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965402655784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=9824668 CPUtime=3.51 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 21597 0 -1 4202560 691 0 0 0 339 12 0 0 20 0 22 0 253365081 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965255859112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 21597 0 -1 4202560 885 0 0 0 309 12 0 0 20 0 22 0 253365081 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965254806312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=9824668 CPUtime=3.51 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 21597 0 -1 4202560 451 0 0 0 340 11 0 0 20 0 22 0 253365081 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965253753512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=9824668 CPUtime=186.97 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 21597 0 -1 4202560 3850 0 0 0 18669 28 0 0 20 0 22 0 253365082 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965241555432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253365082 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965240501496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253365083 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965239448584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965238397072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) S 22114 22116 21597 0 -1 4202560 15568 0 0 0 160 3 0 0 20 0 22 0 253365085 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965237345208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) S 22114 22116 21597 0 -1 4202560 7439 0 0 0 109 2 0 0 20 0 22 0 253365085 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965236292408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965235239800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 21597 0 -1 4202560 55 0 0 0 18 22 0 0 20 0 22 0 253365085 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965234187208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22144] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22144/stat : 22144 (java) S 22114 22116 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253365205 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965229974568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22156] ppid=22114 vsize=9824668 CPUtime=428.41 cores=1,3,5,7
/proc/22116/task/22156/stat : 22156 (java) R 22114 22116 21597 0 -1 4202560 30 0 0 0 42835 6 0 0 20 0 22 0 253405194 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965231024480 139965283702704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22157] ppid=22114 vsize=9824668 CPUtime=428.37 cores=1,3,5,7
/proc/22116/task/22157/stat : 22157 (java) R 22114 22116 21597 0 -1 4202560 15 0 0 0 42831 6 0 0 20 0 22 0 253405194 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965232078736 139965284122922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22158] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22158/stat : 22158 (java) S 22114 22116 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253405194 10060460032 721166 33554432000 1073741824 1073778376 140735862964656 139965233133096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1709.26
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+992.101 s]
/proc/loadavg: 3.86 3.75 2.98 5/219 22237
/proc/meminfo: memFree=25154492/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 21597 0 -1 4202496 39224 0 1 0 179844 176 0 0 20 0 22 0 253365079 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 140735862955792 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22116/statm: 2456167 742963 2280 9 0 2446860 0
[pid=22116/tid=22118] ppid=22114 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 21597 0 -1 4202560 2576 0 1 0 24 3 0 0 20 0 22 0 253365080 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965417804792 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 21597 0 -1 4202560 675 0 0 0 344 12 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965406865960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 21597 0 -1 4202560 829 0 0 0 355 12 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965405813160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=9824668 CPUtime=3.57 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 21597 0 -1 4202560 554 0 0 0 345 12 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965404760360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 21597 0 -1 4202560 812 0 0 0 343 9 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965403707560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=9824668 CPUtime=3.64 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 21597 0 -1 4202560 673 0 0 0 353 11 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965402655784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=9824668 CPUtime=3.71 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 21597 0 -1 4202560 696 0 0 0 359 12 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965255859112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=9824668 CPUtime=3.42 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 21597 0 -1 4202560 898 0 0 0 329 13 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965254806312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=9824668 CPUtime=3.72 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 21597 0 -1 4202560 463 0 0 0 361 11 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965253753512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=9824668 CPUtime=196.5 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 21597 0 -1 4202560 5274 0 0 0 19620 30 0 0 20 0 22 0 253365082 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965241555432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253365082 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965240501496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253365083 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965239448584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965238397072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=9824668 CPUtime=1.76 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) S 22114 22116 21597 0 -1 4202560 15906 0 0 0 173 3 0 0 20 0 22 0 253365085 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965237345208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) S 22114 22116 21597 0 -1 4202560 7439 0 0 0 109 2 0 0 20 0 22 0 253365085 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965236292408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965235239800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 21597 0 -1 4202560 57 0 0 0 19 23 0 0 20 0 22 0 253365085 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965234187208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22144] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22144/stat : 22144 (java) S 22114 22116 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253365205 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965229974568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22156] ppid=22114 vsize=9824668 CPUtime=468.27 cores=1,3,5,7
/proc/22116/task/22156/stat : 22156 (java) R 22114 22116 21597 0 -1 4202560 32 0 0 0 46820 7 0 0 20 0 22 0 253405194 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965231024480 139965283975279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22157] ppid=22114 vsize=9824668 CPUtime=468.22 cores=1,3,5,7
/proc/22116/task/22157/stat : 22157 (java) R 22114 22116 21597 0 -1 4202560 19 0 0 0 46815 7 0 0 20 0 22 0 253405194 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965232080040 139965284122570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22158] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22158/stat : 22158 (java) S 22114 22116 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253405194 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965233133096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+992.101 s]
/proc/loadavg: 3.86 3.75 2.98 5/219 22237
/proc/meminfo: memFree=25154492/32873648 swapFree=7108/7108
[pid=22116] ppid=22114 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 21597 0 -1 4202496 39224 0 1 0 179844 176 0 0 20 0 22 0 253365079 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 140735862955792 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22116/statm: 2456167 742963 2280 9 0 2446860 0
[pid=22116/tid=22118] ppid=22114 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 21597 0 -1 4202560 2576 0 1 0 24 3 0 0 20 0 22 0 253365080 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965417804792 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 21597 0 -1 4202560 675 0 0 0 344 12 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965406865960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 21597 0 -1 4202560 829 0 0 0 355 12 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965405813160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=9824668 CPUtime=3.57 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 21597 0 -1 4202560 554 0 0 0 345 12 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965404760360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 21597 0 -1 4202560 812 0 0 0 343 9 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965403707560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=9824668 CPUtime=3.64 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 21597 0 -1 4202560 673 0 0 0 353 11 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965402655784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=9824668 CPUtime=3.71 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 21597 0 -1 4202560 696 0 0 0 359 12 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965255859112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=9824668 CPUtime=3.42 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 21597 0 -1 4202560 898 0 0 0 329 13 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965254806312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=9824668 CPUtime=3.72 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 21597 0 -1 4202560 463 0 0 0 361 11 0 0 20 0 22 0 253365081 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965253753512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=9824668 CPUtime=196.5 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 21597 0 -1 4202560 5274 0 0 0 19620 30 0 0 20 0 22 0 253365082 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965241555432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253365082 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965240501496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253365083 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965239448584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965238397072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=9824668 CPUtime=1.76 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) S 22114 22116 21597 0 -1 4202560 15906 0 0 0 173 3 0 0 20 0 22 0 253365085 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965237345208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) S 22114 22116 21597 0 -1 4202560 7439 0 0 0 109 2 0 0 20 0 22 0 253365085 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965236292408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253365085 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965235239800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 21597 0 -1 4202560 57 0 0 0 19 23 0 0 20 0 22 0 253365085 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965234187208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22144] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22144/stat : 22144 (java) S 22114 22116 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253365205 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965229974568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22156] ppid=22114 vsize=9824668 CPUtime=468.27 cores=1,3,5,7
/proc/22116/task/22156/stat : 22156 (java) R 22114 22116 21597 0 -1 4202560 32 0 0 0 46820 7 0 0 20 0 22 0 253405194 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965231024480 139965283975279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22157] ppid=22114 vsize=9824668 CPUtime=468.22 cores=1,3,5,7
/proc/22116/task/22157/stat : 22157 (java) R 22114 22116 21597 0 -1 4202560 19 0 0 0 46815 7 0 0 20 0 22 0 253405194 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965232080040 139965284122570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22158] ppid=22114 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22158/stat : 22158 (java) S 22114 22116 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253405194 10060460032 742963 33554432000 1073741824 1073778376 140735862964656 139965233133096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 992.147
CPU time (s): 1800.8
CPU user time (s): 1798.63
CPU system time (s): 2.17267
CPU usage (%): 181.505
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 2.17267
maximum resident set size= 2971976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39258
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29037
involuntary context switches= 52898
runsolver used 3.78143 second user time and 8.82266 second system time
The end