Trace number 3493714

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.09 1800.11

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-nusmvtcastp2-tseitin.cnf
MD5SUMb89aeb63aa93f7d74332e7bb38b0b94a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark188.396
Satisfiable
(Un)Satisfiability was proved
Number of variables116886
Number of clauses331028
Sum of the clauses size772396
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2220684
Number of clauses of size 3110342
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 116886 331028
21.90/21.97	s UNSATISFIABLE
21.90/21.98	c [picomus] extracted core 1 of size 23943 out of 331028 (7%) after 22.0 sec
22.89/22.97	c [picomus] extracted core 2 of size 20258 out of 331028 (6%) after 23.0 sec
24.19/24.24	c [picomus] extracted core 3 of size 19432 out of 331028 (6%) after 24.2 sec
25.59/25.68	c [picomus] extracted core 4 of size 19024 out of 331028 (6%) after 25.7 sec
27.58/27.63	c [picomus] extracted core 5 of size 18911 out of 331028 (6%) after 27.6 sec
29.70/29.77	c [picomus] extracted core 6 of size 18814 out of 331028 (6%) after 29.8 sec
31.59/31.60	c [picomus] extracted core 7 of size 18789 out of 331028 (6%) after 31.6 sec
33.49/33.56	c [picomus] extracted core 8 of size 18738 out of 331028 (6%) after 33.6 sec
35.59/35.60	c [picomus] extracted core 9 of size 18734 out of 331028 (6%) after 35.6 sec
37.69/37.78	c [picomus] extracted core 10 of size 18730 out of 331028 (6%) after 37.8 sec
39.79/39.87	c [picomus] extracted core 11 of size 18723 out of 331028 (6%) after 39.9 sec
41.88/41.91	c [picomus] extracted core 12 of size 18718 out of 331028 (6%) after 41.9 sec
45.09/45.17	c [picomus] reduction 1 to 18562 out of 331028 (6%) after 45.2 sec
50.09/50.10	c [picomus] reduction 2 to 18531 out of 331028 (6%) after 50.1 sec
153.69/153.74	c [picomus] reduction 3 to 18523 out of 331028 (6%) after 153.7 sec
200.39/200.49	c [picomus] reduction 4 to 18520 out of 331028 (6%) after 200.5 sec
202.39/202.47	c [picomus] reduction 5 to 18518 out of 331028 (6%) after 202.5 sec
212.69/212.70	c [picomus] reduction 6 to 18517 out of 331028 (6%) after 212.7 sec
213.09/213.15	c [picomus] reduction 7 to 18516 out of 331028 (6%) after 213.2 sec
213.29/213.38	c [picomus] reduction 8 to 18515 out of 331028 (6%) after 213.4 sec
229.09/229.11	c [picomus] reduction 9 to 18513 out of 331028 (6%) after 229.1 sec
229.49/229.53	c [picomus] reduction 10 to 18511 out of 331028 (6%) after 229.5 sec
230.49/230.51	c [picomus] reduction 11 to 18509 out of 331028 (6%) after 230.5 sec
244.20/244.27	c [picomus] reduction 12 to 18506 out of 331028 (6%) after 244.3 sec
348.39/348.47	c [picomus] reduction 13 to 18505 out of 331028 (6%) after 348.5 sec
348.59/348.69	c [picomus] reduction 14 to 18501 out of 331028 (6%) after 348.7 sec
386.89/386.95	c [picomus] reduction 15 to 18498 out of 331028 (6%) after 387.0 sec
441.79/441.84	c [picomus] reduction 16 to 18496 out of 331028 (6%) after 441.8 sec
441.99/442.09	c [picomus] reduction 17 to 18494 out of 331028 (6%) after 442.1 sec
444.79/444.83	c [picomus] reduction 18 to 18492 out of 331028 (6%) after 444.8 sec
573.59/573.61	c [picomus] reduction 19 to 18491 out of 331028 (6%) after 573.6 sec
575.29/575.37	c [picomus] reduction 20 to 18490 out of 331028 (6%) after 575.4 sec
577.29/577.31	c [picomus] reduction 21 to 18489 out of 331028 (6%) after 577.3 sec
616.20/616.21	c [picomus] reduction 22 to 18487 out of 331028 (6%) after 616.2 sec
630.59/630.66	c [picomus] reduction 23 to 18486 out of 331028 (6%) after 630.7 sec
662.20/662.29	c [picomus] reduction 24 to 18485 out of 331028 (6%) after 662.3 sec
664.00/664.07	c [picomus] reduction 25 to 18484 out of 331028 (6%) after 664.1 sec
665.89/665.99	c [picomus] reduction 26 to 18483 out of 331028 (6%) after 666.0 sec
749.19/749.26	c [picomus] reduction 27 to 18482 out of 331028 (6%) after 749.3 sec
750.99/751.02	c [picomus] reduction 28 to 18481 out of 331028 (6%) after 751.0 sec
752.89/752.97	c [picomus] reduction 29 to 18480 out of 331028 (6%) after 753.0 sec
762.90/762.95	c [picomus] reduction 30 to 18479 out of 331028 (6%) after 763.0 sec
763.10/763.15	c [picomus] reduction 31 to 18477 out of 331028 (6%) after 763.2 sec
764.79/764.87	c [picomus] reduction 32 to 18475 out of 331028 (6%) after 764.9 sec
804.00/804.01	c [picomus] reduction 33 to 18473 out of 331028 (6%) after 804.0 sec
805.89/805.96	c [picomus] reduction 34 to 18471 out of 331028 (6%) after 806.0 sec
810.60/810.61	c [picomus] reduction 35 to 18470 out of 331028 (6%) after 810.6 sec
877.29/877.34	c [picomus] reduction 36 to 18468 out of 331028 (6%) after 877.3 sec
877.89/877.93	c [picomus] reduction 37 to 18466 out of 331028 (6%) after 877.9 sec
884.99/885.08	c [picomus] reduction 38 to 18465 out of 331028 (6%) after 885.1 sec
933.69/933.79	c [picomus] reduction 39 to 18464 out of 331028 (6%) after 933.8 sec
1001.29/1001.32	c [picomus] reduction 40 to 18463 out of 331028 (6%) after 1001.3 sec
1013.19/1013.23	c [picomus] reduction 41 to 18462 out of 331028 (6%) after 1013.2 sec
1045.00/1045.04	c [picomus] reduction 42 to 18461 out of 331028 (6%) after 1045.0 sec
1089.39/1089.42	c [picomus] reduction 43 to 18459 out of 331028 (6%) after 1089.4 sec
1130.99/1131.06	c [picomus] reduction 44 to 18458 out of 331028 (6%) after 1131.1 sec
1176.68/1176.75	c [picomus] reduction 45 to 18457 out of 331028 (6%) after 1176.8 sec
1223.08/1223.19	c [picomus] reduction 46 to 18456 out of 331028 (6%) after 1223.2 sec
1234.19/1234.25	c [picomus] reduction 47 to 18453 out of 331028 (6%) after 1234.2 sec
1238.39/1238.46	c [picomus] reduction 48 to 18452 out of 331028 (6%) after 1238.5 sec
1239.69/1239.79	c [picomus] reduction 49 to 18451 out of 331028 (6%) after 1239.8 sec
1306.19/1306.28	c [picomus] reduction 50 to 18448 out of 331028 (6%) after 1306.3 sec
1342.09/1342.15	c [picomus] reduction 51 to 18447 out of 331028 (6%) after 1342.2 sec
1352.59/1352.65	c [picomus] reduction 52 to 18446 out of 331028 (6%) after 1352.6 sec
1355.99/1356.09	c [picomus] reduction 53 to 18445 out of 331028 (6%) after 1356.1 sec
1357.39/1357.42	c [picomus] reduction 54 to 18444 out of 331028 (6%) after 1357.4 sec
1379.88/1379.97	c [picomus] reduction 55 to 18442 out of 331028 (6%) after 1380.0 sec
1426.48/1426.55	c [picomus] reduction 56 to 18441 out of 331028 (6%) after 1426.5 sec
1462.18/1462.24	c [picomus] reduction 57 to 18440 out of 331028 (6%) after 1462.2 sec
1469.68/1469.70	c [picomus] reduction 58 to 18439 out of 331028 (6%) after 1469.7 sec
1470.38/1470.47	c [picomus] reduction 59 to 18438 out of 331028 (6%) after 1470.5 sec
1471.88/1471.98	c [picomus] reduction 60 to 18437 out of 331028 (6%) after 1472.0 sec
1476.19/1476.21	c [picomus] reduction 61 to 18436 out of 331028 (6%) after 1476.2 sec
1477.48/1477.53	c [picomus] reduction 62 to 18435 out of 331028 (6%) after 1477.5 sec
1499.98/1500.06	c [picomus] reduction 63 to 18424 out of 331028 (6%) after 1500.1 sec
1540.29/1540.30	c [picomus] reduction 64 to 18423 out of 331028 (6%) after 1540.3 sec
1575.89/1575.95	c [picomus] reduction 65 to 18411 out of 331028 (6%) after 1576.0 sec
1583.39/1583.41	c [picomus] reduction 66 to 18410 out of 331028 (6%) after 1583.4 sec
1585.88/1585.90	c [picomus] reduction 67 to 18408 out of 331028 (6%) after 1585.9 sec
1589.88/1589.90	c [picomus] reduction 68 to 18407 out of 331028 (6%) after 1589.9 sec
1591.18/1591.22	c [picomus] reduction 69 to 18406 out of 331028 (6%) after 1591.2 sec
1647.18/1647.24	c [picomus] reduction 70 to 18405 out of 331028 (6%) after 1647.2 sec
1654.78/1654.84	c [picomus] reduction 71 to 18393 out of 331028 (6%) after 1654.8 sec
1690.59/1690.62	c [picomus] reduction 72 to 18381 out of 331028 (6%) after 1690.6 sec
1704.27/1704.35	c [picomus] reduction 73 to 18380 out of 331028 (6%) after 1704.3 sec
1705.77/1705.88	c [picomus] reduction 74 to 18379 out of 331028 (6%) after 1705.9 sec
1761.67/1761.70	c [picomus] reduction 75 to 18378 out of 331028 (6%) after 1761.7 sec
1769.67/1769.71	c [picomus] reduction 76 to 18377 out of 331028 (6%) after 1769.7 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-3493714-1307802556/watcher-3493714-1307802556 -o /tmp/evaluation-result-3493714-1307802556/solver-3493714-1307802556 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493714-1307802556.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: 0.92 1.00 0.99 6/190 24377
/proc/meminfo: memFree=31636976/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=5332 CPUtime=0.01 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 424 0 0 0 1 0 0 0 22 0 1 0 891853824 5459968 379 33554432000 134512640 135072097 4288087840 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 1333 379 53 137 0 1194 0

