Trace number 3386221

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed)? (TO) 4800.66 1207.12

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark485.526
Satisfiable
(Un)Satisfiability was proved
Number of variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3386221-1305576977/watcher-3386221-1305576977 -o /tmp/evaluation-result-3386221-1305576977/solver-3386221-1305576977 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386221-1305576977.cnf -threads=4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.40 9.15 9.14 4/451 649
/proc/meminfo: memFree=12981388/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=18268 CPUtime=0 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4194304 238 0 0 0 0 0 0 0 23 0 1 0 747928768 18706432 188 33554432000 4194304 4625164 140733728141344 18446744073709551615 256410428904 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/649/statm: 4567 188 156 106 0 57 0

[startup+0.0284219 s]
/proc/loadavg: 8.40 9.15 9.14 4/451 649
/proc/meminfo: memFree=12981388/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=187100 CPUtime=0.01 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 6264 0 0 0 1 0 0 0 23 0 1 0 747928768 191590400 6060 33554432000 4194304 4625164 140733728141344 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/649/statm: 46775 6060 296 106 0 42278 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 187100

[startup+0.100408 s]
/proc/loadavg: 8.40 9.15 9.14 4/451 649
/proc/meminfo: memFree=12981388/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=193660 CPUtime=0.09 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 9163 0 0 0 8 1 0 0 23 0 1 0 747928768 198307840 7642 33554432000 4194304 4625164 140733728141344 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/649/statm: 48415 7643 298 106 0 43918 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 193660

[startup+0.300364 s]
/proc/loadavg: 8.40 9.15 9.14 4/451 649
/proc/meminfo: memFree=12981388/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=212032 CPUtime=0.29 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 16654 0 0 0 27 2 0 0 24 0 1 0 747928768 217120768 11886 33554432000 4194304 4625164 140733728141344 18446744073709551615 256415391488 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/649/statm: 53008 11886 324 106 0 48511 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 212032

[startup+0.700296 s]
/proc/loadavg: 8.40 9.15 9.14 4/451 649
/proc/meminfo: memFree=12981388/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=244664 CPUtime=0.69 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 30425 0 0 0 65 4 0 0 25 0 1 0 747928768 250535936 19801 33554432000 4194304 4625164 140733728141344 18446744073709551615 256415391488 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/649/statm: 61166 19801 412 106 0 56669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 244664

[startup+1.50115 s]
/proc/loadavg: 8.40 9.15 9.14 4/452 650
/proc/meminfo: memFree=12842756/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=318112 CPUtime=1.48 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 59865 0 0 0 140 8 0 0 25 0 1 0 747928768 325746688 36075 33554432000 4194304 4625164 140733728141344 18446744073709551615 256415391488 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/649/statm: 79528 36076 657 106 0 75031 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 318112

[startup+3.10078 s]
/proc/loadavg: 8.12 9.08 9.12 7/455 653
/proc/meminfo: memFree=12375504/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=788144 CPUtime=4.41 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 164672 0 0 0 419 22 0 0 25 0 4 0 747928768 807059456 128470 33554432000 4194304 4625164 140733728141344 18446744073709551615 4499019 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/649/statm: 197036 128470 586 106 0 192539 0
[pid=649/tid=651] ppid=647 vsize=788144 CPUtime=0.44 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 1607 0 0 0 44 0 0 0 25 0 4 0 747929033 807059456 128470 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=652] ppid=647 vsize=788144 CPUtime=0.42 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 3447 0 0 0 42 0 0 0 25 0 4 0 747929033 807059456 128470 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=649/tid=653] ppid=647 vsize=788144 CPUtime=0.44 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 5367 0 0 0 44 0 0 0 25 0 4 0 747929033 807059456 128470 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477982 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 788144

[startup+6.31817 s]
/proc/loadavg: 8.12 9.08 9.12 7/453 653
/proc/meminfo: memFree=12247756/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=826400 CPUtime=17.24 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 185564 0 0 0 1693 31 0 0 25 0 4 0 747928768 846233600 137833 33554432000 4194304 4625164 140733728141344 18446744073709551615 4390378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/649/statm: 206600 137833 565 106 0 202103 0
[pid=649/tid=651] ppid=647 vsize=826400 CPUtime=3.66 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 1661 0 0 0 366 0 0 0 25 0 4 0 747929033 846233600 137833 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=652] ppid=647 vsize=826400 CPUtime=3.58 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 3447 0 0 0 358 0 0 0 25 0 4 0 747929033 846233600 137833 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=649/tid=653] ppid=647 vsize=826400 CPUtime=3.66 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 5367 0 0 0 362 4 0 0 25 0 4 0 747929033 846233600 137833 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477982 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 17.24
Current children cumulated vsize (KiB) 826400

