runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453930-1307194532/watcher-3453930-1307194532 -o /tmp/evaluation-result-3453930-1307194532/solver-3453930-1307194532 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453930-1307194532.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.16 3.67 3.75 2/531 28315
/proc/meminfo: memFree=28991076/32951124 swapFree=58212616/67111528
[pid=28314] ppid=28312 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/28314/stat : 28314 (java) S 28312 28314 23781 0 -1 4202496 1322 0 0 0 0 0 0 0 23 0 2 0 831051190 36646912 1024 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/28314/statm: 8947 1024 788 9 0 386 0
[pid=28314/tid=28316] ppid=28312 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28316/stat : 28316 (java) D 28312 28314 23781 0 -1 4202560 209 0 0 0 0 0 0 0 24 0 2 0 831051190 36646912 1024 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228244346567 0 0 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.088787 s]
/proc/loadavg: 3.16 3.67 3.75 2/531 28315
/proc/meminfo: memFree=28991076/32951124 swapFree=58212616/67111528
[pid=28314] ppid=28312 vsize=10535072 CPUtime=0.04 cores=0,2,4,6
/proc/28314/stat : 28314 (java) S 28312 28314 23781 0 -1 4202496 11579 0 1 0 3 1 0 0 23 0 15 0 831051190 10787913728 11276 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28314/statm: 2633768 11276 1714 9 0 2624516 0
[pid=28314/tid=28316] ppid=28312 vsize=10535072 CPUtime=0.04 cores=0,2,4,6
/proc/28314/task/28316/stat : 28316 (java) R 28312 28314 23781 0 -1 4202560 10409 0 1 0 3 1 0 0 19 0 15 0 831051190 10787913728 11276 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228244302135 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10535072
[startup+0.106647 s]
/proc/loadavg: 3.16 3.67 3.75 2/531 28315
/proc/meminfo: memFree=28991076/32951124 swapFree=58212616/67111528
[pid=28314] ppid=28312 vsize=10538212 CPUtime=0.06 cores=0,2,4,6
/proc/28314/stat : 28314 (java) S 28312 28314 23781 0 -1 4202496 11942 0 1 0 5 1 0 0 23 0 18 0 831051190 10791129088 11639 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28314/statm: 2634553 11639 1755 9 0 2625287 0
[pid=28314/tid=28316] ppid=28312 vsize=10538212 CPUtime=0.06 cores=0,2,4,6
/proc/28314/task/28316/stat : 28316 (java) R 28312 28314 23781 0 -1 4202560 10769 0 1 0 5 1 0 0 22 0 18 0 831051190 10791129088 11639 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538212
[startup+0.30069 s]
/proc/loadavg: 3.16 3.67 3.75 2/531 28315
/proc/meminfo: memFree=28991076/32951124 swapFree=58212616/67111528
[pid=28314] ppid=28312 vsize=10544056 CPUtime=0.16 cores=0,2,4,6
/proc/28314/stat : 28314 (java) S 28312 28314 23781 0 -1 4202496 13603 0 1 0 14 2 0 0 23 0 19 0 831051190 10797113344 13260 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28314/statm: 2636014 13260 2140 9 0 2626748 0
[pid=28314/tid=28316] ppid=28312 vsize=10544056 CPUtime=0.12 cores=0,2,4,6
/proc/28314/task/28316/stat : 28316 (java) S 28312 28314 23781 0 -1 4202560 11518 0 1 0 10 2 0 0 19 0 19 0 831051190 10797113344 13260 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256165376 0 4 0 16800975 18446604440278436672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10544056
[startup+0.700597 s]
/proc/loadavg: 3.16 3.67 3.75 2/531 28315
/proc/meminfo: memFree=28991076/32951124 swapFree=58212616/67111528
[pid=28314] ppid=28312 vsize=10544056 CPUtime=0.18 cores=0,2,4,6
/proc/28314/stat : 28314 (java) S 28312 28314 23781 0 -1 4202496 13706 0 1 0 16 2 0 0 23 0 19 0 831051190 10797113344 13363 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28314/statm: 2636014 13363 2140 9 0 2626748 0
[pid=28314/tid=28316] ppid=28312 vsize=10544056 CPUtime=0.13 cores=0,2,4,6
/proc/28314/task/28316/stat : 28316 (java) S 28312 28314 23781 0 -1 4202560 11543 0 1 0 11 2 0 0 16 0 19 0 831051190 10797113344 13363 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256165376 0 4 0 16800975 18446604440278436672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10544056
[startup+1.50136 s]
/proc/loadavg: 3.16 3.67 3.75 3/572 28372
/proc/meminfo: memFree=28882980/32951124 swapFree=58212616/67111528
[pid=28314] ppid=28312 vsize=10544056 CPUtime=0.19 cores=0,2,4,6
/proc/28314/stat : 28314 (java) S 28312 28314 23781 0 -1 4202496 13762 0 1 0 17 2 0 0 23 0 20 0 831051190 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28314/statm: 2636014 13419 2142 9 0 2626748 0
[pid=28314/tid=28316] ppid=28312 vsize=10544056 CPUtime=0.13 cores=0,2,4,6
/proc/28314/task/28316/stat : 28316 (java) S 28312 28314 23781 0 -1 4202560 11544 0 1 0 11 2 0 0 16 0 20 0 831051190 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256165376 0 4 0 16800975 18446604440278436672 0 0 -1 4 0 0 0
[pid=28314/tid=28326] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28326/stat : 28326 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28327] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28327/stat : 28327 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28328] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28328/stat : 28328 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28329] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28329/stat : 28329 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28330] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28330/stat : 28330 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28331] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28331/stat : 28331 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28332] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28332/stat : 28332 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28333] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28333/stat : 28333 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28334] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28334/stat : 28334 (java) S 28312 28314 23781 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831051196 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256165376 0 0 0 16800975 18446604440278436672 0 0 -1 2 0 0 0
[pid=28314/tid=28336] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28336/stat : 28336 (java) S 28312 28314 23781 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 20 0 831051196 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28337] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28337/stat : 28337 (java) S 28312 28314 23781 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 20 0 831051196 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 2 0 0 0
[pid=28314/tid=28349] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28349/stat : 28349 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 831051199 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256172465 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28350] ppid=28312 vsize=10544056 CPUtime=0.02 cores=0,2,4,6
/proc/28314/task/28350/stat : 28350 (java) S 28312 28314 23781 0 -1 4202560 353 0 0 0 2 0 0 0 15 0 20 0 831051199 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 0 0 0 0
[pid=28314/tid=28351] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28351/stat : 28351 (java) S 28312 28314 23781 0 -1 4202560 521 0 0 0 0 0 0 0 18 0 20 0 831051199 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28352] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28352/stat : 28352 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 831051199 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28353] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28353/stat : 28353 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831051199 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256165376 0 4 0 16800975 18446604440278436672 0 0 -1 2 0 0 0
[pid=28314/tid=28361] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28361/stat : 28361 (java) S 28312 28314 23781 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 831051207 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256165376 0 4 0 16800975 18446604440278436672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10544056
Solver just ended. Dumping a history of the last processes samples
[startup+1.60135 s]
/proc/loadavg: 3.16 3.67 3.75 3/572 28372
/proc/meminfo: memFree=28882980/32951124 swapFree=58212616/67111528
[pid=28314] ppid=28312 vsize=10544056 CPUtime=0.19 cores=0,2,4,6
/proc/28314/stat : 28314 (java) S 28312 28314 23781 0 -1 4202496 13762 0 1 0 17 2 0 0 23 0 20 0 831051190 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28314/statm: 2636014 13419 2142 9 0 2626748 0
[pid=28314/tid=28316] ppid=28312 vsize=10544056 CPUtime=0.13 cores=0,2,4,6
/proc/28314/task/28316/stat : 28316 (java) S 28312 28314 23781 0 -1 4202560 11544 0 1 0 11 2 0 0 16 0 20 0 831051190 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256165376 0 4 0 16800975 18446604440278436672 0 0 -1 4 0 0 0
[pid=28314/tid=28326] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28326/stat : 28326 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28327] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28327/stat : 28327 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28328] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28328/stat : 28328 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28329] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28329/stat : 28329 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28330] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28330/stat : 28330 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28331] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28331/stat : 28331 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28332] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28332/stat : 28332 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28333] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28333/stat : 28333 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 831051195 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28334] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28334/stat : 28334 (java) S 28312 28314 23781 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831051196 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256165376 0 0 0 16800975 18446604440278436672 0 0 -1 2 0 0 0
[pid=28314/tid=28336] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28336/stat : 28336 (java) S 28312 28314 23781 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 20 0 831051196 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28337] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28337/stat : 28337 (java) S 28312 28314 23781 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 20 0 831051196 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 2 0 0 0
[pid=28314/tid=28349] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28349/stat : 28349 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 831051199 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256172465 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28350] ppid=28312 vsize=10544056 CPUtime=0.02 cores=0,2,4,6
/proc/28314/task/28350/stat : 28350 (java) S 28312 28314 23781 0 -1 4202560 353 0 0 0 2 0 0 0 15 0 20 0 831051199 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 0 0 0 0
[pid=28314/tid=28351] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28351/stat : 28351 (java) S 28312 28314 23781 0 -1 4202560 521 0 0 0 0 0 0 0 18 0 20 0 831051199 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28352] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28352/stat : 28352 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 831051199 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256164761 0 4 0 16800975 18446604440278436672 0 0 -1 6 0 0 0
[pid=28314/tid=28353] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28353/stat : 28353 (java) S 28312 28314 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831051199 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256165376 0 4 0 16800975 18446604440278436672 0 0 -1 2 0 0 0
[pid=28314/tid=28361] ppid=28312 vsize=10544056 CPUtime=0 cores=0,2,4,6
/proc/28314/task/28361/stat : 28361 (java) S 28312 28314 23781 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 831051207 10797113344 13419 33554432000 1073741824 1073778376 140735194079536 18446744073709551615 228256165376 0 4 0 16800975 18446604440278436672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10544056
Child status: 30
Real time (s): 1.68177
CPU time (s): 0.205968
CPU user time (s): 0.174973
CPU system time (s): 0.030995
CPU usage (%): 12.2471
Max. virtual memory (cumulated for all children) (KiB): 10544056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.174973
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13780
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250
involuntary context switches= 43
runsolver used 0.008998 second user time and 0.032994 second system time
The end