Trace number 3493590

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
PicoMUS 941No Cert. 1800.08 1800.11

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.7.unsat.cnf
MD5SUM39c753fcd6ac15019fa3a40cd8b8f69d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables505
Number of clauses1696
Sum of the clauses size4422
Maximum clause length13
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 2719
Number of clauses of size 3948
Number of clauses of size 410
Number of clauses of size 510
Number of clauses of size over 56

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 505 1696
2.09/2.15	s UNSATISFIABLE
2.09/2.18	c [picomus] extracted core 1 of size 1665 out of 1696 (98%) after 2.2 sec
3.99/4.03	c [picomus] extracted core 2 of size 1662 out of 1696 (98%) after 4.0 sec
6.19/6.24	c [picomus] extracted core 3 of size 1660 out of 1696 (98%) after 6.2 sec
8.39/8.49	c [picomus] extracted core 4 of size 1660 out of 1696 (98%) after 8.5 sec
10.38/10.42	c [picomus] extracted core 5 of size 1659 out of 1696 (98%) after 10.4 sec
12.19/12.26	c [picomus] extracted core 6 of size 1657 out of 1696 (98%) after 12.3 sec
14.19/14.29	c [picomus] extracted core 7 of size 1657 out of 1696 (98%) after 14.3 sec
16.09/16.13	c [picomus] extracted core 8 of size 1657 out of 1696 (98%) after 16.1 sec
22.59/22.63	c [picomus] reduction 1 to 1656 out of 1696 (98%) after 22.6 sec
27.59/27.62	c [picomus] reduction 2 to 1653 out of 1696 (97%) after 27.6 sec
32.39/32.48	c [picomus] reduction 3 to 1652 out of 1696 (97%) after 32.5 sec
37.69/37.79	c [picomus] reduction 4 to 1651 out of 1696 (97%) after 37.8 sec
42.49/42.53	c [picomus] reduction 5 to 1649 out of 1696 (97%) after 42.5 sec
47.49/47.57	c [picomus] reduction 6 to 1648 out of 1696 (97%) after 47.6 sec
53.18/53.26	c [picomus] reduction 7 to 1647 out of 1696 (97%) after 53.3 sec
58.89/58.93	c [picomus] reduction 8 to 1646 out of 1696 (97%) after 58.9 sec
64.99/65.01	c [picomus] reduction 9 to 1645 out of 1696 (97%) after 65.0 sec
70.89/70.97	c [picomus] reduction 10 to 1644 out of 1696 (97%) after 71.0 sec
77.69/77.72	c [picomus] reduction 11 to 1643 out of 1696 (97%) after 77.7 sec
83.29/83.38	c [picomus] reduction 12 to 1642 out of 1696 (97%) after 83.4 sec
90.10/90.20	c [picomus] reduction 13 to 1641 out of 1696 (97%) after 90.2 sec
94.39/94.45	c [picomus] reduction 14 to 1639 out of 1696 (97%) after 94.5 sec
99.49/99.59	c [picomus] reduction 15 to 1638 out of 1696 (97%) after 99.6 sec
104.90/104.95	c [picomus] reduction 16 to 1637 out of 1696 (97%) after 105.0 sec
110.20/110.22	c [picomus] reduction 17 to 1636 out of 1696 (96%) after 110.2 sec
116.39/116.47	c [picomus] reduction 18 to 1635 out of 1696 (96%) after 116.5 sec
122.19/122.24	c [picomus] reduction 19 to 1634 out of 1696 (96%) after 122.2 sec
127.79/127.82	c [picomus] reduction 20 to 1631 out of 1696 (96%) after 127.8 sec
134.39/134.40	c [picomus] reduction 21 to 1630 out of 1696 (96%) after 134.4 sec
152.99/153.06	c [picomus] reduction 22 to 1627 out of 1696 (96%) after 153.1 sec
182.29/182.39	c [picomus] reduction 23 to 1625 out of 1696 (96%) after 182.4 sec
186.39/186.46	c [picomus] reduction 24 to 1624 out of 1696 (96%) after 186.5 sec
193.39/193.42	c [picomus] reduction 25 to 1623 out of 1696 (96%) after 193.4 sec
197.19/197.28	c [picomus] reduction 26 to 1622 out of 1696 (96%) after 197.3 sec
205.29/205.33	c [picomus] reduction 27 to 1621 out of 1696 (96%) after 205.3 sec
211.29/211.33	c [picomus] reduction 28 to 1620 out of 1696 (96%) after 211.3 sec
214.59/214.63	c [picomus] reduction 29 to 1619 out of 1696 (95%) after 214.6 sec
218.39/218.40	c [picomus] reduction 30 to 1618 out of 1696 (95%) after 218.4 sec
227.19/227.22	c [picomus] reduction 31 to 1617 out of 1696 (95%) after 227.2 sec
230.69/230.77	c [picomus] reduction 32 to 1616 out of 1696 (95%) after 230.8 sec
235.29/235.38	c [picomus] reduction 33 to 1615 out of 1696 (95%) after 235.4 sec
242.19/242.26	c [picomus] reduction 34 to 1614 out of 1696 (95%) after 242.3 sec
246.19/246.21	c [picomus] reduction 35 to 1613 out of 1696 (95%) after 246.2 sec
250.79/250.86	c [picomus] reduction 36 to 1612 out of 1696 (95%) after 250.9 sec
262.29/262.37	c [picomus] reduction 37 to 1611 out of 1696 (95%) after 262.4 sec
265.39/265.42	c [picomus] reduction 38 to 1610 out of 1696 (95%) after 265.4 sec
272.39/272.46	c [picomus] reduction 39 to 1609 out of 1696 (95%) after 272.5 sec
276.79/276.82	c [picomus] reduction 40 to 1608 out of 1696 (95%) after 276.8 sec
278.99/279.10	c [picomus] reduction 41 to 1607 out of 1696 (95%) after 279.1 sec
281.59/281.64	c [picomus] reduction 42 to 1606 out of 1696 (95%) after 281.6 sec
284.89/284.98	c [picomus] reduction 43 to 1605 out of 1696 (95%) after 285.0 sec
287.89/287.99	c [picomus] reduction 44 to 1604 out of 1696 (95%) after 288.0 sec
290.79/290.85	c [picomus] reduction 45 to 1603 out of 1696 (95%) after 290.9 sec
296.29/296.37	c [picomus] reduction 46 to 1602 out of 1696 (94%) after 296.4 sec
299.89/299.92	c [picomus] reduction 47 to 1601 out of 1696 (94%) after 299.9 sec
303.79/303.85	c [picomus] reduction 48 to 1600 out of 1696 (94%) after 303.9 sec
307.99/308.01	c [picomus] reduction 49 to 1599 out of 1696 (94%) after 308.0 sec
312.29/312.39	c [picomus] reduction 50 to 1598 out of 1696 (94%) after 312.4 sec
319.19/319.27	c [picomus] reduction 51 to 1597 out of 1696 (94%) after 319.3 sec
323.79/323.81	c [picomus] reduction 52 to 1596 out of 1696 (94%) after 323.8 sec
330.09/330.17	c [picomus] reduction 53 to 1595 out of 1696 (94%) after 330.2 sec
335.89/335.96	c [picomus] reduction 54 to 1594 out of 1696 (94%) after 336.0 sec
340.99/341.02	c [picomus] reduction 55 to 1591 out of 1696 (94%) after 341.0 sec
346.29/346.34	c [picomus] reduction 56 to 1590 out of 1696 (94%) after 346.3 sec
351.49/351.50	c [picomus] reduction 57 to 1589 out of 1696 (94%) after 351.5 sec
356.39/356.48	c [picomus] reduction 58 to 1588 out of 1696 (94%) after 356.5 sec
362.09/362.18	c [picomus] reduction 59 to 1587 out of 1696 (94%) after 362.2 sec
369.69/369.74	c [picomus] reduction 60 to 1586 out of 1696 (94%) after 369.7 sec
375.99/376.03	c [picomus] reduction 61 to 1585 out of 1696 (93%) after 376.0 sec
380.49/380.55	c [picomus] reduction 62 to 1584 out of 1696 (93%) after 380.5 sec
387.29/387.34	c [picomus] reduction 63 to 1583 out of 1696 (93%) after 387.3 sec
392.99/393.01	c [picomus] reduction 64 to 1582 out of 1696 (93%) after 393.0 sec
400.99/401.09	c [picomus] reduction 65 to 1581 out of 1696 (93%) after 401.1 sec
404.89/404.90	c [picomus] reduction 66 to 1580 out of 1696 (93%) after 404.9 sec
408.49/408.55	c [picomus] reduction 67 to 1579 out of 1696 (93%) after 408.6 sec
418.59/418.61	c [picomus] reduction 68 to 1578 out of 1696 (93%) after 418.6 sec
422.59/422.61	c [picomus] reduction 69 to 1577 out of 1696 (93%) after 422.6 sec
426.29/426.32	c [picomus] reduction 70 to 1576 out of 1696 (93%) after 426.3 sec
430.49/430.51	c [picomus] reduction 71 to 1575 out of 1696 (93%) after 430.5 sec
436.29/436.39	c [picomus] reduction 72 to 1574 out of 1696 (93%) after 436.4 sec
441.29/441.31	c [picomus] reduction 73 to 1573 out of 1696 (93%) after 441.3 sec
448.29/448.36	c [picomus] reduction 74 to 1572 out of 1696 (93%) after 448.4 sec
451.58/451.61	c [picomus] reduction 75 to 1571 out of 1696 (93%) after 451.6 sec
455.78/455.88	c [picomus] reduction 76 to 1569 out of 1696 (93%) after 455.9 sec
463.09/463.14	c [picomus] reduction 77 to 1568 out of 1696 (92%) after 463.1 sec
469.98/470.09	c [picomus] reduction 78 to 1567 out of 1696 (92%) after 470.1 sec
476.29/476.32	c [picomus] reduction 79 to 1566 out of 1696 (92%) after 476.3 sec
482.48/482.51	c [picomus] reduction 80 to 1565 out of 1696 (92%) after 482.5 sec
492.38/492.40	c [picomus] reduction 81 to 1564 out of 1696 (92%) after 492.4 sec
506.18/506.29	c [picomus] reduction 82 to 1563 out of 1696 (92%) after 506.3 sec
515.58/515.62	c [picomus] reduction 83 to 1562 out of 1696 (92%) after 515.6 sec
523.68/523.78	c [picomus] reduction 84 to 1561 out of 1696 (92%) after 523.8 sec
535.58/535.60	c [picomus] reduction 85 to 1560 out of 1696 (92%) after 535.6 sec
548.68/548.72	c [picomus] reduction 86 to 1559 out of 1696 (92%) after 548.7 sec
558.58/558.64	c [picomus] reduction 87 to 1558 out of 1696 (92%) after 558.6 sec
569.68/569.73	c [picomus] reduction 88 to 1557 out of 1696 (92%) after 569.7 sec
583.78/583.84	c [picomus] reduction 89 to 1556 out of 1696 (92%) after 583.8 sec
598.28/598.33	c [picomus] reduction 90 to 1555 out of 1696 (92%) after 598.3 sec
598.38/598.43	c [picomus] reduction 91 to 1553 out of 1696 (92%) after 598.4 sec
619.58/619.67	c [picomus] reduction 92 to 1552 out of 1696 (92%) after 619.7 sec
641.98/642.08	c [picomus] reduction 93 to 1551 out of 1696 (91%) after 642.1 sec
660.68/660.73	c [picomus] reduction 94 to 1550 out of 1696 (91%) after 660.7 sec
679.18/679.21	c [picomus] reduction 95 to 1549 out of 1696 (91%) after 679.2 sec
710.88/710.94	c [picomus] reduction 96 to 1548 out of 1696 (91%) after 710.9 sec
732.08/732.13	c [picomus] reduction 97 to 1547 out of 1696 (91%) after 732.1 sec
773.78/773.86	c [picomus] reduction 98 to 1546 out of 1696 (91%) after 773.9 sec
797.48/797.58	c [picomus] reduction 99 to 1545 out of 1696 (91%) after 797.6 sec
827.08/827.15	c [picomus] reduction 100 to 1544 out of 1696 (91%) after 827.2 sec
863.18/863.26	c [picomus] reduction 101 to 1543 out of 1696 (91%) after 863.3 sec
903.08/903.18	c [picomus] reduction 102 to 1542 out of 1696 (91%) after 903.2 sec
934.98/935.05	c [picomus] reduction 103 to 1541 out of 1696 (91%) after 935.0 sec
967.17/967.26	c [picomus] reduction 104 to 1540 out of 1696 (91%) after 967.3 sec
998.07/998.14	c [picomus] reduction 105 to 1539 out of 1696 (91%) after 998.1 sec
1040.87/1040.97	c [picomus] reduction 106 to 1538 out of 1696 (91%) after 1041.0 sec
1071.37/1071.45	c [picomus] reduction 107 to 1537 out of 1696 (91%) after 1071.4 sec
1073.47/1073.57	c [picomus] reduction 108 to 1536 out of 1696 (91%) after 1073.6 sec
1107.97/1108.07	c [picomus] reduction 109 to 1535 out of 1696 (91%) after 1108.1 sec
1138.27/1138.38	c [picomus] reduction 110 to 1532 out of 1696 (90%) after 1138.4 sec
1181.27/1181.40	c [picomus] reduction 111 to 1531 out of 1696 (90%) after 1181.4 sec
1220.57/1220.60	c [picomus] reduction 112 to 1530 out of 1696 (90%) after 1220.6 sec
1248.87/1248.98	c [picomus] reduction 113 to 1529 out of 1696 (90%) after 1249.0 sec
1277.57/1277.67	c [picomus] reduction 114 to 1528 out of 1696 (90%) after 1277.7 sec
1362.27/1362.30	c [picomus] reduction 115 to 1527 out of 1696 (90%) after 1362.3 sec
1394.27/1394.32	c [picomus] reduction 116 to 1526 out of 1696 (90%) after 1394.3 sec
1424.27/1424.39	c [picomus] reduction 117 to 1525 out of 1696 (90%) after 1424.4 sec
1474.56/1474.66	c [picomus] reduction 118 to 1524 out of 1696 (90%) after 1474.6 sec
1517.76/1517.89	c [picomus] reduction 119 to 1523 out of 1696 (90%) after 1517.9 sec
1541.96/1542.08	c [picomus] reduction 120 to 1522 out of 1696 (90%) after 1542.1 sec
1563.56/1563.62	c [picomus] reduction 121 to 1521 out of 1696 (90%) after 1563.6 sec
1584.86/1584.90	c [picomus] reduction 122 to 1520 out of 1696 (90%) after 1584.9 sec
1626.56/1626.69	c [picomus] reduction 123 to 1519 out of 1696 (90%) after 1626.7 sec
1648.56/1648.60	c [picomus] reduction 124 to 1518 out of 1696 (90%) after 1648.6 sec
1670.26/1670.31	c [picomus] reduction 125 to 1517 out of 1696 (89%) after 1670.3 sec
1757.56/1757.66	c [picomus] reduction 126 to 1515 out of 1696 (89%) after 1757.6 sec

