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-3455147-1307189163/watcher-3455147-1307189163 -o /tmp/evaluation-result-3455147-1307189163/solver-3455147-1307189163 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455147-1307189163.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: 3.84 3.83 2.99 1/579 6268
/proc/meminfo: memFree=30016920/32950928 swapFree=41528364/67111528
[pid=6268] ppid=6266 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/6268/stat : 6268 (java) S 6266 6268 3716 0 -1 4202496 1903 0 1 0 0 0 0 0 25 0 2 0 830514975 10681323520 1606 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/6268/statm: 2607745 1620 906 9 0 2598901 0
[pid=6268/tid=6269] ppid=6266 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/6268/task/6269/stat : 6269 (java) R 6266 6268 3716 0 -1 4202560 8522 0 1 0 0 1 0 0 25 0 2 0 830514975 10694979584 9338 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.114603 s]
/proc/loadavg: 3.84 3.83 2.99 1/579 6268
/proc/meminfo: memFree=30016920/32950928 swapFree=41528364/67111528
[pid=6268] ppid=6266 vsize=10540396 CPUtime=0.13 cores=1,3,5,7
/proc/6268/stat : 6268 (java) S 6266 6268 3716 0 -1 4202496 13330 0 1 0 11 2 0 0 25 0 18 0 830514975 10793365504 13028 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6268/statm: 2635099 13028 2133 9 0 2625833 0
[pid=6268/tid=6269] ppid=6266 vsize=10540396 CPUtime=0.1 cores=1,3,5,7
/proc/6268/task/6269/stat : 6269 (java) R 6266 6268 3716 0 -1 4202560 11336 0 1 0 8 2 0 0 25 0 18 0 830514975 10793365504 13028 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826066891 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540396
[startup+0.200492 s]
/proc/loadavg: 3.84 3.83 2.99 1/579 6268
/proc/meminfo: memFree=30016920/32950928 swapFree=41528364/67111528
[pid=6268] ppid=6266 vsize=10541420 CPUtime=0.26 cores=1,3,5,7
/proc/6268/stat : 6268 (java) S 6266 6268 3716 0 -1 4202496 13999 0 1 0 24 2 0 0 25 0 18 0 830514975 10794414080 13697 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6268/statm: 2635355 13697 2182 9 0 2626089 0
[pid=6268/tid=6269] ppid=6266 vsize=10541420 CPUtime=0.19 cores=1,3,5,7
/proc/6268/task/6269/stat : 6269 (java) R 6266 6268 3716 0 -1 4202560 11833 0 1 0 17 2 0 0 25 0 18 0 830514975 10794414080 13697 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 47556817644371 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10541420
[startup+0.300476 s]
/proc/loadavg: 3.84 3.83 2.99 1/579 6268
/proc/meminfo: memFree=30016920/32950928 swapFree=41528364/67111528
[pid=6268] ppid=6266 vsize=10548604 CPUtime=0.53 cores=1,3,5,7
/proc/6268/stat : 6268 (java) S 6266 6268 3716 0 -1 4202496 16402 0 1 0 51 2 0 0 25 0 22 0 830514975 10801770496 15826 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6268/statm: 2637151 15826 2211 9 0 2627885 0
[pid=6268/tid=6269] ppid=6266 vsize=10548604 CPUtime=0.25 cores=1,3,5,7
/proc/6268/task/6269/stat : 6269 (java) S 6266 6268 3716 0 -1 4202560 12512 0 1 0 23 2 0 0 25 0 22 0 830514975 10801770496 15826 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056704 0 4 0 16800975 18446604468308584512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10548604
[startup+0.700408 s]
/proc/loadavg: 3.84 3.83 2.99 1/579 6268
/proc/meminfo: memFree=30016920/32950928 swapFree=41528364/67111528
[pid=6268] ppid=6266 vsize=10551676 CPUtime=1.88 cores=1,3,5,7
/proc/6268/stat : 6268 (java) S 6266 6268 3716 0 -1 4202496 32672 0 1 0 184 4 0 0 25 0 22 0 830514975 10804916224 29722 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6268/statm: 2637919 29727 2223 9 0 2628653 0
[pid=6268/tid=6269] ppid=6266 vsize=10551676 CPUtime=0.25 cores=1,3,5,7
/proc/6268/task/6269/stat : 6269 (java) S 6266 6268 3716 0 -1 4202560 12512 0 1 0 23 2 0 0 25 0 22 0 830514975 10804916224 29729 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056704 0 4 0 16800975 18446604468308584512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10551676
[startup+1.50137 s]
/proc/loadavg: 3.84 3.83 2.99 2/592 6333
/proc/meminfo: memFree=29902932/32950928 swapFree=41528364/67111528
[pid=6268] ppid=6266 vsize=10551676 CPUtime=2.66 cores=1,3,5,7
/proc/6268/stat : 6268 (java) S 6266 6268 3716 0 -1 4202496 51564 0 1 0 260 6 0 0 25 0 19 0 830514975 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6268/statm: 2637919 46773 2231 9 0 2628653 0
[pid=6268/tid=6269] ppid=6266 vsize=10551676 CPUtime=0.26 cores=1,3,5,7
/proc/6268/task/6269/stat : 6269 (java) S 6266 6268 3716 0 -1 4202560 12600 0 1 0 24 2 0 0 16 0 19 0 830514975 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056704 0 4 0 16800975 18446604468308584512 0 0 -1 1 0 0 0
[pid=6268/tid=6271] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6271/stat : 6271 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6272] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6272/stat : 6272 (java) S 6266 6268 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6273] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6273/stat : 6273 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6274] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6274/stat : 6274 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6275] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6275/stat : 6275 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6276] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6276/stat : 6276 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6277] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6277/stat : 6277 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6278] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6278/stat : 6278 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6279] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6279/stat : 6279 (java) S 6266 6268 3716 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830514978 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056704 0 0 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6280] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6280/stat : 6280 (java) S 6266 6268 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830514978 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6281] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6281/stat : 6281 (java) S 6266 6268 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830514978 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6282] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6282/stat : 6282 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514981 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826063793 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6283] ppid=6266 vsize=10551676 CPUtime=0.45 cores=1,3,5,7
/proc/6268/task/6283/stat : 6283 (java) S 6266 6268 3716 0 -1 4202560 2494 0 0 0 45 0 0 0 19 0 19 0 830514981 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6284] ppid=6266 vsize=10551676 CPUtime=0.46 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (java) S 6266 6268 3716 0 -1 4202560 5204 0 0 0 46 0 0 0 19 0 19 0 830514981 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514981 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830514981 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056704 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6292] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6292/stat : 6292 (java) S 6266 6268 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830515002 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056704 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 10551676
Solver just ended. Dumping a history of the last processes samples
[startup+1.60133 s]
/proc/loadavg: 3.84 3.83 2.99 2/592 6333
/proc/meminfo: memFree=29902932/32950928 swapFree=41528364/67111528
[pid=6268] ppid=6266 vsize=10551676 CPUtime=2.66 cores=1,3,5,7
/proc/6268/stat : 6268 (java) S 6266 6268 3716 0 -1 4202496 51564 0 1 0 260 6 0 0 25 0 19 0 830514975 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6268/statm: 2637919 46773 2231 9 0 2628653 0
[pid=6268/tid=6269] ppid=6266 vsize=10551676 CPUtime=0.26 cores=1,3,5,7
/proc/6268/task/6269/stat : 6269 (java) S 6266 6268 3716 0 -1 4202560 12600 0 1 0 24 2 0 0 16 0 19 0 830514975 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056704 0 4 0 16800975 18446604468308584512 0 0 -1 1 0 0 0
[pid=6268/tid=6271] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6271/stat : 6271 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6272] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6272/stat : 6272 (java) S 6266 6268 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6273] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6273/stat : 6273 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6274] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6274/stat : 6274 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6275] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6275/stat : 6275 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6276] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6276/stat : 6276 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6277] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6277/stat : 6277 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6278] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6278/stat : 6278 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514977 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6279] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6279/stat : 6279 (java) S 6266 6268 3716 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830514978 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056704 0 0 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6280] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6280/stat : 6280 (java) S 6266 6268 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830514978 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6281] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6281/stat : 6281 (java) S 6266 6268 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830514978 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6282] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6282/stat : 6282 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514981 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826063793 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6283] ppid=6266 vsize=10551676 CPUtime=0.45 cores=1,3,5,7
/proc/6268/task/6283/stat : 6283 (java) S 6266 6268 3716 0 -1 4202560 2494 0 0 0 45 0 0 0 19 0 19 0 830514981 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 7 0 0 0
[pid=6268/tid=6284] ppid=6266 vsize=10551676 CPUtime=0.46 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (java) S 6266 6268 3716 0 -1 4202560 5204 0 0 0 46 0 0 0 19 0 19 0 830514981 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830514981 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056089 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (java) S 6266 6268 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830514981 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056704 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
[pid=6268/tid=6292] ppid=6266 vsize=10551676 CPUtime=0 cores=1,3,5,7
/proc/6268/task/6292/stat : 6292 (java) S 6266 6268 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830515002 10804916224 46773 33554432000 1073741824 1073778376 140735911777136 18446744073709551615 251826056704 0 4 0 16800975 18446604468308584512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 10551676
[startup+1.80122 s]
/proc/loadavg: 3.84 3.83 2.99 2/592 6333
/proc/meminfo: memFree=29902932/32950928 swapFree=41528364/67111528
[pid=6268] ppid=6266 vsize=0 CPUtime=2.69 cores=1,3,5,7
/proc/6268/stat : 6268 (java) R 6266 6268 3716 0 -1 4203524 51584 0 1 0 262 7 0 0 18 0 1 0 830514975 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6268/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 1.80723
CPU time (s): 2.70559
CPU user time (s): 2.6276
CPU system time (s): 0.077988
CPU usage (%): 149.709
Max. virtual memory (cumulated for all children) (KiB): 10551676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6276
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51584
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= 257
involuntary context switches= 43
runsolver used 0.010998 second user time and 0.033994 second system time
The end