[startup+0.044968 s]
/proc/loadavg: 0.92 1.00 0.99 6/190 24377
/proc/meminfo: memFree=31636976/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=7444 CPUtime=0.04 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 1267 0 0 0 4 0 0 0 22 0 1 0 891853824 7622656 1222 33554432000 134512640 135072097 4288087840 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 1861 1222 53 137 0 1722 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7444

[startup+0.100954 s]
/proc/loadavg: 0.92 1.00 0.99 6/190 24377
/proc/meminfo: memFree=31636976/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=11804 CPUtime=0.09 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 2861 0 0 0 9 0 0 0 22 0 1 0 891853824 12087296 2815 33554432000 134512640 135072097 4288087840 18446744073709551615 134550293 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 2951 2816 61 137 0 2812 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11804

[startup+0.300916 s]
/proc/loadavg: 0.92 1.00 0.99 6/190 24377
/proc/meminfo: memFree=31636976/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=30344 CPUtime=0.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 7274 0 0 0 28 1 0 0 23 0 1 0 891853824 31072256 7228 33554432000 134512640 135072097 4288087840 18446744073709551615 134536662 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 7586 7228 68 137 0 7447 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30344

[startup+0.700849 s]
/proc/loadavg: 0.92 1.00 0.99 6/190 24377
/proc/meminfo: memFree=31636976/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=31120 CPUtime=0.69 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 7457 0 0 0 68 1 0 0 25 0 1 0 891853824 31866880 7411 33554432000 134512640 135072097 4288087840 18446744073709551615 134538010 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 7780 7411 69 137 0 7641 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31120