[startup+12.701 s]
/proc/loadavg: 8.03 9.05 9.11 7/458 659
/proc/meminfo: memFree=11813144/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=826400 CPUtime=42.68 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 186050 0 0 0 4235 33 0 0 25 0 4 0 747928768 846233600 138274 33554432000 4194304 4625164 140733728141344 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/649/statm: 206600 138274 565 106 0 202103 0
[pid=649/tid=651] ppid=647 vsize=826400 CPUtime=10.04 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 1661 0 0 0 1004 0 0 0 25 0 4 0 747929033 846233600 138274 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477918 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=652] ppid=647 vsize=826400 CPUtime=9.88 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 3447 0 0 0 988 0 0 0 25 0 4 0 747929033 846233600 138274 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477903 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=649/tid=653] ppid=647 vsize=826400 CPUtime=10.04 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 5367 0 0 0 998 6 0 0 25 0 4 0 747929033 846233600 138274 33554432000 4194304 4625164 140733728141344 18446744073709551615 4479607 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 42.68
Current children cumulated vsize (KiB) 826400

[startup+25.5005 s]
/proc/loadavg: 8.12 9.01 9.10 10/461 662
/proc/meminfo: memFree=10455212/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=826400 CPUtime=93.66 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 186346 0 0 0 9333 33 0 0 25 0 4 0 747928768 846233600 138538 33554432000 4194304 4625164 140733728141344 18446744073709551615 4278655 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/649/statm: 206600 138538 565 106 0 202103 0
[pid=649/tid=651] ppid=647 vsize=826400 CPUtime=22.84 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 1662 0 0 0 2284 0 0 0 25 0 4 0 747929033 846233600 138538 33554432000 4194304 4625164 140733728141344 18446744073709551615 4479607 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=652] ppid=647 vsize=826400 CPUtime=22.47 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 3447 0 0 0 2247 0 0 0 25 0 4 0 747929033 846233600 138538 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=649/tid=653] ppid=647 vsize=826400 CPUtime=22.84 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 5367 0 0 0 2278 6 0 0 25 0 4 0 747929033 846233600 138538 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 93.66
Current children cumulated vsize (KiB) 826400

[startup+51.1007 s]
/proc/loadavg: 8.49 9.03 9.10 10/461 663
/proc/meminfo: memFree=10440128/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=826400 CPUtime=195.54 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 189980 0 0 0 19520 34 0 0 25 0 4 0 747928768 846233600 142139 33554432000 4194304 4625164 140733728141344 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/649/statm: 206600 142139 687 106 0 202103 0
[pid=649/tid=651] ppid=647 vsize=826400 CPUtime=48.33 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 1678 0 0 0 4833 0 0 0 25 0 4 0 747929033 846233600 142139 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=652] ppid=647 vsize=826400 CPUtime=47.66 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 6649 0 0 0 4765 1 0 0 25 0 4 0 747929033 846233600 142139 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=649/tid=653] ppid=647 vsize=826400 CPUtime=48.44 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 5422 0 0 0 4838 6 0 0 25 0 4 0 747929033 846233600 142139 33554432000 4194304 4625164 140733728141344 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 195.54
Current children cumulated vsize (KiB) 826400

[startup+102.301 s]
/proc/loadavg: 8.96 9.07 9.10 10/461 665
/proc/meminfo: memFree=10341164/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=998372 CPUtime=399.51 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 230083 0 0 0 39909 42 0 0 25 0 4 0 747928768 1022332928 170578 33554432000 4194304 4625164 140733728141344 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/649/statm: 249593 170578 1597 106 0 245096 0
[pid=649/tid=651] ppid=647 vsize=998372 CPUtime=99.53 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 5790 0 0 0 9952 1 0 0 25 0 4 0 747929033 1022332928 170578 33554432000 4194304 4625164 140733728141344 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=652] ppid=647 vsize=998372 CPUtime=98.04 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 25536 0 0 0 9800 4 0 0 25 0 4 0 747929033 1022332928 170578 33554432000 4194304 4625164 140733728141344 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=649/tid=653] ppid=647 vsize=998372 CPUtime=99.64 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 14327 0 0 0 9957 7 0 0 25 0 4 0 747929033 1022332928 170578 33554432000 4194304 4625164 140733728141344 18446744073709551615 4334248 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 399.51
Current children cumulated vsize (KiB) 998372

