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-3688727-1337886865/watcher-3688727-1337886865 -o /tmp/evaluation-result-3688727-1337886865/solver-3688727-1337886865 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688727-1337886865.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: 1.92 1.98 1.99 3/194 25147
/proc/meminfo: memFree=27518256/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25147/stat : 25147 (runsolver) D 25145 25147 23066 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 254811558 12095488 50 33554432000 4194304 5436572 140735683302960 140735683299256 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/25147/statm: 2953 50 31 304 0 2645 0
[startup+0.0395769 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25147
/proc/meminfo: memFree=27518256/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25147/stat : 25147 (runsolver) D 25145 25147 23066 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 254811558 12095488 55 33554432000 4194304 5436572 140735683302960 140735683298840 5057063 0 0 4096 24578 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/25147/statm: 2953 55 36 304 0 2645 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11812
[startup+0.100251 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25147
/proc/meminfo: memFree=27518256/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 3031 0 1 0 2 0 0 0 20 0 13 0 254811558 9446973440 3730 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2306390 3731 1701 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.300217 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25147
/proc/meminfo: memFree=27518256/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9558412 CPUtime=0.31 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 4875 0 1 0 30 1 0 0 20 0 18 0 254811558 9787813888 6967 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2389603 6967 2199 9 0 2380296 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558412
[startup+0.700176 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25147
/proc/meminfo: memFree=27518256/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 12685 0 1 0 142 3 0 0 20 0 19 0 254811558 9855975424 27802 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 27802 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9624976
[startup+1.50067 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 25166
/proc/meminfo: memFree=27415492/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=2.48 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 13031 0 1 0 245 3 0 0 20 0 19 0 254811558 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 28376 2257 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 2492 0 1 0 140 1 0 0 20 0 19 0 254811563 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140127146066392 140127016522772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254811566 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4807 0 0 0 52 0 0 0 20 0 19 0 254811570 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4534 0 0 0 52 0 0 0 20 0 19 0 254811570 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9624976
[startup+3.10065 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 25166
/proc/meminfo: memFree=27411016/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=4.09 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 13034 0 1 0 406 3 0 0 20 0 19 0 254811558 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 29400 2257 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=3 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 2495 0 1 0 299 1 0 0 20 0 19 0 254811563 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140127146066072 140127016545883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254811566 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4807 0 0 0 52 0 0 0 20 0 19 0 254811570 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4534 0 0 0 52 0 0 0 20 0 19 0 254811570 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9624976
[startup+6.30061 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 25166
/proc/meminfo: memFree=27383896/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=7.34 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 13116 0 1 0 729 5 0 0 20 0 19 0 254811558 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 35538 2283 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=6.15 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 2501 0 1 0 614 1 0 0 20 0 19 0 254811563 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140127146066328 140127016527268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 254811566 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4817 0 0 0 53 0 0 0 20 0 19 0 254811570 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4534 0 0 0 53 0 0 0 20 0 19 0 254811570 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4824 0 0 0 58 0 0 0 20 0 19 0 254811570 9855975424 231920 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4547 0 0 0 60 0 0 0 20 0 19 0 254811570 9855975424 231920 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 231920 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 93 0 0 0 32 23 0 0 20 0 19 0 254811570 9855975424 231920 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 231920 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1633.3
Current children cumulated vsize (KiB) 9624976
[startup+1662.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 25297
/proc/meminfo: memFree=26519760/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=1694.7 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 42665 0 1 0 169278 192 0 0 20 0 19 0 254811558 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 227638 2284 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=1638.52 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 3429 0 1 0 163823 29 0 0 20 0 19 0 254811563 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140127146065264 140127016563274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=5.57 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 2982 0 0 0 536 21 0 0 20 0 19 0 254811564 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=5.18 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 4111 0 0 0 500 18 0 0 20 0 19 0 254811564 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=5.51 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 3734 0 0 0 529 22 0 0 20 0 19 0 254811564 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=5.53 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 4866 0 0 0 530 23 0 0 20 0 19 0 254811564 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=5.35 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 2546 0 0 0 517 18 0 0 20 0 19 0 254811565 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=5.44 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 3081 0 0 0 523 21 0 0 20 0 19 0 254811565 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=5.27 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 2626 0 0 0 505 22 0 0 20 0 19 0 254811565 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=5.11 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 2798 0 0 0 495 16 0 0 20 0 19 0 254811565 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=7.48 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 1842 0 0 0 739 9 0 0 20 0 19 0 254811566 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4824 0 0 0 58 0 0 0 20 0 19 0 254811570 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4547 0 0 0 60 0 0 0 20 0 19 0 254811570 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 95 0 0 0 32 25 0 0 20 0 19 0 254811570 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1694.7
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 25297
/proc/meminfo: memFree=26413828/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=1755.67 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 44102 0 1 0 175368 199 0 0 20 0 19 0 254811558 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 248380 2284 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=1697.85 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 3439 0 1 0 169755 30 0 0 20 0 19 0 254811563 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140127146065264 140127016563603 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=5.74 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 3586 0 0 0 553 21 0 0 20 0 19 0 254811564 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=5.3 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 4391 0 0 0 511 19 0 0 20 0 19 0 254811564 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=5.7 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 3754 0 0 0 547 23 0 0 20 0 19 0 254811564 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=5.73 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 4965 0 0 0 549 24 0 0 20 0 19 0 254811564 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=5.52 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 2595 0 0 0 534 18 0 0 20 0 19 0 254811565 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=5.63 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 3172 0 0 0 541 22 0 0 20 0 19 0 254811565 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=5.41 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 2645 0 0 0 519 22 0 0 20 0 19 0 254811565 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=5.28 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 3004 0 0 0 512 16 0 0 20 0 19 0 254811565 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=7.62 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 1897 0 0 0 753 9 0 0 20 0 19 0 254811566 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4824 0 0 0 58 0 0 0 20 0 19 0 254811570 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4547 0 0 0 60 0 0 0 20 0 19 0 254811570 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 99 0 0 0 34 26 0 0 20 0 19 0 254811570 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1755.67
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1765.4 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 25297
/proc/meminfo: memFree=26428212/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 44903 0 1 0 179803 203 0 0 20 0 19 0 254811558 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 244344 2284 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=1740.23 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 3453 0 1 0 173992 31 0 0 20 0 19 0 254811563 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140127146065264 140127016527268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=6.01 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 3819 0 0 0 579 22 0 0 20 0 19 0 254811564 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=5.52 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 4399 0 0 0 532 20 0 0 20 0 19 0 254811564 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=5.92 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 3899 0 0 0 569 23 0 0 20 0 19 0 254811564 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=5.9 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 4965 0 0 0 566 24 0 0 20 0 19 0 254811564 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=5.72 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 2700 0 0 0 553 19 0 0 20 0 19 0 254811565 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=5.84 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 3172 0 0 0 562 22 0 0 20 0 19 0 254811565 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=5.68 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 2815 0 0 0 545 23 0 0 20 0 19 0 254811565 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=5.52 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 3111 0 0 0 535 17 0 0 20 0 19 0 254811565 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=7.75 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 1914 0 0 0 766 9 0 0 20 0 19 0 254811566 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4824 0 0 0 58 0 0 0 20 0 19 0 254811570 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4547 0 0 0 60 0 0 0 20 0 19 0 254811570 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 101 0 0 0 34 27 0 0 20 0 19 0 254811570 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25147 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=697316
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=512618
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1765.46
CPU time (s): 1800.06
CPU user time (s): 1798.03
CPU system time (s): 2.03
CPU usage (%): 101.96
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.7
system time used= 2.51262
maximum resident set size= 1124052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44935
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52947
involuntary context switches= 73933
runsolver used 5.38018 second user time and 15.2937 second system time
The end