[startup+1.5007 s]
/proc/loadavg: 0.92 1.00 0.99 5/191 24378
/proc/meminfo: memFree=31521920/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=31120 CPUtime=1.49 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 7470 0 0 0 148 1 0 0 25 0 1 0 891853824 31866880 7424 33554432000 134512640 135072097 4288087840 18446744073709551615 134558253 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 7780 7424 69 137 0 7641 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31120

[startup+3.10041 s]
/proc/loadavg: 0.92 1.00 0.99 5/191 24378
/proc/meminfo: memFree=31518892/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=31252 CPUtime=3.09 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 7489 0 0 0 308 1 0 0 25 0 1 0 891853824 32002048 7443 33554432000 134512640 135072097 4288087840 18446744073709551615 134543779 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 7813 7443 69 137 0 7674 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31252

[startup+6.30083 s]
/proc/loadavg: 1.17 1.04 1.01 5/191 24378
/proc/meminfo: memFree=31512580/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=31524 CPUtime=6.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 7557 0 0 0 628 1 0 0 25 0 1 0 891853824 32280576 7511 33554432000 134512640 135072097 4288087840 18446744073709551615 134580738 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 7881 7511 69 137 0 7742 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31524

[startup+12.7007 s]
/proc/loadavg: 1.39 1.09 1.03 5/191 24378
/proc/meminfo: memFree=31519660/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=32052 CPUtime=12.69 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 7687 0 0 0 1268 1 0 0 25 0 1 0 891853824 32821248 7641 33554432000 134512640 135072097 4288087840 18446744073709551615 134543847 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 8013 7641 69 137 0 7874 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32052

