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-3457936-1307166001/watcher-3457936-1307166001 -o /tmp/evaluation-result-3457936-1307166001/solver-3457936-1307166001 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457936-1307166001.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.08 2.06 2.02 2/507 28630
/proc/meminfo: memFree=26961648/32951124 swapFree=63649284/67111528
[pid=28630] ppid=28628 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28630/stat : 28630 (java) S 28628 28630 28154 0 -1 4202496 5783 0 1 0 0 0 0 0 25 0 2 0 828198574 13850947584 5485 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/28630/statm: 3381579 5502 917 9 0 3372735 0
[pid=28630/tid=28631] ppid=28628 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28631/stat : 28631 (java) R 28628 28630 28154 0 -1 4202560 7121 0 1 0 0 0 0 0 25 0 2 0 828198575 13850947584 7937 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0772891 s]
/proc/loadavg: 2.08 2.06 2.02 2/507 28630
/proc/meminfo: memFree=26961648/32951124 swapFree=63649284/67111528
[pid=28630] ppid=28628 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/28630/stat : 28630 (java) S 28628 28630 28154 0 -1 4202496 14438 0 1 0 6 1 0 0 25 0 18 0 828198574 13880410112 14135 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28630/statm: 3388772 14136 1754 9 0 3379506 0
[pid=28630/tid=28631] ppid=28628 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/28630/task/28631/stat : 28631 (java) R 28628 28630 28154 0 -1 4202560 13265 0 1 0 5 1 0 0 25 0 18 0 828198575 13880410112 14136 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 47090835059459 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.100235 s]
/proc/loadavg: 2.08 2.06 2.02 2/507 28630
/proc/meminfo: memFree=26961648/32951124 swapFree=63649284/67111528
[pid=28630] ppid=28628 vsize=13621860 CPUtime=0.11 cores=1,3,5,7
/proc/28630/stat : 28630 (java) S 28628 28630 28154 0 -1 4202496 15523 0 1 0 9 2 0 0 25 0 18 0 828198574 13948784640 15220 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28630/statm: 3405465 15222 2092 9 0 3396199 0
[pid=28630/tid=28631] ppid=28628 vsize=13621860 CPUtime=0.08 cores=1,3,5,7
/proc/28630/task/28631/stat : 28631 (java) R 28628 28630 28154 0 -1 4202560 13636 0 1 0 7 1 0 0 18 0 18 0 828198575 13948784640 15222 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 47090839554899 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621860
[startup+0.300203 s]
/proc/loadavg: 2.08 2.06 2.02 2/507 28630
/proc/meminfo: memFree=26961648/32951124 swapFree=63649284/67111528
[pid=28630] ppid=28628 vsize=13625068 CPUtime=0.48 cores=1,3,5,7
/proc/28630/stat : 28630 (java) S 28628 28630 28154 0 -1 4202496 18689 0 1 0 46 2 0 0 25 0 18 0 828198574 13952069632 18060 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28630/statm: 3406267 18061 2201 9 0 3397001 0
[pid=28630/tid=28631] ppid=28628 vsize=13625068 CPUtime=0.29 cores=1,3,5,7
/proc/28630/task/28631/stat : 28631 (java) R 28628 28630 28154 0 -1 4202560 15588 0 1 0 27 2 0 0 18 0 18 0 828198575 13952069632 18061 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 46912505563387 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13625068
[startup+0.701137 s]
/proc/loadavg: 2.08 2.06 2.02 2/507 28630
/proc/meminfo: memFree=26961648/32951124 swapFree=63649284/67111528
[pid=28630] ppid=28628 vsize=13628248 CPUtime=1.43 cores=1,3,5,7
/proc/28630/stat : 28630 (java) S 28628 28630 28154 0 -1 4202496 38031 0 1 0 138 5 0 0 25 0 19 0 828198574 13955325952 34236 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28630/statm: 3407062 34236 2235 9 0 3397796 0
[pid=28630/tid=28631] ppid=28628 vsize=13628248 CPUtime=0.68 cores=1,3,5,7
/proc/28630/task/28631/stat : 28631 (java) R 28628 28630 28154 0 -1 4202560 30282 0 1 0 65 3 0 0 19 0 19 0 828198575 13955325952 34236 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 46912505850203 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 13628248
[startup+1.50105 s]
/proc/loadavg: 2.08 2.06 2.02 3/526 28650
/proc/meminfo: memFree=26830012/32951124 swapFree=63649284/67111528
[pid=28630] ppid=28628 vsize=13628248 CPUtime=2.43 cores=1,3,5,7
/proc/28630/stat : 28630 (java) S 28628 28630 28154 0 -1 4202496 41066 0 1 0 238 5 0 0 25 0 19 0 828198574 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28630/statm: 3407062 36899 2264 9 0 3397796 0
[pid=28630/tid=28631] ppid=28628 vsize=13628248 CPUtime=1.43 cores=1,3,5,7
/proc/28630/task/28631/stat : 28631 (java) S 28628 28630 28154 0 -1 4202560 30793 0 1 0 140 3 0 0 20 0 19 0 828198575 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28633] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28633/stat : 28633 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28634] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28634/stat : 28634 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28635] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28635/stat : 28635 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28636] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28636/stat : 28636 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28637] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28637/stat : 28637 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28638] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28638/stat : 28638 (java) S 28628 28630 28154 0 -1 4202560 447 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28639] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28639/stat : 28639 (java) S 28628 28630 28154 0 -1 4202560 520 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28640] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28640/stat : 28640 (java) S 28628 28630 28154 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28641] ppid=28628 vsize=13628248 CPUtime=0.03 cores=1,3,5,7
/proc/28630/task/28641/stat : 28641 (java) R 28628 28630 28154 0 -1 4202560 967 0 0 0 3 0 0 0 15 0 19 0 828198578 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 47090838298432 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=28630/tid=28642] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28642/stat : 28642 (java) S 28628 28630 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828198578 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28643] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28643/stat : 28643 (java) S 28628 28630 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828198578 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28644] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28644/stat : 28644 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828198580 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216470961 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28645] ppid=28628 vsize=13628248 CPUtime=0.45 cores=1,3,5,7
/proc/28630/task/28645/stat : 28645 (java) S 28628 28630 28154 0 -1 4202560 3436 0 0 0 45 0 0 0 21 0 19 0 828198580 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28646] ppid=28628 vsize=13628248 CPUtime=0.46 cores=1,3,5,7
/proc/28630/task/28646/stat : 28646 (java) S 28628 28630 28154 0 -1 4202560 3557 0 0 0 46 0 0 0 21 0 19 0 828198580 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28647] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28647/stat : 28647 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828198580 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28648] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28648/stat : 28648 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198580 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28649] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28649/stat : 28649 (java) S 28628 28630 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828198627 13955325952 36899 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13628248
Solver just ended. Dumping a history of the last processes samples
[startup+2.30092 s]
/proc/loadavg: 2.07 2.06 2.01 3/526 28650
/proc/meminfo: memFree=26819348/32951124 swapFree=63649284/67111528
[pid=28630] ppid=28628 vsize=13628248 CPUtime=3.26 cores=1,3,5,7
/proc/28630/stat : 28630 (java) S 28628 28630 28154 0 -1 4202496 41238 0 1 0 321 5 0 0 25 0 19 0 828198574 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28630/statm: 3407062 37070 2264 9 0 3397796 0
[pid=28630/tid=28631] ppid=28628 vsize=13628248 CPUtime=2.21 cores=1,3,5,7
/proc/28630/task/28631/stat : 28631 (java) R 28628 28630 28154 0 -1 4202560 30794 0 1 0 218 3 0 0 21 0 19 0 828198575 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 46912505895254 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28630/tid=28633] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28633/stat : 28633 (java) S 28628 28630 28154 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28634] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28634/stat : 28634 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28635] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28635/stat : 28635 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28636] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28636/stat : 28636 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28637] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28637/stat : 28637 (java) S 28628 28630 28154 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28638] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28638/stat : 28638 (java) S 28628 28630 28154 0 -1 4202560 447 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28639] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28639/stat : 28639 (java) S 28628 28630 28154 0 -1 4202560 520 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28640] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28640/stat : 28640 (java) S 28628 28630 28154 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28641] ppid=28628 vsize=13628248 CPUtime=0.05 cores=1,3,5,7
/proc/28630/task/28641/stat : 28641 (java) S 28628 28630 28154 0 -1 4202560 1126 0 0 0 5 0 0 0 16 0 19 0 828198578 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 0 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28642] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28642/stat : 28642 (java) S 28628 28630 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828198578 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28643] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28643/stat : 28643 (java) S 28628 28630 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828198578 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28644] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28644/stat : 28644 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828198580 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216470961 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28645] ppid=28628 vsize=13628248 CPUtime=0.46 cores=1,3,5,7
/proc/28630/task/28645/stat : 28645 (java) S 28628 28630 28154 0 -1 4202560 3439 0 0 0 46 0 0 0 16 0 19 0 828198580 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28646] ppid=28628 vsize=13628248 CPUtime=0.47 cores=1,3,5,7
/proc/28630/task/28646/stat : 28646 (java) S 28628 28630 28154 0 -1 4202560 3558 0 0 0 47 0 0 0 15 0 19 0 828198580 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28647] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28647/stat : 28647 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828198580 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28648] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28648/stat : 28648 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198580 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28649] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28649/stat : 28649 (java) S 28628 28630 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828198627 13955325952 37070 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 13628248
[startup+2.70085 s]
/proc/loadavg: 2.07 2.06 2.01 3/526 28650
/proc/meminfo: memFree=26819348/32951124 swapFree=63649284/67111528
[pid=28630] ppid=28628 vsize=13628248 CPUtime=3.72 cores=1,3,5,7
/proc/28630/stat : 28630 (java) S 28628 28630 28154 0 -1 4202496 41955 0 1 0 367 5 0 0 25 0 19 0 828198574 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28630/statm: 3407062 37280 2264 9 0 3397796 0
[pid=28630/tid=28631] ppid=28628 vsize=13628248 CPUtime=2.56 cores=1,3,5,7
/proc/28630/task/28631/stat : 28631 (java) R 28628 28630 28154 0 -1 4202560 30794 0 1 0 253 3 0 0 21 0 19 0 828198575 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 46912505895287 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28630/tid=28633] ppid=28628 vsize=13628248 CPUtime=0.01 cores=1,3,5,7
/proc/28630/task/28633/stat : 28633 (java) S 28628 28630 28154 0 -1 4202560 58 0 0 0 1 0 0 0 15 0 19 0 828198577 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28634] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28634/stat : 28634 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28635] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28635/stat : 28635 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28636] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28636/stat : 28636 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28637] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28637/stat : 28637 (java) S 28628 28630 28154 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28638] ppid=28628 vsize=13628248 CPUtime=0.02 cores=1,3,5,7
/proc/28630/task/28638/stat : 28638 (java) S 28628 28630 28154 0 -1 4202560 596 0 0 0 2 0 0 0 15 0 19 0 828198577 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28639] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28639/stat : 28639 (java) S 28628 28630 28154 0 -1 4202560 520 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28640] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28640/stat : 28640 (java) S 28628 28630 28154 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28641] ppid=28628 vsize=13628248 CPUtime=0.08 cores=1,3,5,7
/proc/28630/task/28641/stat : 28641 (java) S 28628 28630 28154 0 -1 4202560 1126 0 0 0 8 0 0 0 16 0 19 0 828198578 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 0 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28642] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28642/stat : 28642 (java) S 28628 28630 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828198578 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28643] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28643/stat : 28643 (java) S 28628 28630 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828198578 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28644] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28644/stat : 28644 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828198580 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216470961 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28645] ppid=28628 vsize=13628248 CPUtime=0.47 cores=1,3,5,7
/proc/28630/task/28645/stat : 28645 (java) S 28628 28630 28154 0 -1 4202560 3440 0 0 0 47 0 0 0 15 0 19 0 828198580 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28646] ppid=28628 vsize=13628248 CPUtime=0.52 cores=1,3,5,7
/proc/28630/task/28646/stat : 28646 (java) S 28628 28630 28154 0 -1 4202560 4072 0 0 0 52 0 0 0 16 0 19 0 828198580 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28647] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28647/stat : 28647 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828198580 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28648] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28648/stat : 28648 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198580 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28649] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28649/stat : 28649 (java) S 28628 28630 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828198627 13955325952 37280 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 13628248
[startup+2.90081 s]
/proc/loadavg: 2.07 2.06 2.01 3/526 28650
/proc/meminfo: memFree=26819348/32951124 swapFree=63649284/67111528
[pid=28630] ppid=28628 vsize=13628248 CPUtime=3.92 cores=1,3,5,7
/proc/28630/stat : 28630 (java) S 28628 28630 28154 0 -1 4202496 41984 0 1 0 387 5 0 0 25 0 19 0 828198574 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28630/statm: 3407062 37308 2264 9 0 3397796 0
[pid=28630/tid=28631] ppid=28628 vsize=13628248 CPUtime=2.74 cores=1,3,5,7
/proc/28630/task/28631/stat : 28631 (java) R 28628 28630 28154 0 -1 4202560 30795 0 1 0 271 3 0 0 22 0 19 0 828198575 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 46912505875574 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28630/tid=28633] ppid=28628 vsize=13628248 CPUtime=0.01 cores=1,3,5,7
/proc/28630/task/28633/stat : 28633 (java) S 28628 28630 28154 0 -1 4202560 58 0 0 0 1 0 0 0 15 0 19 0 828198577 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28634] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28634/stat : 28634 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28635] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28635/stat : 28635 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28636] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28636/stat : 28636 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28637] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28637/stat : 28637 (java) S 28628 28630 28154 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28638] ppid=28628 vsize=13628248 CPUtime=0.02 cores=1,3,5,7
/proc/28630/task/28638/stat : 28638 (java) S 28628 28630 28154 0 -1 4202560 596 0 0 0 2 0 0 0 15 0 19 0 828198577 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28639] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28639/stat : 28639 (java) S 28628 28630 28154 0 -1 4202560 520 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28640] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28640/stat : 28640 (java) S 28628 28630 28154 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 828198577 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28641] ppid=28628 vsize=13628248 CPUtime=0.09 cores=1,3,5,7
/proc/28630/task/28641/stat : 28641 (java) S 28628 28630 28154 0 -1 4202560 1153 0 0 0 9 0 0 0 16 0 19 0 828198578 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 0 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28642] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28642/stat : 28642 (java) S 28628 28630 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828198578 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28643] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28643/stat : 28643 (java) S 28628 28630 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828198578 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28644] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28644/stat : 28644 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828198580 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216470961 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28645] ppid=28628 vsize=13628248 CPUtime=0.47 cores=1,3,5,7
/proc/28630/task/28645/stat : 28645 (java) S 28628 28630 28154 0 -1 4202560 3440 0 0 0 47 0 0 0 15 0 19 0 828198580 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28646] ppid=28628 vsize=13628248 CPUtime=0.52 cores=1,3,5,7
/proc/28630/task/28646/stat : 28646 (java) S 28628 28630 28154 0 -1 4202560 4072 0 0 0 52 0 0 0 16 0 19 0 828198580 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
[pid=28630/tid=28647] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28647/stat : 28647 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828198580 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463257 0 4 0 16800975 18446604457031799040 0 0 -1 3 0 0 0
[pid=28630/tid=28648] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28648/stat : 28648 (java) S 28628 28630 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828198580 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 1 0 0 0
[pid=28630/tid=28649] ppid=28628 vsize=13628248 CPUtime=0 cores=1,3,5,7
/proc/28630/task/28649/stat : 28649 (java) S 28628 28630 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828198627 13955325952 37308 33554432000 1073741824 1073778376 140737407352032 18446744073709551615 210216463872 0 4 0 16800975 18446604457031799040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 13628248
Child status: 30
Real time (s): 2.96012
CPU time (s): 3.98539
CPU user time (s): 3.9214
CPU system time (s): 0.06399
CPU usage (%): 134.636
Max. virtual memory (cumulated for all children) (KiB): 13628472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.9214
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42004
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= 562
involuntary context switches= 395
runsolver used 0.013997 second user time and 0.042993 second system time
The end