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-3738217-1338722890/watcher-3738217-1338722890 -o /tmp/evaluation-result-3738217-1338722890/solver-3738217-1338722890 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3738217-1338722890.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.03 2.03 2.01 3/194 2238
/proc/meminfo: memFree=30662380/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/2238/stat : 2238 (java) R 2236 2238 30888 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 338417566 9515008 185 33554432000 1073741824 1073778376 140736323921040 140736323912264 249649851831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2238/statm: 2323 185 142 9 0 71 0
[startup+0.095117 s]
/proc/loadavg: 2.03 2.03 2.01 3/194 2238
/proc/meminfo: memFree=30662380/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 4671 0 1 0 7 0 0 0 20 0 18 0 338417566 3028844544 6385 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2238/statm: 739464 6388 2054 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.10028 s]
/proc/loadavg: 2.03 2.03 2.01 3/194 2238
/proc/meminfo: memFree=30662380/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 4927 0 1 0 9 0 0 0 20 0 18 0 338417566 3028844544 6638 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2238/statm: 739464 6638 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300264 s]
/proc/loadavg: 2.03 2.03 2.01 3/194 2238
/proc/meminfo: memFree=30662380/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 5634 0 1 0 43 0 0 0 20 0 18 0 338417566 3028844544 9194 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2238/statm: 739464 9194 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856
[startup+0.700283 s]
/proc/loadavg: 2.03 2.03 2.01 3/194 2238
/proc/meminfo: memFree=30662380/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=2957856 CPUtime=1.09 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 9257 0 1 0 105 4 0 0 20 0 18 0 338417566 3028844544 50315 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2238/statm: 739464 50315 2250 9 0 729885 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2957856
[startup+1.50072 s]
/proc/loadavg: 2.03 2.03 2.01 3/213 2262
/proc/meminfo: memFree=30443260/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=3024420 CPUtime=2.37 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 14962 0 1 0 232 5 0 0 20 0 19 0 338417566 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2238/statm: 756105 67462 2276 9 0 746526 0
[pid=2238/tid=2240] ppid=2236 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/2238/task/2240/stat : 2240 (java) R 2236 2238 30888 0 -1 4202560 3150 0 1 0 142 4 0 0 20 0 19 0 338417567 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139961142440552 139960989103579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2241] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2241/stat : 2241 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139961125865768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2242] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2242/stat : 2242 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139961124812968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2243] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2243/stat : 2243 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139961123760680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2244] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2244/stat : 2244 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139961122707880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2245] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2245/stat : 2245 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139961121655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2246] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2246/stat : 2246 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139961120602792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2247] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2247/stat : 2247 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139961119550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2248] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2248/stat : 2248 (java) S 2236 2238 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139961118497704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2249] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2249/stat : 2249 (java) S 2236 2238 30888 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338417569 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139960988461288 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2250] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2250/stat : 2250 (java) S 2236 2238 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139960987407352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2251] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2251/stat : 2251 (java) S 2236 2238 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139960986354952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2252] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2252/stat : 2252 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139960985303440 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2253] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2253/stat : 2253 (java) S 2236 2238 30888 0 -1 4202560 3454 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139960984251064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2254] ppid=2236 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/2238/task/2254/stat : 2254 (java) S 2236 2238 30888 0 -1 4202560 7147 0 0 0 42 0 0 0 20 0 19 0 338417572 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139960983198264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2255] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2255/stat : 2255 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139960982146168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2256] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2256/stat : 2256 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 67462 33554432000 1073741824 1073778376 140736173758880 139960981093576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 3024420
[startup+3.10072 s]
/proc/loadavg: 2.03 2.03 2.01 3/213 2268
/proc/meminfo: memFree=30339892/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=3024420 CPUtime=3.99 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 15054 0 1 0 391 8 0 0 20 0 19 0 338417566 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2238/statm: 756105 107911 2276 9 0 746526 0
[pid=2238/tid=2240] ppid=2236 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/2238/task/2240/stat : 2240 (java) R 2236 2238 30888 0 -1 4202560 3231 0 1 0 299 6 0 0 20 0 19 0 338417567 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139961142440448 139960989103432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2241] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2241/stat : 2241 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139961125865768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2242] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2242/stat : 2242 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139961124812968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2243] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2243/stat : 2243 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139961123760680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2244] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2244/stat : 2244 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139961122707880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2245] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2245/stat : 2245 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139961121655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2246] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2246/stat : 2246 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139961120602792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2247] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2247/stat : 2247 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139961119550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2248] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2248/stat : 2248 (java) S 2236 2238 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139961118497704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2249] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2249/stat : 2249 (java) S 2236 2238 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338417569 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139960988461288 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2250] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2250/stat : 2250 (java) S 2236 2238 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139960987407352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2251] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2251/stat : 2251 (java) S 2236 2238 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139960986354952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2252] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2252/stat : 2252 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139960985303440 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2253] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2253/stat : 2253 (java) S 2236 2238 30888 0 -1 4202560 3454 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139960984251064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2254] ppid=2236 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/2238/task/2254/stat : 2254 (java) S 2236 2238 30888 0 -1 4202560 7147 0 0 0 43 0 0 0 20 0 19 0 338417572 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139960983198264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2255] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2255/stat : 2255 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139960982146168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2256] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2256/stat : 2256 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 107911 33554432000 1073741824 1073778376 140736173758880 139960981093576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 3024420
[startup+6.30077 s]
/proc/loadavg: 2.03 2.03 2.01 3/213 2270
/proc/meminfo: memFree=30207324/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=3024420 CPUtime=7.23 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 15112 0 1 0 715 8 0 0 20 0 19 0 338417566 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2238/statm: 756105 115549 2288 9 0 746526 0
[pid=2238/tid=2240] ppid=2236 vsize=3024420 CPUtime=6.23 cores=0,2,4,6
/proc/2238/task/2240/stat : 2240 (java) R 2236 2238 30888 0 -1 4202560 3247 0 1 0 617 6 0 0 20 0 19 0 338417567 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139961142438432 139960989170647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2241] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2241/stat : 2241 (java) S 2236 2238 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139961125865768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2242] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2242/stat : 2242 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139961124812968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2243] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2243/stat : 2243 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139961123760680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2244] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2244/stat : 2244 (java) S 2236 2238 30888 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139961122707880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2245] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2245/stat : 2245 (java) S 2236 2238 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139961121655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2246] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2246/stat : 2246 (java) S 2236 2238 30888 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139961120602792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2247] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2247/stat : 2247 (java) S 2236 2238 30888 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139961119550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2248] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2248/stat : 2248 (java) S 2236 2238 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338417568 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139961118497704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2249] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2249/stat : 2249 (java) S 2236 2238 30888 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338417569 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139960988461288 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2250] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2250/stat : 2250 (java) S 2236 2238 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139960987407352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2251] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2251/stat : 2251 (java) S 2236 2238 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139960986354952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2252] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2252/stat : 2252 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139960985303440 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2253] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2253/stat : 2253 (java) S 2236 2238 30888 0 -1 4202560 3454 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139960984251064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2254] ppid=2236 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/2238/task/2254/stat : 2254 (java) S 2236 2238 30888 0 -1 4202560 7147 0 0 0 44 0 0 0 20 0 19 0 338417572 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139960983198264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2255] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2255/stat : 2255 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139960982146168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2256] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2256/stat : 2256 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139960981093576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2270] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2270/stat : 2270 (java) S 2236 2238 30888 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338417894 3097006080 115549 33554432000 1073741824 1073778376 140736173758880 139960978961704 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
/proc/loadavg: 2.02 2.03 2.01 3/213 2270
/proc/meminfo: memFree=30180608/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=3024420 CPUtime=13.7 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 15159 0 1 0 1359 11 0 0 20 0 19 0 338417566 3097006080 122205 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
/proc/2238/task/2248/stat : 2248 (java) S 2236 2238 30888 0 -1 4202560 68 0 0 0 16 3 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961118497704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2249] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2249/stat : 2249 (java) S 2236 2238 30888 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 338417569 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960988461288 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2250] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2250/stat : 2250 (java) S 2236 2238 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960987407352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2251] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2251/stat : 2251 (java) S 2236 2238 30888 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960986354952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2252] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2252/stat : 2252 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960985303440 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2253] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2253/stat : 2253 (java) S 2236 2238 30888 0 -1 4202560 3454 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960984251064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2254] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2254/stat : 2254 (java) S 2236 2238 30888 0 -1 4202560 7149 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960983198264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2255] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2255/stat : 2255 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960982146168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2256] ppid=2236 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/2238/task/2256/stat : 2256 (java) S 2236 2238 30888 0 -1 4202560 23 0 0 0 5 8 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960981093576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2280] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2280/stat : 2280 (java) S 2236 2238 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338433831 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960978961448 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 387.77
Current children cumulated vsize (KiB) 3024420
[startup+386.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/212 2281
/proc/meminfo: memFree=29887948/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=3024420 CPUtime=388.57 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 15964 0 1 0 38809 48 0 0 20 0 19 0 338417566 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2238/statm: 756105 179366 2289 9 0 746526 0
[pid=2238/tid=2240] ppid=2236 vsize=3024420 CPUtime=384.73 cores=0,2,4,6
/proc/2238/task/2240/stat : 2240 (java) R 2236 2238 30888 0 -1 4202560 3272 0 1 0 38462 11 0 0 20 0 19 0 338417567 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961142439184 139960989213376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2241] ppid=2236 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/2238/task/2241/stat : 2241 (java) S 2236 2238 30888 0 -1 4202560 107 0 0 0 21 2 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961125865768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2242] ppid=2236 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/2238/task/2242/stat : 2242 (java) S 2236 2238 30888 0 -1 4202560 70 0 0 0 19 4 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961124812968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2243] ppid=2236 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/2238/task/2243/stat : 2243 (java) S 2236 2238 30888 0 -1 4202560 122 0 0 0 20 5 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961123760680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2244] ppid=2236 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/2238/task/2244/stat : 2244 (java) S 2236 2238 30888 0 -1 4202560 153 0 0 0 18 5 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961122707880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2245] ppid=2236 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/2238/task/2245/stat : 2245 (java) S 2236 2238 30888 0 -1 4202560 102 0 0 0 17 5 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961121655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2246] ppid=2236 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/2238/task/2246/stat : 2246 (java) S 2236 2238 30888 0 -1 4202560 85 0 0 0 15 2 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961120602792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2247] ppid=2236 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/2238/task/2247/stat : 2247 (java) S 2236 2238 30888 0 -1 4202560 101 0 0 0 17 4 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961119550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2248] ppid=2236 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/2238/task/2248/stat : 2248 (java) S 2236 2238 30888 0 -1 4202560 68 0 0 0 16 3 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961118497704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2249] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2249/stat : 2249 (java) S 2236 2238 30888 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 338417569 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960988461288 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2250] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2250/stat : 2250 (java) S 2236 2238 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960987407352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2251] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2251/stat : 2251 (java) S 2236 2238 30888 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960986354952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2252] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2252/stat : 2252 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960985303440 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2253] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2253/stat : 2253 (java) S 2236 2238 30888 0 -1 4202560 3454 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960984251064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2254] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2254/stat : 2254 (java) S 2236 2238 30888 0 -1 4202560 7149 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960983198264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2255] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2255/stat : 2255 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960982146168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2256] ppid=2236 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/2238/task/2256/stat : 2256 (java) S 2236 2238 30888 0 -1 4202560 23 0 0 0 5 8 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960981093576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2280] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2280/stat : 2280 (java) S 2236 2238 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338433831 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960978961448 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 388.57
Current children cumulated vsize (KiB) 3024420
[startup+386.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/212 2281
/proc/meminfo: memFree=29887948/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=3024420 CPUtime=388.97 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 15964 0 1 0 38849 48 0 0 20 0 19 0 338417566 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2238/statm: 756105 179366 2289 9 0 746526 0
[pid=2238/tid=2240] ppid=2236 vsize=3024420 CPUtime=385.13 cores=0,2,4,6
/proc/2238/task/2240/stat : 2240 (java) R 2236 2238 30888 0 -1 4202560 3272 0 1 0 38502 11 0 0 20 0 19 0 338417567 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961142439184 139960989103454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2241] ppid=2236 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/2238/task/2241/stat : 2241 (java) S 2236 2238 30888 0 -1 4202560 107 0 0 0 21 2 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961125865768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2242] ppid=2236 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/2238/task/2242/stat : 2242 (java) S 2236 2238 30888 0 -1 4202560 70 0 0 0 19 4 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961124812968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2243] ppid=2236 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/2238/task/2243/stat : 2243 (java) S 2236 2238 30888 0 -1 4202560 122 0 0 0 20 5 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961123760680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2244] ppid=2236 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/2238/task/2244/stat : 2244 (java) S 2236 2238 30888 0 -1 4202560 153 0 0 0 18 5 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961122707880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2245] ppid=2236 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/2238/task/2245/stat : 2245 (java) S 2236 2238 30888 0 -1 4202560 102 0 0 0 17 5 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961121655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2246] ppid=2236 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/2238/task/2246/stat : 2246 (java) S 2236 2238 30888 0 -1 4202560 85 0 0 0 15 2 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961120602792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2247] ppid=2236 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/2238/task/2247/stat : 2247 (java) S 2236 2238 30888 0 -1 4202560 101 0 0 0 17 4 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961119550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2248] ppid=2236 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/2238/task/2248/stat : 2248 (java) S 2236 2238 30888 0 -1 4202560 68 0 0 0 16 3 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961118497704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2249] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2249/stat : 2249 (java) S 2236 2238 30888 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 338417569 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960988461288 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2250] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2250/stat : 2250 (java) S 2236 2238 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960987407352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2251] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2251/stat : 2251 (java) S 2236 2238 30888 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960986354952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2252] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2252/stat : 2252 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960985303440 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2253] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2253/stat : 2253 (java) S 2236 2238 30888 0 -1 4202560 3454 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960984251064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2254] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2254/stat : 2254 (java) S 2236 2238 30888 0 -1 4202560 7149 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960983198264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2255] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2255/stat : 2255 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960982146168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2256] ppid=2236 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/2238/task/2256/stat : 2256 (java) S 2236 2238 30888 0 -1 4202560 23 0 0 0 5 8 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960981093576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2280] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2280/stat : 2280 (java) S 2236 2238 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338433831 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960978961448 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 388.97
Current children cumulated vsize (KiB) 3024420
[startup+386.901 s]
/proc/loadavg: 2.00 2.02 2.00 3/212 2281
/proc/meminfo: memFree=29887948/32873844 swapFree=8656/8656
[pid=2238] ppid=2236 vsize=3024420 CPUtime=389.17 cores=0,2,4,6
/proc/2238/stat : 2238 (java) S 2236 2238 30888 0 -1 4202496 15964 0 1 0 38869 48 0 0 20 0 19 0 338417566 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 140736173750016 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2238/statm: 756105 179366 2289 9 0 746526 0
[pid=2238/tid=2240] ppid=2236 vsize=3024420 CPUtime=385.33 cores=0,2,4,6
/proc/2238/task/2240/stat : 2240 (java) R 2236 2238 30888 0 -1 4202560 3272 0 1 0 38522 11 0 0 20 0 19 0 338417567 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961142439184 139960989297437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2241] ppid=2236 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/2238/task/2241/stat : 2241 (java) S 2236 2238 30888 0 -1 4202560 107 0 0 0 21 2 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961125865768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2242] ppid=2236 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/2238/task/2242/stat : 2242 (java) S 2236 2238 30888 0 -1 4202560 70 0 0 0 19 4 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961124812968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2243] ppid=2236 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/2238/task/2243/stat : 2243 (java) S 2236 2238 30888 0 -1 4202560 122 0 0 0 20 5 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961123760680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2244] ppid=2236 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/2238/task/2244/stat : 2244 (java) S 2236 2238 30888 0 -1 4202560 153 0 0 0 18 5 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961122707880 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2245] ppid=2236 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/2238/task/2245/stat : 2245 (java) S 2236 2238 30888 0 -1 4202560 102 0 0 0 17 5 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961121655592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2246] ppid=2236 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/2238/task/2246/stat : 2246 (java) S 2236 2238 30888 0 -1 4202560 85 0 0 0 15 2 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961120602792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2247] ppid=2236 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/2238/task/2247/stat : 2247 (java) S 2236 2238 30888 0 -1 4202560 101 0 0 0 17 4 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961119550504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2248] ppid=2236 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/2238/task/2248/stat : 2248 (java) S 2236 2238 30888 0 -1 4202560 68 0 0 0 16 3 0 0 20 0 19 0 338417568 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139961118497704 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2249] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2249/stat : 2249 (java) S 2236 2238 30888 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 338417569 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960988461288 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2238/tid=2250] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2250/stat : 2250 (java) S 2236 2238 30888 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960987407352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2251] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2251/stat : 2251 (java) S 2236 2238 30888 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338417570 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960986354952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2252] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2252/stat : 2252 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960985303440 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2253] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2253/stat : 2253 (java) S 2236 2238 30888 0 -1 4202560 3454 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960984251064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2238/tid=2254] ppid=2236 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/2238/task/2254/stat : 2254 (java) S 2236 2238 30888 0 -1 4202560 7149 0 0 0 45 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960983198264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2255] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2255/stat : 2255 (java) S 2236 2238 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960982146168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2238/tid=2256] ppid=2236 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/2238/task/2256/stat : 2256 (java) S 2236 2238 30888 0 -1 4202560 23 0 0 0 5 8 0 0 20 0 19 0 338417572 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960981093576 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2238/tid=2280] ppid=2236 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2238/task/2280/stat : 2280 (java) S 2236 2238 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338433831 3097006080 179366 33554432000 1073741824 1073778376 140736173758880 139960978961448 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 389.17
Current children cumulated vsize (KiB) 3024420
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2238 and gives
# childrusage.ru_utime.tv_sec=387
# childrusage.ru_utime.tv_usec=815043
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=621905
# CPU time returned by wait4() is 388.437
# while last known CPU time is 389.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 386.995
CPU time (s): 389.17
CPU user time (s): 388.69
CPU system time (s): 0.48
CPU usage (%): 100.562
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 387.815
system time used= 0.621905
maximum resident set size= 717464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15971
page faults= 1
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9010
involuntary context switches= 5024
runsolver used 2.44163 second user time and 3.36649 second system time
The end