[startup+162.301 s]
/proc/loadavg: 9.18 9.10 9.11 10/461 666
/proc/meminfo: memFree=10160224/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=1134552 CPUtime=638.58 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 340413 0 0 0 63793 65 0 0 25 0 4 0 747928768 1161781248 207784 33554432000 4194304 4625164 140733728141344 18446744073709551615 4390623 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/649/statm: 283638 207784 897 106 0 279141 0
[pid=649/tid=651] ppid=647 vsize=1134552 CPUtime=159.53 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 18998 0 0 0 15950 3 0 0 25 0 4 0 747929033 1161781248 207784 33554432000 4194304 4625164 140733728141344 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=652] ppid=647 vsize=1134552 CPUtime=157.13 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 86493 0 0 0 15695 18 0 0 25 0 4 0 747929033 1161781248 207784 33554432000 4194304 4625164 140733728141344 18446744073709551615 4288786 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=649/tid=653] ppid=647 vsize=1134552 CPUtime=159.64 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 16008 0 0 0 15956 8 0 0 25 0 4 0 747929033 1161781248 207784 33554432000 4194304 4625164 140733728141344 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 638.58
Current children cumulated vsize (KiB) 1134552

[startup+222.3 s]
/proc/loadavg: 9.11 9.09 9.10 10/461 668
/proc/meminfo: memFree=9958596/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=1368872 CPUtime=877.62 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 469913 0 0 0 87674 88 0 0 25 0 4 0 747928768 1401724928 255244 33554432000 4194304 4625164 140733728141344 18446744073709551615 4390623 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/649/statm: 342218 255244 627 106 0 337721 0
[pid=649/tid=651] ppid=647 vsize=1368872 CPUtime=219.53 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 33123 0 0 0 21947 6 0 0 25 0 4 0 747929033 1401724928 255244 33554432000 4194304 4625164 140733728141344 18446744073709551615 4353109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=652] ppid=647 vsize=1368872 CPUtime=216.18 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 112133 0 0 0 21594 24 0 0 25 0 4 0 747929033 1401724928 255244 33554432000 4194304 4625164 140733728141344 18446744073709551615 4288870 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=649/tid=653] ppid=647 vsize=1368872 CPUtime=219.64 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 30245 0 0 0 21954 10 0 0 25 0 4 0 747929033 1401724928 255244 33554432000 4194304 4625164 140733728141344 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 877.62
Current children cumulated vsize (KiB) 1368872

[startup+282.301 s]
/proc/loadavg: 9.13 9.10 9.10 10/461 669
/proc/meminfo: memFree=9768984/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=1536040 CPUtime=1116.7 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 643236 0 0 0 111547 123 0 0 25 0 4 0 747928768 1572904960 300576 33554432000 4194304 4625164 140733728141344 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/649/statm: 384010 300576 602 106 0 379513 0
[pid=649/tid=651] ppid=647 vsize=1536040 CPUtime=279.55 cores=1,3,5,7

################
# More data... #
################

[pid=649/tid=651] ppid=647 vsize=7121980 CPUtime=696.39 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 149323 0 0 0 69605 34 0 0 25 0 4 0 747929033 7292907520 1504839 33554432000 4194304 4625164 140733728141344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=649/tid=652] ppid=647 vsize=7121980 CPUtime=693.31 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 440533 0 0 0 69209 122 0 0 25 0 4 0 747929033 7292907520 1504839 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=653] ppid=647 vsize=7121980 CPUtime=699.65 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 1469863 0 0 0 69725 240 0 0 25 0 4 0 747929033 7292907520 1504839 33554432000 4194304 4625164 140733728141344 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2790.03
Current children cumulated vsize (KiB) 7121980