[startup+25.5003 s]
/proc/loadavg: 1.97 1.24 1.07 5/191 24379
/proc/meminfo: memFree=31537388/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=21056 CPUtime=25.49 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 15231 0 0 0 2547 2 0 0 25 0 1 0 891853824 21561344 4926 33554432000 134512640 135072097 4288087840 18446744073709551615 134518232 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 5264 4926 76 137 0 5125 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21056

[startup+51.1007 s]
/proc/loadavg: 2.66 1.46 1.15 5/191 24379
/proc/meminfo: memFree=31536064/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=48760 CPUtime=51.09 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 43278 0 0 0 5101 8 0 0 25 0 1 0 891853824 49930240 11563 33554432000 134512640 135072097 4288087840 18446744073709551615 134548993 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 12190 11563 77 137 0 12051 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 48760

[startup+102.306 s]
/proc/loadavg: 3.42 1.85 1.30 5/191 24381
/proc/meminfo: memFree=31445616/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=48760 CPUtime=102.3 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 43278 0 0 0 10222 8 0 0 25 0 1 0 891853824 49930240 11563 33554432000 134512640 135072097 4288087840 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 12190 11563 77 137 0 12051 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 48760

[startup+162.3 s]
/proc/loadavg: 3.78 2.24 1.46 5/191 24382
/proc/meminfo: memFree=31445040/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=49052 CPUtime=162.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 43362 0 0 0 16221 8 0 0 25 0 1 0 891853824 50229248 11647 33554432000 134512640 135072097 4288087840 18446744073709551615 134585044 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 12263 11647 77 137 0 12124 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 49052

