Trace number 3483775

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.11 1800.06

General information on the benchmark

Namemus/marques-silva/
hardware-verification/f7b.cnf
MD5SUM1e9d259858c4cb5da52919540e6fc087
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1589.42
Satisfiable
(Un)Satisfiability was proved
Number of variables70985
Number of clauses211126
Sum of the clauses size492626
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2140750
Number of clauses of size 370375
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 70985 211126
13.21/13.24	s UNSATISFIABLE
13.21/13.29	c [picomus] extracted core 1 of size 38927 out of 211126 (18%) after 13.3 sec
23.30/23.32	c [picomus] extracted core 2 of size 33092 out of 211126 (16%) after 23.3 sec
33.02/33.03	c [picomus] extracted core 3 of size 31412 out of 211126 (15%) after 33.0 sec
41.71/41.80	c [picomus] extracted core 4 of size 30666 out of 211126 (15%) after 41.8 sec
53.30/53.34	c [picomus] extracted core 5 of size 30390 out of 211126 (14%) after 53.3 sec
69.89/69.99	c [picomus] extracted core 6 of size 29493 out of 211126 (14%) after 70.0 sec
80.59/80.61	c [picomus] extracted core 7 of size 29183 out of 211126 (14%) after 80.6 sec
95.30/95.34	c [picomus] extracted core 8 of size 29065 out of 211126 (14%) after 95.3 sec
106.72/106.79	c [picomus] extracted core 9 of size 28938 out of 211126 (14%) after 106.8 sec
115.52/115.52	c [picomus] extracted core 10 of size 28854 out of 211126 (14%) after 115.5 sec
128.99/129.07	c [picomus] extracted core 11 of size 28824 out of 211126 (14%) after 129.1 sec
139.00/139.03	c [picomus] extracted core 12 of size 28777 out of 211126 (14%) after 139.0 sec
149.19/149.25	c [picomus] extracted core 13 of size 28720 out of 211126 (14%) after 149.3 sec
157.90/157.92	c [picomus] extracted core 14 of size 28663 out of 211126 (14%) after 157.9 sec
172.29/172.36	c [picomus] extracted core 15 of size 28585 out of 211126 (14%) after 172.4 sec
184.89/184.98	c [picomus] extracted core 16 of size 28540 out of 211126 (14%) after 185.0 sec
193.80/193.85	c [picomus] extracted core 17 of size 28502 out of 211126 (13%) after 193.9 sec
207.10/207.18	c [picomus] extracted core 18 of size 28484 out of 211126 (13%) after 207.2 sec
215.90/216.00	c [picomus] extracted core 19 of size 28434 out of 211126 (13%) after 216.0 sec
230.91/230.97	c [picomus] extracted core 20 of size 28422 out of 211126 (13%) after 231.0 sec
243.20/243.29	c [picomus] extracted core 21 of size 28409 out of 211126 (13%) after 243.3 sec
256.90/256.95	c [picomus] extracted core 22 of size 28397 out of 211126 (13%) after 257.0 sec
265.89/265.94	c [picomus] extracted core 23 of size 28374 out of 211126 (13%) after 266.0 sec
279.70/279.74	c [picomus] extracted core 24 of size 28341 out of 211126 (13%) after 279.8 sec
294.30/294.32	c [picomus] extracted core 25 of size 28302 out of 211126 (13%) after 294.3 sec
303.70/303.73	c [picomus] extracted core 26 of size 28231 out of 211126 (13%) after 303.7 sec
313.10/313.12	c [picomus] extracted core 27 of size 28210 out of 211126 (13%) after 313.1 sec
320.20/320.26	c [picomus] extracted core 28 of size 28200 out of 211126 (13%) after 320.3 sec
332.90/332.95	c [picomus] extracted core 29 of size 28186 out of 211126 (13%) after 333.0 sec
342.20/342.21	c [picomus] extracted core 30 of size 28184 out of 211126 (13%) after 342.2 sec
350.50/350.54	c [picomus] extracted core 31 of size 28175 out of 211126 (13%) after 350.6 sec
360.30/360.36	c [picomus] extracted core 32 of size 28159 out of 211126 (13%) after 360.4 sec
371.10/371.19	c [picomus] extracted core 33 of size 28150 out of 211126 (13%) after 371.2 sec
380.91/380.97	c [picomus] extracted core 34 of size 28122 out of 211126 (13%) after 381.0 sec
391.71/391.75	c [picomus] extracted core 35 of size 28110 out of 211126 (13%) after 391.8 sec
401.71/401.76	c [picomus] extracted core 36 of size 28084 out of 211126 (13%) after 401.8 sec
412.91/412.97	c [picomus] extracted core 37 of size 28054 out of 211126 (13%) after 413.0 sec
422.00/422.07	c [picomus] extracted core 38 of size 28028 out of 211126 (13%) after 422.1 sec
432.51/432.52	c [picomus] extracted core 39 of size 28023 out of 211126 (13%) after 432.5 sec
537.82/537.90	c [picomus] reduction 1 to 27962 out of 211126 (13%) after 537.9 sec
759.81/759.85	c [picomus] reduction 2 to 27953 out of 211126 (13%) after 759.9 sec
762.61/762.66	c [picomus] reduction 3 to 27947 out of 211126 (13%) after 762.7 sec
762.71/762.70	c [picomus] reduction 4 to 27941 out of 211126 (13%) after 762.7 sec
765.41/765.49	c [picomus] reduction 5 to 27935 out of 211126 (13%) after 765.5 sec
1129.22/1129.29	c [picomus] reduction 6 to 27934 out of 211126 (13%) after 1129.3 sec
1148.23/1148.21	c [picomus] reduction 7 to 27932 out of 211126 (13%) after 1148.3 sec
1187.53/1187.56	c [picomus] reduction 8 to 27755 out of 211126 (13%) after 1187.6 sec
1200.53/1200.52	c [picomus] reduction 9 to 27743 out of 211126 (13%) after 1200.6 sec
1279.03/1279.07	c [picomus] reduction 10 to 27742 out of 211126 (13%) after 1279.1 sec
1280.93/1280.92	c [picomus] reduction 11 to 27733 out of 211126 (13%) after 1281.0 sec
1288.04/1288.02	c [picomus] reduction 12 to 27722 out of 211126 (13%) after 1288.1 sec
1291.13/1291.13	c [picomus] reduction 13 to 27719 out of 211126 (13%) after 1291.2 sec
1291.45/1291.43	c [picomus] reduction 14 to 27717 out of 211126 (13%) after 1291.5 sec
1293.73/1293.75	c [picomus] reduction 15 to 27716 out of 211126 (13%) after 1293.8 sec
1295.43/1295.44	c [picomus] reduction 16 to 27706 out of 211126 (13%) after 1295.5 sec
1296.03/1296.07	c [picomus] reduction 17 to 27691 out of 211126 (13%) after 1296.1 sec
1296.13/1296.12	c [picomus] reduction 18 to 27689 out of 211126 (13%) after 1296.2 sec
1297.33/1297.37	c [picomus] reduction 19 to 27677 out of 211126 (13%) after 1297.4 sec
1326.66/1326.67	c [picomus] reduction 20 to 27676 out of 211126 (13%) after 1326.7 sec
1442.24/1442.26	c [picomus] reduction 21 to 27673 out of 211126 (13%) after 1442.3 sec
1448.84/1448.85	c [picomus] reduction 22 to 27671 out of 211126 (13%) after 1448.9 sec
1451.44/1451.43	c [picomus] reduction 23 to 27669 out of 211126 (13%) after 1451.5 sec
1452.06/1452.02	c [picomus] reduction 24 to 27664 out of 211126 (13%) after 1452.1 sec
1452.94/1452.91	c [picomus] reduction 25 to 27663 out of 211126 (13%) after 1453.0 sec
1453.94/1453.91	c [picomus] reduction 26 to 27661 out of 211126 (13%) after 1454.0 sec
1455.25/1455.25	c [picomus] reduction 27 to 27659 out of 211126 (13%) after 1455.3 sec
1458.55/1458.55	c [picomus] reduction 28 to 27657 out of 211126 (13%) after 1458.6 sec
1460.94/1460.97	c [picomus] reduction 29 to 27655 out of 211126 (13%) after 1461.0 sec
1462.84/1462.82	c [picomus] reduction 30 to 27654 out of 211126 (13%) after 1462.9 sec
1464.05/1464.02	c [picomus] reduction 31 to 27652 out of 211126 (13%) after 1464.1 sec
1464.94/1464.96	c [picomus] reduction 32 to 27651 out of 211126 (13%) after 1465.0 sec
1465.15/1465.13	c [picomus] reduction 33 to 27650 out of 211126 (13%) after 1465.2 sec
1472.04/1472.07	c [picomus] reduction 34 to 27648 out of 211126 (13%) after 1472.1 sec
1473.95/1474.00	c [picomus] reduction 35 to 27646 out of 211126 (13%) after 1474.1 sec
1480.34/1480.31	c [picomus] reduction 36 to 27644 out of 211126 (13%) after 1480.4 sec
1482.44/1482.45	c [picomus] reduction 37 to 27635 out of 211126 (13%) after 1482.5 sec
1483.54/1483.55	c [picomus] reduction 38 to 27633 out of 211126 (13%) after 1483.6 sec
1485.14/1485.19	c [picomus] reduction 39 to 27621 out of 211126 (13%) after 1485.2 sec
1487.15/1487.13	c [picomus] reduction 40 to 27619 out of 211126 (13%) after 1487.2 sec
1488.44/1488.45	c [picomus] reduction 41 to 27617 out of 211126 (13%) after 1488.5 sec
1489.14/1489.19	c [picomus] reduction 42 to 27615 out of 211126 (13%) after 1489.2 sec
1489.94/1489.92	c [picomus] reduction 43 to 27613 out of 211126 (13%) after 1490.0 sec
1495.74/1495.70	c [picomus] reduction 44 to 27611 out of 211126 (13%) after 1495.7 sec
1500.84/1500.80	c [picomus] reduction 45 to 27606 out of 211126 (13%) after 1500.9 sec
1514.76/1514.76	c [picomus] reduction 46 to 27603 out of 211126 (13%) after 1514.8 sec
1515.94/1515.93	c [picomus] reduction 47 to 27590 out of 211126 (13%) after 1516.0 sec
1669.34/1669.37	c [picomus] reduction 48 to 27567 out of 211126 (13%) after 1669.4 sec
1670.24/1670.22	c [picomus] reduction 49 to 27558 out of 211126 (13%) after 1670.3 sec
1670.97/1670.96	c [picomus] reduction 50 to 27548 out of 211126 (13%) after 1671.0 sec
1671.84/1671.80	c [picomus] reduction 51 to 27547 out of 211126 (13%) after 1671.9 sec
1673.24/1673.27	c [picomus] reduction 52 to 27545 out of 211126 (13%) after 1673.3 sec
1674.16/1674.12	c [picomus] reduction 53 to 27540 out of 211126 (13%) after 1674.2 sec
1687.74/1687.76	c [picomus] reduction 54 to 27539 out of 211126 (13%) after 1687.8 sec
1732.56/1732.52	c [picomus] reduction 55 to 27536 out of 211126 (13%) after 1732.6 sec
1733.56/1733.56	c [picomus] reduction 56 to 27531 out of 211126 (13%) after 1733.6 sec
1733.94/1733.98	c [picomus] reduction 57 to 27530 out of 211126 (13%) after 1734.0 sec
1734.76/1734.75	c [picomus] reduction 58 to 27529 out of 211126 (13%) after 1734.8 sec
1734.76/1734.78	c [picomus] reduction 59 to 27527 out of 211126 (13%) after 1734.8 sec
1734.94/1734.93	c [picomus] reduction 60 to 27525 out of 211126 (13%) after 1735.0 sec
1734.94/1734.95	c [picomus] reduction 61 to 27524 out of 211126 (13%) after 1735.0 sec
1735.76/1735.72	c [picomus] reduction 62 to 27522 out of 211126 (13%) after 1735.8 sec
1735.86/1735.86	c [picomus] reduction 63 to 27521 out of 211126 (13%) after 1735.9 sec
1736.74/1736.77	c [picomus] reduction 64 to 27519 out of 211126 (13%) after 1736.8 sec
1737.54/1737.57	c [picomus] reduction 65 to 27518 out of 211126 (13%) after 1737.6 sec
1737.74/1737.72	c [picomus] reduction 66 to 27517 out of 211126 (13%) after 1737.8 sec
1738.44/1738.49	c [picomus] reduction 67 to 27515 out of 211126 (13%) after 1738.5 sec
1739.34/1739.36	c [picomus] reduction 68 to 27512 out of 211126 (13%) after 1739.4 sec
1739.54/1739.51	c [picomus] reduction 69 to 27511 out of 211126 (13%) after 1739.6 sec
1781.74/1781.75	c [picomus] reduction 70 to 27510 out of 211126 (13%) after 1781.8 sec