Verifier Data 

ERROR: no value line found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493590-1307800712/watcher-3493590-1307800712 -o /tmp/evaluation-result-3493590-1307800712/solver-3493590-1307800712 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493590-1307800712.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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: 0.92 0.98 1.12 2/171 23536
/proc/meminfo: memFree=31119212/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=920 CPUtime=0 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 175 0 0 0 0 0 0 0 23 0 1 0 347680610 942080 128 33554432000 134512640 135072097 4294536368 18446744073709551615 134539142 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 230 128 68 137 0 91 0

[startup+0.045279 s]
/proc/loadavg: 0.92 0.98 1.12 2/171 23536
/proc/meminfo: memFree=31119212/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=1184 CPUtime=0.04 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 229 0 0 0 4 0 0 0 23 0 1 0 347680610 1212416 182 33554432000 134512640 135072097 4294536368 18446744073709551615 134543779 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 296 182 68 137 0 157 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1184

[startup+0.100267 s]
/proc/loadavg: 0.92 0.98 1.12 2/171 23536
/proc/meminfo: memFree=31119212/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=1448 CPUtime=0.09 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 314 0 0 0 9 0 0 0 23 0 1 0 347680610 1482752 267 33554432000 134512640 135072097 4294536368 18446744073709551615 134558408 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 362 267 68 137 0 223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1448

