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-3688743-1337887288/watcher-3688743-1337887288 -o /tmp/evaluation-result-3688743-1337887288/solver-3688743-1337887288 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688743-1337887288.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 2/194 25210
/proc/meminfo: memFree=27234348/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25210/stat : 25210 (java) D 25208 25210 23066 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254853838 9515008 182 33554432000 1073741824 1073778376 140733999984704 140733999975736 227141303989 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25210/statm: 2323 182 140 9 0 71 0
[startup+0.03354 s]
/proc/loadavg: 2.01 2.01 2.00 2/194 25210
/proc/meminfo: memFree=27234348/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9016616 CPUtime=0.01 cores=1,3,5,7
/proc/25210/stat : 25210 (java) S 25208 25210 23066 0 -1 4202496 2776 0 1 0 1 0 0 0 20 0 10 0 254853838 9233014784 3475 33554432000 1073741824 1073778376 140734880582960 140734880574096 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25210/statm: 2254154 3475 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616
[startup+0.100339 s]
/proc/loadavg: 2.01 2.01 2.00 2/194 25210
/proc/meminfo: memFree=27234348/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/25210/stat : 25210 (java) S 25208 25210 23066 0 -1 4202496 4041 0 1 0 8 0 0 0 20 0 18 0 254853838 9787813888 5242 33554432000 1073741824 1073778376 140734880582960 140734880574096 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25210/statm: 2389603 5270 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300291 s]
/proc/loadavg: 2.01 2.01 2.00 2/194 25210
/proc/meminfo: memFree=27234348/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9558412 CPUtime=0.44 cores=1,3,5,7
/proc/25210/stat : 25210 (java) S 25208 25210 23066 0 -1 4202496 6025 0 1 0 43 1 0 0 20 0 18 0 254853838 9787813888 8264 33554432000 1073741824 1073778376 140734880582960 140734880574096 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25210/statm: 2389603 8264 2228 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.700291 s]
/proc/loadavg: 2.01 2.01 2.00 2/194 25210
/proc/meminfo: memFree=27234348/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/25210/stat : 25210 (java) S 25208 25210 23066 0 -1 4202496 7277 0 1 0 111 1 0 0 20 0 19 0 254853838 9855975424 9620 33554432000 1073741824 1073778376 140734880582960 140734880574096 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25210/statm: 2406244 9620 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9624976
[startup+1.50068 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 25229
/proc/meminfo: memFree=27193908/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9624976 CPUtime=2.08 cores=1,3,5,7
/proc/25210/stat : 25210 (java) S 25208 25210 23066 0 -1 4202496 7679 0 1 0 206 2 0 0 20 0 19 0 254853838 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140734880574096 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25210/statm: 2406244 12752 2280 9 0 2396937 0
[pid=25210/tid=25212] ppid=25208 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/25210/task/25212/stat : 25212 (java) R 25208 25210 23066 0 -1 4202560 2457 0 1 0 142 0 0 0 20 0 19 0 254853839 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004514222368 140004341341352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25213] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25213/stat : 25213 (java) S 25208 25210 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004475714344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25214] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25214/stat : 25214 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004474661544 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25215] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25215/stat : 25215 (java) S 25208 25210 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004473609256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25216] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25216/stat : 25216 (java) S 25208 25210 23066 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004472556456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25217] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25217/stat : 25217 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004471503144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25218] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25218/stat : 25218 (java) S 25208 25210 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004470450344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25219] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25219/stat : 25219 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004469398056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25220] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25220/stat : 25220 (java) S 25208 25210 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004468345256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25221] ppid=25208 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/25210/task/25221/stat : 25221 (java) S 25208 25210 23066 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 254853841 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004337629928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25222] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25222/stat : 25222 (java) S 25208 25210 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004336575992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25223] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25223/stat : 25223 (java) S 25208 25210 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004335523592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25224] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25224/stat : 25224 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004334472080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25225] ppid=25208 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25210/task/25225/stat : 25225 (java) S 25208 25210 23066 0 -1 4202560 1993 0 0 0 29 0 0 0 20 0 19 0 254853844 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004333418680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25226] ppid=25208 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/25210/task/25226/stat : 25226 (java) S 25208 25210 23066 0 -1 4202560 1973 0 0 0 27 0 0 0 20 0 19 0 254853844 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004332365880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25227] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25227/stat : 25227 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004331313784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25228] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25228/stat : 25228 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853845 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004330261192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25229] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25229/stat : 25229 (java) S 25208 25210 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254853869 9855975424 12752 33554432000 1073741824 1073778376 140734880582960 140004329207208 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9624976
[startup+3.1008 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 25229
/proc/meminfo: memFree=27188820/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9624976 CPUtime=3.75 cores=1,3,5,7
/proc/25210/stat : 25210 (java) S 25208 25210 23066 0 -1 4202496 8087 0 1 0 373 2 0 0 20 0 19 0 254853838 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140734880574096 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25210/statm: 2406244 13277 2280 9 0 2396937 0
[pid=25210/tid=25212] ppid=25208 vsize=9624976 CPUtime=2.93 cores=1,3,5,7
/proc/25210/task/25212/stat : 25212 (java) R 25208 25210 23066 0 -1 4202560 2461 0 1 0 293 0 0 0 20 0 19 0 254853839 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004514222488 140004341402267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25213] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25213/stat : 25213 (java) S 25208 25210 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004475714344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25214] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25214/stat : 25214 (java) S 25208 25210 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004474661544 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25215] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25215/stat : 25215 (java) S 25208 25210 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004473609256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25216] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25216/stat : 25216 (java) S 25208 25210 23066 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004472556456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25217] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25217/stat : 25217 (java) S 25208 25210 23066 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004471503144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25218] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25218/stat : 25218 (java) S 25208 25210 23066 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004470450344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25219] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25219/stat : 25219 (java) S 25208 25210 23066 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004469398056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25220] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25220/stat : 25220 (java) S 25208 25210 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004468345256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25221] ppid=25208 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/25210/task/25221/stat : 25221 (java) S 25208 25210 23066 0 -1 4202560 32 0 0 0 9 0 0 0 20 0 19 0 254853841 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004337629928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25222] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25222/stat : 25222 (java) S 25208 25210 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004336575992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25223] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25223/stat : 25223 (java) S 25208 25210 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004335523592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25224] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25224/stat : 25224 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004334472080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25225] ppid=25208 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25210/task/25225/stat : 25225 (java) S 25208 25210 23066 0 -1 4202560 1993 0 0 0 29 0 0 0 20 0 19 0 254853844 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004333418680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25226] ppid=25208 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/25210/task/25226/stat : 25226 (java) S 25208 25210 23066 0 -1 4202560 2363 0 0 0 33 0 0 0 20 0 19 0 254853844 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004332365880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25227] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25227/stat : 25227 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004331313784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25228] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25228/stat : 25228 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853845 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004330261192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25229] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25229/stat : 25229 (java) S 25208 25210 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254853869 9855975424 13277 33554432000 1073741824 1073778376 140734880582960 140004329207208 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 9624976
[startup+6.30081 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 25229
/proc/meminfo: memFree=27185352/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9624976 CPUtime=6.99 cores=1,3,5,7
/proc/25210/stat : 25210 (java) S 25208 25210 23066 0 -1 4202496 8109 0 1 0 697 2 0 0 20 0 19 0 254853838 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140734880574096 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25210/statm: 2406244 14151 2281 9 0 2396937 0
[pid=25210/tid=25212] ppid=25208 vsize=9624976 CPUtime=6.02 cores=1,3,5,7
/proc/25210/task/25212/stat : 25212 (java) R 25208 25210 23066 0 -1 4202560 2467 0 1 0 602 0 0 0 20 0 19 0 254853839 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004514222368 140004341500640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25213] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25213/stat : 25213 (java) S 25208 25210 23066 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004475714344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25214] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25214/stat : 25214 (java) S 25208 25210 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004474661544 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25215] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25215/stat : 25215 (java) S 25208 25210 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004473609256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25216] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25216/stat : 25216 (java) S 25208 25210 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004472556456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25217] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25217/stat : 25217 (java) S 25208 25210 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004471503144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25218] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25218/stat : 25218 (java) S 25208 25210 23066 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004470450344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25219] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25219/stat : 25219 (java) S 25208 25210 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004469398056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25220] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25220/stat : 25220 (java) S 25208 25210 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254853840 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004468345256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25221] ppid=25208 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/25210/task/25221/stat : 25221 (java) S 25208 25210 23066 0 -1 4202560 33 0 0 0 18 0 0 0 20 0 19 0 254853841 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004337629928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25222] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25222/stat : 25222 (java) S 25208 25210 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004336575992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25223] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25223/stat : 25223 (java) S 25208 25210 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004335523592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25224] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25224/stat : 25224 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004334472080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25225] ppid=25208 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25210/task/25225/stat : 25225 (java) S 25208 25210 23066 0 -1 4202560 1993 0 0 0 29 0 0 0 20 0 19 0 254853844 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004333418680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25226] ppid=25208 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/25210/task/25226/stat : 25226 (java) S 25208 25210 23066 0 -1 4202560 2364 0 0 0 34 0 0 0 20 0 19 0 254853844 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004332365880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25227] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25227/stat : 25227 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004331313784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25228] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25228/stat : 25228 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853845 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004330261192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25229] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25229/stat : 25229 (java) S 25208 25210 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254853869 9855975424 14151 33554432000 1073741824 1073778376 140734880582960 140004329207208 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
/proc/25210/task/25221/stat : 25221 (java) S 25208 25210 23066 0 -1 4202560 47 0 0 0 184 1 0 0 20 0 19 0 254853841 9855975424 23815 33554432000 1073741824 1073778376 140734880582960 140004337629928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25222] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25222/stat : 25222 (java) S 25208 25210 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 23815 33554432000 1073741824 1073778376 140734880582960 140004336575992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25223] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25223/stat : 25223 (java) S 25208 25210 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 23815 33554432000 1073741824 1073778376 140734880582960 140004335523592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25224] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25224/stat : 25224 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 23815 33554432000 1073741824 1073778376 140734880582960 140004334472080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25225] ppid=25208 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25210/task/25225/stat : 25225 (java) S 25208 25210 23066 0 -1 4202560 1993 0 0 0 29 0 0 0 20 0 19 0 254853844 9855975424 23815 33554432000 1073741824 1073778376 140734880582960 140004333418680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25226] ppid=25208 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25210/task/25226/stat : 25226 (java) S 25208 25210 23066 0 -1 4202560 2690 0 0 0 38 0 0 0 20 0 19 0 254853844 9855975424 23815 33554432000 1073741824 1073778376 140734880582960 140004332365880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25227] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25227/stat : 25227 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 23815 33554432000 1073741824 1073778376 140734880582960 140004331313784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25228] ppid=25208 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/25210/task/25228/stat : 25228 (java) S 25208 25210 23066 0 -1 4202560 9 0 0 0 2 1 0 0 20 0 19 0 254853845 9855975424 23815 33554432000 1073741824 1073778376 140734880582960 140004330261192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25229] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25229/stat : 25229 (java) S 25208 25210 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254853869 9855975424 23815 33554432000 1073741824 1073778376 140734880582960 140004329207208 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 164.19
Current children cumulated vsize (KiB) 9624976
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25230
/proc/meminfo: memFree=26948256/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9624976 CPUtime=224.38 cores=1,3,5,7
/proc/25210/stat : 25210 (java) S 25208 25210 23066 0 -1 4202496 9123 0 1 0 22429 9 0 0 20 0 19 0 254853838 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140734880574096 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25210/statm: 2406244 24414 2282 9 0 2396937 0
[pid=25210/tid=25212] ppid=25208 vsize=9624976 CPUtime=218.77 cores=1,3,5,7
/proc/25210/task/25212/stat : 25212 (java) R 25208 25210 23066 0 -1 4202560 2552 0 1 0 21874 3 0 0 20 0 19 0 254853839 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004514222368 140004341261936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25213] ppid=25208 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/25210/task/25213/stat : 25213 (java) S 25208 25210 23066 0 -1 4202560 80 0 0 0 26 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004475714344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25214] ppid=25208 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/25210/task/25214/stat : 25214 (java) S 25208 25210 23066 0 -1 4202560 113 0 0 0 30 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004474661544 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25215] ppid=25208 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25210/task/25215/stat : 25215 (java) S 25208 25210 23066 0 -1 4202560 66 0 0 0 23 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004473609256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25216] ppid=25208 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/25210/task/25216/stat : 25216 (java) S 25208 25210 23066 0 -1 4202560 96 0 0 0 20 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004472556456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25217] ppid=25208 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25210/task/25217/stat : 25217 (java) S 25208 25210 23066 0 -1 4202560 46 0 0 0 23 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004471503144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25218] ppid=25208 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25210/task/25218/stat : 25218 (java) S 25208 25210 23066 0 -1 4202560 68 0 0 0 23 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004470450344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25219] ppid=25208 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/25210/task/25219/stat : 25219 (java) S 25208 25210 23066 0 -1 4202560 104 0 0 0 26 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004469398056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25220] ppid=25208 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/25210/task/25220/stat : 25220 (java) S 25208 25210 23066 0 -1 4202560 68 0 0 0 24 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004468345256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25221] ppid=25208 vsize=9624976 CPUtime=2.2 cores=1,3,5,7
/proc/25210/task/25221/stat : 25221 (java) S 25208 25210 23066 0 -1 4202560 52 0 0 0 219 1 0 0 20 0 19 0 254853841 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004337629928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25222] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25222/stat : 25222 (java) S 25208 25210 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004336575992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25223] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25223/stat : 25223 (java) S 25208 25210 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004335523592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25224] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25224/stat : 25224 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004334472080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25225] ppid=25208 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25210/task/25225/stat : 25225 (java) S 25208 25210 23066 0 -1 4202560 1993 0 0 0 29 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004333418680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25226] ppid=25208 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/25210/task/25226/stat : 25226 (java) S 25208 25210 23066 0 -1 4202560 2690 0 0 0 38 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004332365880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25227] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25227/stat : 25227 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004331313784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25228] ppid=25208 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/25210/task/25228/stat : 25228 (java) S 25208 25210 23066 0 -1 4202560 13 0 0 0 3 2 0 0 20 0 19 0 254853845 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004330261192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25229] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25229/stat : 25229 (java) S 25208 25210 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254853869 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004329207208 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 224.38
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+223.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25230
/proc/meminfo: memFree=26948256/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9624976 CPUtime=225.18 cores=1,3,5,7
/proc/25210/stat : 25210 (java) S 25208 25210 23066 0 -1 4202496 9124 0 1 0 22509 9 0 0 20 0 19 0 254853838 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140734880574096 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25210/statm: 2406244 24414 2282 9 0 2396937 0
[pid=25210/tid=25212] ppid=25208 vsize=9624976 CPUtime=219.57 cores=1,3,5,7
/proc/25210/task/25212/stat : 25212 (java) R 25208 25210 23066 0 -1 4202560 2552 0 1 0 21954 3 0 0 20 0 19 0 254853839 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004514223000 140004341527103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25213] ppid=25208 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/25210/task/25213/stat : 25213 (java) S 25208 25210 23066 0 -1 4202560 80 0 0 0 26 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004475714344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25214] ppid=25208 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/25210/task/25214/stat : 25214 (java) S 25208 25210 23066 0 -1 4202560 113 0 0 0 30 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004474661544 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25215] ppid=25208 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25210/task/25215/stat : 25215 (java) S 25208 25210 23066 0 -1 4202560 66 0 0 0 23 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004473609256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25216] ppid=25208 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/25210/task/25216/stat : 25216 (java) S 25208 25210 23066 0 -1 4202560 96 0 0 0 20 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004472556456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25217] ppid=25208 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25210/task/25217/stat : 25217 (java) S 25208 25210 23066 0 -1 4202560 46 0 0 0 23 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004471503144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25218] ppid=25208 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25210/task/25218/stat : 25218 (java) S 25208 25210 23066 0 -1 4202560 68 0 0 0 23 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004470450344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25219] ppid=25208 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/25210/task/25219/stat : 25219 (java) S 25208 25210 23066 0 -1 4202560 104 0 0 0 26 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004469398056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25220] ppid=25208 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/25210/task/25220/stat : 25220 (java) S 25208 25210 23066 0 -1 4202560 68 0 0 0 24 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004468345256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25221] ppid=25208 vsize=9624976 CPUtime=2.2 cores=1,3,5,7
/proc/25210/task/25221/stat : 25221 (java) S 25208 25210 23066 0 -1 4202560 52 0 0 0 219 1 0 0 20 0 19 0 254853841 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004337629928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25222] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25222/stat : 25222 (java) S 25208 25210 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004336575992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25223] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25223/stat : 25223 (java) S 25208 25210 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004335523592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25224] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25224/stat : 25224 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004334472080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25225] ppid=25208 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25210/task/25225/stat : 25225 (java) S 25208 25210 23066 0 -1 4202560 1993 0 0 0 29 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004333418680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25226] ppid=25208 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/25210/task/25226/stat : 25226 (java) S 25208 25210 23066 0 -1 4202560 2691 0 0 0 39 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004332365880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25227] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25227/stat : 25227 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004331313784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25228] ppid=25208 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/25210/task/25228/stat : 25228 (java) S 25208 25210 23066 0 -1 4202560 13 0 0 0 3 2 0 0 20 0 19 0 254853845 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004330261192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25229] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25229/stat : 25229 (java) S 25208 25210 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254853869 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004329207208 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 225.18
Current children cumulated vsize (KiB) 9624976
[startup+223.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25230
/proc/meminfo: memFree=26935348/32873844 swapFree=7108/7108
[pid=25210] ppid=25208 vsize=9624976 CPUtime=225.58 cores=1,3,5,7
/proc/25210/stat : 25210 (java) S 25208 25210 23066 0 -1 4202496 9124 0 1 0 22549 9 0 0 20 0 19 0 254853838 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140734880574096 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25210/statm: 2406244 24414 2282 9 0 2396937 0
[pid=25210/tid=25212] ppid=25208 vsize=9624976 CPUtime=219.97 cores=1,3,5,7
/proc/25210/task/25212/stat : 25212 (java) R 25208 25210 23066 0 -1 4202560 2552 0 1 0 21994 3 0 0 20 0 19 0 254853839 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004514223000 140004341527123 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25213] ppid=25208 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/25210/task/25213/stat : 25213 (java) S 25208 25210 23066 0 -1 4202560 80 0 0 0 26 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004475714344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25214] ppid=25208 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/25210/task/25214/stat : 25214 (java) S 25208 25210 23066 0 -1 4202560 113 0 0 0 30 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004474661544 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25215] ppid=25208 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25210/task/25215/stat : 25215 (java) S 25208 25210 23066 0 -1 4202560 66 0 0 0 23 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004473609256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25216] ppid=25208 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/25210/task/25216/stat : 25216 (java) S 25208 25210 23066 0 -1 4202560 96 0 0 0 20 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004472556456 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25210/tid=25217] ppid=25208 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25210/task/25217/stat : 25217 (java) S 25208 25210 23066 0 -1 4202560 46 0 0 0 23 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004471503144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25218] ppid=25208 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/25210/task/25218/stat : 25218 (java) S 25208 25210 23066 0 -1 4202560 68 0 0 0 23 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004470450344 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25219] ppid=25208 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/25210/task/25219/stat : 25219 (java) S 25208 25210 23066 0 -1 4202560 104 0 0 0 26 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004469398056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25220] ppid=25208 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/25210/task/25220/stat : 25220 (java) S 25208 25210 23066 0 -1 4202560 68 0 0 0 24 0 0 0 20 0 19 0 254853840 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004468345256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25221] ppid=25208 vsize=9624976 CPUtime=2.2 cores=1,3,5,7
/proc/25210/task/25221/stat : 25221 (java) S 25208 25210 23066 0 -1 4202560 52 0 0 0 219 1 0 0 20 0 19 0 254853841 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004337629928 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25222] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25222/stat : 25222 (java) S 25208 25210 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004336575992 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25223] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25223/stat : 25223 (java) S 25208 25210 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254853842 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004335523592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25224] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25224/stat : 25224 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004334472080 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25225] ppid=25208 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/25210/task/25225/stat : 25225 (java) S 25208 25210 23066 0 -1 4202560 1993 0 0 0 29 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004333418680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25226] ppid=25208 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/25210/task/25226/stat : 25226 (java) S 25208 25210 23066 0 -1 4202560 2691 0 0 0 39 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004332365880 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25210/tid=25227] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25227/stat : 25227 (java) S 25208 25210 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254853844 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004331313784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25210/tid=25228] ppid=25208 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/25210/task/25228/stat : 25228 (java) S 25208 25210 23066 0 -1 4202560 13 0 0 0 3 2 0 0 20 0 19 0 254853845 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004330261192 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25210/tid=25229] ppid=25208 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/25210/task/25229/stat : 25229 (java) S 25208 25210 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254853869 9855975424 24414 33554432000 1073741824 1073778376 140734880582960 140004329207208 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 225.58
Current children cumulated vsize (KiB) 9624976
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25210 and gives
# childrusage.ru_utime.tv_sec=225
# childrusage.ru_utime.tv_usec=7793
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=192970
# CPU time returned by wait4() is 225.201
# while last known CPU time is 225.58
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 223.597
CPU time (s): 225.58
CPU user time (s): 225.49
CPU system time (s): 0.09
CPU usage (%): 100.887
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.008
system time used= 0.19297
maximum resident set size= 99760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9142
page faults= 1
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7342
involuntary context switches= 8460
runsolver used 0.905862 second user time and 2.26765 second system time
The end