Verifier Data 

ERROR: no value line found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3483775-1307605148/watcher-3483775-1307605148 -o /tmp/evaluation-result-3483775-1307605148/solver-3483775-1307605148 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3483775-1307605148.cnf 

running on 2 cores: 1,3

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: 3.87 1.50 0.55 4/873 27050
/proc/meminfo: memFree=6184156/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=4324 CPUtime=0.01 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 579 0 0 0 1 0 0 0 25 0 1 0 950745509 4427776 534 33554432000 134512640 135072097 4289711616 18446744073709551615 134705502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 1081 536 53 137 0 942 0

[startup+0.0692111 s]
/proc/loadavg: 3.87 1.50 0.55 4/873 27050
/proc/meminfo: memFree=6184156/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=8752 CPUtime=0.06 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 2118 0 0 0 6 0 0 0 25 0 1 0 950745509 8962048 2072 33554432000 134512640 135072097 4289711616 18446744073709551615 134543284 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 2188 2073 61 137 0 2049 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8752

[startup+0.100206 s]
/proc/loadavg: 3.87 1.50 0.55 4/873 27050
/proc/meminfo: memFree=6184156/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=15392 CPUtime=0.09 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 3614 0 0 0 9 0 0 0 25 0 1 0 950745509 15761408 3545 33554432000 134512640 135072097 4289711616 18446744073709551615 134540796 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 3848 3546 61 137 0 3709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15392

