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-3742587-1338787674/watcher-3742587-1338787674 -o /tmp/evaluation-result-3742587-1338787674/solver-3742587-1338787674 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742587-1338787674.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: 3.90 3.95 3.90 4/199 25083
/proc/meminfo: memFree=28082000/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25083/stat : 25083 (java) R 25081 25083 24174 0 -1 4202496 639 0 0 0 0 0 0 0 20 0 1 0 344892234 23793664 365 33554432000 1073741824 1073778376 140736307548640 140736307537704 215134288449 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 5809 373 286 9 0 128 0
[startup+0.060921 s]
/proc/loadavg: 3.90 3.95 3.90 4/199 25083
/proc/meminfo: memFree=28082000/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=2367080 CPUtime=0.04 cores=0,2,4,6
/proc/25083/stat : 25083 (java) S 25081 25083 24174 0 -1 4202496 3750 0 1 0 3 1 0 0 20 0 13 0 344892234 2423889920 5468 33554432000 1073741824 1073778376 140736307548640 140736307539776 215146856509 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 591770 5468 1709 9 0 582471 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2367080
[startup+0.100288 s]
/proc/loadavg: 3.90 3.95 3.90 4/199 25083
/proc/meminfo: memFree=28082000/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/25083/stat : 25083 (java) S 25081 25083 24174 0 -1 4202496 4644 0 1 0 8 2 0 0 20 0 18 0 344892234 2764726272 6350 33554432000 1073741824 1073778376 140736307548640 140736307539776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 674982 6350 2080 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300251 s]
/proc/loadavg: 3.90 3.95 3.90 4/199 25083
/proc/meminfo: memFree=28082000/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=2699928 CPUtime=0.56 cores=0,2,4,6
/proc/25083/stat : 25083 (java) S 25081 25083 24174 0 -1 4202496 7776 0 1 0 54 2 0 0 20 0 18 0 344892234 2764726272 11600 33554432000 1073741824 1073778376 140736307548640 140736307539776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 674982 11600 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2699928
[startup+0.700175 s]
/proc/loadavg: 3.90 3.95 3.90 4/199 25083
/proc/meminfo: memFree=28082000/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=2966184 CPUtime=1.59 cores=0,2,4,6
/proc/25083/stat : 25083 (java) S 25081 25083 24174 0 -1 4202496 12123 0 1 0 154 5 0 0 20 0 22 0 344892234 3037372416 35875 33554432000 1073741824 1073778376 140736307548640 140736307539776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 741546 35875 2253 9 0 732240 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 2966184
[startup+1.50071 s]
/proc/loadavg: 3.90 3.95 3.90 7/221 25105
/proc/meminfo: memFree=27911928/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=2966184 CPUtime=4.31 cores=0,2,4,6
/proc/25083/stat : 25083 (java) S 25081 25083 24174 0 -1 4202496 21727 0 1 0 423 8 0 0 20 0 22 0 344892234 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140736307539776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 741546 74591 2258 9 0 732240 0
[pid=25083/tid=25085] ppid=25081 vsize=2966184 CPUtime=0.57 cores=0,2,4,6
/proc/25083/task/25085/stat : 25085 (java) S 25081 25083 24174 0 -1 4202560 2840 0 1 0 55 2 0 0 20 0 22 0 344892235 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503603270808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25086] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25086/stat : 25086 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503587551912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25087] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25087/stat : 25087 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503586499368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25088] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25088/stat : 25088 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503585446824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25089] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25089/stat : 25089 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503584394280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25090] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25090/stat : 25090 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503583340712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25091] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25091/stat : 25091 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503582288168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25092] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25092/stat : 25092 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503581235624 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25093] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25093/stat : 25093 (java) S 25081 25083 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503580183080 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25094] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25094/stat : 25094 (java) S 25081 25083 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503567772264 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25095] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25095/stat : 25095 (java) S 25081 25083 24174 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503566718584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25096] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25096/stat : 25096 (java) S 25081 25083 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503565665928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25097] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25097/stat : 25097 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503564614672 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25098] ppid=25081 vsize=2966184 CPUtime=0.98 cores=0,2,4,6
/proc/25083/task/25098/stat : 25098 (java) S 25081 25083 24174 0 -1 4202560 10106 0 0 0 96 2 0 0 20 0 22 0 344892241 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503563561016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25099] ppid=25081 vsize=2966184 CPUtime=0.95 cores=0,2,4,6
/proc/25083/task/25099/stat : 25099 (java) S 25081 25083 24174 0 -1 4202560 7420 0 0 0 93 2 0 0 20 0 22 0 344892241 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503562508472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25100] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25100/stat : 25100 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503561456120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25101] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25101/stat : 25101 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503560403784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25102] ppid=25081 vsize=2966184 CPUtime=0.88 cores=0,2,4,6
/proc/25083/task/25102/stat : 25102 (java) R 25081 25083 24174 0 -1 4202560 23 0 0 0 88 0 0 0 20 0 22 0 344892295 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503559349736 140503430249384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25103] ppid=25081 vsize=2966184 CPUtime=0.87 cores=0,2,4,6
/proc/25083/task/25103/stat : 25103 (java) R 25081 25083 24174 0 -1 4202560 132 0 0 0 85 2 0 0 20 0 22 0 344892295 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503558296600 140503430217527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25104] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25104/stat : 25104 (java) S 25081 25083 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503557244456 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25105] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25105/stat : 25105 (java) S 25081 25083 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 74591 33554432000 1073741824 1073778376 140736307548640 140503556191912 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 2966184
[startup+3.10073 s]
/proc/loadavg: 3.90 3.95 3.90 4/221 25105
/proc/meminfo: memFree=27663912/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=2966184 CPUtime=7.79 cores=0,2,4,6
/proc/25083/stat : 25083 (java) S 25081 25083 24174 0 -1 4202496 22660 0 1 0 765 14 0 0 20 0 22 0 344892234 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140736307539776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 741546 114072 2282 9 0 732240 0
[pid=25083/tid=25085] ppid=25081 vsize=2966184 CPUtime=0.57 cores=0,2,4,6
/proc/25083/task/25085/stat : 25085 (java) S 25081 25083 24174 0 -1 4202560 2841 0 1 0 55 2 0 0 20 0 22 0 344892235 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503603270808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25086] ppid=25081 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/25083/task/25086/stat : 25086 (java) S 25081 25083 24174 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 344892236 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503587551912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25087] ppid=25081 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/25083/task/25087/stat : 25087 (java) S 25081 25083 24174 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 344892236 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503586499368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25088] ppid=25081 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/25083/task/25088/stat : 25088 (java) S 25081 25083 24174 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 344892236 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503585446824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25089] ppid=25081 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/25083/task/25089/stat : 25089 (java) S 25081 25083 24174 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 344892236 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503584394280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25090] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25090/stat : 25090 (java) S 25081 25083 24174 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503583340712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25091] ppid=25081 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/25083/task/25091/stat : 25091 (java) S 25081 25083 24174 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 344892236 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503582288168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25092] ppid=25081 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/25083/task/25092/stat : 25092 (java) S 25081 25083 24174 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 344892236 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503581235624 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25093] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25093/stat : 25093 (java) S 25081 25083 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503580183080 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25094] ppid=25081 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/25083/task/25094/stat : 25094 (java) S 25081 25083 24174 0 -1 4202560 37 0 0 0 4 0 0 0 20 0 22 0 344892238 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503567772264 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25095] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25095/stat : 25095 (java) S 25081 25083 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503566718584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25096] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25096/stat : 25096 (java) S 25081 25083 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503565665928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25097] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25097/stat : 25097 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503564614672 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25098] ppid=25081 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/25083/task/25098/stat : 25098 (java) S 25081 25083 24174 0 -1 4202560 10108 0 0 0 102 2 0 0 20 0 22 0 344892241 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503563561016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25099] ppid=25081 vsize=2966184 CPUtime=1.12 cores=0,2,4,6
/proc/25083/task/25099/stat : 25099 (java) S 25081 25083 24174 0 -1 4202560 8168 0 0 0 110 2 0 0 20 0 22 0 344892241 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503562508472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25100] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25100/stat : 25100 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503561456120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25101] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25101/stat : 25101 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503560403784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25102] ppid=25081 vsize=2966184 CPUtime=2.36 cores=0,2,4,6
/proc/25083/task/25102/stat : 25102 (java) R 25081 25083 24174 0 -1 4202560 25 0 0 0 236 0 0 0 20 0 22 0 344892295 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503559348816 140503430098012 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25103] ppid=25081 vsize=2966184 CPUtime=2.35 cores=0,2,4,6
/proc/25083/task/25103/stat : 25103 (java) R 25081 25083 24174 0 -1 4202560 185 0 0 0 231 4 0 0 20 0 22 0 344892295 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503558294200 140503430348223 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25104] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25104/stat : 25104 (java) S 25081 25083 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503557244456 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25105] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25105/stat : 25105 (java) S 25081 25083 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 114072 33554432000 1073741824 1073778376 140736307548640 140503556191912 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 2966184
[startup+6.30079 s]
/proc/loadavg: 3.91 3.95 3.90 5/221 25105
/proc/meminfo: memFree=27620788/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=2966184 CPUtime=14.26 cores=0,2,4,6
/proc/25083/stat : 25083 (java) S 25081 25083 24174 0 -1 4202496 22676 0 1 0 1412 14 0 0 20 0 22 0 344892234 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140736307539776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 741546 114766 2283 9 0 732240 0
[pid=25083/tid=25085] ppid=25081 vsize=2966184 CPUtime=0.57 cores=0,2,4,6
/proc/25083/task/25085/stat : 25085 (java) S 25081 25083 24174 0 -1 4202560 2841 0 1 0 55 2 0 0 20 0 22 0 344892235 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503603270808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25086] ppid=25081 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/25083/task/25086/stat : 25086 (java) S 25081 25083 24174 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 344892236 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503587551912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25087] ppid=25081 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/25083/task/25087/stat : 25087 (java) S 25081 25083 24174 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 344892236 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503586499368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25088] ppid=25081 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/25083/task/25088/stat : 25088 (java) S 25081 25083 24174 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 344892236 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503585446824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25089] ppid=25081 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/25083/task/25089/stat : 25089 (java) S 25081 25083 24174 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 344892236 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503584394280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25090] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25090/stat : 25090 (java) S 25081 25083 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503583340712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25091] ppid=25081 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/25083/task/25091/stat : 25091 (java) S 25081 25083 24174 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 344892236 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503582288168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25092] ppid=25081 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/25083/task/25092/stat : 25092 (java) S 25081 25083 24174 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 344892236 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503581235624 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25093] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25093/stat : 25093 (java) S 25081 25083 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344892236 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503580183080 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25094] ppid=25081 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/25083/task/25094/stat : 25094 (java) S 25081 25083 24174 0 -1 4202560 39 0 0 0 9 0 0 0 20 0 22 0 344892238 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503567772264 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25095] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25095/stat : 25095 (java) S 25081 25083 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503566718584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25096] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25096/stat : 25096 (java) S 25081 25083 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503565665928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25097] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25097/stat : 25097 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503564614672 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25098] ppid=25081 vsize=2966184 CPUtime=1.14 cores=0,2,4,6
/proc/25083/task/25098/stat : 25098 (java) S 25081 25083 24174 0 -1 4202560 10108 0 0 0 112 2 0 0 20 0 22 0 344892241 3037372416 114766 33554432000 1073741824 1073778376 140736307548640 140503563561016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=25083/tid=25103] ppid=25081 vsize=2966184 CPUtime=732.3 cores=0,2,4,6
/proc/25083/task/25103/stat : 25103 (java) R 25081 25083 24174 0 -1 4202560 419 0 0 0 73212 18 0 0 20 0 22 0 344892295 3037372416 229106 33554432000 1073741824 1073778376 140736307548640 140503558294200 140503430348844 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25104] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25104/stat : 25104 (java) S 25081 25083 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 229106 33554432000 1073741824 1073778376 140736307548640 140503557244456 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25105] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25105/stat : 25105 (java) S 25081 25083 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 229106 33554432000 1073741824 1073778376 140736307548640 140503556191912 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1517.58
Current children cumulated vsize (KiB) 2966184
[startup+822.301 s]
/proc/loadavg: 4.23 4.02 3.93 5/221 25115
/proc/meminfo: memFree=26791272/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=2966184 CPUtime=1636.96 cores=0,2,4,6
/proc/25083/stat : 25083 (java) S 25081 25083 24174 0 -1 4202496 25127 0 1 0 163577 119 0 0 20 0 22 0 344892234 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140736307539776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 741546 235879 2284 9 0 732240 0
[pid=25083/tid=25085] ppid=25081 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/25083/task/25085/stat : 25085 (java) S 25081 25083 24174 0 -1 4202560 2860 0 1 0 55 4 0 0 20 0 22 0 344892235 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503603270808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25086] ppid=25081 vsize=2966184 CPUtime=3.95 cores=0,2,4,6
/proc/25083/task/25086/stat : 25086 (java) S 25081 25083 24174 0 -1 4202560 201 0 0 0 388 7 0 0 20 0 22 0 344892236 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503587551912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25087] ppid=25081 vsize=2966184 CPUtime=3.99 cores=0,2,4,6
/proc/25083/task/25087/stat : 25087 (java) S 25081 25083 24174 0 -1 4202560 196 0 0 0 392 7 0 0 20 0 22 0 344892236 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503586499368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25088] ppid=25081 vsize=2966184 CPUtime=3.97 cores=0,2,4,6
/proc/25083/task/25088/stat : 25088 (java) S 25081 25083 24174 0 -1 4202560 206 0 0 0 389 8 0 0 20 0 22 0 344892236 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503585446824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25089] ppid=25081 vsize=2966184 CPUtime=3.9 cores=0,2,4,6
/proc/25083/task/25089/stat : 25089 (java) S 25081 25083 24174 0 -1 4202560 205 0 0 0 382 8 0 0 20 0 22 0 344892236 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503584394280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25090] ppid=25081 vsize=2966184 CPUtime=4.02 cores=0,2,4,6
/proc/25083/task/25090/stat : 25090 (java) S 25081 25083 24174 0 -1 4202560 195 0 0 0 394 8 0 0 20 0 22 0 344892236 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503583340712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25091] ppid=25081 vsize=2966184 CPUtime=3.92 cores=0,2,4,6
/proc/25083/task/25091/stat : 25091 (java) S 25081 25083 24174 0 -1 4202560 215 0 0 0 383 9 0 0 20 0 22 0 344892236 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503582288168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25092] ppid=25081 vsize=2966184 CPUtime=4 cores=0,2,4,6
/proc/25083/task/25092/stat : 25092 (java) S 25081 25083 24174 0 -1 4202560 198 0 0 0 392 8 0 0 20 0 22 0 344892236 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503581235624 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25093] ppid=25081 vsize=2966184 CPUtime=4.02 cores=0,2,4,6
/proc/25083/task/25093/stat : 25093 (java) S 25081 25083 24174 0 -1 4202560 211 0 0 0 396 6 0 0 20 0 22 0 344892236 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503580183080 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25094] ppid=25081 vsize=2966184 CPUtime=22.98 cores=0,2,4,6
/proc/25083/task/25094/stat : 25094 (java) S 25081 25083 24174 0 -1 4202560 109 0 0 0 2269 29 0 0 20 0 22 0 344892238 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503567772264 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25095] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25095/stat : 25095 (java) S 25081 25083 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503566718584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25096] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25096/stat : 25096 (java) S 25081 25083 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503565665928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25097] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25097/stat : 25097 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503564614672 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25098] ppid=25081 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/25083/task/25098/stat : 25098 (java) S 25081 25083 24174 0 -1 4202560 10226 0 0 0 166 3 0 0 20 0 22 0 344892241 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503563561016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25099] ppid=25081 vsize=2966184 CPUtime=1.2 cores=0,2,4,6
/proc/25083/task/25099/stat : 25099 (java) S 25081 25083 24174 0 -1 4202560 8171 0 0 0 118 2 0 0 20 0 22 0 344892241 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503562508472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25100] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25100/stat : 25100 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503561456120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25101] ppid=25081 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/25083/task/25101/stat : 25101 (java) S 25081 25083 24174 0 -1 4202560 46 0 0 0 16 14 0 0 20 0 22 0 344892241 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503560403784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25102] ppid=25081 vsize=2966184 CPUtime=789.35 cores=0,2,4,6
/proc/25083/task/25102/stat : 25102 (java) R 25081 25083 24174 0 -1 4202560 458 0 0 0 78920 15 0 0 20 0 22 0 344892295 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503559347888 140503430164916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25103] ppid=25081 vsize=2966184 CPUtime=789.53 cores=0,2,4,6
/proc/25083/task/25103/stat : 25103 (java) R 25081 25083 24174 0 -1 4202560 437 0 0 0 78935 18 0 0 20 0 22 0 344892295 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503558294200 140503430409088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25104] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25104/stat : 25104 (java) S 25081 25083 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503557244456 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25105] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25105/stat : 25105 (java) S 25081 25083 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 235879 33554432000 1073741824 1073778376 140736307548640 140503556191912 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1636.96
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 4.01 3.98 3.92 5/221 25115
/proc/meminfo: memFree=26712072/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=2966184 CPUtime=1755.26 cores=0,2,4,6
/proc/25083/stat : 25083 (java) S 25081 25083 24174 0 -1 4202496 25437 0 1 0 175394 132 0 0 20 0 22 0 344892234 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140736307539776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 741546 254944 2284 9 0 732240 0
[pid=25083/tid=25085] ppid=25081 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/25083/task/25085/stat : 25085 (java) S 25081 25083 24174 0 -1 4202560 2860 0 1 0 55 4 0 0 20 0 22 0 344892235 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503603270808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25086] ppid=25081 vsize=2966184 CPUtime=4.37 cores=0,2,4,6
/proc/25083/task/25086/stat : 25086 (java) S 25081 25083 24174 0 -1 4202560 240 0 0 0 429 8 0 0 20 0 22 0 344892236 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503587551912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25087] ppid=25081 vsize=2966184 CPUtime=4.37 cores=0,2,4,6
/proc/25083/task/25087/stat : 25087 (java) S 25081 25083 24174 0 -1 4202560 231 0 0 0 429 8 0 0 20 0 22 0 344892236 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503586499368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25088] ppid=25081 vsize=2966184 CPUtime=4.3 cores=0,2,4,6
/proc/25083/task/25088/stat : 25088 (java) S 25081 25083 24174 0 -1 4202560 222 0 0 0 421 9 0 0 20 0 22 0 344892236 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503585446824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25089] ppid=25081 vsize=2966184 CPUtime=4.26 cores=0,2,4,6
/proc/25083/task/25089/stat : 25089 (java) S 25081 25083 24174 0 -1 4202560 251 0 0 0 416 10 0 0 20 0 22 0 344892236 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503584394280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25090] ppid=25081 vsize=2966184 CPUtime=4.36 cores=0,2,4,6
/proc/25083/task/25090/stat : 25090 (java) S 25081 25083 24174 0 -1 4202560 219 0 0 0 427 9 0 0 20 0 22 0 344892236 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503583340712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25091] ppid=25081 vsize=2966184 CPUtime=4.28 cores=0,2,4,6
/proc/25083/task/25091/stat : 25091 (java) S 25081 25083 24174 0 -1 4202560 250 0 0 0 418 10 0 0 20 0 22 0 344892236 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503582288168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25092] ppid=25081 vsize=2966184 CPUtime=4.39 cores=0,2,4,6
/proc/25083/task/25092/stat : 25092 (java) S 25081 25083 24174 0 -1 4202560 232 0 0 0 429 10 0 0 20 0 22 0 344892236 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503581235624 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25093] ppid=25081 vsize=2966184 CPUtime=4.33 cores=0,2,4,6
/proc/25083/task/25093/stat : 25093 (java) S 25081 25083 24174 0 -1 4202560 225 0 0 0 426 7 0 0 20 0 22 0 344892236 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503580183080 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25094] ppid=25081 vsize=2966184 CPUtime=25.93 cores=0,2,4,6
/proc/25083/task/25094/stat : 25094 (java) S 25081 25083 24174 0 -1 4202560 113 0 0 0 2563 30 0 0 20 0 22 0 344892238 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503567772264 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25095] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25095/stat : 25095 (java) S 25081 25083 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503566718584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25096] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25096/stat : 25096 (java) S 25081 25083 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503565665928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25097] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25097/stat : 25097 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503564614672 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25098] ppid=25081 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/25083/task/25098/stat : 25098 (java) S 25081 25083 24174 0 -1 4202560 10226 0 0 0 166 3 0 0 20 0 22 0 344892241 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503563561016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25099] ppid=25081 vsize=2966184 CPUtime=1.2 cores=0,2,4,6
/proc/25083/task/25099/stat : 25099 (java) S 25081 25083 24174 0 -1 4202560 8171 0 0 0 118 2 0 0 20 0 22 0 344892241 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503562508472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25100] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25100/stat : 25100 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503561456120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25101] ppid=25081 vsize=2966184 CPUtime=0.32 cores=0,2,4,6
/proc/25083/task/25101/stat : 25101 (java) S 25081 25083 24174 0 -1 4202560 50 0 0 0 17 15 0 0 20 0 22 0 344892241 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503560403784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25102] ppid=25081 vsize=2966184 CPUtime=845.58 cores=0,2,4,6
/proc/25083/task/25102/stat : 25102 (java) R 25081 25083 24174 0 -1 4202560 501 0 0 0 84542 16 0 0 20 0 22 0 344892295 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503559348008 140503430217499 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25103] ppid=25081 vsize=2966184 CPUtime=845.78 cores=0,2,4,6
/proc/25083/task/25103/stat : 25103 (java) R 25081 25083 24174 0 -1 4202560 453 0 0 0 84559 19 0 0 20 0 22 0 344892295 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503558294096 140503430105386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25104] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25104/stat : 25104 (java) S 25081 25083 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503557244456 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25105] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25105/stat : 25105 (java) S 25081 25083 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 254944 33554432000 1073741824 1073778376 140736307548640 140503556191912 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1755.26
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+904.801 s]
/proc/loadavg: 3.87 3.95 3.91 6/221 25181
/proc/meminfo: memFree=27019580/32873844 swapFree=7380/7380
[pid=25083] ppid=25081 vsize=2966184 CPUtime=1800.18 cores=0,2,4,6
/proc/25083/stat : 25083 (java) S 25081 25083 24174 0 -1 4202496 25500 0 1 0 179883 135 0 0 20 0 22 0 344892234 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140736307539776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25083/statm: 741546 254976 2284 9 0 732240 0
[pid=25083/tid=25085] ppid=25081 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/25083/task/25085/stat : 25085 (java) S 25081 25083 24174 0 -1 4202560 2861 0 1 0 55 4 0 0 20 0 22 0 344892235 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503603270808 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25086] ppid=25081 vsize=2966184 CPUtime=4.53 cores=0,2,4,6
/proc/25083/task/25086/stat : 25086 (java) S 25081 25083 24174 0 -1 4202560 242 0 0 0 444 9 0 0 20 0 22 0 344892236 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503587551912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25087] ppid=25081 vsize=2966184 CPUtime=4.51 cores=0,2,4,6
/proc/25083/task/25087/stat : 25087 (java) S 25081 25083 24174 0 -1 4202560 231 0 0 0 443 8 0 0 20 0 22 0 344892236 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503586499368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25088] ppid=25081 vsize=2966184 CPUtime=4.42 cores=0,2,4,6
/proc/25083/task/25088/stat : 25088 (java) S 25081 25083 24174 0 -1 4202560 222 0 0 0 433 9 0 0 20 0 22 0 344892236 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503585446824 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25089] ppid=25081 vsize=2966184 CPUtime=4.45 cores=0,2,4,6
/proc/25083/task/25089/stat : 25089 (java) S 25081 25083 24174 0 -1 4202560 256 0 0 0 435 10 0 0 20 0 22 0 344892236 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503584394280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25090] ppid=25081 vsize=2966184 CPUtime=4.52 cores=0,2,4,6
/proc/25083/task/25090/stat : 25090 (java) S 25081 25083 24174 0 -1 4202560 223 0 0 0 443 9 0 0 20 0 22 0 344892236 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503583340712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25091] ppid=25081 vsize=2966184 CPUtime=4.41 cores=0,2,4,6
/proc/25083/task/25091/stat : 25091 (java) S 25081 25083 24174 0 -1 4202560 256 0 0 0 431 10 0 0 20 0 22 0 344892236 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503582288168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25092] ppid=25081 vsize=2966184 CPUtime=4.51 cores=0,2,4,6
/proc/25083/task/25092/stat : 25092 (java) S 25081 25083 24174 0 -1 4202560 244 0 0 0 441 10 0 0 20 0 22 0 344892236 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503581235624 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25093] ppid=25081 vsize=2966184 CPUtime=4.46 cores=0,2,4,6
/proc/25083/task/25093/stat : 25093 (java) S 25081 25083 24174 0 -1 4202560 228 0 0 0 439 7 0 0 20 0 22 0 344892236 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503580183080 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25094] ppid=25081 vsize=2966184 CPUtime=26.51 cores=0,2,4,6
/proc/25083/task/25094/stat : 25094 (java) S 25081 25083 24174 0 -1 4202560 115 0 0 0 2619 32 0 0 20 0 22 0 344892238 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503567772264 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25095] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25095/stat : 25095 (java) S 25081 25083 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503566718584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25096] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25096/stat : 25096 (java) S 25081 25083 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344892238 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503565665928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25097] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25097/stat : 25097 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503564614672 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25098] ppid=25081 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/25083/task/25098/stat : 25098 (java) S 25081 25083 24174 0 -1 4202560 10226 0 0 0 166 3 0 0 20 0 22 0 344892241 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503563561016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25099] ppid=25081 vsize=2966184 CPUtime=1.2 cores=0,2,4,6
/proc/25083/task/25099/stat : 25099 (java) S 25081 25083 24174 0 -1 4202560 8171 0 0 0 118 2 0 0 20 0 22 0 344892241 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503562508472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25100] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25100/stat : 25100 (java) S 25081 25083 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344892241 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503561456120 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25101] ppid=25081 vsize=2966184 CPUtime=0.33 cores=0,2,4,6
/proc/25083/task/25101/stat : 25101 (java) S 25081 25083 24174 0 -1 4202560 52 0 0 0 18 15 0 0 20 0 22 0 344892241 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503560403784 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25083/tid=25102] ppid=25081 vsize=2966184 CPUtime=867.19 cores=0,2,4,6
/proc/25083/task/25102/stat : 25102 (java) R 25081 25083 24174 0 -1 4202560 519 0 0 0 86702 17 0 0 20 0 22 0 344892295 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503559347888 140503430180530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25083/tid=25103] ppid=25081 vsize=2966184 CPUtime=867.39 cores=0,2,4,6
/proc/25083/task/25103/stat : 25103 (java) R 25081 25083 24174 0 -1 4202560 461 0 0 0 86719 20 0 0 20 0 22 0 344892295 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503558294096 140503430105362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25083/tid=25104] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25104/stat : 25104 (java) S 25081 25083 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503557244456 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25083/tid=25105] ppid=25081 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/25083/task/25105/stat : 25105 (java) S 25081 25083 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344892297 3037372416 254976 33554432000 1073741824 1073778376 140736307548640 140503556191912 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 2966184
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): 904.849
CPU time (s): 1801.14
CPU user time (s): 1799.32
CPU system time (s): 1.81972
CPU usage (%): 199.054
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 1.81972
maximum resident set size= 1020028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25532
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42507
involuntary context switches= 72477
runsolver used 3.2895 second user time and 8.12576 second system time
The end