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-3454888-1307642783/watcher-3454888-1307642783 -o /tmp/evaluation-result-3454888-1307642783/solver-3454888-1307642783 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454888-1307642783.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.73 3.94 3.89 4/196 11612
/proc/meminfo: memFree=31453024/32951132 swapFree=67054608/67111528
[pid=11612] ppid=11610 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11610 11612 11485 0 -1 4202496 1276 0 0 0 0 0 0 0 18 0 2 0 875877978 32362496 993 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11612/statm: 7914 998 768 9 0 386 0
[pid=11612/tid=11613] ppid=11610 vsize=33748 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11613/stat : 11613 (java) R 11610 11612 11485 0 -1 4202560 183 0 0 0 0 0 0 0 19 0 2 0 875877978 34557952 1007 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274659837574 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.030807 s]
/proc/loadavg: 3.73 3.94 3.89 4/196 11612
/proc/meminfo: memFree=31453024/32951132 swapFree=67054608/67111528
[pid=11612] ppid=11610 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11610 11612 11485 0 -1 4202496 10903 0 1 0 1 1 0 0 18 0 11 0 875877978 10716594176 10602 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11612/statm: 2616356 10602 1565 9 0 2607104 0
[pid=11612/tid=11613] ppid=11610 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/11612/task/11613/stat : 11613 (java) S 11610 11612 11485 0 -1 4202560 9779 0 1 0 1 1 0 0 24 0 11 0 875877978 10716594176 10602 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16784584 18446604440278878080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.106193 s]
/proc/loadavg: 3.73 3.94 3.89 4/196 11612
/proc/meminfo: memFree=31453024/32951132 swapFree=67054608/67111528
[pid=11612] ppid=11610 vsize=10539848 CPUtime=0.11 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11610 11612 11485 0 -1 4202496 13192 0 1 0 9 2 0 0 18 0 18 0 875877978 10792804352 12878 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11612/statm: 2634962 12879 2107 9 0 2625696 0
[pid=11612/tid=11613] ppid=11610 vsize=10539848 CPUtime=0.08 cores=0,2,4,6
/proc/11612/task/11613/stat : 11613 (java) R 11610 11612 11485 0 -1 4202560 11235 0 1 0 7 1 0 0 18 0 18 0 875877978 10792804352 12879 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676635083 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539848
[startup+0.30111 s]
/proc/loadavg: 3.73 3.94 3.89 4/196 11612
/proc/meminfo: memFree=31453024/32951132 swapFree=67054608/67111528
[pid=11612] ppid=11610 vsize=10541680 CPUtime=0.46 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11610 11612 11485 0 -1 4202496 15684 0 1 0 44 2 0 0 18 0 18 0 875877978 10794680320 15054 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11612/statm: 2635420 15054 2198 9 0 2626154 0
[pid=11612/tid=11613] ppid=11610 vsize=10541680 CPUtime=0.29 cores=0,2,4,6
/proc/11612/task/11613/stat : 11613 (java) R 11610 11612 11485 0 -1 4202560 12725 0 1 0 27 2 0 0 18 0 18 0 875877978 10794680320 15054 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 46912505181300 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541680
[startup+0.90792 s]
/proc/loadavg: 3.73 3.94 3.89 4/196 11612
/proc/meminfo: memFree=31453024/32951132 swapFree=67054608/67111528
[pid=11612] ppid=11610 vsize=10566564 CPUtime=2.75 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11610 11612 11485 0 -1 4202496 56605 0 1 0 267 8 0 0 18 0 22 0 875877978 10820161536 50813 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11612/statm: 2642572 52915 2256 9 0 2633306 0
[pid=11612/tid=11613] ppid=11610 vsize=10558012 CPUtime=0.32 cores=0,2,4,6
/proc/11612/task/11613/stat : 11613 (java) S 11610 11612 11485 0 -1 4202560 13381 0 1 0 30 2 0 0 15 0 22 0 875877978 10811404288 56752 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 10566564
[startup+1.5009 s]
/proc/loadavg: 4.07 4.00 3.91 5/218 11634
/proc/meminfo: memFree=31159332/32951132 swapFree=67054608/67111528
[pid=11612] ppid=11610 vsize=10558012 CPUtime=4.38 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11610 11612 11485 0 -1 4202496 84731 0 1 0 426 12 0 0 18 0 22 0 875877978 10811404288 75456 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11612/statm: 2639503 75456 2256 9 0 2630237 0
[pid=11612/tid=11613] ppid=11610 vsize=10558012 CPUtime=0.32 cores=0,2,4,6
/proc/11612/task/11613/stat : 11613 (java) S 11610 11612 11485 0 -1 4202560 13381 0 1 0 30 2 0 0 15 0 22 0 875877978 10811404288 75463 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11615] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11615/stat : 11615 (java) S 11610 11612 11485 0 -1 4202560 399 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 75467 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11616] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11616/stat : 11616 (java) S 11610 11612 11485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 75470 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11617] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11617/stat : 11617 (java) S 11610 11612 11485 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 75473 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11618] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11618/stat : 11618 (java) S 11610 11612 11485 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 75475 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11619] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11619/stat : 11619 (java) S 11610 11612 11485 0 -1 4202560 185 0 0 0 0 0 0 0 16 0 22 0 875877980 10811404288 75477 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11620] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11620/stat : 11620 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 75481 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11621] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11621/stat : 11621 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 75484 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11622] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11622/stat : 11622 (java) S 11610 11612 11485 0 -1 4202560 168 0 0 0 0 0 0 0 16 0 22 0 875877980 10811404288 75487 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11623] ppid=11610 vsize=10558012 CPUtime=0.03 cores=0,2,4,6
/proc/11612/task/11623/stat : 11623 (java) S 11610 11612 11485 0 -1 4202560 855 0 0 0 3 0 0 0 16 0 22 0 875877981 10811404288 75490 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 0 0 16800975 18446604440278878080 0 0 -1 0 0 0 0
[pid=11612/tid=11624] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11624/stat : 11624 (java) S 11610 11612 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 875877981 10811404288 75493 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11625] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11625/stat : 11625 (java) S 11610 11612 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 875877981 10811404288 75495 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11626] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11626/stat : 11626 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875877983 10811404288 75497 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676631985 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11627] ppid=11610 vsize=10558012 CPUtime=0.88 cores=0,2,4,6
/proc/11612/task/11627/stat : 11627 (java) S 11610 11612 11485 0 -1 4202560 4756 0 0 0 88 0 0 0 15 0 22 0 875877983 10811404288 75500 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11628] ppid=11610 vsize=10558012 CPUtime=0.87 cores=0,2,4,6
/proc/11612/task/11628/stat : 11628 (java) S 11610 11612 11485 0 -1 4202560 11621 0 0 0 86 1 0 0 16 0 22 0 875877983 10811404288 75505 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11629] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11629/stat : 11629 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875877983 10811404288 75507 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11630] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11630/stat : 11630 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875877983 10811404288 75509 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11631] ppid=11610 vsize=10558012 CPUtime=1.12 cores=0,2,4,6
/proc/11612/task/11631/stat : 11631 (java) R 11610 11612 11485 0 -1 4202560 326 0 0 0 112 0 0 0 20 0 22 0 875878011 10811404288 75511 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 46912505711943 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11612/tid=11632] ppid=11610 vsize=10558012 CPUtime=1.1 cores=0,2,4,6
/proc/11612/task/11632/stat : 11632 (java) R 11610 11612 11485 0 -1 4202560 51683 0 0 0 103 7 0 0 18 0 22 0 875878011 10811404288 75514 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 46912505689772 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11612/tid=11633] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11633/stat : 11633 (java) S 11610 11612 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 875878012 10811404288 75517 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11634] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11634/stat : 11634 (java) S 11610 11612 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 875878012 10811404288 75519 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10558012
[startup+3.10168 s]
/proc/loadavg: 4.07 4.00 3.91 5/218 11634
/proc/meminfo: memFree=31060628/32951132 swapFree=67054608/67111528
[pid=11612] ppid=11610 vsize=10558012 CPUtime=7.56 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11610 11612 11485 0 -1 4202496 109584 0 1 0 741 15 0 0 18 0 22 0 875877978 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11612/statm: 2639503 100306 2257 9 0 2630237 0
[pid=11612/tid=11613] ppid=11610 vsize=10558012 CPUtime=0.32 cores=0,2,4,6
/proc/11612/task/11613/stat : 11613 (java) S 11610 11612 11485 0 -1 4202560 13381 0 1 0 30 2 0 0 15 0 22 0 875877978 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11615] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11615/stat : 11615 (java) S 11610 11612 11485 0 -1 4202560 495 0 0 0 0 0 0 0 16 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11616] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11616/stat : 11616 (java) S 11610 11612 11485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11617] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11617/stat : 11617 (java) S 11610 11612 11485 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11618] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11618/stat : 11618 (java) S 11610 11612 11485 0 -1 4202560 149 0 0 0 0 0 0 0 16 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11619] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11619/stat : 11619 (java) S 11610 11612 11485 0 -1 4202560 282 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11620] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11620/stat : 11620 (java) S 11610 11612 11485 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11621] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11621/stat : 11621 (java) S 11610 11612 11485 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11622] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11622/stat : 11622 (java) S 11610 11612 11485 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11623] ppid=11610 vsize=10558012 CPUtime=0.11 cores=0,2,4,6
/proc/11612/task/11623/stat : 11623 (java) S 11610 11612 11485 0 -1 4202560 2120 0 0 0 11 0 0 0 16 0 22 0 875877981 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 0 0 16800975 18446604440278878080 0 0 -1 0 0 0 0
[pid=11612/tid=11624] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11624/stat : 11624 (java) S 11610 11612 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 875877981 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11625] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11625/stat : 11625 (java) S 11610 11612 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 875877981 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11626] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11626/stat : 11626 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875877983 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676631985 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11627] ppid=11610 vsize=10558012 CPUtime=0.88 cores=0,2,4,6
/proc/11612/task/11627/stat : 11627 (java) S 11610 11612 11485 0 -1 4202560 4756 0 0 0 88 0 0 0 15 0 22 0 875877983 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11628] ppid=11610 vsize=10558012 CPUtime=0.93 cores=0,2,4,6
/proc/11612/task/11628/stat : 11628 (java) S 11610 11612 11485 0 -1 4202560 11631 0 0 0 92 1 0 0 15 0 22 0 875877983 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11629] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11629/stat : 11629 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875877983 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11630] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11630/stat : 11630 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875877983 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11631] ppid=11610 vsize=10558012 CPUtime=2.62 cores=0,2,4,6
/proc/11612/task/11631/stat : 11631 (java) R 11610 11612 11485 0 -1 4202560 329 0 0 0 262 0 0 0 23 0 22 0 875878011 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 46912505700194 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11612/tid=11632] ppid=11610 vsize=10558012 CPUtime=2.6 cores=0,2,4,6
/proc/11612/task/11632/stat : 11632 (java) R 11610 11612 11485 0 -1 4202560 74625 0 0 0 251 9 0 0 20 0 22 0 875878011 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 46912505890378 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11612/tid=11633] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11633/stat : 11633 (java) S 11610 11612 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 875878012 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11634] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11634/stat : 11634 (java) S 11610 11612 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 875878012 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 10558012
Solver just ended. Dumping a history of the last processes samples
[startup+3.20166 s]
/proc/loadavg: 4.07 4.00 3.91 5/218 11634
/proc/meminfo: memFree=31060628/32951132 swapFree=67054608/67111528
[pid=11612] ppid=11610 vsize=10558012 CPUtime=7.76 cores=0,2,4,6
/proc/11612/stat : 11612 (java) S 11610 11612 11485 0 -1 4202496 109584 0 1 0 761 15 0 0 18 0 22 0 875877978 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11612/statm: 2639503 100306 2257 9 0 2630237 0
[pid=11612/tid=11613] ppid=11610 vsize=10558012 CPUtime=0.32 cores=0,2,4,6
/proc/11612/task/11613/stat : 11613 (java) S 11610 11612 11485 0 -1 4202560 13381 0 1 0 30 2 0 0 15 0 22 0 875877978 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11615] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11615/stat : 11615 (java) S 11610 11612 11485 0 -1 4202560 495 0 0 0 0 0 0 0 16 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11616] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11616/stat : 11616 (java) S 11610 11612 11485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11617] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11617/stat : 11617 (java) S 11610 11612 11485 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11618] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11618/stat : 11618 (java) S 11610 11612 11485 0 -1 4202560 149 0 0 0 0 0 0 0 16 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11619] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11619/stat : 11619 (java) S 11610 11612 11485 0 -1 4202560 282 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11620] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11620/stat : 11620 (java) S 11610 11612 11485 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11621] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11621/stat : 11621 (java) S 11610 11612 11485 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11622] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11622/stat : 11622 (java) S 11610 11612 11485 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 22 0 875877980 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11623] ppid=11610 vsize=10558012 CPUtime=0.11 cores=0,2,4,6
/proc/11612/task/11623/stat : 11623 (java) S 11610 11612 11485 0 -1 4202560 2120 0 0 0 11 0 0 0 16 0 22 0 875877981 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 0 0 16800975 18446604440278878080 0 0 -1 0 0 0 0
[pid=11612/tid=11624] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11624/stat : 11624 (java) S 11610 11612 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 875877981 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11625] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11625/stat : 11625 (java) S 11610 11612 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 875877981 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11626] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11626/stat : 11626 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875877983 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676631985 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11627] ppid=11610 vsize=10558012 CPUtime=0.88 cores=0,2,4,6
/proc/11612/task/11627/stat : 11627 (java) S 11610 11612 11485 0 -1 4202560 4756 0 0 0 88 0 0 0 15 0 22 0 875877983 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 2 0 0 0
[pid=11612/tid=11628] ppid=11610 vsize=10558012 CPUtime=0.93 cores=0,2,4,6
/proc/11612/task/11628/stat : 11628 (java) S 11610 11612 11485 0 -1 4202560 11631 0 0 0 92 1 0 0 15 0 22 0 875877983 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11629] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11629/stat : 11629 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 875877983 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624281 0 4 0 16800975 18446604440278878080 0 0 -1 6 0 0 0
[pid=11612/tid=11630] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11630/stat : 11630 (java) S 11610 11612 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875877983 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11631] ppid=11610 vsize=10558012 CPUtime=2.72 cores=0,2,4,6
/proc/11612/task/11631/stat : 11631 (java) R 11610 11612 11485 0 -1 4202560 329 0 0 0 272 0 0 0 23 0 22 0 875878011 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 46912505639247 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11612/tid=11632] ppid=11610 vsize=10558012 CPUtime=2.7 cores=0,2,4,6
/proc/11612/task/11632/stat : 11632 (java) R 11610 11612 11485 0 -1 4202560 74625 0 0 0 261 9 0 0 20 0 22 0 875878011 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 46912506095616 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11612/tid=11633] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11633/stat : 11633 (java) S 11610 11612 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 875878012 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
[pid=11612/tid=11634] ppid=11610 vsize=10558012 CPUtime=0 cores=0,2,4,6
/proc/11612/task/11634/stat : 11634 (java) S 11610 11612 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 875878012 10811404288 100306 33554432000 1073741824 1073778376 140735924730912 18446744073709551615 274676624896 0 4 0 16800975 18446604440278878080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 10558012
[startup+3.4016 s]
/proc/loadavg: 4.07 4.00 3.91 5/218 11634
/proc/meminfo: memFree=31060628/32951132 swapFree=67054608/67111528
[pid=11612] ppid=11610 vsize=0 CPUtime=7.97 cores=0,2,4,6
/proc/11612/stat : 11612 (java) R 11610 11612 11485 0 -1 4203524 119232 0 1 0 779 18 0 0 18 0 1 0 875877978 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11612/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 3.40448
CPU time (s): 7.98279
CPU user time (s): 7.79181
CPU system time (s): 0.19097
CPU usage (%): 234.479
Max. virtual memory (cumulated for all children) (KiB): 10566564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.79181
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119232
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= 509
involuntary context switches= 175
runsolver used 0.007998 second user time and 0.012998 second system time
The end