[startup+0.300171 s]
/proc/loadavg: 3.87 1.50 0.55 4/873 27050
/proc/meminfo: memFree=6184156/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=19956 CPUtime=0.29 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 4768 0 0 0 29 0 0 0 25 0 1 0 950745509 20434944 4699 33554432000 134512640 135072097 4289711616 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 4989 4699 69 137 0 4850 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19956

[startup+0.701098 s]
/proc/loadavg: 3.87 1.50 0.55 4/873 27050
/proc/meminfo: memFree=6184156/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=20364 CPUtime=0.69 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 4849 0 0 0 69 0 0 0 25 0 1 0 950745509 20852736 4780 33554432000 134512640 135072097 4289711616 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 5091 4780 69 137 0 4952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20364

[startup+1.50095 s]
/proc/loadavg: 3.88 1.54 0.57 5/874 27051
/proc/meminfo: memFree=6163944/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=21032 CPUtime=1.49 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 5022 0 0 0 149 0 0 0 25 0 1 0 950745509 21536768 4953 33554432000 134512640 135072097 4289711616 18446744073709551615 134543606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 5258 4953 69 137 0 5119 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21032

[startup+3.10066 s]
/proc/loadavg: 3.88 1.54 0.57 5/874 27051
/proc/meminfo: memFree=6161712/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=23172 CPUtime=3.09 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 5573 0 0 0 309 0 0 0 25 0 1 0 950745509 23728128 5504 33554432000 134512640 135072097 4289711616 18446744073709551615 134556221 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 5793 5504 69 137 0 5654 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23172

