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-3742023-1338760185/watcher-3742023-1338760185 -o /tmp/evaluation-result-3742023-1338760185/solver-3742023-1338760185 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742023-1338760185.opb
running on 4 cores: 0,2,4,6
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.01 2.01 2.00 3/194 12204
/proc/meminfo: memFree=25393884/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (java) D 12202 12204 11123 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342145828 9515008 183 33554432000 1073741824 1073778376 140737407419824 140737407410856 219513962165 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/12204/statm: 2323 183 140 9 0 71 0
[startup+0.0925169 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 12204
/proc/meminfo: memFree=25393884/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 3970 0 1 0 6 1 0 0 20 0 18 0 342145828 3028844544 6199 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 739464 6207 1967 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.100292 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 12204
/proc/meminfo: memFree=25393884/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 4449 0 1 0 8 1 0 0 20 0 18 0 342145828 3028844544 6665 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 739464 6665 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300165 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 12204
/proc/meminfo: memFree=25393884/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=2957856 CPUtime=0.55 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 8074 0 1 0 53 2 0 0 20 0 18 0 342145828 3028844544 11404 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 739464 11404 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2957856
[startup+0.700169 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 12204
/proc/meminfo: memFree=25393884/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 13145 0 1 0 141 4 0 0 20 0 19 0 342145828 3097006080 18909 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 18909 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 3024420
[startup+1.50069 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 12223
/proc/meminfo: memFree=25326800/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=2.31 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 13669 0 1 0 227 4 0 0 20 0 19 0 342145828 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 19940 2272 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2598 0 1 0 145 2 0 0 20 0 19 0 342145829 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068277879208 140068218293612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6500 0 0 0 40 2 0 0 20 0 19 0 342145834 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3377 0 0 0 39 0 0 0 20 0 19 0 342145834 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 3024420
[startup+3.10068 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 12223
/proc/meminfo: memFree=25318608/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=3.93 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 13675 0 1 0 389 4 0 0 20 0 19 0 342145828 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 22500 2272 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2604 0 1 0 305 2 0 0 20 0 19 0 342145829 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068277879192 140068218214520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6500 0 0 0 40 2 0 0 20 0 19 0 342145834 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3377 0 0 0 41 0 0 0 20 0 19 0 342145834 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 3024420
[startup+6.30072 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 12223
/proc/meminfo: memFree=25305948/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=7.13 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 13685 0 1 0 708 5 0 0 20 0 19 0 342145828 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 25356 2273 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2613 0 1 0 624 2 0 0 20 0 19 0 342145829 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068277877264 140068218214580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6500 0 0 0 40 2 0 0 20 0 19 0 342145834 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3377 0 0 0 41 0 0 0 20 0 19 0 342145834 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 279 0 0 0 24 14 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 281 0 0 0 27 16 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 176 0 0 0 20 10 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=1.44 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 205 0 0 0 138 6 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6510 0 0 0 46 2 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3382 0 0 0 47 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 96 0 0 0 42 30 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1666.09
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/213 12330
/proc/meminfo: memFree=24020340/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=1726.1 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 16080 0 1 0 172464 146 0 0 20 0 19 0 342145828 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 418544 2302 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=1719.94 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2793 0 1 0 171960 34 0 0 20 0 19 0 342145829 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068277878048 140068218214586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 213 0 0 0 30 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 343 0 0 0 27 21 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 208 0 0 0 31 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 199 0 0 0 24 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 211 0 0 0 32 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 279 0 0 0 24 14 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 281 0 0 0 27 16 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 176 0 0 0 20 10 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=1.44 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 205 0 0 0 138 6 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6510 0 0 0 46 2 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3382 0 0 0 47 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 100 0 0 0 43 31 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.1
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 12330
/proc/meminfo: memFree=24020220/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=1786.11 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 16084 0 1 0 178464 147 0 0 20 0 19 0 342145828 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 418544 2302 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=1779.94 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2793 0 1 0 177959 35 0 0 20 0 19 0 342145829 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068277878048 140068218214591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 213 0 0 0 30 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 343 0 0 0 27 21 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 208 0 0 0 31 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 199 0 0 0 24 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 211 0 0 0 32 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 279 0 0 0 24 14 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 281 0 0 0 27 16 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 176 0 0 0 20 10 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 205 0 0 0 139 6 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6510 0 0 0 46 2 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3382 0 0 0 47 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 104 0 0 0 45 33 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.11
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12330
/proc/meminfo: memFree=24020224/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 16084 0 1 0 179855 147 0 0 20 0 19 0 342145828 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 418544 2302 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=1793.86 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2793 0 1 0 179351 35 0 0 20 0 19 0 342145829 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068277878048 140068218214360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 213 0 0 0 30 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 343 0 0 0 27 21 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 208 0 0 0 31 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 199 0 0 0 24 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 211 0 0 0 32 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 279 0 0 0 24 14 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 281 0 0 0 27 16 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 176 0 0 0 20 10 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 205 0 0 0 139 6 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6510 0 0 0 46 2 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3382 0 0 0 47 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 104 0 0 0 45 33 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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
Child status: 143
Real time (s): 1796.23
CPU time (s): 1800.52
CPU user time (s): 1798.56
CPU system time (s): 1.9617
CPU usage (%): 100.239
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.9617
maximum resident set size= 1674296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16117
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38117
involuntary context switches= 4561
runsolver used 5.63114 second user time and 15.1017 second system time
The end