[startup+222.3 s]
/proc/loadavg: 3.96 2.57 1.62 5/191 24384
/proc/meminfo: memFree=30779972/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=49636 CPUtime=222.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 43510 0 0 0 22221 8 0 0 25 0 1 0 891853824 50827264 11795 33554432000 134512640 135072097 4288087840 18446744073709551615 134518191 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 12409 11795 77 137 0 12270 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 49636

[startup+282.301 s]
/proc/loadavg: 3.98 2.83 1.77 5/191 24386
/proc/meminfo: memFree=30112944/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=50864 CPUtime=282.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 43802 0 0 0 28220 9 0 0 25 0 1 0 891853824 52084736 12087 33554432000 134512640 135072097 4288087840 18446744073709551615 134568736 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 12716 12087 77 137 0 12577 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 50864

[startup+342.301 s]
/proc/loadavg: 4.09 3.07 1.92 5/191 24387
/proc/meminfo: memFree=30096776/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=51752 CPUtime=342.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44007 0 0 0 34220 9 0 0 25 0 1 0 891853824 52994048 12292 33554432000 134512640 135072097 4288087840 18446744073709551615 134585049 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 12938 12292 77 137 0 12799 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 51752

[startup+402.301 s]
/proc/loadavg: 4.03 3.23 2.04 5/191 24389
/proc/meminfo: memFree=30073172/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=52616 CPUtime=402.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44254 0 0 0 40220 9 0 0 25 0 1 0 891853824 53878784 12539 33554432000 134512640 135072097 4288087840 18446744073709551615 134518232 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13154 12539 77 137 0 13015 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 52616

[startup+462.301 s]
/proc/loadavg: 4.10 3.40 2.17 5/191 24390
/proc/meminfo: memFree=30068904/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=52616 CPUtime=462.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44254 0 0 0 46219 10 0 0 25 0 1 0 891853824 53878784 12539 33554432000 134512640 135072097 4288087840 18446744073709551615 134583471 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13154 12539 77 137 0 13015 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 52616

[startup+522.301 s]
/proc/loadavg: 4.03 3.51 2.29 5/191 24392
/proc/meminfo: memFree=30068616/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=52616 CPUtime=522.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44254 0 0 0 52219 10 0 0 25 0 1 0 891853824 53878784 12539 33554432000 134512640 135072097 4288087840 18446744073709551615 134518232 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13154 12539 77 137 0 13015 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 52616

[startup+582.301 s]
/proc/loadavg: 4.01 3.59 2.39 5/191 24394
/proc/meminfo: memFree=30066716/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53708 CPUtime=582.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44496 0 0 0 58219 10 0 0 25 0 1 0 891853824 54996992 12781 33554432000 134512640 135072097 4288087840 18446744073709551615 134583951 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13427 12781 77 137 0 13288 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 53708

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 4.09 3.88 2.84 5/191 24402
/proc/meminfo: memFree=29986764/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=882.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44496 0 0 0 88218 11 0 0 25 0 1 0 891853824 54554624 12705 33554432000 134512640 135072097 4288087840 18446744073709551615 134571647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12705 77 137 0 13180 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 53276

[startup+942.3 s]
/proc/loadavg: 4.10 3.91 2.91 5/191 24403
/proc/meminfo: memFree=29986680/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=942.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 94218 11 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 53276

[startup+1002.3 s]
/proc/loadavg: 4.04 3.93 2.98 5/191 24405
/proc/meminfo: memFree=29983656/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1002.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 100217 12 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134583192 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 53276

[startup+1062.3 s]
/proc/loadavg: 4.05 3.95 3.04 5/191 24406
/proc/meminfo: memFree=29983616/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1062.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 106217 12 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134583963 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 53276

[startup+1122.3 s]
/proc/loadavg: 4.15 4.00 3.12 5/191 24408
/proc/meminfo: memFree=29983836/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1122.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 112217 12 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134584030 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 53276

[startup+1182.3 s]
/proc/loadavg: 4.05 4.00 3.17 5/191 24410
/proc/meminfo: memFree=29975356/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1182.28 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 118216 12 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134585031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 53276