[startup+6.30107 s]
/proc/loadavg: 3.89 1.58 0.58 5/874 27051
/proc/meminfo: memFree=6156292/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=29508 CPUtime=6.3 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 7147 0 0 0 629 1 0 0 25 0 1 0 950745509 30216192 7078 33554432000 134512640 135072097 4289711616 18446744073709551615 134558253 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 7377 7078 69 137 0 7238 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 29508

[startup+12.7009 s]
/proc/loadavg: 3.90 1.62 0.60 5/874 27078
/proc/meminfo: memFree=6230292/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=40968 CPUtime=12.69 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 9890 0 0 0 1268 1 0 0 25 0 1 0 950745509 41951232 9821 33554432000 134512640 135072097 4289711616 18446744073709551615 134558325 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 10242 9821 69 137 0 10103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40968

[startup+25.5006 s]
/proc/loadavg: 3.91 1.70 0.64 5/874 27106
/proc/meminfo: memFree=6362672/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=20324 CPUtime=25.49 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 20773 0 0 0 2546 3 0 0 25 0 1 0 950745509 20811776 4832 33554432000 134512640 135072097 4289711616 18446744073709551615 134543847 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 5081 4832 76 137 0 4942 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20324

[startup+51.1009 s]
/proc/loadavg: 3.94 1.92 0.74 5/874 27134
/proc/meminfo: memFree=6314500/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=39516 CPUtime=51.09 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 40928 0 0 0 5101 8 0 0 25 0 1 0 950745509 40464384 9561 33554432000 134512640 135072097 4289711616 18446744073709551615 134558275 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 9879 9561 76 137 0 9740 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39516