[startup+0.300232 s]
/proc/loadavg: 0.92 0.98 1.12 2/171 23536
/proc/meminfo: memFree=31119212/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=2636 CPUtime=0.29 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 615 0 0 0 29 0 0 0 25 0 1 0 347680610 2699264 568 33554432000 134512640 135072097 4294536368 18446744073709551615 134556223 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 659 568 68 137 0 520 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2636

[startup+0.700159 s]
/proc/loadavg: 0.92 0.98 1.12 2/171 23536
/proc/meminfo: memFree=31119212/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=5196 CPUtime=0.69 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 1222 0 0 0 69 0 0 0 25 0 1 0 347680610 5320704 1175 33554432000 134512640 135072097 4294536368 18446744073709551615 134543682 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 1299 1175 68 137 0 1160 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5196

[startup+1.50102 s]
/proc/loadavg: 0.92 0.98 1.12 2/172 23537
/proc/meminfo: memFree=31113164/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=9940 CPUtime=1.49 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 2388 0 0 0 149 0 0 0 25 0 1 0 347680610 10178560 2341 33554432000 134512640 135072097 4294536368 18446744073709551615 134538364 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2485 2341 68 137 0 2346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9940

[startup+3.10074 s]
/proc/loadavg: 0.92 0.98 1.12 2/172 23537
/proc/meminfo: memFree=31106344/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=13220 CPUtime=3.09 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 3464 0 0 0 309 0 0 0 25 0 1 0 347680610 13537280 3224 33554432000 134512640 135072097 4294536368 18446744073709551615 134559162 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 3305 3224 76 137 0 3166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13220

