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-3744482-1338801773/watcher-3744482-1338801773 -o /tmp/evaluation-result-3744482-1338801773/solver-3744482-1338801773 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744482-1338801773.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.34 2.17 2.06 3/194 23067
/proc/meminfo: memFree=26025616/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23067/stat : 23067 (java) D 23065 23067 21172 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 346302870 9515008 183 33554432000 1073741824 1073778376 140735945773664 140735945764696 214369648309 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/23067/statm: 2323 183 140 9 0 71 0
[startup+0.026633 s]
/proc/loadavg: 2.34 2.17 2.06 3/194 23067
/proc/meminfo: memFree=26025616/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=2213440 CPUtime=0 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 2924 0 1 0 0 0 0 0 20 0 7 0 346302870 2266562560 3114 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 553617 3118 952 9 0 544726 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2213440
[startup+0.100306 s]
/proc/loadavg: 2.34 2.17 2.06 3/194 23067
/proc/meminfo: memFree=26025616/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 4273 0 1 0 6 1 0 0 20 0 18 0 346302870 3028844544 5990 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 739464 6002 1901 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.30026 s]
/proc/loadavg: 2.34 2.17 2.06 3/194 23067
/proc/meminfo: memFree=26025616/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=2958320 CPUtime=0.46 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 6914 0 1 0 43 3 0 0 20 0 18 0 346302870 3029319680 10164 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 739464 10048 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2958320
[startup+0.700267 s]
/proc/loadavg: 2.34 2.17 2.06 3/194 23067
/proc/meminfo: memFree=26025616/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=2957856 CPUtime=1.5 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 10194 0 1 0 144 6 0 0 20 0 18 0 346302870 3028844544 39301 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 739464 39301 2266 9 0 729885 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 2957856
[startup+1.50079 s]
/proc/loadavg: 2.34 2.17 2.06 3/213 23086
/proc/meminfo: memFree=25825628/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=2.55 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 10296 0 1 0 247 8 0 0 20 0 19 0 346302870 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 78749 2278 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3160 0 1 0 139 7 0 0 20 0 19 0 346302871 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870531637608 139870392078609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2730 0 0 0 51 0 0 0 20 0 19 0 346302877 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3211 0 0 0 54 0 0 0 20 0 19 0 346302877 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 78749 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 3024420
[startup+3.1008 s]
/proc/loadavg: 2.34 2.17 2.06 3/213 23086
/proc/meminfo: memFree=25591288/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=4.28 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 10410 0 1 0 414 14 0 0 20 0 19 0 346302870 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 116145 2291 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=3.02 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3230 0 1 0 292 10 0 0 20 0 19 0 346302871 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870531637592 139870392349202 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346302873 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2730 0 0 0 51 0 0 0 20 0 19 0 346302877 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3211 0 0 0 56 0 0 0 20 0 19 0 346302877 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 116145 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 3024420
[startup+6.30086 s]
/proc/loadavg: 2.31 2.17 2.06 3/213 23086
/proc/meminfo: memFree=25549832/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=7.67 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 10469 0 1 0 749 18 0 0 20 0 19 0 346302870 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 121757 2291 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=6.15 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3234 0 1 0 605 10 0 0 20 0 19 0 346302871 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870531637640 139870392327284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 26 0 0 0 5 1 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 346302873 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2730 0 0 0 51 0 0 0 20 0 19 0 346302877 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3211 0 0 0 59 0 0 0 20 0 19 0 346302877 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 121757 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2741 0 0 0 59 0 0 0 20 0 19 0 346302877 3097006080 416693 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3216 0 0 0 67 0 0 0 20 0 19 0 346302877 3097006080 416693 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 416693 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 94 0 0 0 47 41 0 0 20 0 19 0 346302877 3097006080 416693 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 416693 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1694.55
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/213 23160
/proc/meminfo: memFree=24796808/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=1756.99 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 14086 0 1 0 175509 190 0 0 20 0 19 0 346302870 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 420871 2307 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=1703.98 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3839 0 1 0 170357 41 0 0 20 0 19 0 346302871 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870531636448 139870392359115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=5.81 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 397 0 0 0 564 17 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=5.57 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 330 0 0 0 541 16 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=5.86 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 369 0 0 0 571 15 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=5.69 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 373 0 0 0 553 16 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=5.62 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 334 0 0 0 549 13 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=6 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 402 0 0 0 584 16 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=5.8 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 315 0 0 0 565 15 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=5.82 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 362 0 0 0 567 15 0 0 20 0 19 0 346302873 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 127 0 0 0 35 5 0 0 20 0 19 0 346302874 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2741 0 0 0 59 0 0 0 20 0 19 0 346302877 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3217 0 0 0 68 0 0 0 20 0 19 0 346302877 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0.9 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 98 0 0 0 48 42 0 0 20 0 19 0 346302877 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 420871 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1756.99
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1764.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/213 23160
/proc/meminfo: memFree=24782224/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 14153 0 1 0 179808 193 0 0 20 0 19 0 346302870 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 420914 2307 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=1745.49 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3859 0 1 0 174507 42 0 0 20 0 19 0 346302871 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870531636432 139870392411773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=5.98 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 401 0 0 0 580 18 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=5.7 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 334 0 0 0 553 17 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=5.99 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 375 0 0 0 584 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=5.91 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 384 0 0 0 574 17 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=5.78 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 343 0 0 0 565 13 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=6.18 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 411 0 0 0 602 16 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=5.99 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 315 0 0 0 584 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=6.01 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 362 0 0 0 586 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 129 0 0 0 35 5 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2741 0 0 0 59 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3217 0 0 0 68 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 100 0 0 0 49 43 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1764.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/213 23160
/proc/meminfo: memFree=24782224/32873844 swapFree=7632/7632
[pid=23067] ppid=23065 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/23067/stat : 23067 (java) S 23065 23067 21172 0 -1 4202496 14153 0 1 0 179808 193 0 0 20 0 19 0 346302870 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 140737038992048 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23067/statm: 756105 420914 2307 9 0 746526 0
[pid=23067/tid=23069] ppid=23065 vsize=3024420 CPUtime=1745.49 cores=1,3,5,7
/proc/23067/task/23069/stat : 23069 (java) R 23065 23067 21172 0 -1 4202560 3859 0 1 0 174507 42 0 0 20 0 19 0 346302871 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870531636432 139870392411773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23070] ppid=23065 vsize=3024420 CPUtime=5.98 cores=1,3,5,7
/proc/23067/task/23070/stat : 23070 (java) S 23065 23067 21172 0 -1 4202560 401 0 0 0 580 18 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870515063464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23071] ppid=23065 vsize=3024420 CPUtime=5.7 cores=1,3,5,7
/proc/23067/task/23071/stat : 23071 (java) S 23065 23067 21172 0 -1 4202560 334 0 0 0 553 17 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870514010920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23072] ppid=23065 vsize=3024420 CPUtime=5.99 cores=1,3,5,7
/proc/23067/task/23072/stat : 23072 (java) S 23065 23067 21172 0 -1 4202560 375 0 0 0 584 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870512958376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23073] ppid=23065 vsize=3024420 CPUtime=5.91 cores=1,3,5,7
/proc/23067/task/23073/stat : 23073 (java) S 23065 23067 21172 0 -1 4202560 384 0 0 0 574 17 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870511905832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23074] ppid=23065 vsize=3024420 CPUtime=5.78 cores=1,3,5,7
/proc/23067/task/23074/stat : 23074 (java) S 23065 23067 21172 0 -1 4202560 343 0 0 0 565 13 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870510852264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23075] ppid=23065 vsize=3024420 CPUtime=6.18 cores=1,3,5,7
/proc/23067/task/23075/stat : 23075 (java) S 23065 23067 21172 0 -1 4202560 411 0 0 0 602 16 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870391494952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23076] ppid=23065 vsize=3024420 CPUtime=5.99 cores=1,3,5,7
/proc/23067/task/23076/stat : 23076 (java) S 23065 23067 21172 0 -1 4202560 315 0 0 0 584 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870390442408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23077] ppid=23065 vsize=3024420 CPUtime=6.01 cores=1,3,5,7
/proc/23067/task/23077/stat : 23077 (java) S 23065 23067 21172 0 -1 4202560 362 0 0 0 586 15 0 0 20 0 19 0 346302873 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870389389864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23067/tid=23078] ppid=23065 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/23067/task/23078/stat : 23078 (java) S 23065 23067 21172 0 -1 4202560 129 0 0 0 35 5 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870377192040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23079] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23079/stat : 23079 (java) S 23065 23067 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139870376138360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23080] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23080/stat : 23080 (java) S 23065 23067 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346302874 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869770737288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23081] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23081/stat : 23081 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869769686032 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23082] ppid=23065 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/23067/task/23082/stat : 23082 (java) S 23065 23067 21172 0 -1 4202560 2741 0 0 0 59 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869768632376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23067/tid=23083] ppid=23065 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/23067/task/23083/stat : 23083 (java) S 23065 23067 21172 0 -1 4202560 3217 0 0 0 68 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869767579832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23084] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23084/stat : 23084 (java) S 23065 23067 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869766527480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23067/tid=23085] ppid=23065 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/23067/task/23085/stat : 23085 (java) S 23065 23067 21172 0 -1 4202560 100 0 0 0 49 43 0 0 20 0 19 0 346302877 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869765475144 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23067/tid=23086] ppid=23065 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/23067/task/23086/stat : 23086 (java) S 23065 23067 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346302942 3097006080 420914 33554432000 1073741824 1073778376 140737039000912 139869763343656 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23067 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=589332
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=301650
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1764.33
CPU time (s): 1800.01
CPU user time (s): 1798.08
CPU system time (s): 1.93
CPU usage (%): 102.022
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.59
system time used= 2.30165
maximum resident set size= 1683772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14183
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56376
involuntary context switches= 107180
runsolver used 6.46102 second user time and 16.6035 second system time
The end