[startup+102.322 s]
/proc/loadavg: 3.97 2.24 0.91 5/874 27135
/proc/meminfo: memFree=6201376/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=33940 CPUtime=102.31 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 86955 0 0 0 10212 19 0 0 25 0 1 0 950745509 34754560 8231 33554432000 134512640 135072097 4289711616 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 8485 8231 76 137 0 8346 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 33940

[startup+162.301 s]
/proc/loadavg: 4.07 2.58 1.11 5/874 27136
/proc/meminfo: memFree=5954684/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=26908 CPUtime=162.3 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 141128 0 0 0 16200 30 0 0 25 0 1 0 950745509 27553792 6409 33554432000 134512640 135072097 4289711616 18446744073709551615 134580722 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 6727 6409 76 137 0 6588 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 26908

[startup+222.301 s]
/proc/loadavg: 4.06 2.85 1.30 5/874 27138
/proc/meminfo: memFree=6305656/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=32856 CPUtime=222.3 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 193177 0 0 0 22190 40 0 0 25 0 1 0 950745509 33644544 7962 33554432000 134512640 135072097 4289711616 18446744073709551615 134539142 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 8214 7962 76 137 0 8075 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 32856

[startup+282.301 s]
/proc/loadavg: 4.16 3.09 1.47 5/874 27140
/proc/meminfo: memFree=6048784/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=21352 CPUtime=282.3 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 247868 0 0 0 28179 51 0 0 25 0 1 0 950745509 21864448 5095 33554432000 134512640 135072097 4289711616 18446744073709551615 134580563 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 5338 5095 76 137 0 5199 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21352