[startup+762.3 s]
/proc/loadavg: 9.14 9.06 9.05 10/461 712
/proc/meminfo: memFree=6396068/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=7213296 CPUtime=3029.1 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 5320035 0 0 0 302017 893 0 0 25 0 4 0 747928768 7386415104 1526854 33554432000 4194304 4625164 140733728141344 18446744073709551615 4509133 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/649/statm: 1803324 1526854 344 106 0 1798827 0
[pid=649/tid=651] ppid=647 vsize=7213296 CPUtime=756.4 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 170633 0 0 0 75602 38 0 0 25 0 4 0 747929033 7386415104 1526854 33554432000 4194304 4625164 140733728141344 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=649/tid=652] ppid=647 vsize=7213296 CPUtime=753.32 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 461853 0 0 0 75206 126 0 0 25 0 4 0 747929033 7386415104 1526854 33554432000 4194304 4625164 140733728141344 18446744073709551615 4331184 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=653] ppid=647 vsize=7213296 CPUtime=759.64 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 1775603 0 0 0 75672 292 0 0 25 0 4 0 747929033 7386415104 1526854 33554432000 4194304 4625164 140733728141344 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3029.1
Current children cumulated vsize (KiB) 7213296

[startup+822.301 s]
/proc/loadavg: 9.14 9.08 9.05 10/461 714
/proc/meminfo: memFree=6174420/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=7381708 CPUtime=3268.2 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 5665813 0 0 0 325870 950 0 0 25 0 4 0 747928768 7558868992 1569168 33554432000 4194304 4625164 140733728141344 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/649/statm: 1845427 1569168 344 106 0 1840930 0
[pid=649/tid=651] ppid=647 vsize=7381708 CPUtime=816.39 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 204575 0 0 0 81597 42 0 0 25 0 4 0 747929033 7558868992 1569168 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=649/tid=652] ppid=647 vsize=7381708 CPUtime=813.32 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 495769 0 0 0 81202 130 0 0 25 0 4 0 747929033 7558868992 1569168 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=653] ppid=647 vsize=7381708 CPUtime=819.65 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 2038826 0 0 0 81629 336 0 0 25 0 4 0 747929033 7558868992 1569168 33554432000 4194304 4625164 140733728141344 18446744073709551615 4375467 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3268.2
Current children cumulated vsize (KiB) 7381708

[startup+882.301 s]
/proc/loadavg: 9.12 9.08 9.05 10/461 715
/proc/meminfo: memFree=6031764/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=7591184 CPUtime=3507.28 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 5986653 0 0 0 349723 1005 0 0 25 0 4 0 747928768 7773372416 1599311 33554432000 4194304 4625164 140733728141344 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/649/statm: 1897796 1599311 355 106 0 1893299 0
[pid=649/tid=651] ppid=647 vsize=7591184 CPUtime=876.39 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 209351 0 0 0 87596 43 0 0 25 0 4 0 747929033 7773372416 1599311 33554432000 4194304 4625164 140733728141344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=649/tid=652] ppid=647 vsize=7591184 CPUtime=873.32 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 500535 0 0 0 87201 131 0 0 25 0 4 0 747929033 7773372416 1599311 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=653] ppid=647 vsize=7591184 CPUtime=879.65 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 2303705 0 0 0 87584 381 0 0 25 0 4 0 747929033 7773372416 1599311 33554432000 4194304 4625164 140733728141344 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3507.28
Current children cumulated vsize (KiB) 7591184

[startup+942.3 s]
/proc/loadavg: 9.16 9.09 9.06 10/461 717
/proc/meminfo: memFree=5670724/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=7826500 CPUtime=3746.37 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 6396804 0 0 0 373569 1068 0 0 25 0 4 0 747928768 8014336000 1647201 33554432000 4194304 4625164 140733728141344 18446744073709551615 4509196 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/649/statm: 1956625 1647201 344 106 0 1952128 0
[pid=649/tid=651] ppid=647 vsize=7826500 CPUtime=936.41 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 260804 0 0 0 93590 51 0 0 25 0 4 0 747929033 8014336000 1647256 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330853 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=649/tid=652] ppid=647 vsize=7826500 CPUtime=933.34 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 552037 0 0 0 93195 139 0 0 25 0 4 0 747929033 8014336000 1647256 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=653] ppid=647 vsize=7826500 CPUtime=939.67 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 2598564 0 0 0 93540 427 0 0 25 0 4 0 747929033 8014336000 1647256 33554432000 4194304 4625164 140733728141344 18446744073709551615 4481859 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3746.37
Current children cumulated vsize (KiB) 7826500

