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-3274357-1303602271/watcher-3274357-1303602271 -o /tmp/evaluation-result-3274357-1303602271/solver-3274357-1303602271 -C 2400 -W 1300 -M 7680 HOME/SATzilla2009_C HOME/instance-3274357-1303602271.cnf
running on 2 cores: 4,6
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.70 3.89 3.08 4/192 15579
/proc/meminfo: memFree=14014800/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=2136 CPUtime=0 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 162 0 0 0 0 0 0 0 23 0 1 0 550457861 2187264 114 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 534 114 97 400 0 131 0
[startup+0.106498 s]
/proc/loadavg: 3.70 3.89 3.08 4/192 15579
/proc/meminfo: memFree=14014800/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=2136 CPUtime=0 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 162 0 0 0 0 0 0 0 23 0 1 0 550457861 2187264 114 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.200481 s]
/proc/loadavg: 3.70 3.89 3.08 4/192 15579
/proc/meminfo: memFree=14014800/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=2136 CPUtime=0 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 162 0 0 0 0 0 0 0 23 0 1 0 550457861 2187264 114 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.300465 s]
/proc/loadavg: 3.70 3.89 3.08 4/192 15579
/proc/meminfo: memFree=14014800/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=2136 CPUtime=0 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 162 0 0 0 0 0 0 0 23 0 1 0 550457861 2187264 114 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+0.700394 s]
/proc/loadavg: 3.70 3.89 3.08 4/192 15579
/proc/meminfo: memFree=14014800/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=2136 CPUtime=0 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 162 0 0 0 0 0 0 0 23 0 1 0 550457861 2187264 114 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136
[startup+1.50034 s]
/proc/loadavg: 3.70 3.89 3.08 5/194 15583
/proc/meminfo: memFree=14058308/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=2136 CPUtime=0 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 162 0 0 0 0 0 0 0 23 0 1 0 550457861 2187264 114 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 534 114 97 400 0 131 0
[pid=15580] ppid=15579 vsize=2980 CPUtime=1.49 cores=4,6
/proc/15580/stat : 15580 (march_dl2004) R 15579 15579 15257 0 -1 4202496 639 0 0 0 149 0 0 0 25 0 1 0 550457861 3051520 610 33554432000 134512640 134996440 4293197920 18446744073709551615 134528136 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/15580/statm: 745 610 75 119 0 624 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5116
[startup+3.10108 s]
/proc/loadavg: 3.72 3.89 3.08 5/193 15583
/proc/meminfo: memFree=14041868/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=2136 CPUtime=0 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 162 0 0 0 0 0 0 0 23 0 1 0 550457861 2187264 114 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 534 114 97 400 0 131 0
[pid=15580] ppid=15579 vsize=2980 CPUtime=3.09 cores=4,6
/proc/15580/stat : 15580 (march_dl2004) R 15579 15579 15257 0 -1 4202496 650 0 0 0 309 0 0 0 25 0 1 0 550457861 3051520 621 33554432000 134512640 134996440 4293197920 18446744073709551615 134536976 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/15580/statm: 745 621 75 119 0 624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5116
[startup+6.30047 s]
/proc/loadavg: 3.72 3.89 3.08 5/193 15587
/proc/meminfo: memFree=14046720/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=2136 CPUtime=4.99 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 186 657 0 0 0 0 499 0 18 0 1 0 550457861 2187264 127 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 534 127 108 400 0 131 0
[pid=15587] ppid=15579 vsize=2496 CPUtime=1.29 cores=4,6
/proc/15587/stat : 15587 (mxc-sr08) R 15579 15579 15257 0 -1 4202496 552 0 0 0 129 0 0 0 22 0 1 0 550458361 2555904 526 33554432000 134512640 135078026 4292282272 18446744073709551615 134522580 0 0 8392704 0 0 0 0 17 4 0 0 0
/proc/15587/statm: 624 526 73 139 0 483 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 4632
[startup+12.7003 s]
/proc/loadavg: 3.76 3.89 3.09 5/192 15593
/proc/meminfo: memFree=14028160/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=7584 CPUtime=12.68 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) R 15577 15579 15257 0 -1 4202496 537 3310 0 0 56 12 1191 9 18 0 1 0 550457861 7766016 423 33554432000 134512640 136149437 4292622784 18446744073709551615 135542670 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15579/statm: 1896 423 208 400 0 1493 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7584
[startup+25.5011 s]
/proc/loadavg: 3.80 3.90 3.10 5/194 15596
/proc/meminfo: memFree=13974644/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=3668 CPUtime=8.53 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 558 0 0 0 776 77 0 0 25 0 1 0 550459556 3756032 518 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 917 518 155 56 0 471 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 7152
[startup+51.1006 s]
/proc/loadavg: 3.87 3.90 3.12 5/194 15597
/proc/meminfo: memFree=13923476/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=4032 CPUtime=34.13 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 691 0 0 0 3124 289 0 0 25 0 1 0 550459556 4128768 651 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 1008 651 155 56 0 562 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7516
[startup+102.301 s]
/proc/loadavg: 3.94 3.92 3.17 5/194 15598
/proc/meminfo: memFree=13886628/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=4988 CPUtime=85.33 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 970 0 0 0 7930 603 0 0 25 0 1 0 550459556 5107712 930 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 1247 930 155 56 0 801 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 8472
[startup+162.301 s]
/proc/loadavg: 3.98 3.93 3.21 5/194 15600
/proc/meminfo: memFree=13858448/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=5604 CPUtime=145.33 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 1138 0 0 0 13638 895 0 0 25 0 1 0 550459556 5738496 1098 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 1401 1098 155 56 0 955 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 9088
[startup+222.307 s]
/proc/loadavg: 3.99 3.94 3.26 5/194 15601
/proc/meminfo: memFree=13844888/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=6216 CPUtime=205.34 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 1277 0 0 0 19387 1147 0 0 25 0 1 0 550459556 6365184 1237 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 1554 1237 155 56 0 1108 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 9700
[startup+282.301 s]
/proc/loadavg: 4.04 3.96 3.31 5/194 15603
/proc/meminfo: memFree=13824016/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=6704 CPUtime=265.33 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 1411 0 0 0 25160 1373 0 0 25 0 1 0 550459556 6864896 1371 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 1676 1371 155 56 0 1230 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 10188
[startup+342.301 s]
/proc/loadavg: 4.01 3.97 3.35 5/194 15604
/proc/meminfo: memFree=13808968/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=7116 CPUtime=325.33 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 1515 0 0 0 30952 1581 0 0 25 0 1 0 550459556 7286784 1475 33554432000 134512640 134738160 4288946496 18446744073709551615 134586347 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 1779 1475 155 56 0 1333 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 10600
Solver just ended. Dumping a history of the last processes samples
[startup+358.401 s]
/proc/loadavg: 4.01 3.97 3.36 5/194 15605
/proc/meminfo: memFree=13802640/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=7232 CPUtime=341.43 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 1542 0 0 0 32512 1631 0 0 25 0 1 0 550459556 7405568 1502 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 1808 1502 155 56 0 1362 0
Current children cumulated CPU time (s) 358.37
Current children cumulated vsize (KiB) 10716
[startup+371.201 s]
/proc/loadavg: 4.01 3.97 3.37 5/194 15605
/proc/meminfo: memFree=13801880/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=7364 CPUtime=354.23 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 1567 0 0 0 33758 1665 0 0 25 0 1 0 550459556 7540736 1527 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 1841 1527 155 56 0 1395 0
Current children cumulated CPU time (s) 371.17
Current children cumulated vsize (KiB) 10848
[startup+384.007 s]
/proc/loadavg: 4.00 3.97 3.38 5/194 15606
/proc/meminfo: memFree=13794312/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=11732 CPUtime=367.04 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 2647 0 0 0 35023 1681 0 0 25 0 1 0 550459556 12013568 2607 33554432000 134512640 134738160 4288946496 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 2933 2607 155 56 0 2487 0
Current children cumulated CPU time (s) 383.98
Current children cumulated vsize (KiB) 15216
[startup+387.201 s]
/proc/loadavg: 4.00 3.97 3.38 5/194 15606
/proc/meminfo: memFree=13792948/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=13020 CPUtime=370.25 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 2975 0 0 0 35342 1683 0 0 25 0 1 0 550459556 13332480 2935 33554432000 134512640 134738160 4288946496 18446744073709551615 134575343 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 3255 2935 155 56 0 2809 0
Current children cumulated CPU time (s) 387.19
Current children cumulated vsize (KiB) 16504
[startup+388.8 s]
/proc/loadavg: 4.00 3.97 3.38 5/194 15606
/proc/meminfo: memFree=13792576/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=13556 CPUtime=371.84 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 3102 0 0 0 35501 1683 0 0 25 0 1 0 550459556 13881344 3062 33554432000 134512640 134738160 4288946496 18446744073709551615 134586057 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 3389 3062 155 56 0 2943 0
Current children cumulated CPU time (s) 388.78
Current children cumulated vsize (KiB) 17040
[startup+390.401 s]
/proc/loadavg: 4.00 3.97 3.38 5/194 15606
/proc/meminfo: memFree=13792204/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=14120 CPUtime=373.43 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 3224 0 0 0 35660 1683 0 0 25 0 1 0 550459556 14458880 3184 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 3530 3184 155 56 0 3084 0
Current children cumulated CPU time (s) 390.37
Current children cumulated vsize (KiB) 17604
[startup+390.801 s]
/proc/loadavg: 4.00 3.97 3.38 5/194 15606
/proc/meminfo: memFree=13791956/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=14120 CPUtime=373.83 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 3253 0 0 0 35700 1683 0 0 25 0 1 0 550459556 14458880 3213 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 3530 3213 155 56 0 3084 0
Current children cumulated CPU time (s) 390.77
Current children cumulated vsize (KiB) 17604
[startup+391.001 s]
/proc/loadavg: 4.00 3.97 3.38 5/194 15606
/proc/meminfo: memFree=13791956/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=14252 CPUtime=374.03 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 3269 0 0 0 35720 1683 0 0 25 0 1 0 550459556 14594048 3229 33554432000 134512640 134738160 4288946496 18446744073709551615 134586284 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 3563 3229 155 56 0 3117 0
Current children cumulated CPU time (s) 390.97
Current children cumulated vsize (KiB) 17736
[startup+391.101 s]
/proc/loadavg: 4.00 3.97 3.38 5/194 15606
/proc/meminfo: memFree=13791956/32950940 swapFree=67111528/67111528
[pid=15579] ppid=15577 vsize=3484 CPUtime=16.94 cores=4,6
/proc/15579/stat : 15579 (SATzilla2009_C) S 15577 15579 15257 0 -1 4202496 581 3310 0 0 408 86 1191 9 25 0 1 0 550457861 3567616 394 33554432000 134512640 136149437 4292622784 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/15579/statm: 871 394 220 400 0 468 0
[pid=15594] ppid=15579 vsize=14252 CPUtime=374.13 cores=4,6
/proc/15594/stat : 15594 (vallst) R 15579 15579 15257 0 -1 4202496 3276 0 0 0 35730 1683 0 0 25 0 1 0 550459556 14594048 3236 33554432000 134512640 134738160 4288946496 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 0
/proc/15594/statm: 3563 3236 155 56 0 3117 0
Current children cumulated CPU time (s) 391.07
Current children cumulated vsize (KiB) 17736
Child status: 10
Real time (s): 391.171
CPU time (s): 391.165
CPU user time (s): 373.372
CPU system time (s): 17.7923
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 17736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 373.372
system time used= 17.7923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7193
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= 15
involuntary context switches= 366
runsolver used 0.690894 second user time and 1.44578 second system time
The end
Begin job on node117 at 2011-04-24 01:44:31
IDJOB=3274357
IDBENCH=83190
IDSOLVER=1675
FILE ID=node117/3274357-1303602271
RUNJOBID= node117-1303600955-15276
PBS_JOBID= 13150623
Free space on /tmp= 71364 MiB
SOLVER NAME= SAT09 reference solver: SATzilla2009_C 2009-03-22
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/crn_11_100_s.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3274357-1303602271/watcher-3274357-1303602271 -o /tmp/evaluation-result-3274357-1303602271/solver-3274357-1303602271 -C 2400 -W 1300 -M 7680 HOME/SATzilla2009_C HOME/instance-3274357-1303602271.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= c6e549f9708971f42573991eb7f6cef3
RANDOM SEED=1856107609
node117.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.849
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.69
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.849
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.849
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.74
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.849
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.849
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.75
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.849
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.74
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.849
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.75
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.849
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 : 5267.44
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950940 kB
MemFree: 14014956 kB
Buffers: 2315360 kB
Cached: 15919884 kB
SwapCached: 0 kB
Active: 10691864 kB
Inactive: 7685620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950940 kB
LowFree: 14014956 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 132576 kB
Writeback: 0 kB
AnonPages: 141460 kB
Mapped: 17152 kB
Slab: 495056 kB
PageTables: 5276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586996 kB
Committed_AS: 327140 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= 71324 MiB
End job on node117 at 2011-04-24 01:51:02