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-3455595-1307196699/watcher-3455595-1307196699 -o /tmp/evaluation-result-3455595-1307196699/solver-3455595-1307196699 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455595-1307196699.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: 1.67 2.76 3.29 1/576 12970
/proc/meminfo: memFree=28440396/32951124 swapFree=34426104/67111528
[pid=12970] ppid=12968 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/12970/stat : 12970 (java) S 12968 12970 12781 0 -1 4202496 1577 0 1 0 0 0 0 0 25 0 2 0 909900589 10681323520 1279 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12970/statm: 2607745 1292 906 9 0 2598901 0
[pid=12970/tid=12971] ppid=12968 vsize=10445508 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12971/stat : 12971 (java) R 12968 12970 12781 0 -1 4202560 8729 0 1 0 0 0 0 0 25 0 2 0 909900590 10696200192 9545 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224284969143 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=12970/tid=12972] ppid=12968 vsize=10445508 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12972/stat : 12972 (java) R 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 3 0 909900592 10696200192 9547 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296742854 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=12970/tid=12973] ppid=12968 vsize=10446536 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12973/stat : 12973 (java) S 12968 12970 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 4 0 909900592 10697252864 9552 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16784584 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12974] ppid=12968 vsize=10448724 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12974/stat : 12974 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 5 0 909900592 10699493376 9557 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16784584 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12975] ppid=12968 vsize=10449752 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12975/stat : 12975 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 7 0 909900592 10700546048 9562 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16784584 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12976] ppid=12968 vsize=10450780 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12976/stat : 12976 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 909900592 10701598720 9567 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16784584 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12977] ppid=12968 vsize=10452836 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12977/stat : 12977 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 909900592 10703704064 9573 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16784584 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12978] ppid=12968 vsize=10452836 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12978/stat : 12978 (java) R 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909900592 10703704064 9577 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=12970/tid=12979] ppid=12968 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12979/stat : 12979 (java) R 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909900592 10703900672 9588 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.10005 s]
/proc/loadavg: 1.67 2.76 3.29 1/576 12970
/proc/meminfo: memFree=28440396/32951124 swapFree=34426104/67111528
[pid=12970] ppid=12968 vsize=10540272 CPUtime=0.1 cores=1,3,5,7
/proc/12970/stat : 12970 (java) S 12968 12970 12781 0 -1 4202496 13145 0 1 0 9 1 0 0 25 0 18 0 909900589 10793238528 12817 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12970/statm: 2635068 12818 2092 9 0 2625802 0
[pid=12970/tid=12971] ppid=12968 vsize=10540272 CPUtime=0.08 cores=1,3,5,7
/proc/12970/task/12971/stat : 12971 (java) R 12968 12970 12781 0 -1 4202560 11194 0 1 0 7 1 0 0 18 0 18 0 909900590 10793238528 12818 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 47152170511187 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12970/tid=12972] ppid=12968 vsize=10540272 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12972/stat : 12972 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793238528 12818 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12973] ppid=12968 vsize=10540272 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12973/stat : 12973 (java) S 12968 12970 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909900592 10793238528 12819 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12974] ppid=12968 vsize=10540272 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12974/stat : 12974 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793238528 12820 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12975] ppid=12968 vsize=10540272 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12975/stat : 12975 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793238528 12820 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12976] ppid=12968 vsize=10540272 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12976/stat : 12976 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793238528 12821 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12977] ppid=12968 vsize=10540272 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12977/stat : 12977 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793238528 12821 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12978] ppid=12968 vsize=10540272 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12978/stat : 12978 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793238528 12821 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12979] ppid=12968 vsize=10540272 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12979/stat : 12979 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793238528 12821 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540272
[startup+0.20102 s]
/proc/loadavg: 1.67 2.76 3.29 1/576 12970
/proc/meminfo: memFree=28440396/32951124 swapFree=34426104/67111528
[pid=12970] ppid=12968 vsize=10540884 CPUtime=0.24 cores=1,3,5,7
/proc/12970/stat : 12970 (java) S 12968 12970 12781 0 -1 4202496 14015 0 1 0 23 1 0 0 25 0 18 0 909900589 10793865216 13687 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12970/statm: 2635221 13687 2177 9 0 2625955 0
[pid=12970/tid=12971] ppid=12968 vsize=10540884 CPUtime=0.18 cores=1,3,5,7
/proc/12970/task/12971/stat : 12971 (java) R 12968 12970 12781 0 -1 4202560 11840 0 1 0 17 1 0 0 18 0 18 0 909900590 10793865216 13687 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12970/tid=12972] ppid=12968 vsize=10540884 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12972/stat : 12972 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793865216 13687 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12973] ppid=12968 vsize=10540884 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12973/stat : 12973 (java) S 12968 12970 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909900592 10793865216 13687 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12974] ppid=12968 vsize=10540884 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12974/stat : 12974 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793865216 13687 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12975] ppid=12968 vsize=10540884 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12975/stat : 12975 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793865216 13687 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12976] ppid=12968 vsize=10540884 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12976/stat : 12976 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793865216 13688 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12977] ppid=12968 vsize=10540884 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12977/stat : 12977 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793865216 13688 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12978] ppid=12968 vsize=10540884 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12978/stat : 12978 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793865216 13688 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12979] ppid=12968 vsize=10540884 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12979/stat : 12979 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909900592 10793865216 13688 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10540884
[startup+0.301006 s]
/proc/loadavg: 1.67 2.76 3.29 1/576 12970
/proc/meminfo: memFree=28440396/32951124 swapFree=34426104/67111528
[pid=12970] ppid=12968 vsize=10545580 CPUtime=0.46 cores=1,3,5,7
/proc/12970/stat : 12970 (java) S 12968 12970 12781 0 -1 4202496 15270 0 1 0 45 1 0 0 25 0 19 0 909900589 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12970/statm: 2636395 14829 2215 9 0 2627129 0
[pid=12970/tid=12971] ppid=12968 vsize=10545580 CPUtime=0.25 cores=1,3,5,7
/proc/12970/task/12971/stat : 12971 (java) S 12968 12970 12781 0 -1 4202560 12477 0 1 0 24 1 0 0 19 0 19 0 909900590 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296742400 0 4 0 16800975 18446604469304919232 0 0 -1 5 0 0 0
[pid=12970/tid=12972] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12972/stat : 12972 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12973] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12973/stat : 12973 (java) S 12968 12970 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12974] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12974/stat : 12974 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12975] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12975/stat : 12975 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12976] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12976/stat : 12976 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12977] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12977/stat : 12977 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12978] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12978/stat : 12978 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12979] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12979/stat : 12979 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10545580
[startup+0.700938 s]
/proc/loadavg: 1.67 2.76 3.29 1/576 12970
/proc/meminfo: memFree=28440396/32951124 swapFree=34426104/67111528
[pid=12970] ppid=12968 vsize=10545580 CPUtime=0.46 cores=1,3,5,7
/proc/12970/stat : 12970 (java) S 12968 12970 12781 0 -1 4202496 15270 0 1 0 45 1 0 0 25 0 19 0 909900589 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12970/statm: 2636395 14829 2215 9 0 2627129 0
[pid=12970/tid=12971] ppid=12968 vsize=10545580 CPUtime=0.25 cores=1,3,5,7
/proc/12970/task/12971/stat : 12971 (java) S 12968 12970 12781 0 -1 4202560 12477 0 1 0 24 1 0 0 19 0 19 0 909900590 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296742400 0 4 0 16800975 18446604469304919232 0 0 -1 5 0 0 0
[pid=12970/tid=12972] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12972/stat : 12972 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12973] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12973/stat : 12973 (java) S 12968 12970 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12974] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12974/stat : 12974 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12975] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12975/stat : 12975 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12976] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12976/stat : 12976 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12977] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12977/stat : 12977 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12978] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12978/stat : 12978 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12979] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12979/stat : 12979 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14829 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10545580
Solver just ended. Dumping a history of the last processes samples
[startup+0.80092 s]
/proc/loadavg: 1.67 2.76 3.29 1/576 12970
/proc/meminfo: memFree=28440396/32951124 swapFree=34426104/67111528
[pid=12970] ppid=12968 vsize=10545580 CPUtime=0.52 cores=1,3,5,7
/proc/12970/stat : 12970 (java) S 12968 12970 12781 0 -1 4202496 15912 0 1 0 50 2 0 0 25 0 19 0 909900589 10798673920 15126 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12970/statm: 2636395 15127 2215 9 0 2627129 0
[pid=12970/tid=12971] ppid=12968 vsize=10545580 CPUtime=0.26 cores=1,3,5,7
/proc/12970/task/12971/stat : 12971 (java) S 12968 12970 12781 0 -1 4202560 12514 0 1 0 25 1 0 0 16 0 19 0 909900590 10798673920 15128 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296742400 0 4 0 16800975 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12972] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12972/stat : 12972 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 15130 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12973] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12973/stat : 12973 (java) S 12968 12970 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 15130 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12974] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12974/stat : 12974 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 15132 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12975] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12975/stat : 12975 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 15133 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12976] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12976/stat : 12976 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 15133 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12977] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12977/stat : 12977 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 15134 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12978] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12978/stat : 12978 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 15135 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12979] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12979/stat : 12979 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 15135 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10545580
[startup+1.22185 s]
/proc/loadavg: 1.67 2.76 3.29 3/598 12998
/proc/meminfo: memFree=28072072/32951124 swapFree=34426104/67111528
[pid=12970] ppid=12968 vsize=10545580 CPUtime=0.53 cores=1,3,5,7
/proc/12970/stat : 12970 (java) S 12968 12970 12781 0 -1 4202496 16020 0 1 0 51 2 0 0 25 0 19 0 909900589 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12970/statm: 2636395 14926 2218 9 0 2627129 0
[pid=12970/tid=12971] ppid=12968 vsize=10545580 CPUtime=0.26 cores=1,3,5,7
/proc/12970/task/12971/stat : 12971 (java) S 12968 12970 12781 0 -1 4202560 12514 0 1 0 25 1 0 0 16 0 19 0 909900590 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296742400 0 4 0 16800975 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12972] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12972/stat : 12972 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12973] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12973/stat : 12973 (java) S 12968 12970 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12974] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12974/stat : 12974 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12975] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12975/stat : 12975 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12976] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12976/stat : 12976 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12977] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12977/stat : 12977 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12978] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12978/stat : 12978 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12979] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12979/stat : 12979 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900592 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12981] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12981/stat : 12981 (java) S 12968 12970 12781 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909900593 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296742400 0 0 0 16800975 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12982] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12982/stat : 12982 (java) S 12968 12970 12781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909900593 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12983] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12983/stat : 12983 (java) S 12968 12970 12781 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909900593 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12986] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12986/stat : 12986 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900595 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296749489 0 4 0 16800975 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12987] ppid=12968 vsize=10545580 CPUtime=0.11 cores=1,3,5,7
/proc/12970/task/12987/stat : 12987 (java) S 12968 12970 12781 0 -1 4202560 1445 0 0 0 11 0 0 0 20 0 19 0 909900595 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 5 0 0 0
[pid=12970/tid=12988] ppid=12968 vsize=10545580 CPUtime=0.1 cores=1,3,5,7
/proc/12970/task/12988/stat : 12988 (java) S 12968 12970 12781 0 -1 4202560 756 0 0 0 10 0 0 0 20 0 19 0 909900595 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
[pid=12970/tid=12989] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12989/stat : 12989 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909900595 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296741785 0 4 0 16800975 18446604469304919232 0 0 -1 3 0 0 0
[pid=12970/tid=12990] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12990/stat : 12990 (java) S 12968 12970 12781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909900595 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296742400 0 4 0 16800975 18446604469304919232 0 0 -1 5 0 0 0
[pid=12970/tid=12994] ppid=12968 vsize=10545580 CPUtime=0 cores=1,3,5,7
/proc/12970/task/12994/stat : 12994 (java) S 12968 12970 12781 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909900617 10798673920 14926 33554432000 1073741824 1073778376 140735850294672 18446744073709551615 224296742400 0 4 0 16800975 18446604469304919232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10545580
Child status: 30
Real time (s): 1.28788
CPU time (s): 0.544916
CPU user time (s): 0.52092
CPU system time (s): 0.023996
CPU usage (%): 42.3112
Max. virtual memory (cumulated for all children) (KiB): 10545580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.52092
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16035
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= 209
involuntary context switches= 30
runsolver used 0.010998 second user time and 0.031995 second system time
The end