[startup+1002.3 s]
/proc/loadavg: 9.18 9.10 9.06 10/461 719
/proc/meminfo: memFree=5495504/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=7944112 CPUtime=3985.44 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 6759257 0 0 0 397417 1127 0 0 25 0 4 0 747928768 8134770688 1687616 33554432000 4194304 4625164 140733728141344 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/649/statm: 1986028 1687616 353 106 0 1981531 0
[pid=649/tid=651] ppid=647 vsize=7944112 CPUtime=996.38 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 268488 0 0 0 99585 53 0 0 25 0 4 0 747929033 8134770688 1687616 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330603 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=649/tid=652] ppid=647 vsize=7944112 CPUtime=993.33 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 559759 0 0 0 99192 141 0 0 25 0 4 0 747929033 8134770688 1687616 33554432000 4194304 4625164 140733728141344 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=653] ppid=647 vsize=7944112 CPUtime=999.65 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 2876011 0 0 0 99496 469 0 0 25 0 4 0 747929033 8134770688 1687616 33554432000 4194304 4625164 140733728141344 18446744073709551615 4555272 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3985.44
Current children cumulated vsize (KiB) 7944112

[startup+1062.32 s]
/proc/loadavg: 9.06 9.08 9.06 10/461 720
/proc/meminfo: memFree=5259200/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=8361276 CPUtime=4224.57 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 7220886 0 0 0 421259 1198 0 0 25 0 4 0 747928768 8561946624 1738723 33554432000 4194304 4625164 140733728141344 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/649/statm: 2090319 1738723 353 106 0 2085822 0
[pid=649/tid=651] ppid=647 vsize=8361276 CPUtime=1056.4 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 338780 0 0 0 105578 62 0 0 25 0 4 0 747929033 8561946624 1738723 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330976 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=649/tid=652] ppid=647 vsize=8361276 CPUtime=1053.35 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 630149 0 0 0 105183 152 0 0 25 0 4 0 747929033 8561946624 1738723 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=653] ppid=647 vsize=8361276 CPUtime=1059.68 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 3185258 0 0 0 105450 518 0 0 25 0 4 0 747929033 8561946624 1738723 33554432000 4194304 4625164 140733728141344 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4224.57
Current children cumulated vsize (KiB) 8361276

[startup+1122.3 s]
/proc/loadavg: 9.20 9.11 9.07 10/461 722
/proc/meminfo: memFree=5072776/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=8377792 CPUtime=4463.6 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 7457870 0 0 0 445122 1238 0 0 25 0 4 0 747928768 8578859008 1768569 33554432000 4194304 4625164 140733728141344 18446744073709551615 4519686 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/649/statm: 2094448 1768570 348 106 0 2089951 0
[pid=649/tid=651] ppid=647 vsize=8377792 CPUtime=1116.38 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 344992 0 0 0 111575 63 0 0 25 0 4 0 747929033 8578859008 1768570 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=649/tid=652] ppid=647 vsize=8377792 CPUtime=1113.34 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 636423 0 0 0 111180 154 0 0 25 0 4 0 747929033 8578859008 1768571 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=653] ppid=647 vsize=8377792 CPUtime=1119.66 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 3401398 0 0 0 111413 553 0 0 25 0 4 0 747929033 8578859008 1768571 33554432000 4194304 4625164 140733728141344 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4463.6
Current children cumulated vsize (KiB) 8377792

