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-3454815-1307186837/watcher-3454815-1307186837 -o /tmp/evaluation-result-3454815-1307186837/solver-3454815-1307186837 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454815-1307186837.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.54 2.29 2.06 6/498 32350
/proc/meminfo: memFree=21201012/32951124 swapFree=67057928/67111528
[pid=32350] ppid=32348 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (java) S 32348 32350 28116 0 -1 4202496 7629 0 1 0 0 0 0 0 25 0 2 0 811099013 10694979584 7331 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/32350/statm: 2611079 7344 917 9 0 2602235 0
[pid=32350/tid=32351] ppid=32348 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32351/stat : 32351 (java) R 32348 32350 28116 0 -1 4202560 6575 0 1 0 0 0 0 0 25 0 2 0 811099013 10694979584 7391 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0484951 s]
/proc/loadavg: 3.54 2.29 2.06 6/498 32350
/proc/meminfo: memFree=21201012/32951124 swapFree=67057928/67111528
[pid=32350] ppid=32348 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/32350/stat : 32350 (java) S 32348 32350 28116 0 -1 4202496 11385 0 1 0 3 0 0 0 25 0 13 0 811099013 10718699520 11082 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273419237 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/32350/statm: 2616870 11082 1682 9 0 2607618 0
[pid=32350/tid=32351] ppid=32348 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/32350/task/32351/stat : 32351 (java) R 32348 32350 28116 0 -1 4202560 10238 0 1 0 3 0 0 0 25 0 13 0 811099013 10718699520 11083 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 47633556693763 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100488 s]
/proc/loadavg: 3.54 2.29 2.06 6/498 32350
/proc/meminfo: memFree=21201012/32951124 swapFree=67057928/67111528
[pid=32350] ppid=32348 vsize=10540348 CPUtime=0.11 cores=1,3,5,7
/proc/32350/stat : 32350 (java) S 32348 32350 28116 0 -1 4202496 13141 0 1 0 10 1 0 0 25 0 18 0 811099013 10793316352 12814 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32350/statm: 2635087 12815 2093 9 0 2625821 0
[pid=32350/tid=32351] ppid=32348 vsize=10540348 CPUtime=0.09 cores=1,3,5,7
/proc/32350/task/32351/stat : 32351 (java) R 32348 32350 28116 0 -1 4202560 11182 0 1 0 8 1 0 0 25 0 18 0 811099013 10793316352 12815 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 47633561189203 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) 10540348
[startup+0.300416 s]
/proc/loadavg: 3.54 2.29 2.06 6/498 32350
/proc/meminfo: memFree=21201012/32951124 swapFree=67057928/67111528
[pid=32350] ppid=32348 vsize=10548396 CPUtime=0.7 cores=1,3,5,7
/proc/32350/stat : 32350 (java) S 32348 32350 28116 0 -1 4202496 18504 0 1 0 68 2 0 0 25 0 22 0 811099013 10801557504 16453 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32350/statm: 2637099 16453 2213 9 0 2627833 0
[pid=32350/tid=32351] ppid=32348 vsize=10548396 CPUtime=0.16 cores=1,3,5,7
/proc/32350/task/32351/stat : 32351 (java) S 32348 32350 28116 0 -1 4202560 11755 0 1 0 15 1 0 0 25 0 22 0 811099013 10801557504 16453 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10548396
[startup+0.700347 s]
/proc/loadavg: 3.54 2.29 2.06 6/498 32350
/proc/meminfo: memFree=21201012/32951124 swapFree=67057928/67111528
[pid=32350] ppid=32348 vsize=10567816 CPUtime=2.25 cores=1,3,5,7
/proc/32350/stat : 32350 (java) S 32348 32350 28116 0 -1 4202496 50089 0 1 0 220 5 0 0 25 0 22 0 811099013 10821443584 43577 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32350/statm: 2641954 43577 2252 9 0 2632688 0
[pid=32350/tid=32351] ppid=32348 vsize=10567816 CPUtime=0.16 cores=1,3,5,7
/proc/32350/task/32351/stat : 32351 (java) S 32348 32350 28116 0 -1 4202560 11755 0 1 0 15 1 0 0 20 0 22 0 811099013 10821443584 43577 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10567816
[startup+1.50121 s]
/proc/loadavg: 3.54 2.29 2.06 7/520 32372
/proc/meminfo: memFree=20869224/32951124 swapFree=67057928/67111528
[pid=32350] ppid=32348 vsize=10552740 CPUtime=4.24 cores=1,3,5,7
/proc/32350/stat : 32350 (java) S 32348 32350 28116 0 -1 4202496 78731 0 1 0 415 9 0 0 25 0 22 0 811099013 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32350/statm: 2638185 68159 2257 9 0 2628919 0
[pid=32350/tid=32351] ppid=32348 vsize=10552740 CPUtime=0.16 cores=1,3,5,7
/proc/32350/task/32351/stat : 32351 (java) S 32348 32350 28116 0 -1 4202560 11755 0 1 0 15 1 0 0 15 0 22 0 811099013 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32353] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32353/stat : 32353 (java) S 32348 32350 28116 0 -1 4202560 122 0 0 0 0 0 0 0 16 0 22 0 811099015 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32354] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32354/stat : 32354 (java) S 32348 32350 28116 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 22 0 811099015 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32355] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32355/stat : 32355 (java) S 32348 32350 28116 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 811099015 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32356] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32356/stat : 32356 (java) S 32348 32350 28116 0 -1 4202560 306 0 0 0 0 0 0 0 16 0 22 0 811099015 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32357] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32357/stat : 32357 (java) S 32348 32350 28116 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 22 0 811099015 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32358] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32358/stat : 32358 (java) S 32348 32350 28116 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 22 0 811099015 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32359] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32359/stat : 32359 (java) S 32348 32350 28116 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 22 0 811099015 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32360] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32360/stat : 32360 (java) S 32348 32350 28116 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 22 0 811099015 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32361] ppid=32348 vsize=10552740 CPUtime=0.06 cores=1,3,5,7
/proc/32350/task/32361/stat : 32361 (java) S 32348 32350 28116 0 -1 4202560 1145 0 0 0 6 0 0 0 16 0 22 0 811099016 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 0 0 16800975 18446604462825088832 0 0 -1 3 0 0 0
[pid=32350/tid=32362] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32362/stat : 32362 (java) S 32348 32350 28116 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 811099016 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32363] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32363/stat : 32363 (java) S 32348 32350 28116 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 811099016 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32364] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32364/stat : 32364 (java) S 32348 32350 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811099019 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273440177 0 4 0 16800975 18446604462825088832 0 0 -1 3 0 0 0
[pid=32350/tid=32365] ppid=32348 vsize=10552740 CPUtime=0.77 cores=1,3,5,7
/proc/32350/task/32365/stat : 32365 (java) S 32348 32350 28116 0 -1 4202560 9676 0 0 0 76 1 0 0 22 0 22 0 811099019 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32366] ppid=32348 vsize=10552740 CPUtime=0.71 cores=1,3,5,7
/proc/32350/task/32366/stat : 32366 (java) S 32348 32350 28116 0 -1 4202560 6310 0 0 0 71 0 0 0 21 0 22 0 811099019 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32367] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32367/stat : 32367 (java) S 32348 32350 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811099019 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 3 0 0 0
[pid=32350/tid=32368] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32368/stat : 32368 (java) S 32348 32350 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811099019 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32369] ppid=32348 vsize=10552740 CPUtime=1.25 cores=1,3,5,7
/proc/32350/task/32369/stat : 32369 (java) R 32348 32350 28116 0 -1 4202560 319 0 0 0 125 0 0 0 20 0 22 0 811099030 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 46912505613264 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32350/tid=32370] ppid=32348 vsize=10552740 CPUtime=1.23 cores=1,3,5,7
/proc/32350/task/32370/stat : 32370 (java) R 32348 32350 28116 0 -1 4202560 47336 0 0 0 118 5 0 0 25 0 22 0 811099030 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 46912505537590 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32350/tid=32371] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32371/stat : 32371 (java) S 32348 32350 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811099030 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32372] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32372/stat : 32372 (java) S 32348 32350 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811099030 10806005760 68159 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 10552740
[startup+3.10096 s]
/proc/loadavg: 3.54 2.29 2.06 5/520 32372
/proc/meminfo: memFree=20763088/32951124 swapFree=67057928/67111528
[pid=32350] ppid=32348 vsize=10552740 CPUtime=7.36 cores=1,3,5,7
/proc/32350/stat : 32350 (java) S 32348 32350 28116 0 -1 4202496 92774 0 1 0 726 10 0 0 25 0 22 0 811099013 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32350/statm: 2638185 82198 2257 9 0 2628919 0
[pid=32350/tid=32351] ppid=32348 vsize=10552740 CPUtime=0.16 cores=1,3,5,7
/proc/32350/task/32351/stat : 32351 (java) S 32348 32350 28116 0 -1 4202560 11755 0 1 0 15 1 0 0 15 0 22 0 811099013 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32353] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32353/stat : 32353 (java) S 32348 32350 28116 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 22 0 811099015 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32354] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32354/stat : 32354 (java) S 32348 32350 28116 0 -1 4202560 84 0 0 0 0 0 0 0 16 0 22 0 811099015 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32355] ppid=32348 vsize=10552740 CPUtime=0.01 cores=1,3,5,7
/proc/32350/task/32355/stat : 32355 (java) S 32348 32350 28116 0 -1 4202560 42 0 0 0 1 0 0 0 15 0 22 0 811099015 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32356] ppid=32348 vsize=10552740 CPUtime=0.01 cores=1,3,5,7
/proc/32350/task/32356/stat : 32356 (java) S 32348 32350 28116 0 -1 4202560 307 0 0 0 1 0 0 0 15 0 22 0 811099015 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32357] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32357/stat : 32357 (java) S 32348 32350 28116 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 22 0 811099015 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32358] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32358/stat : 32358 (java) S 32348 32350 28116 0 -1 4202560 209 0 0 0 0 0 0 0 15 0 22 0 811099015 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32359] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32359/stat : 32359 (java) S 32348 32350 28116 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 22 0 811099015 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32360] ppid=32348 vsize=10552740 CPUtime=0.01 cores=1,3,5,7
/proc/32350/task/32360/stat : 32360 (java) S 32348 32350 28116 0 -1 4202560 161 0 0 0 1 0 0 0 15 0 22 0 811099015 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32361] ppid=32348 vsize=10552740 CPUtime=0.16 cores=1,3,5,7
/proc/32350/task/32361/stat : 32361 (java) S 32348 32350 28116 0 -1 4202560 2293 0 0 0 16 0 0 0 16 0 22 0 811099016 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 0 0 16800975 18446604462825088832 0 0 -1 3 0 0 0
[pid=32350/tid=32362] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32362/stat : 32362 (java) S 32348 32350 28116 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 811099016 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32363] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32363/stat : 32363 (java) S 32348 32350 28116 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 811099016 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32364] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32364/stat : 32364 (java) S 32348 32350 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811099019 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273440177 0 4 0 16800975 18446604462825088832 0 0 -1 3 0 0 0
[pid=32350/tid=32365] ppid=32348 vsize=10552740 CPUtime=0.77 cores=1,3,5,7
/proc/32350/task/32365/stat : 32365 (java) S 32348 32350 28116 0 -1 4202560 9676 0 0 0 76 1 0 0 20 0 22 0 811099019 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32366] ppid=32348 vsize=10552740 CPUtime=0.73 cores=1,3,5,7
/proc/32350/task/32366/stat : 32366 (java) S 32348 32350 28116 0 -1 4202560 6312 0 0 0 73 0 0 0 15 0 22 0 811099019 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32367] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32367/stat : 32367 (java) S 32348 32350 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811099019 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 3 0 0 0
[pid=32350/tid=32368] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32368/stat : 32368 (java) S 32348 32350 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811099019 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32369] ppid=32348 vsize=10552740 CPUtime=2.72 cores=1,3,5,7
/proc/32350/task/32369/stat : 32369 (java) R 32348 32350 28116 0 -1 4202560 323 0 0 0 272 0 0 0 18 0 22 0 811099030 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 46912505595884 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32350/tid=32370] ppid=32348 vsize=10552740 CPUtime=2.7 cores=1,3,5,7
/proc/32350/task/32370/stat : 32370 (java) R 32348 32350 28116 0 -1 4202560 60046 0 0 0 264 6 0 0 25 0 22 0 811099030 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 46912505704557 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32350/tid=32371] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32371/stat : 32371 (java) S 32348 32350 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811099030 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32372] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32372/stat : 32372 (java) S 32348 32350 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811099030 10806005760 82198 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 10552740
Solver just ended. Dumping a history of the last processes samples
[startup+3.50091 s]
/proc/loadavg: 3.58 2.32 2.07 5/520 32373
/proc/meminfo: memFree=20754564/32951124 swapFree=67057928/67111528
[pid=32350] ppid=32348 vsize=10552740 CPUtime=7.69 cores=1,3,5,7
/proc/32350/stat : 32350 (java) S 32348 32350 28116 0 -1 4202496 92992 0 1 0 759 10 0 0 25 0 19 0 811099013 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32350/statm: 2638185 82415 2258 9 0 2628919 0
[pid=32350/tid=32351] ppid=32348 vsize=10552740 CPUtime=0.16 cores=1,3,5,7
/proc/32350/task/32351/stat : 32351 (java) S 32348 32350 28116 0 -1 4202560 11755 0 1 0 15 1 0 0 15 0 19 0 811099013 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32353] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32353/stat : 32353 (java) S 32348 32350 28116 0 -1 4202560 161 0 0 0 0 0 0 0 16 0 19 0 811099015 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32354] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32354/stat : 32354 (java) S 32348 32350 28116 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 811099015 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32355] ppid=32348 vsize=10552740 CPUtime=0.01 cores=1,3,5,7
/proc/32350/task/32355/stat : 32355 (java) S 32348 32350 28116 0 -1 4202560 42 0 0 0 1 0 0 0 16 0 19 0 811099015 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32356] ppid=32348 vsize=10552740 CPUtime=0.01 cores=1,3,5,7
/proc/32350/task/32356/stat : 32356 (java) S 32348 32350 28116 0 -1 4202560 307 0 0 0 1 0 0 0 15 0 19 0 811099015 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32357] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32357/stat : 32357 (java) S 32348 32350 28116 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 811099015 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32358] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32358/stat : 32358 (java) S 32348 32350 28116 0 -1 4202560 209 0 0 0 0 0 0 0 16 0 19 0 811099015 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 7 0 0 0
[pid=32350/tid=32359] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32359/stat : 32359 (java) S 32348 32350 28116 0 -1 4202560 89 0 0 0 0 0 0 0 16 0 19 0 811099015 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32360] ppid=32348 vsize=10552740 CPUtime=0.01 cores=1,3,5,7
/proc/32350/task/32360/stat : 32360 (java) S 32348 32350 28116 0 -1 4202560 161 0 0 0 1 0 0 0 16 0 19 0 811099015 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32361] ppid=32348 vsize=10552740 CPUtime=0.19 cores=1,3,5,7
/proc/32350/task/32361/stat : 32361 (java) S 32348 32350 28116 0 -1 4202560 2509 0 0 0 19 0 0 0 16 0 19 0 811099016 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 0 0 16800975 18446604462825088832 0 0 -1 3 0 0 0
[pid=32350/tid=32362] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32362/stat : 32362 (java) S 32348 32350 28116 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 811099016 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32363] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32363/stat : 32363 (java) S 32348 32350 28116 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 811099016 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32364] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32364/stat : 32364 (java) S 32348 32350 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811099019 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273440177 0 4 0 16800975 18446604462825088832 0 0 -1 3 0 0 0
[pid=32350/tid=32365] ppid=32348 vsize=10552740 CPUtime=0.77 cores=1,3,5,7
/proc/32350/task/32365/stat : 32365 (java) S 32348 32350 28116 0 -1 4202560 9676 0 0 0 76 1 0 0 20 0 19 0 811099019 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32366] ppid=32348 vsize=10552740 CPUtime=0.73 cores=1,3,5,7
/proc/32350/task/32366/stat : 32366 (java) S 32348 32350 28116 0 -1 4202560 6312 0 0 0 73 0 0 0 15 0 19 0 811099019 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 5 0 0 0
[pid=32350/tid=32367] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32367/stat : 32367 (java) S 32348 32350 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811099019 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273432473 0 4 0 16800975 18446604462825088832 0 0 -1 3 0 0 0
[pid=32350/tid=32368] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32368/stat : 32368 (java) S 32348 32350 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811099019 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
[pid=32350/tid=32371] ppid=32348 vsize=10552740 CPUtime=0 cores=1,3,5,7
/proc/32350/task/32371/stat : 32371 (java) S 32348 32350 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811099030 10806005760 82415 33554432000 1073741824 1073778376 140733518173264 18446744073709551615 254273433088 0 4 0 16800975 18446604462825088832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 10552740
[startup+3.70085 s]
/proc/loadavg: 3.58 2.32 2.07 5/520 32373
/proc/meminfo: memFree=20754564/32951124 swapFree=67057928/67111528
[pid=32350] ppid=32348 vsize=0 CPUtime=7.71 cores=1,3,5,7
/proc/32350/stat : 32350 (java) Z 32348 32350 28116 0 -1 4203548 92996 0 1 0 759 12 0 0 18 0 2 0 811099013 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32350/statm: 0 0 0 0 0 0 0
[pid=32350/tid=32371] ppid=32348 vsize=0 CPUtime=0.01 cores=1,3,5,7
/proc/32350/task/32371/stat : 32371 (java) R 32348 32350 28116 0 -1 4203588 7 0 0 0 0 1 0 0 18 0 2 0 811099030 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 3.70386
CPU time (s): 7.72083
CPU user time (s): 7.59585
CPU system time (s): 0.124981
CPU usage (%): 208.454
Max. virtual memory (cumulated for all children) (KiB): 10567816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.59584
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92996
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= 643
involuntary context switches= 296
runsolver used 0.029995 second user time and 0.043993 second system time
The end