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-3459601-1307151308/watcher-3459601-1307151308 -o /tmp/evaluation-result-3459601-1307151308/solver-3459601-1307151308 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459601-1307151308.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: 2.01 2.02 2.00 3/532 11500
/proc/meminfo: memFree=18943728/32950940 swapFree=67111364/67111528
[pid=11500] ppid=11498 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/11500/stat : 11500 (java) S 11498 11500 8697 0 -1 4202496 1128 0 0 0 0 0 0 0 24 0 2 0 905361605 24580096 865 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000395237 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11500/statm: 6002 867 654 9 0 382 0
[pid=11500/tid=11501] ppid=11498 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11501/stat : 11501 (java) R 11498 11500 8697 0 -1 4202560 5721 0 1 0 0 0 0 0 25 0 2 0 905361606 13850947584 6537 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.05854 s]
/proc/loadavg: 2.01 2.02 2.00 3/532 11500
/proc/meminfo: memFree=18943728/32950940 swapFree=67111364/67111528
[pid=11500] ppid=11498 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/11500/stat : 11500 (java) S 11498 11500 8697 0 -1 4202496 13959 0 1 0 3 1 0 0 24 0 13 0 905361605 13874806784 13655 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000395237 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/11500/statm: 3387404 13655 1685 9 0 3378152 0
[pid=11500/tid=11501] ppid=11498 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/11500/task/11501/stat : 11501 (java) S 11498 11500 8697 0 -1 4202560 12811 0 1 0 3 1 0 0 25 0 13 0 905361606 13874806784 13655 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 215988588549 0 2147483391 0 16800971 18446744071699199166 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616
[startup+0.100534 s]
/proc/loadavg: 2.01 2.02 2.00 3/532 11500
/proc/meminfo: memFree=18943728/32950940 swapFree=67111364/67111528
[pid=11500] ppid=11498 vsize=13622396 CPUtime=0.1 cores=0,2,4,6
/proc/11500/stat : 11500 (java) S 11498 11500 8697 0 -1 4202496 15356 0 1 0 8 2 0 0 24 0 18 0 905361605 13949333504 15052 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11500/statm: 3405599 15052 2088 9 0 3396333 0
[pid=11500/tid=11501] ppid=11498 vsize=13622396 CPUtime=0.08 cores=0,2,4,6
/proc/11500/task/11501/stat : 11501 (java) R 11498 11500 8697 0 -1 4202560 13569 0 1 0 7 1 0 0 25 0 18 0 905361606 13949333504 15052 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 47796884917812 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622396
[startup+0.300607 s]
/proc/loadavg: 2.01 2.02 2.00 3/532 11500
/proc/meminfo: memFree=18943728/32950940 swapFree=67111364/67111528
[pid=11500] ppid=11498 vsize=13624444 CPUtime=0.46 cores=0,2,4,6
/proc/11500/stat : 11500 (java) S 11498 11500 8697 0 -1 4202496 22820 0 1 0 44 2 0 0 24 0 18 0 905361605 13951430656 22516 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11500/statm: 3406111 22519 2199 9 0 3396845 0
[pid=11500/tid=11501] ppid=11498 vsize=13624444 CPUtime=0.28 cores=0,2,4,6
/proc/11500/task/11501/stat : 11501 (java) R 11498 11500 8697 0 -1 4202560 20270 0 1 0 26 2 0 0 25 0 18 0 905361606 13951430656 22520 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 46912505592165 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13624444
[startup+0.70043 s]
/proc/loadavg: 2.01 2.02 2.00 3/532 11500
/proc/meminfo: memFree=18943728/32950940 swapFree=67111364/67111528
[pid=11500] ppid=11498 vsize=13629564 CPUtime=0.98 cores=0,2,4,6
/proc/11500/stat : 11500 (java) S 11498 11500 8697 0 -1 4202496 47270 0 1 0 93 5 0 0 24 0 18 0 905361605 13956673536 46491 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11500/statm: 3407391 46494 2204 9 0 3398125 0
[pid=11500/tid=11501] ppid=11498 vsize=13629564 CPUtime=0.68 cores=0,2,4,6
/proc/11500/task/11501/stat : 11501 (java) R 11498 11500 8697 0 -1 4202560 43071 0 1 0 63 5 0 0 25 0 18 0 905361606 13956673536 46494 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 46912505571048 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 13629564
[startup+1.50141 s]
/proc/loadavg: 2.01 2.02 2.00 3/550 11518
/proc/meminfo: memFree=18665576/32950940 swapFree=67111364/67111528
[pid=11500] ppid=11498 vsize=13629564 CPUtime=1.92 cores=0,2,4,6
/proc/11500/stat : 11500 (java) S 11498 11500 8697 0 -1 4202496 117459 0 1 0 179 13 0 0 24 0 18 0 905361605 13956673536 115582 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11500/statm: 3407391 115589 2211 9 0 3398125 0
[pid=11500/tid=11501] ppid=11498 vsize=13629564 CPUtime=1.48 cores=0,2,4,6
/proc/11500/task/11501/stat : 11501 (java) R 11498 11500 8697 0 -1 4202560 112173 0 1 0 135 13 0 0 25 0 18 0 905361606 13956673536 115593 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 46912505612465 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11500/tid=11503] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11503/stat : 11503 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 115600 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11504] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11504/stat : 11504 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 115600 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11505] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11505/stat : 11505 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 115600 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11506] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11506/stat : 11506 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 115600 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11507] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11507/stat : 11507 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 115600 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11508] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11508/stat : 11508 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 115600 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11509] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11509/stat : 11509 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 115600 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11510] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11510/stat : 11510 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 115600 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11511] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11511/stat : 11511 (java) S 11498 11500 8697 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 905361609 13956673536 115602 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000409088 0 0 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11512] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11512/stat : 11512 (java) S 11498 11500 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 905361609 13956673536 115604 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11513] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11513/stat : 11513 (java) S 11498 11500 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 905361609 13956673536 115605 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11514] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11514/stat : 11514 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361611 13956673536 115607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000416177 0 4 0 16800975 18446604440863820864 0 0 -1 2 0 0 0
[pid=11500/tid=11515] ppid=11498 vsize=13629564 CPUtime=0.2 cores=0,2,4,6
/proc/11500/task/11515/stat : 11515 (java) S 11498 11500 8697 0 -1 4202560 1068 0 0 0 20 0 0 0 17 0 18 0 905361611 13956673536 115609 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 4 0 0 0
[pid=11500/tid=11516] ppid=11498 vsize=13629564 CPUtime=0.23 cores=0,2,4,6
/proc/11500/task/11516/stat : 11516 (java) S 11498 11500 8697 0 -1 4202560 3079 0 0 0 23 0 0 0 21 0 18 0 905361611 13956673536 115611 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11517] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11517/stat : 11517 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361611 13956673536 115612 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 2 0 0 0
[pid=11500/tid=11518] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11518/stat : 11518 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 905361611 13956673536 115614 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000409088 0 4 0 16800975 18446604440863820864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 13629564
Solver just ended. Dumping a history of the last processes samples
[startup+1.90127 s]
/proc/loadavg: 2.01 2.02 2.00 3/550 11518
/proc/meminfo: memFree=18665576/32950940 swapFree=67111364/67111528
[pid=11500] ppid=11498 vsize=13629564 CPUtime=2.33 cores=0,2,4,6
/proc/11500/stat : 11500 (java) S 11498 11500 8697 0 -1 4202496 148932 0 1 0 217 16 0 0 24 0 18 0 905361605 13956673536 147054 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11500/statm: 3407391 147054 2219 9 0 3398125 0
[pid=11500/tid=11501] ppid=11498 vsize=13629564 CPUtime=1.88 cores=0,2,4,6
/proc/11500/task/11501/stat : 11501 (java) R 11498 11500 8697 0 -1 4202560 143634 0 1 0 173 15 0 0 25 0 18 0 905361606 13956673536 147054 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 47796884897797 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11500/tid=11503] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11503/stat : 11503 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 147059 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11504] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11504/stat : 11504 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 147076 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11505] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11505/stat : 11505 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 147094 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11506] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11506/stat : 11506 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 147110 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11507] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11507/stat : 11507 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 147126 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11508] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11508/stat : 11508 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 147143 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11509] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11509/stat : 11509 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 147159 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11510] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11510/stat : 11510 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 147177 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11511] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11511/stat : 11511 (java) S 11498 11500 8697 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 905361609 13956673536 147192 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000409088 0 0 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11512] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11512/stat : 11512 (java) S 11498 11500 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 905361609 13956673536 147210 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11513] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11513/stat : 11513 (java) S 11498 11500 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 905361609 13956673536 147225 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11514] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11514/stat : 11514 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361611 13956673536 147242 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000416177 0 4 0 16800975 18446604440863820864 0 0 -1 2 0 0 0
[pid=11500/tid=11515] ppid=11498 vsize=13629564 CPUtime=0.2 cores=0,2,4,6
/proc/11500/task/11515/stat : 11515 (java) S 11498 11500 8697 0 -1 4202560 1068 0 0 0 20 0 0 0 17 0 18 0 905361611 13956673536 147257 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 4 0 0 0
[pid=11500/tid=11516] ppid=11498 vsize=13629564 CPUtime=0.23 cores=0,2,4,6
/proc/11500/task/11516/stat : 11516 (java) S 11498 11500 8697 0 -1 4202560 3079 0 0 0 23 0 0 0 15 0 18 0 905361611 13956673536 147275 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11517] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11517/stat : 11517 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361611 13956673536 147286 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 2 0 0 0
[pid=11500/tid=11518] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11518/stat : 11518 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 905361611 13956673536 147299 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000409088 0 4 0 16800975 18446604440863820864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 13629564
[startup+2.00125 s]
/proc/loadavg: 2.01 2.02 2.00 3/550 11518
/proc/meminfo: memFree=18665576/32950940 swapFree=67111364/67111528
[pid=11500] ppid=11498 vsize=13629564 CPUtime=2.49 cores=0,2,4,6
/proc/11500/stat : 11500 (java) S 11498 11500 8697 0 -1 4202496 151515 0 1 0 233 16 0 0 24 0 18 0 905361605 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11500/statm: 3407391 149607 2224 9 0 3398125 0
[pid=11500/tid=11501] ppid=11498 vsize=13629564 CPUtime=1.98 cores=0,2,4,6
/proc/11500/task/11501/stat : 11501 (java) R 11498 11500 8697 0 -1 4202560 146174 0 1 0 183 15 0 0 25 0 18 0 905361606 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 46912505760291 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11500/tid=11503] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11503/stat : 11503 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11504] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11504/stat : 11504 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11505] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11505/stat : 11505 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11506] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11506/stat : 11506 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11507] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11507/stat : 11507 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11508] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11508/stat : 11508 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11509] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11509/stat : 11509 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11510] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11510/stat : 11510 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361608 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11511] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11511/stat : 11511 (java) S 11498 11500 8697 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 905361609 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000409088 0 0 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11512] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11512/stat : 11512 (java) S 11498 11500 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 905361609 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11513] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11513/stat : 11513 (java) S 11498 11500 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 905361609 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11514] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11514/stat : 11514 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361611 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000416177 0 4 0 16800975 18446604440863820864 0 0 -1 2 0 0 0
[pid=11500/tid=11515] ppid=11498 vsize=13629564 CPUtime=0.25 cores=0,2,4,6
/proc/11500/task/11515/stat : 11515 (java) S 11498 11500 8697 0 -1 4202560 1078 0 0 0 25 0 0 0 15 0 18 0 905361611 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 4 0 0 0
[pid=11500/tid=11516] ppid=11498 vsize=13629564 CPUtime=0.24 cores=0,2,4,6
/proc/11500/task/11516/stat : 11516 (java) S 11498 11500 8697 0 -1 4202560 3112 0 0 0 24 0 0 0 15 0 18 0 905361611 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 6 0 0 0
[pid=11500/tid=11517] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11517/stat : 11517 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905361611 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000408473 0 4 0 16800975 18446604440863820864 0 0 -1 2 0 0 0
[pid=11500/tid=11518] ppid=11498 vsize=13629564 CPUtime=0 cores=0,2,4,6
/proc/11500/task/11518/stat : 11518 (java) S 11498 11500 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 905361611 13956673536 149607 33554432000 1073741824 1073778376 140736446717184 18446744073709551615 216000409088 0 4 0 16800975 18446604440863820864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 13629564
Child status: 20
Real time (s): 2.07618
CPU time (s): 2.6336
CPU user time (s): 2.43963
CPU system time (s): 0.19397
CPU usage (%): 126.849
Max. virtual memory (cumulated for all children) (KiB): 13629564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.43963
system time used= 0.19397
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151870
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= 273
involuntary context switches= 34
runsolver used 0.017997 second user time and 0.038994 second system time
The end