[startup+342.301 s]
/proc/loadavg: 4.20 3.30 1.64 5/874 27141
/proc/meminfo: memFree=5775172/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=14776 CPUtime=342.3 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 303129 0 0 0 34168 62 0 0 25 0 1 0 950745509 15130624 3487 33554432000 134512640 135072097 4289711616 18446744073709551615 134580785 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 3694 3487 76 137 0 3555 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 14776

[startup+402.301 s]
/proc/loadavg: 4.27 3.47 1.80 5/874 27143
/proc/meminfo: memFree=6288848/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=14776 CPUtime=402.3 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 357022 0 0 0 40157 73 0 0 25 0 1 0 950745509 15130624 3487 33554432000 134512640 135072097 4289711616 18446744073709551615 134543606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 3694 3487 76 137 0 3555 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 14776

[startup+462.301 s]
/proc/loadavg: 4.17 3.58 1.94 5/874 27144
/proc/meminfo: memFree=5649584/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=408164 CPUtime=462.3 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 483167 0 0 0 46141 89 0 0 25 0 1 0 950745509 417959936 101415 33554432000 134512640 135072097 4289711616 18446744073709551615 134539704 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 102041 101415 76 137 0 101902 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 408164

[startup+522.301 s]
/proc/loadavg: 4.06 3.65 2.07 5/874 27146
/proc/meminfo: memFree=5092760/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=735504 CPUtime=522.31 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 565034 0 0 0 52131 100 0 0 25 0 1 0 950745509 753156096 183270 33554432000 134512640 135072097 4289711616 18446744073709551615 134558408 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 183876 183270 76 137 0 183737 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 735504

[startup+582.301 s]
/proc/loadavg: 3.87 3.68 2.18 4/868 27165
/proc/meminfo: memFree=4541284/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=582.31 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651856 0 0 0 58121 110 0 0 25 0 1 0 950745509 1109471232 270064 33554432000 134512640 135072097 4289711616 18446744073709551615 134556770 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270064 77 137 0 270728 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1083468

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 3.05 3.33 2.37 4/868 27171
/proc/meminfo: memFree=4564624/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=822.31 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651867 0 0 0 82121 110 0 0 25 0 1 0 950745509 1109471232 270075 33554432000 134512640 135072097 4289711616 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270075 77 137 0 270728 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1083468

[startup+882.301 s]
/proc/loadavg: 3.14 3.31 2.42 4/868 27173
/proc/meminfo: memFree=5289832/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=882.32 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651872 0 0 0 88121 111 0 0 25 0 1 0 950745509 1109471232 270080 33554432000 134512640 135072097 4289711616 18446744073709551615 134562712 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270080 77 137 0 270728 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1083468

[startup+942.301 s]
/proc/loadavg: 3.13 3.28 2.46 4/868 27174
/proc/meminfo: memFree=5026920/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=942.32 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 94121 111 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134549160 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1083468

[startup+1002.3 s]
/proc/loadavg: 3.05 3.23 2.49 4/868 27176
/proc/meminfo: memFree=4786804/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1002.32 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 100121 111 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134543952 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1083468

[startup+1062.3 s]
/proc/loadavg: 3.02 3.18 2.52 4/868 27177
/proc/meminfo: memFree=5326900/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1062.32 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 106121 111 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134562712 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1083468

[startup+1122.3 s]
/proc/loadavg: 3.00 3.15 2.55 4/868 27179
/proc/meminfo: memFree=5056892/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1122.32 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 112121 111 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1083468

[startup+1182.3 s]
/proc/loadavg: 3.00 3.12 2.57 4/868 27181
/proc/meminfo: memFree=4815896/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1182.33 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 118121 112 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134518160 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1083468

