runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3284022-1303763663/watcher-3284022-1303763663 -o /tmp/evaluation-result-3284022-1303763663/solver-3284022-1303763663 -C 2400 -W 1300 -M 7680 SApperloT2010 HOME/instance-3284022-1303763663.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.87 3.89 3.60 5/189 27576
/proc/meminfo: memFree=13594804/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=19772 CPUtime=0 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 1437 0 0 0 0 0 0 0 25 0 1 0 487963410 20246528 1376 33554432000 4194304 4395502 140733989442160 18446744073709551615 239476355781 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 4943 1376 249 50 0 2083 0
[startup+0.082523 s]
/proc/loadavg: 3.87 3.89 3.60 5/189 27576
/proc/meminfo: memFree=13594804/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=29152 CPUtime=0.07 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 3805 0 0 0 7 0 0 0 25 0 1 0 487963410 29851648 3744 33554432000 4194304 4395502 140733989442160 18446744073709551615 239476355781 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 7288 3745 249 50 0 4428 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29152
[startup+0.100517 s]
/proc/loadavg: 3.87 3.89 3.60 5/189 27576
/proc/meminfo: memFree=13594804/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=31560 CPUtime=0.09 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 4378 0 0 0 9 0 0 0 25 0 1 0 487963410 32317440 4317 33554432000 4194304 4395502 140733989442160 18446744073709551615 239476694784 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 7890 4318 249 50 0 5030 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31560
[startup+0.300485 s]
/proc/loadavg: 3.87 3.89 3.60 5/189 27576
/proc/meminfo: memFree=13594804/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=61100 CPUtime=0.29 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 11752 0 0 0 28 1 0 0 25 0 1 0 487963410 62566400 11594 33554432000 4194304 4395502 140733989442160 18446744073709551615 4267788 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 15275 11594 256 50 0 12415 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61100
[startup+0.700405 s]
/proc/loadavg: 3.87 3.89 3.60 5/189 27576
/proc/meminfo: memFree=13594804/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=61100 CPUtime=0.69 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 11767 0 0 0 66 3 0 0 25 0 1 0 487963410 62566400 11609 33554432000 4194304 4395502 140733989442160 18446744073709551615 239476719511 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 15275 11609 256 50 0 12415 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61100
[startup+1.50026 s]
/proc/loadavg: 3.87 3.89 3.60 5/190 27577
/proc/meminfo: memFree=13545948/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=61100 CPUtime=1.49 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 11767 0 0 0 144 5 0 0 25 0 1 0 487963410 62566400 11609 33554432000 4194304 4395502 140733989442160 18446744073709551615 239476719511 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 15275 11609 256 50 0 12415 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61100
[startup+3.10095 s]
/proc/loadavg: 3.87 3.89 3.60 5/190 27577
/proc/meminfo: memFree=13544212/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=66592 CPUtime=3.09 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 14943 0 0 0 298 11 0 0 25 0 1 0 487963410 68190208 12049 33554432000 4194304 4395502 140733989442160 18446744073709551615 239476719511 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 16648 12049 256 50 0 13788 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66592
[startup+6.30034 s]
/proc/loadavg: 3.88 3.89 3.60 5/190 27577
/proc/meminfo: memFree=13482472/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=128024 CPUtime=6.29 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 30109 0 0 0 612 17 0 0 25 0 1 0 487963410 131096576 27215 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299824 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 32006 27215 267 50 0 29146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 128024
[startup+12.7011 s]
/proc/loadavg: 3.89 3.89 3.60 5/190 27577
/proc/meminfo: memFree=13427328/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=168116 CPUtime=12.69 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 39429 0 0 0 1251 18 0 0 25 0 1 0 487963410 172150784 36535 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299614 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 42029 36535 267 50 0 39169 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 168116
[startup+25.5007 s]
/proc/loadavg: 3.91 3.90 3.61 5/190 27578
/proc/meminfo: memFree=13337340/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=231728 CPUtime=25.49 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 53947 0 0 0 2528 21 0 0 25 0 1 0 487963410 237289472 51053 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299628 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 57932 51053 267 50 0 55072 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 231728
[startup+51.1008 s]
/proc/loadavg: 3.94 3.90 3.62 5/190 27578
/proc/meminfo: memFree=13217224/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=314776 CPUtime=51.09 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 72954 0 0 0 5083 26 0 0 25 0 1 0 487963410 322330624 70060 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299608 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 78694 70061 267 50 0 75834 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 314776
[startup+102.307 s]
/proc/loadavg: 3.97 3.92 3.64 5/190 27580
/proc/meminfo: memFree=12990320/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=442452 CPUtime=102.3 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 103485 0 0 0 10197 33 0 0 25 0 1 0 487963410 453070848 100591 33554432000 4194304 4395502 140733989442160 18446744073709551615 4347033 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 110613 100591 267 50 0 107753 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 442452
[startup+162.301 s]
/proc/loadavg: 3.99 3.93 3.65 5/190 27581
/proc/meminfo: memFree=12773288/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=558828 CPUtime=162.3 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 131641 0 0 0 16189 41 0 0 25 0 1 0 487963410 572239872 128747 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299758 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 139707 128747 267 50 0 136847 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 558828
[startup+222.301 s]
/proc/loadavg: 3.99 3.94 3.67 5/190 27583
/proc/meminfo: memFree=12551808/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=680832 CPUtime=222.3 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 159949 0 0 0 22181 49 0 0 25 0 1 0 487963410 697171968 157055 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299678 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 170208 157055 267 50 0 167348 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 680832
[startup+282.301 s]
/proc/loadavg: 4.04 3.96 3.69 5/190 27584
/proc/meminfo: memFree=12428152/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=704740 CPUtime=282.3 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 166341 0 0 0 28179 51 0 0 25 0 1 0 487963410 721653760 163447 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299489 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 176185 163447 267 50 0 173325 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 704740
[startup+342.301 s]
/proc/loadavg: 4.01 3.97 3.71 5/190 27586
/proc/meminfo: memFree=12271400/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=772900 CPUtime=342.3 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 183072 0 0 0 34174 56 0 0 25 0 1 0 487963410 791449600 180178 33554432000 4194304 4395502 140733989442160 18446744073709551615 4293026 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 193225 180178 267 50 0 190365 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 772900
[startup+402.301 s]
/proc/loadavg: 4.07 3.99 3.73 5/190 27588
/proc/meminfo: memFree=12137328/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=806412 CPUtime=402.3 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 191450 0 0 0 40172 58 0 0 25 0 1 0 487963410 825765888 188556 33554432000 4194304 4395502 140733989442160 18446744073709551615 4328448 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 201603 188556 267 50 0 198743 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 806412
[startup+462.3 s]
/proc/loadavg: 4.09 4.00 3.75 5/190 27589
/proc/meminfo: memFree=11954660/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=899444 CPUtime=462.31 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 214481 0 0 0 46166 65 0 0 25 0 1 0 487963410 921030656 211587 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299608 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 224861 211587 267 50 0 222001 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 899444
[startup+522.301 s]
/proc/loadavg: 4.03 4.00 3.76 5/190 27591
/proc/meminfo: memFree=11853820/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=915672 CPUtime=522.31 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 218612 0 0 0 52165 66 0 0 25 0 1 0 487963410 937648128 215718 33554432000 4194304 4395502 140733989442160 18446744073709551615 4347033 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 228918 215718 267 50 0 226058 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 915672
[startup+582.3 s]
/proc/loadavg: 4.01 4.00 3.77 5/190 27592
/proc/meminfo: memFree=11712688/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=989492 CPUtime=582.31 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 236771 0 0 0 58161 70 0 0 25 0 1 0 487963410 1013239808 233877 33554432000 4194304 4395502 140733989442160 18446744073709551615 4289182 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 247373 233877 267 50 0 244513 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 989492
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=11671120/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1003428 CPUtime=642.32 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 240378 0 0 0 64161 71 0 0 25 0 1 0 487963410 1027510272 237484 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299180 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 250857 237484 267 50 0 247997 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1003428
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.80 5/190 27596
/proc/meminfo: memFree=11544748/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1093128 CPUtime=702.32 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 262481 0 0 0 70155 77 0 0 25 0 1 0 487963410 1119363072 259587 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299489 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 273282 259587 267 50 0 270422 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 1093128
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.81 5/190 27597
/proc/meminfo: memFree=11488300/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1123708 CPUtime=762.33 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 269908 0 0 0 76154 79 0 0 25 0 1 0 487963410 1150676992 267014 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299489 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 280927 267014 267 50 0 278067 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 1123708
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/190 27599
/proc/meminfo: memFree=11460012/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1131860 CPUtime=822.32 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 271863 0 0 0 82153 79 0 0 25 0 1 0 487963410 1159024640 268969 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299489 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 282965 268969 267 50 0 280105 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1131860
[startup+882.301 s]
/proc/loadavg: 4.07 4.02 3.83 5/190 27600
/proc/meminfo: memFree=11400588/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1145172 CPUtime=882.32 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 274369 0 0 0 88153 79 0 0 25 0 1 0 487963410 1172656128 271475 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299628 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 286293 271475 267 50 0 283433 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1145172
[startup+942.3 s]
/proc/loadavg: 4.06 4.03 3.84 5/190 27602
/proc/meminfo: memFree=11357540/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1153884 CPUtime=942.33 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 276238 0 0 0 94153 80 0 0 25 0 1 0 487963410 1181577216 273344 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299642 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 288471 273344 267 50 0 285611 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 1153884
[startup+1002.3 s]
/proc/loadavg: 4.06 4.03 3.85 5/190 27604
/proc/meminfo: memFree=11300348/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1158716 CPUtime=1002.33 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 277397 0 0 0 100153 80 0 0 25 0 1 0 487963410 1186525184 274503 33554432000 4194304 4395502 140733989442160 18446744073709551615 4297151 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 289679 274503 267 50 0 286819 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1158716
[startup+1062.3 s]
/proc/loadavg: 4.02 4.02 3.86 5/190 27605
/proc/meminfo: memFree=11226424/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1195584 CPUtime=1062.33 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 284951 0 0 0 106151 82 0 0 25 0 1 0 487963410 1224278016 282057 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299608 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 298896 282057 267 50 0 296036 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1195584
[startup+1122.3 s]
/proc/loadavg: 4.01 4.02 3.87 5/190 27607
/proc/meminfo: memFree=11207552/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1196608 CPUtime=1122.33 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 285292 0 0 0 112151 82 0 0 25 0 1 0 487963410 1225326592 282398 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299678 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 299152 282398 267 50 0 296292 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1196608
[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.87 5/190 27608
/proc/meminfo: memFree=11155948/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1241008 CPUtime=1182.33 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 296165 0 0 0 118148 85 0 0 25 0 1 0 487963410 1270792192 293271 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299489 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 310252 293271 267 50 0 307392 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1241008
[startup+1242.3 s]
/proc/loadavg: 3.30 3.85 3.82 2/173 27664
/proc/meminfo: memFree=12935456/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1280208 CPUtime=1242.33 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 305669 0 0 0 124145 88 0 0 25 0 1 0 487963410 1310932992 302775 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299743 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 320052 302775 267 50 0 317192 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1280208
Solver just ended. Dumping a history of the last processes samples
[startup+1254.3 s]
/proc/loadavg: 2.79 3.71 3.78 2/172 27664
/proc/meminfo: memFree=12935204/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1280464 CPUtime=1254.33 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 305806 0 0 0 125345 88 0 0 25 0 1 0 487963410 1311195136 302912 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299678 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 320116 302912 267 50 0 317256 0
Current children cumulated CPU time (s) 1254.33
Current children cumulated vsize (KiB) 1280464
[startup+1267.1 s]
/proc/loadavg: 2.52 3.62 3.75 2/172 27665
/proc/meminfo: memFree=12934584/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1281488 CPUtime=1267.14 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 305967 0 0 0 126626 88 0 0 25 0 1 0 487963410 1312243712 303073 33554432000 4194304 4395502 140733989442160 18446744073709551615 4288386 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 320372 303073 267 50 0 317512 0
Current children cumulated CPU time (s) 1267.14
Current children cumulated vsize (KiB) 1281488
[startup+1273.5 s]
/proc/loadavg: 2.39 3.57 3.73 2/172 27665
/proc/meminfo: memFree=12934460/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1281488 CPUtime=1273.53 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 305994 0 0 0 127265 88 0 0 25 0 1 0 487963410 1312243712 303100 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299805 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 320372 303100 267 50 0 317512 0
Current children cumulated CPU time (s) 1273.53
Current children cumulated vsize (KiB) 1281488
[startup+1276.7 s]
/proc/loadavg: 2.28 3.53 3.72 2/172 27665
/proc/meminfo: memFree=12934336/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1281488 CPUtime=1276.74 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 306007 0 0 0 127585 89 0 0 25 0 1 0 487963410 1312243712 303113 33554432000 4194304 4395502 140733989442160 18446744073709551615 4297099 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 320372 303113 267 50 0 317512 0
Current children cumulated CPU time (s) 1276.74
Current children cumulated vsize (KiB) 1281488
[startup+1278.3 s]
/proc/loadavg: 2.28 3.53 3.72 2/172 27665
/proc/meminfo: memFree=12934332/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1281488 CPUtime=1278.34 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 306020 0 0 0 127745 89 0 0 25 0 1 0 487963410 1312243712 303126 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299623 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 320372 303126 267 50 0 317512 0
Current children cumulated CPU time (s) 1278.34
Current children cumulated vsize (KiB) 1281488
[startup+1279.9 s]
/proc/loadavg: 2.18 3.49 3.70 2/172 27665
/proc/meminfo: memFree=12934332/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1281488 CPUtime=1279.94 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 306024 0 0 0 127905 89 0 0 25 0 1 0 487963410 1312243712 303130 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299611 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 320372 303130 267 50 0 317512 0
Current children cumulated CPU time (s) 1279.94
Current children cumulated vsize (KiB) 1281488
[startup+1280.3 s]
/proc/loadavg: 2.18 3.49 3.70 2/172 27665
/proc/meminfo: memFree=12934332/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1281488 CPUtime=1280.35 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 306024 0 0 0 127946 89 0 0 25 0 1 0 487963410 1312243712 303130 33554432000 4194304 4395502 140733989442160 18446744073709551615 4299489 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 320372 303130 267 50 0 317512 0
Current children cumulated CPU time (s) 1280.35
Current children cumulated vsize (KiB) 1281488
[startup+1280.7 s]
/proc/loadavg: 2.18 3.49 3.70 2/172 27665
/proc/meminfo: memFree=12934332/32950928 swapFree=67087032/67111528
[pid=27576] ppid=27574 vsize=1281492 CPUtime=1280.74 cores=1,3
/proc/27576/stat : 27576 (SApperloT2010) R 27574 27576 26622 0 -1 4202496 306036 0 0 0 127985 89 0 0 25 0 1 0 487963410 1312247808 303142 33554432000 4194304 4395502 140733989442160 18446744073709551615 239476352786 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/27576/statm: 320373 303142 278 50 0 317513 0
Current children cumulated CPU time (s) 1280.74
Current children cumulated vsize (KiB) 1281492
Child status: 10
Real time (s): 1280.77
CPU time (s): 1280.81
CPU user time (s): 1279.87
CPU system time (s): 0.943856
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1281492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1279.87
system time used= 0.943856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306039
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1171
runsolver used 1.82772 second user time and 5.12822 second system time
The end
Begin job on node148 at 2011-04-25 22:34:23
IDJOB=3284022
IDBENCH=71095
IDSOLVER=1655
FILE ID=node148/3284022-1303763663
RUNJOBID= node148-1303763575-27398
PBS_JOBID= 13157117
Free space on /tmp= 70580 MiB
SOLVER NAME= SApperloT2010 2011-03-04
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf
COMMAND LINE= SApperloT2010 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284022-1303763663/watcher-3284022-1303763663 -o /tmp/evaluation-result-3284022-1303763663/solver-3284022-1303763663 -C 2400 -W 1300 -M 7680 SApperloT2010 HOME/instance-3284022-1303763663.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 4cf2a693df1b6e5a084b88e84ec5f2af
RANDOM SEED=1373673490
node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.70
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.854
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 13594960 kB
Buffers: 2059400 kB
Cached: 16164352 kB
SwapCached: 5264 kB
Active: 9612284 kB
Inactive: 9179660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13594960 kB
SwapTotal: 67111528 kB
SwapFree: 67087032 kB
Dirty: 26068 kB
Writeback: 0 kB
AnonPages: 564116 kB
Mapped: 14568 kB
Slab: 498168 kB
PageTables: 6392 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 835756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 70608 MiB
End job on node148 at 2011-04-25 22:55:44