[startup+1182.3 s]
/proc/loadavg: 9.10 9.10 9.07 10/461 723
/proc/meminfo: memFree=4891248/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=8377792 CPUtime=4702.67 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 7647175 0 0 0 468988 1279 0 0 25 0 4 0 747928768 8578859008 1795220 33554432000 4194304 4625164 140733728141344 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/649/statm: 2094448 1795220 344 106 0 2089951 0
[pid=649/tid=651] ppid=647 vsize=8377792 CPUtime=1176.39 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 350701 0 0 0 117574 65 0 0 25 0 4 0 747929033 8578859008 1795220 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330610 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=649/tid=652] ppid=647 vsize=8377792 CPUtime=1173.34 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 642061 0 0 0 117178 156 0 0 25 0 4 0 747929033 8578859008 1795220 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=653] ppid=647 vsize=8377792 CPUtime=1179.66 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 3574654 0 0 0 117377 589 0 0 25 0 4 0 747929033 8578859008 1795220 33554432000 4194304 4625164 140733728141344 18446744073709551615 4334251 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4702.67
Current children cumulated vsize (KiB) 8377792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.8 s]
/proc/loadavg: 9.14 9.11 9.07 10/461 724
/proc/meminfo: memFree=4833256/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=8554272 CPUtime=4800.3 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4202496 7808006 0 0 0 478724 1306 0 0 25 0 4 0 747928768 8759574528 1804686 33554432000 4194304 4625164 140733728141344 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/649/statm: 2138568 1804686 344 106 0 2134071 0
[pid=649/tid=651] ppid=647 vsize=8554272 CPUtime=1200.9 cores=1,3,5,7
/proc/649/task/651/stat : 651 (SArTagnan) R 647 649 617 0 -1 4202560 352230 0 0 0 120025 65 0 0 25 0 4 0 747929033 8759574528 1804686 33554432000 4194304 4625164 140733728141344 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=649/tid=652] ppid=647 vsize=8554272 CPUtime=1197.84 cores=1,3,5,7
/proc/649/task/652/stat : 652 (SArTagnan) R 647 649 617 0 -1 4202560 643578 0 0 0 119628 156 0 0 25 0 4 0 747929033 8759574528 1804686 33554432000 4194304 4625164 140733728141344 18446744073709551615 4488064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=649/tid=653] ppid=647 vsize=8554272 CPUtime=1204.18 cores=1,3,5,7
/proc/649/task/653/stat : 653 (SArTagnan) R 647 649 617 0 -1 4202560 3639258 0 0 0 119816 602 0 0 25 0 4 0 747929033 8759574528 1804686 33554432000 4194304 4625164 140733728141344 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 8554272

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1207 s]
/proc/loadavg: 9.14 9.11 9.07 10/461 724
/proc/meminfo: memFree=4833256/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=0 CPUtime=4800.53 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4203524 7808006 0 0 0 478730 1323 0 0 25 0 1 0 747928768 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/649/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.53
Current children cumulated vsize (KiB) 0

[startup+1207.1 s]
/proc/loadavg: 9.14 9.11 9.07 10/461 724
/proc/meminfo: memFree=4833256/32950928 swapFree=67111200/67111528
[pid=649] ppid=647 vsize=0 CPUtime=4800.63 cores=1,3,5,7
/proc/649/stat : 649 (SArTagnan) R 647 649 617 0 -1 4203524 7808006 0 0 0 478730 1333 0 0 25 0 1 0 747928768 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/649/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.63
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1207.12
CPU time (s): 4800.66
CPU user time (s): 4787.31
CPU system time (s): 13.352
CPU usage (%): 397.697
Max. virtual memory (cumulated for all children) (KiB): 8907080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.31
system time used= 13.352
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7808006
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= 7735
involuntary context switches= 30216

runsolver used 4.98724 second user time and 13.6099 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-16 22:16:21
IDJOB=3386221
IDBENCH=20580
IDSOLVER=1871
FILE ID=node115/3386221-1305576977
RUNJOBID= node115-1305576977-636
PBS_JOBID= 13350213
Free space on /tmp= 73020 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386221-1305576977/watcher-3386221-1305576977 -o /tmp/evaluation-result-3386221-1305576977/solver-3386221-1305576977 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386221-1305576977.cnf -threads=4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=894336295

node115.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.811
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.62
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.811
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	: 5226.15
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.811
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.75
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.811
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.811
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.77
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.811
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.811
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.811
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:      12981668 kB
Buffers:        283020 kB
Cached:        3512836 kB
SwapCached:          0 kB
Active:       16387940 kB
Inactive:      3240700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12981668 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:          255236 kB
Writeback:           0 kB
AnonPages:    15832532 kB
Mapped:          36088 kB
Slab:           204340 kB
PageTables:      66120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 122582516 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= 73140 MiB
End job on node115 at 2011-05-16 22:36:30