[startup+1242.3 s]
/proc/loadavg: 3.16 3.13 2.61 4/868 27182
/proc/meminfo: memFree=4593372/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1242.33 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 124121 112 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1083468

[startup+1302.3 s]
/proc/loadavg: 3.13 3.12 2.64 4/868 27184
/proc/meminfo: memFree=5155292/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1302.34 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 130122 112 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134549174 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1083468

[startup+1362.3 s]
/proc/loadavg: 2.81 3.04 2.64 3/862 27211
/proc/meminfo: memFree=5324196/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1362.34 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 136121 113 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134568886 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1083468

[startup+1422.32 s]
/proc/loadavg: 2.52 2.91 2.62 3/862 27213
/proc/meminfo: memFree=5060268/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1422.36 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 142123 113 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1083468

[startup+1482.3 s]
/proc/loadavg: 2.19 2.74 2.58 3/862 27215
/proc/meminfo: memFree=4824492/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1482.34 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 148121 113 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134517979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1083468

[startup+1542.3 s]
/proc/loadavg: 2.07 2.60 2.54 3/862 27216
/proc/meminfo: memFree=4597764/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1542.34 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 154121 113 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134548985 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1083468

[startup+1602.3 s]
/proc/loadavg: 2.02 2.49 2.50 3/862 27218
/proc/meminfo: memFree=5379412/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1602.34 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 160120 114 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134521763 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1083468

[startup+1662.3 s]
/proc/loadavg: 2.01 2.40 2.47 3/862 27219
/proc/meminfo: memFree=5322456/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1662.34 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 166120 114 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134562724 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1083468

[startup+1722.3 s]
/proc/loadavg: 2.00 2.32 2.43 3/862 27221
/proc/meminfo: memFree=5212412/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1722.34 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 172120 114 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134518196 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1083468

[startup+1782.3 s]
/proc/loadavg: 2.09 2.29 2.42 3/862 27223
/proc/meminfo: memFree=5005536/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1782.34 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 178120 114 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134543414 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1083468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.14 2.29 2.41 3/862 27223
/proc/meminfo: memFree=4955156/32950928 swapFree=61542368/67111528
[pid=27050] ppid=27048 vsize=1083468 CPUtime=1800.06 cores=1,3
/proc/27050/stat : 27050 (picomus) R 27048 27050 26929 0 -1 4202496 651877 0 0 0 179892 114 0 0 25 0 1 0 950745509 1109471232 270085 33554432000 134512640 135072097 4289711616 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27050/statm: 270867 270085 77 137 0 270728 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1083468

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.11
CPU user time (s): 1798.93
CPU system time (s): 1.18482
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1083468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.18482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 651877
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= 6
involuntary context switches= 2313

runsolver used 10.3114 second user time and 23.8314 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-09 09:39:08
IDJOB=3483775
IDBENCH=89517
IDSOLVER=1974
FILE ID=node116/3483775-1307605148
RUNJOBID= node116-1307605012-26950
PBS_JOBID= 13547773
Free space on /tmp= 73488 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/f7b.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483775-1307605148/watcher-3483775-1307605148 -o /tmp/evaluation-result-3483775-1307605148/solver-3483775-1307605148 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3483775-1307605148.cnf

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

MD5SUM BENCH= 1e9d259858c4cb5da52919540e6fc087
RANDOM SEED=478174155

node116.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.826
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.65
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.826
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.826
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.826
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.826
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.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       6184312 kB
Buffers:        198828 kB
Cached:         816228 kB
SwapCached:      13320 kB
Active:       26287496 kB
Inactive:       175140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       6184312 kB
SwapTotal:    67111528 kB
SwapFree:     61542368 kB
Dirty:           20304 kB
Writeback:          48 kB
AnonPages:    25445252 kB
Mapped:         129484 kB
Slab:           125040 kB
PageTables:     104796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 166944352 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= 73504 MiB
End job on node116 at 2011-06-09 10:09:10