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-3457220-1307217678/watcher-3457220-1307217678 -o /tmp/evaluation-result-3457220-1307217678/solver-3457220-1307217678 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457220-1307217678.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: 1.66 1.95 1.69 1/450 1156
/proc/meminfo: memFree=24435256/32951124 swapFree=60476376/67111528
[pid=1156] ppid=1154 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/1156/stat : 1156 (java) R 1154 1156 633 0 -1 4202496 948 0 0 0 0 0 0 0 25 0 1 0 814183751 23580672 691 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220811314608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1156/statm: 5757 691 508 9 0 124 0
[pid=1156/tid=1157] ppid=1154 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1157/stat : 1157 (java) R 1154 1156 633 0 -1 4202560 3107 0 1 0 0 0 0 0 25 0 2 0 814183751 10694979584 3922 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.107908 s]
/proc/loadavg: 1.66 1.95 1.69 1/450 1156
/proc/meminfo: memFree=24435256/32951124 swapFree=60476376/67111528
[pid=1156] ppid=1154 vsize=10540328 CPUtime=0.1 cores=0,2,4,6
/proc/1156/stat : 1156 (java) S 1154 1156 633 0 -1 4202496 13134 0 1 0 8 2 0 0 25 0 18 0 814183751 10793295872 12815 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1156/statm: 2635082 12785 2093 9 0 2625816 0
[pid=1156/tid=1157] ppid=1154 vsize=10540328 CPUtime=0.08 cores=0,2,4,6
/proc/1156/task/1157/stat : 1157 (java) R 1154 1156 633 0 -1 4202560 11199 0 1 0 7 1 0 0 18 0 18 0 814183751 10793295872 12785 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220816279911 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540328
[startup+0.207876 s]
/proc/loadavg: 1.66 1.95 1.69 1/450 1156
/proc/meminfo: memFree=24435256/32951124 swapFree=60476376/67111528
[pid=1156] ppid=1154 vsize=10541676 CPUtime=0.26 cores=0,2,4,6
/proc/1156/stat : 1156 (java) S 1154 1156 633 0 -1 4202496 13971 0 1 0 24 2 0 0 25 0 19 0 814183751 10794676224 13574 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1156/statm: 2635419 13574 2181 9 0 2626153 0
[pid=1156/tid=1157] ppid=1154 vsize=10541676 CPUtime=0.18 cores=0,2,4,6
/proc/1156/task/1157/stat : 1157 (java) R 1154 1156 633 0 -1 4202560 11779 0 1 0 17 1 0 0 19 0 19 0 814183751 10794676224 13574 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 46912505179440 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10541676
[startup+0.30281 s]
/proc/loadavg: 1.66 1.95 1.69 1/450 1156
/proc/meminfo: memFree=24435256/32951124 swapFree=60476376/67111528
[pid=1156] ppid=1154 vsize=10546136 CPUtime=0.51 cores=0,2,4,6
/proc/1156/stat : 1156 (java) S 1154 1156 633 0 -1 4202496 19652 0 1 0 48 3 0 0 25 0 19 0 814183751 10799243264 17305 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1156/statm: 2636776 17643 2210 9 0 2627510 0
[pid=1156/tid=1157] ppid=1154 vsize=10547104 CPUtime=0.28 cores=0,2,4,6
/proc/1156/task/1157/stat : 1157 (java) R 1154 1156 633 0 -1 4202560 12571 0 1 0 26 2 0 0 18 0 19 0 814183751 10800234496 17643 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 46912505121090 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10546136
[startup+0.700803 s]
/proc/loadavg: 1.66 1.95 1.69 1/450 1156
/proc/meminfo: memFree=24435256/32951124 swapFree=60476376/67111528
[pid=1156] ppid=1154 vsize=10551784 CPUtime=1.43 cores=0,2,4,6
/proc/1156/stat : 1156 (java) S 1154 1156 633 0 -1 4202496 54625 0 1 0 135 8 0 0 25 0 19 0 814183751 10805026816 51465 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1156/statm: 2637946 51471 2221 9 0 2628680 0
[pid=1156/tid=1157] ppid=1154 vsize=10551784 CPUtime=0.67 cores=0,2,4,6
/proc/1156/task/1157/stat : 1157 (java) R 1154 1156 633 0 -1 4202560 44873 0 1 0 61 6 0 0 18 0 19 0 814183751 10805026816 51474 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 46912505600421 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10551784
[startup+1.50164 s]
/proc/loadavg: 1.66 1.95 1.69 3/469 1175
/proc/meminfo: memFree=24058912/32951124 swapFree=60476376/67111528
[pid=1156] ppid=1154 vsize=10549660 CPUtime=2.54 cores=0,2,4,6
/proc/1156/stat : 1156 (java) S 1154 1156 633 0 -1 4202496 148695 0 1 0 234 20 0 0 25 0 19 0 814183751 10802851840 144907 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1156/statm: 2637415 144914 2226 9 0 2628149 0
[pid=1156/tid=1157] ppid=1154 vsize=10549660 CPUtime=1.47 cores=0,2,4,6
/proc/1156/task/1157/stat : 1157 (java) R 1154 1156 633 0 -1 4202560 138819 0 1 0 129 18 0 0 18 0 19 0 814183751 10802851840 144920 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 46912505566826 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1156/tid=1159] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1159/stat : 1159 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802851840 144925 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1160] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1160/stat : 1160 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802851840 144930 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1161] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1161/stat : 1161 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802851840 144935 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1162] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1162/stat : 1162 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802851840 144940 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1163] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1163/stat : 1163 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802851840 144944 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1164] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1164/stat : 1164 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802851840 144949 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1165] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1165/stat : 1165 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802851840 144954 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1166] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1166/stat : 1166 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802851840 144960 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1167] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1167/stat : 1167 (java) S 1154 1156 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814183754 10802851840 144966 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 0 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1168] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1168/stat : 1168 (java) S 1154 1156 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814183755 10802851840 144971 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1169] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1169/stat : 1169 (java) S 1154 1156 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814183755 10802851840 144975 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1170] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1170/stat : 1170 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183757 10802851840 144980 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828060081 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1171] ppid=1154 vsize=10549660 CPUtime=0.55 cores=0,2,4,6
/proc/1156/task/1171/stat : 1171 (java) S 1154 1156 633 0 -1 4202560 5646 0 0 0 54 1 0 0 15 0 19 0 814183757 10802851840 144985 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 4 0 0 0
[pid=1156/tid=1172] ppid=1154 vsize=10549660 CPUtime=0.5 cores=0,2,4,6
/proc/1156/task/1172/stat : 1172 (java) S 1154 1156 633 0 -1 4202560 3084 0 0 0 50 0 0 0 15 0 19 0 814183757 10802851840 144989 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 0 0 0 0
[pid=1156/tid=1173] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1173/stat : 1173 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183757 10802851840 144995 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1174] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1174/stat : 1174 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814183757 10802851840 145000 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1175] ppid=1154 vsize=10549660 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1175/stat : 1175 (java) S 1154 1156 633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814183770 10802851840 145004 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 4 0 16800975 18446604441142052672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 10549660
[startup+3.10134 s]
/proc/loadavg: 1.61 1.93 1.69 2/469 1175
/proc/meminfo: memFree=23473648/32951124 swapFree=60476376/67111528
[pid=1156] ppid=1154 vsize=10550024 CPUtime=4.25 cores=0,2,4,6
/proc/1156/stat : 1156 (java) S 1154 1156 633 0 -1 4202496 354232 0 1 0 380 45 0 0 25 0 19 0 814183751 10803224576 350442 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1156/statm: 2637506 350444 2226 9 0 2628240 0
[pid=1156/tid=1157] ppid=1154 vsize=10550024 CPUtime=3.07 cores=0,2,4,6
/proc/1156/task/1157/stat : 1157 (java) R 1154 1156 633 0 -1 4202560 344240 0 1 0 265 42 0 0 19 0 19 0 814183751 10803224576 350445 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 46912505566783 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1156/tid=1159] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1159/stat : 1159 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803224576 350447 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1160] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1160/stat : 1160 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803224576 350451 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1161] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1161/stat : 1161 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803224576 350455 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1162] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1162/stat : 1162 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803224576 350459 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1163] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1163/stat : 1163 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803224576 350464 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1164] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1164/stat : 1164 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803224576 350469 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1165] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1165/stat : 1165 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803224576 350473 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1166] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1166/stat : 1166 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803224576 350477 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1167] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1167/stat : 1167 (java) S 1154 1156 633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814183754 10803224576 350481 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 0 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1168] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1168/stat : 1168 (java) S 1154 1156 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814183755 10803224576 350484 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1169] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1169/stat : 1169 (java) S 1154 1156 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814183755 10803224576 350489 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1170] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1170/stat : 1170 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183757 10803224576 350493 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828060081 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1171] ppid=1154 vsize=10550024 CPUtime=0.56 cores=0,2,4,6
/proc/1156/task/1171/stat : 1171 (java) S 1154 1156 633 0 -1 4202560 5646 0 0 0 55 1 0 0 15 0 19 0 814183757 10803224576 350498 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 4 0 0 0
[pid=1156/tid=1172] ppid=1154 vsize=10550024 CPUtime=0.59 cores=0,2,4,6
/proc/1156/task/1172/stat : 1172 (java) S 1154 1156 633 0 -1 4202560 3189 0 0 0 59 0 0 0 15 0 19 0 814183757 10803224576 350502 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 0 0 0 0
[pid=1156/tid=1173] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1173/stat : 1173 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183757 10803224576 350506 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1174] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1174/stat : 1174 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814183757 10803224576 350509 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 4 0 16800975 18446604441142052672 0 0 -1 0 0 0 0
[pid=1156/tid=1175] ppid=1154 vsize=10550024 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1175/stat : 1175 (java) S 1154 1156 633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814183770 10803224576 350513 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 4 0 16800975 18446604441142052672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10550024
Solver just ended. Dumping a history of the last processes samples
[startup+3.2013 s]
/proc/loadavg: 1.61 1.93 1.69 2/469 1175
/proc/meminfo: memFree=23473648/32951124 swapFree=60476376/67111528
[pid=1156] ppid=1154 vsize=10550308 CPUtime=4.39 cores=0,2,4,6
/proc/1156/stat : 1156 (java) S 1154 1156 633 0 -1 4202496 365632 0 1 0 393 46 0 0 25 0 19 0 814183751 10803515392 361842 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1156/statm: 2637577 361844 2226 9 0 2628311 0
[pid=1156/tid=1157] ppid=1154 vsize=10550308 CPUtime=3.17 cores=0,2,4,6
/proc/1156/task/1157/stat : 1157 (java) R 1154 1156 633 0 -1 4202560 355559 0 1 0 274 43 0 0 19 0 19 0 814183751 10803515392 361845 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 46912505575624 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1156/tid=1159] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1159/stat : 1159 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803515392 361846 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1160] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1160/stat : 1160 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803515392 361848 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1161] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1161/stat : 1161 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803515392 361849 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1162] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1162/stat : 1162 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803515392 361850 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1163] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1163/stat : 1163 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803515392 361851 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1164] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1164/stat : 1164 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803515392 361852 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1165] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1165/stat : 1165 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803515392 361853 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1166] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1166/stat : 1166 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10803515392 361854 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1167] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1167/stat : 1167 (java) S 1154 1156 633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814183754 10803515392 361855 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 0 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1168] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1168/stat : 1168 (java) S 1154 1156 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814183755 10803515392 361857 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1169] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1169/stat : 1169 (java) S 1154 1156 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814183755 10803515392 361858 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1170] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1170/stat : 1170 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183757 10803515392 361859 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828060081 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1171] ppid=1154 vsize=10550308 CPUtime=0.56 cores=0,2,4,6
/proc/1156/task/1171/stat : 1171 (java) S 1154 1156 633 0 -1 4202560 5646 0 0 0 55 1 0 0 15 0 19 0 814183757 10803515392 361860 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 4 0 0 0
[pid=1156/tid=1172] ppid=1154 vsize=10550308 CPUtime=0.63 cores=0,2,4,6
/proc/1156/task/1172/stat : 1172 (java) R 1154 1156 633 0 -1 4202560 3270 0 0 0 63 0 0 0 16 0 19 0 814183757 10803515392 361861 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220815929040 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1156/tid=1173] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1173/stat : 1173 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183757 10803515392 361862 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1174] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1174/stat : 1174 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814183757 10803515392 361864 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 4 0 16800975 18446604441142052672 0 0 -1 0 0 0 0
[pid=1156/tid=1175] ppid=1154 vsize=10550308 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1175/stat : 1175 (java) S 1154 1156 633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814183770 10803515392 361869 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 4 0 16800975 18446604441142052672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10550308
[startup+3.60129 s]
/proc/loadavg: 1.61 1.93 1.69 2/469 1175
/proc/meminfo: memFree=22946276/32951124 swapFree=60476376/67111528
[pid=1156] ppid=1154 vsize=10549516 CPUtime=4.82 cores=0,2,4,6
/proc/1156/stat : 1156 (java) S 1154 1156 633 0 -1 4202496 414853 0 1 0 430 52 0 0 25 0 19 0 814183751 10802704384 410439 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1156/statm: 2637379 410448 2226 9 0 2628113 0
[pid=1156/tid=1157] ppid=1154 vsize=10549516 CPUtime=3.57 cores=0,2,4,6
/proc/1156/task/1157/stat : 1157 (java) R 1154 1156 633 0 -1 4202560 404333 0 1 0 308 49 0 0 20 0 19 0 814183751 10802704384 410451 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 46912505566826 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1156/tid=1159] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1159/stat : 1159 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802704384 410456 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1160] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1160/stat : 1160 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802704384 410460 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1161] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1161/stat : 1161 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802704384 410464 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1162] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1162/stat : 1162 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802704384 410469 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1163] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1163/stat : 1163 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802704384 410474 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1164] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1164/stat : 1164 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802704384 410479 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1165] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1165/stat : 1165 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802704384 410483 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1166] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1166/stat : 1166 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183753 10802704384 410487 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1167] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1167/stat : 1167 (java) S 1154 1156 633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814183754 10802704384 410491 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 0 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1168] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1168/stat : 1168 (java) S 1154 1156 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814183755 10802704384 410496 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1169] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1169/stat : 1169 (java) S 1154 1156 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814183755 10802704384 410501 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1170] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1170/stat : 1170 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183757 10802704384 410506 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828060081 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1171] ppid=1154 vsize=10549516 CPUtime=0.56 cores=0,2,4,6
/proc/1156/task/1171/stat : 1171 (java) S 1154 1156 633 0 -1 4202560 5646 0 0 0 55 1 0 0 16 0 19 0 814183757 10802704384 410510 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 4 0 0 0
[pid=1156/tid=1172] ppid=1154 vsize=10549516 CPUtime=0.66 cores=0,2,4,6
/proc/1156/task/1172/stat : 1172 (java) S 1154 1156 633 0 -1 4202560 3726 0 0 0 66 0 0 0 16 0 19 0 814183757 10802704384 410514 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 0 0 0 0
[pid=1156/tid=1173] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1173/stat : 1173 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814183757 10802704384 410518 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052377 0 4 0 16800975 18446604441142052672 0 0 -1 6 0 0 0
[pid=1156/tid=1174] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1174/stat : 1174 (java) S 1154 1156 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814183757 10802704384 410523 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 4 0 16800975 18446604441142052672 0 0 -1 0 0 0 0
[pid=1156/tid=1175] ppid=1154 vsize=10549516 CPUtime=0 cores=0,2,4,6
/proc/1156/task/1175/stat : 1175 (java) S 1154 1156 633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814183770 10802704384 410528 33554432000 1073741824 1073778376 140734588137424 18446744073709551615 220828052992 0 4 0 16800975 18446604441142052672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 10549516
[startup+3.70119 s]
/proc/loadavg: 1.61 1.93 1.69 2/469 1175
/proc/meminfo: memFree=22946276/32951124 swapFree=60476376/67111528
[pid=1156] ppid=1154 vsize=0 CPUtime=4.91 cores=0,2,4,6
/proc/1156/stat : 1156 (java) Z 1154 1156 633 0 -1 4203548 420852 0 1 0 436 55 0 0 18 0 2 0 814183751 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1156/statm: 0 0 0 0 0 0 0
[pid=1156/tid=1166] ppid=1154 vsize=0 CPUtime=0.03 cores=0,2,4,6
/proc/1156/task/1166/stat : 1166 (java) R 1154 1156 633 0 -1 4203588 1 0 0 0 0 3 0 0 18 0 2 0 814183753 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 3.73494
CPU time (s): 4.96224
CPU user time (s): 4.36933
CPU system time (s): 0.592909
CPU usage (%): 132.86
Max. virtual memory (cumulated for all children) (KiB): 10552144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.36933
system time used= 0.592909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420852
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= 325
involuntary context switches= 83
runsolver used 0.022996 second user time and 0.046992 second system time
The end