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-3458105-1307158071/watcher-3458105-1307158071 -o /tmp/evaluation-result-3458105-1307158071/solver-3458105-1307158071 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458105-1307158071.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.04 2.00 1/510 14695
/proc/meminfo: memFree=23137948/32950928 swapFree=58671692/67111528
[pid=14695] ppid=14693 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/14695/stat : 14695 (java) S 14693 14695 10738 0 -1 4202496 4170 0 1 0 0 0 0 0 18 0 2 0 906037783 13850947584 3873 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/14695/statm: 3381579 3890 917 9 0 3372735 0
[pid=14695/tid=14696] ppid=14693 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/14695/task/14696/stat : 14696 (java) R 14693 14695 10738 0 -1 4202560 8007 0 1 0 0 1 0 0 19 0 2 0 906037783 13850947584 8823 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0850979 s]
/proc/loadavg: 2.00 2.04 2.00 1/510 14695
/proc/meminfo: memFree=23137948/32950928 swapFree=58671692/67111528
[pid=14695] ppid=14693 vsize=13555364 CPUtime=0.07 cores=0,2,4,6
/proc/14695/stat : 14695 (java) S 14693 14695 10738 0 -1 4202496 14768 0 1 0 6 1 0 0 18 0 18 0 906037783 13880692736 14466 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14695/statm: 3388841 14467 1913 9 0 3379575 0
[pid=14695/tid=14696] ppid=14693 vsize=13555364 CPUtime=0.06 cores=0,2,4,6
/proc/14695/task/14696/stat : 14696 (java) R 14693 14695 10738 0 -1 4202560 13388 0 1 0 5 1 0 0 25 0 18 0 906037783 13880692736 14468 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 47962596522835 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555364
[startup+0.101106 s]
/proc/loadavg: 2.00 2.04 2.00 1/510 14695
/proc/meminfo: memFree=23137948/32950928 swapFree=58671692/67111528
[pid=14695] ppid=14693 vsize=13622332 CPUtime=0.11 cores=0,2,4,6
/proc/14695/stat : 14695 (java) S 14693 14695 10738 0 -1 4202496 15525 0 1 0 9 2 0 0 18 0 18 0 906037783 13949267968 15221 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14695/statm: 3405583 15222 2092 9 0 3396317 0
[pid=14695/tid=14696] ppid=14693 vsize=13622332 CPUtime=0.08 cores=0,2,4,6
/proc/14695/task/14696/stat : 14696 (java) R 14693 14695 10738 0 -1 4202560 13630 0 1 0 7 1 0 0 18 0 18 0 906037783 13949267968 15223 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622332
[startup+0.311057 s]
/proc/loadavg: 2.00 2.04 2.00 1/510 14695
/proc/meminfo: memFree=23137948/32950928 swapFree=58671692/67111528
[pid=14695] ppid=14693 vsize=13625732 CPUtime=0.53 cores=0,2,4,6
/proc/14695/stat : 14695 (java) S 14693 14695 10738 0 -1 4202496 18254 0 1 0 51 2 0 0 18 0 19 0 906037783 13952749568 17298 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14695/statm: 3406433 17298 2200 9 0 3397167 0
[pid=14695/tid=14696] ppid=14693 vsize=13625732 CPUtime=0.29 cores=0,2,4,6
/proc/14695/task/14696/stat : 14696 (java) R 14693 14695 10738 0 -1 4202560 14226 0 1 0 28 1 0 0 19 0 19 0 906037783 13952749568 17298 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 46912505549210 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13625732
[startup+0.700969 s]
/proc/loadavg: 2.00 2.04 2.00 1/510 14695
/proc/meminfo: memFree=23137948/32950928 swapFree=58671692/67111528
[pid=14695] ppid=14693 vsize=13625732 CPUtime=1 cores=0,2,4,6
/proc/14695/stat : 14695 (java) S 14693 14695 10738 0 -1 4202496 19164 0 1 0 98 2 0 0 18 0 19 0 906037783 13952749568 18206 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14695/statm: 3406433 18206 2236 9 0 3397167 0
[pid=14695/tid=14696] ppid=14693 vsize=13625732 CPUtime=0.67 cores=0,2,4,6
/proc/14695/task/14696/stat : 14696 (java) R 14693 14695 10738 0 -1 4202560 14516 0 1 0 66 1 0 0 19 0 19 0 906037783 13952749568 18206 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 46912505509338 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13625732
[startup+1.50083 s]
/proc/loadavg: 2.08 2.05 2.01 4/552 14742
/proc/meminfo: memFree=22985660/32950928 swapFree=58671692/67111528
[pid=14695] ppid=14693 vsize=13649672 CPUtime=2.46 cores=0,2,4,6
/proc/14695/stat : 14695 (java) S 14693 14695 10738 0 -1 4202496 27866 0 1 0 242 4 0 0 18 0 19 0 906037783 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14695/statm: 3412418 24885 2238 9 0 3403152 0
[pid=14695/tid=14696] ppid=14693 vsize=13649672 CPUtime=1.44 cores=0,2,4,6
/proc/14695/task/14696/stat : 14696 (java) R 14693 14695 10738 0 -1 4202560 14521 0 1 0 143 1 0 0 20 0 19 0 906037783 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 46912505539020 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14695/tid=14708] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14708/stat : 14708 (java) S 14693 14695 10738 0 -1 4202560 254 0 0 0 0 0 0 0 15 0 19 0 906037785 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
[pid=14695/tid=14709] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14709/stat : 14709 (java) S 14693 14695 10738 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 906037785 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
[pid=14695/tid=14710] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14710/stat : 14710 (java) S 14693 14695 10738 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 906037785 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14711] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14711/stat : 14711 (java) S 14693 14695 10738 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 906037785 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
[pid=14695/tid=14712] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14712/stat : 14712 (java) S 14693 14695 10738 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 906037785 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14713] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14713/stat : 14713 (java) S 14693 14695 10738 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 906037785 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
[pid=14695/tid=14714] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14714/stat : 14714 (java) S 14693 14695 10738 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 906037785 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14715] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14715/stat : 14715 (java) S 14693 14695 10738 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 906037785 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 4 0 0 0
[pid=14695/tid=14716] ppid=14693 vsize=13649672 CPUtime=0.03 cores=0,2,4,6
/proc/14695/task/14716/stat : 14716 (java) S 14693 14695 10738 0 -1 4202560 616 0 0 0 3 0 0 0 16 0 19 0 906037786 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427208192 0 0 0 16800975 18446604453633348736 0 0 -1 4 0 0 0
[pid=14695/tid=14718] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14718/stat : 14718 (java) S 14693 14695 10738 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906037787 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14719] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14719/stat : 14719 (java) S 14693 14695 10738 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 906037787 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14731] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14731/stat : 14731 (java) S 14693 14695 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037789 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427215281 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14732] ppid=14693 vsize=13649672 CPUtime=0.78 cores=0,2,4,6
/proc/14695/task/14732/stat : 14732 (java) R 14693 14695 10738 0 -1 4202560 9157 0 0 0 77 1 0 0 16 0 19 0 906037789 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 47962595745343 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14695/tid=14733] ppid=14693 vsize=13649672 CPUtime=0.16 cores=0,2,4,6
/proc/14695/task/14733/stat : 14733 (java) S 14693 14695 10738 0 -1 4202560 1805 0 0 0 16 0 0 0 17 0 19 0 906037789 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14734] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14734/stat : 14734 (java) S 14693 14695 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037789 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14735] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14735/stat : 14735 (java) S 14693 14695 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906037789 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427208192 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14741] ppid=14693 vsize=13649672 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14741/stat : 14741 (java) S 14693 14695 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906037798 13977264128 24885 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427208192 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 13649672
[startup+3.10146 s]
/proc/loadavg: 2.08 2.05 2.01 3/552 14742
/proc/meminfo: memFree=22978716/32950928 swapFree=58671692/67111528
[pid=14695] ppid=14693 vsize=13645432 CPUtime=4.24 cores=0,2,4,6
/proc/14695/stat : 14695 (java) S 14693 14695 10738 0 -1 4202496 28328 0 1 0 420 4 0 0 18 0 19 0 906037783 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14695/statm: 3411358 24304 2248 9 0 3402092 0
[pid=14695/tid=14696] ppid=14693 vsize=13645432 CPUtime=2.99 cores=0,2,4,6
/proc/14695/task/14696/stat : 14696 (java) R 14693 14695 10738 0 -1 4202560 14525 0 1 0 298 1 0 0 25 0 19 0 906037783 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 46912505509341 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14695/tid=14708] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14708/stat : 14708 (java) S 14693 14695 10738 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 906037785 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
[pid=14695/tid=14709] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14709/stat : 14709 (java) S 14693 14695 10738 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 906037785 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
[pid=14695/tid=14710] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14710/stat : 14710 (java) S 14693 14695 10738 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 906037785 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14711] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14711/stat : 14711 (java) S 14693 14695 10738 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 906037785 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
[pid=14695/tid=14712] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14712/stat : 14712 (java) S 14693 14695 10738 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 906037785 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14713] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14713/stat : 14713 (java) S 14693 14695 10738 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 906037785 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
[pid=14695/tid=14714] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14714/stat : 14714 (java) S 14693 14695 10738 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 906037785 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14715] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14715/stat : 14715 (java) S 14693 14695 10738 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 906037785 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14716] ppid=14693 vsize=13645432 CPUtime=0.07 cores=0,2,4,6
/proc/14695/task/14716/stat : 14716 (java) S 14693 14695 10738 0 -1 4202560 941 0 0 0 7 0 0 0 16 0 19 0 906037786 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427208192 0 0 0 16800975 18446604453633348736 0 0 -1 4 0 0 0
[pid=14695/tid=14718] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14718/stat : 14718 (java) S 14693 14695 10738 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906037787 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14719] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14719/stat : 14719 (java) S 14693 14695 10738 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 906037787 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14731] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14731/stat : 14731 (java) S 14693 14695 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037789 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427215281 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14732] ppid=14693 vsize=13645432 CPUtime=0.91 cores=0,2,4,6
/proc/14695/task/14732/stat : 14732 (java) S 14693 14695 10738 0 -1 4202560 9203 0 0 0 90 1 0 0 15 0 19 0 906037789 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
[pid=14695/tid=14733] ppid=14693 vsize=13645432 CPUtime=0.21 cores=0,2,4,6
/proc/14695/task/14733/stat : 14733 (java) S 14693 14695 10738 0 -1 4202560 1805 0 0 0 21 0 0 0 15 0 19 0 906037789 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14734] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14734/stat : 14734 (java) S 14693 14695 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906037789 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427207577 0 4 0 16800975 18446604453633348736 0 0 -1 6 0 0 0
[pid=14695/tid=14735] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14735/stat : 14735 (java) S 14693 14695 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906037789 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427208192 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
[pid=14695/tid=14741] ppid=14693 vsize=13645432 CPUtime=0 cores=0,2,4,6
/proc/14695/task/14741/stat : 14741 (java) S 14693 14695 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906037798 13972922368 24304 33554432000 1073741824 1073778376 140734268046528 18446744073709551615 256427208192 0 4 0 16800975 18446604453633348736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 13645432
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 3.12566
CPU time (s): 4.27035
CPU user time (s): 4.22136
CPU system time (s): 0.048992
CPU usage (%): 136.622
Max. virtual memory (cumulated for all children) (KiB): 13649672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.22136
system time used= 0.048992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28352
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= 418
involuntary context switches= 132
runsolver used 0.021996 second user time and 0.056991 second system time
The end