[startup+1242.3 s]
/proc/loadavg: 4.02 4.00 3.22 5/191 24411
/proc/meminfo: memFree=29956336/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1242.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 124216 13 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134585031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 53276

[startup+1302.3 s]
/proc/loadavg: 4.00 4.00 3.26 5/191 24413
/proc/meminfo: memFree=29942132/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1302.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 130216 13 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134584039 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 53276

[startup+1362.3 s]
/proc/loadavg: 4.04 4.01 3.31 5/191 24414
/proc/meminfo: memFree=29941964/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1362.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 136216 13 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134568056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 53276

[startup+1422.31 s]
/proc/loadavg: 4.01 4.01 3.35 5/191 24416
/proc/meminfo: memFree=29942028/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1422.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 142216 13 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134549168 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 53276

[startup+1482.3 s]
/proc/loadavg: 4.00 4.00 3.39 5/191 24418
/proc/meminfo: memFree=29941968/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1482.28 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 148215 13 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134584004 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 53276

[startup+1542.3 s]
/proc/loadavg: 4.03 4.01 3.43 5/191 24419
/proc/meminfo: memFree=29942168/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1542.29 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 154215 14 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134584057 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 53276

[startup+1602.3 s]
/proc/loadavg: 4.01 4.01 3.46 5/191 24421
/proc/meminfo: memFree=29942256/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1602.28 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 160214 14 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134583838 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 53276

[startup+1662.3 s]
/proc/loadavg: 4.06 4.02 3.50 5/191 24422
/proc/meminfo: memFree=29942096/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1662.28 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 166214 14 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134584030 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 53276

[startup+1722.3 s]
/proc/loadavg: 4.06 4.03 3.53 5/191 24424
/proc/meminfo: memFree=29942292/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1722.27 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 172213 14 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 53276

[startup+1782.3 s]
/proc/loadavg: 4.12 4.05 3.57 5/191 24426
/proc/meminfo: memFree=29936036/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1782.28 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 178213 15 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134583959 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 53276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 4.08 4.05 3.58 3/187 24428
/proc/meminfo: memFree=30415072/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1800.09 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 179994 15 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134518191 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 53276

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: 4.08 4.05 3.58 3/187 24428
/proc/meminfo: memFree=30415072/32951124 swapFree=67063556/67111528
[pid=24377] ppid=24375 vsize=53276 CPUtime=1800.09 cores=1,3
/proc/24377/stat : 24377 (picomus) R 24375 24377 23765 0 -1 4202496 44497 0 0 0 179994 15 0 0 25 0 1 0 891853824 54554624 12706 33554432000 134512640 135072097 4288087840 18446744073709551615 134518191 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24377/statm: 13319 12706 77 137 0 13180 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 53276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.11
CPU time (s): 1800.09
CPU user time (s): 1799.94
CPU system time (s): 0.152976
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 53708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44497
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= 3
involuntary context switches= 3526

runsolver used 2.95555 second user time and 6.83796 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-11 16:29:16
IDJOB=3493714
IDBENCH=82483
IDSOLVER=1974
FILE ID=node134/3493714-1307802556
RUNJOBID= node134-1307802556-24321
PBS_JOBID= 13551014
Free space on /tmp= 74092 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-nusmvtcastp2-tseitin.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493714-1307802556/watcher-3493714-1307802556 -o /tmp/evaluation-result-3493714-1307802556/solver-3493714-1307802556 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493714-1307802556.cnf

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

MD5SUM BENCH= b89aeb63aa93f7d74332e7bb38b0b94a
RANDOM SEED=596367213

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31642472 kB
Buffers:        318912 kB
Cached:         745140 kB
SwapCached:      10284 kB
Active:         557704 kB
Inactive:       549344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31642472 kB
SwapTotal:    67111528 kB
SwapFree:     67063556 kB
Dirty:           30704 kB
Writeback:           8 kB
AnonPages:       39692 kB
Mapped:          10736 kB
Slab:           137892 kB
PageTables:       4784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   243164 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74108 MiB
End job on node134 at 2011-06-11 16:59:18