[startup+6.30118 s]
/proc/loadavg: 0.93 0.98 1.12 2/172 23537
/proc/meminfo: memFree=31110540/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=1200 CPUtime=6.29 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 6712 0 0 0 629 0 0 0 25 0 1 0 347680610 1228800 190 33554432000 134512640 135072097 4294536368 18446744073709551615 134541083 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 300 190 76 137 0 161 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1200

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 1.12 2/172 23537
/proc/meminfo: memFree=31109296/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=3620 CPUtime=12.69 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 16021 0 0 0 1267 2 0 0 25 0 1 0 347680610 3706880 795 33554432000 134512640 135072097 4294536368 18446744073709551615 134543804 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 905 795 76 137 0 766 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3620

[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 1.11 2/172 23537
/proc/meminfo: memFree=31112012/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=6920 CPUtime=25.49 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 22595 0 0 0 2546 3 0 0 25 0 1 0 347680610 7086080 1650 33554432000 134512640 135072097 4294536368 18446744073709551615 134556758 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 1730 1650 77 137 0 1591 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6920

[startup+51.1002 s]
/proc/loadavg: 0.96 0.98 1.11 2/172 23538
/proc/meminfo: memFree=31110740/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=9308 CPUtime=51.08 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 23321 0 0 0 5105 3 0 0 25 0 1 0 347680610 9531392 2241 33554432000 134512640 135072097 4294536368 18446744073709551615 134583982 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2327 2241 77 137 0 2188 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9308

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 1.10 2/172 23539
/proc/meminfo: memFree=31107576/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11028 CPUtime=102.3 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 24540 0 0 0 10226 4 0 0 25 0 1 0 347680610 11292672 2677 33554432000 134512640 135072097 4294536368 18446744073709551615 134541281 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2757 2677 77 137 0 2618 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 11028

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.09 2/172 23550
/proc/meminfo: memFree=31106324/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=162.29 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 16225 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543600 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 11692

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.08 2/172 23551
/proc/meminfo: memFree=31106384/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=222.29 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 22225 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543789 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 11692

[startup+282.3 s]
/proc/loadavg: 1.07 1.00 1.08 2/172 23553
/proc/meminfo: memFree=31106328/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=282.29 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 28225 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 11692

[startup+342.301 s]
/proc/loadavg: 1.02 1.00 1.08 2/172 23554
/proc/meminfo: memFree=31106136/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=342.29 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 34225 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134583503 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 11692

[startup+402.301 s]
/proc/loadavg: 1.01 1.00 1.07 2/172 23556
/proc/meminfo: memFree=31106316/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=402.29 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 40225 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134557150 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 11692

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/172 23558
/proc/meminfo: memFree=31106132/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=462.28 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 46224 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134520266 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 11692

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/172 23559
/proc/meminfo: memFree=31106216/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=522.28 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 52224 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543695 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 11692

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/172 23561
/proc/meminfo: memFree=31106388/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=582.28 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 58224 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134539726 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 11692

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.04 1.01 1.03 2/172 23572
/proc/meminfo: memFree=31106360/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=882.28 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 88224 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543761 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 11692

[startup+942.301 s]
/proc/loadavg: 1.01 1.01 1.02 2/172 23573
/proc/meminfo: memFree=31106412/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=942.27 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 94223 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134558253 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 11692

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/172 23575
/proc/meminfo: memFree=31106384/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1002.27 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 100223 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543928 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 11692

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/172 23577
/proc/meminfo: memFree=31106348/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1062.27 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 106223 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134556951 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 11692

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/172 23578
/proc/meminfo: memFree=31106292/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1122.27 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 112223 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543724 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 11692

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23580
/proc/meminfo: memFree=31106132/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1182.27 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 118223 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543706 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 11692

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23581
/proc/meminfo: memFree=31106208/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1242.27 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 124223 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543789 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 11692

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23583
/proc/meminfo: memFree=31106040/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1302.27 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 130223 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134556248 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 11692

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23585
/proc/meminfo: memFree=31105900/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1362.27 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 136223 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 11692

[startup+1422.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/172 23586
/proc/meminfo: memFree=31106104/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1422.27 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 142223 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134558393 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 11692

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/172 23588
/proc/meminfo: memFree=31105928/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1482.26 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 148222 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543726 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 11692

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23589
/proc/meminfo: memFree=31106000/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1542.26 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 154222 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543792 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 11692

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23591
/proc/meminfo: memFree=31106052/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1602.26 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 160222 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134543424 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 11692

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23593
/proc/meminfo: memFree=31106008/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1662.26 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 166222 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134557382 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 11692

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23594
/proc/meminfo: memFree=31106092/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1722.26 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 172222 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134520630 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 11692

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23596
/proc/meminfo: memFree=31106064/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1782.26 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 178222 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134557171 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 11692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23597
/proc/meminfo: memFree=31106056/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1800.07 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 180003 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134583955 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 11692

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

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

[startup+1800.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/172 23597
/proc/meminfo: memFree=31106056/32950928 swapFree=67054696/67111528
[pid=23536] ppid=23534 vsize=11692 CPUtime=1800.07 cores=5,7
/proc/23536/stat : 23536 (picomus) R 23534 23536 23146 0 -1 4202496 25315 0 0 0 180003 4 0 0 25 0 1 0 347680610 11972608 2812 33554432000 134512640 135072097 4294536368 18446744073709551615 134583955 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23536/statm: 2923 2812 77 137 0 2784 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 11692

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.11
CPU time (s): 1800.08
CPU user time (s): 1800.03
CPU system time (s): 0.048992
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 13896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.048992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25315
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= 7085

runsolver used 2.33164 second user time and 5.86811 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-11 15:58:32
IDJOB=3493590
IDBENCH=20469
IDSOLVER=1974
FILE ID=node112/3493590-1307800712
RUNJOBID= node112-1307798812-23167
PBS_JOBID= 13551040
Free space on /tmp= 74040 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.7.unsat.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493590-1307800712/watcher-3493590-1307800712 -o /tmp/evaluation-result-3493590-1307800712/solver-3493590-1307800712 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493590-1307800712.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 39c753fcd6ac15019fa3a40cd8b8f69d
RANDOM SEED=552023846

node112.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.847
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.83
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.847
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.74
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.847
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31119764 kB
Buffers:        263264 kB
Cached:        1325916 kB
SwapCached:      10772 kB
Active:         470748 kB
Inactive:      1136552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31119764 kB
SwapTotal:    67111528 kB
SwapFree:     67054696 kB
Dirty:             788 kB
Writeback:           0 kB
AnonPages:       15796 kB
Mapped:           9020 kB
Slab:           159796 kB
PageTables:       4384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   192012 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= 74036 MiB
End job on node112 at 2011-06-11 16:28:34