Trace number 3493538

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.12 1800.07

General information on the benchmark

Nameindustrial/anbulagan/
medium-unsat/total-5-11-u.cnf
MD5SUM770fa9cd880a43d98e936f33f4e86d7a
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 variables156980
Number of clauses696581
Sum of the clauses size1582352
Maximum clause length10
Minimum clause length1
Number of clauses of size 113310
Number of clauses of size 2570471
Number of clauses of size 382900
Number of clauses of size 43320
Number of clauses of size 513280
Number of clauses of size over 513300

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 156980 696581
18.69/18.72	s UNSATISFIABLE
18.79/18.86	c [picomus] extracted core 1 of size 109351 out of 696581 (16%) after 18.9 sec
29.19/29.24	c [picomus] extracted core 2 of size 75362 out of 696581 (11%) after 29.2 sec
37.69/37.77	c [picomus] extracted core 3 of size 65736 out of 696581 (9%) after 37.8 sec
43.09/43.16	c [picomus] extracted core 4 of size 63239 out of 696581 (9%) after 43.2 sec
51.20/51.29	c [picomus] extracted core 5 of size 62294 out of 696581 (9%) after 51.3 sec
61.39/61.43	c [picomus] extracted core 6 of size 61732 out of 696581 (9%) after 61.4 sec
68.59/68.65	c [picomus] extracted core 7 of size 61227 out of 696581 (9%) after 68.7 sec
73.99/74.04	c [picomus] extracted core 8 of size 60093 out of 696581 (9%) after 74.0 sec
78.79/78.84	c [picomus] extracted core 9 of size 59202 out of 696581 (8%) after 78.8 sec
85.29/85.37	c [picomus] extracted core 10 of size 58809 out of 696581 (8%) after 85.4 sec
89.99/90.09	c [picomus] extracted core 11 of size 58108 out of 696581 (8%) after 90.1 sec
96.69/96.74	c [picomus] extracted core 12 of size 58046 out of 696581 (8%) after 96.7 sec
102.19/102.20	c [picomus] extracted core 13 of size 57879 out of 696581 (8%) after 102.2 sec
106.69/106.71	c [picomus] extracted core 14 of size 57818 out of 696581 (8%) after 106.7 sec
112.59/112.61	c [picomus] extracted core 15 of size 57754 out of 696581 (8%) after 112.6 sec
117.89/117.98	c [picomus] extracted core 16 of size 57669 out of 696581 (8%) after 118.0 sec
122.89/122.90	c [picomus] extracted core 17 of size 57273 out of 696581 (8%) after 122.9 sec
128.70/128.76	c [picomus] extracted core 18 of size 57086 out of 696581 (8%) after 128.8 sec
134.59/134.61	c [picomus] extracted core 19 of size 57034 out of 696581 (8%) after 134.6 sec
139.80/139.86	c [picomus] extracted core 20 of size 56808 out of 696581 (8%) after 139.9 sec
145.09/145.16	c [picomus] extracted core 21 of size 56742 out of 696581 (8%) after 145.2 sec
150.89/150.95	c [picomus] extracted core 22 of size 56709 out of 696581 (8%) after 151.0 sec
156.30/156.35	c [picomus] extracted core 23 of size 56698 out of 696581 (8%) after 156.4 sec
161.80/161.82	c [picomus] extracted core 24 of size 56630 out of 696581 (8%) after 161.8 sec
166.70/166.71	c [picomus] extracted core 25 of size 56584 out of 696581 (8%) after 166.7 sec
171.60/171.66	c [picomus] extracted core 26 of size 56564 out of 696581 (8%) after 171.7 sec
176.30/176.36	c [picomus] extracted core 27 of size 56519 out of 696581 (8%) after 176.4 sec
183.70/183.77	c [picomus] extracted core 28 of size 56499 out of 696581 (8%) after 183.8 sec
189.80/189.80	c [picomus] extracted core 29 of size 56430 out of 696581 (8%) after 189.8 sec
198.29/198.37	c [picomus] extracted core 30 of size 56410 out of 696581 (8%) after 198.4 sec
203.60/203.66	c [picomus] extracted core 31 of size 56350 out of 696581 (8%) after 203.7 sec
208.79/208.87	c [picomus] extracted core 32 of size 55955 out of 696581 (8%) after 208.9 sec
214.90/214.95	c [picomus] extracted core 33 of size 55317 out of 696581 (8%) after 215.0 sec
221.40/221.46	c [picomus] extracted core 34 of size 55310 out of 696581 (8%) after 221.5 sec
226.60/226.67	c [picomus] extracted core 35 of size 55299 out of 696581 (8%) after 226.7 sec
232.99/233.09	c [picomus] extracted core 36 of size 55297 out of 696581 (8%) after 233.1 sec
237.60/237.60	c [picomus] extracted core 37 of size 55285 out of 696581 (8%) after 237.6 sec
242.50/242.55	c [picomus] extracted core 38 of size 55265 out of 696581 (8%) after 242.6 sec
248.99/249.08	c [picomus] extracted core 39 of size 55247 out of 696581 (8%) after 249.1 sec
254.50/254.54	c [picomus] extracted core 40 of size 55190 out of 696581 (8%) after 254.6 sec
259.39/259.41	c [picomus] extracted core 41 of size 55121 out of 696581 (8%) after 259.4 sec
266.09/266.11	c [picomus] extracted core 42 of size 55109 out of 696581 (8%) after 266.1 sec
272.90/272.92	c [picomus] extracted core 43 of size 55102 out of 696581 (8%) after 272.9 sec
279.90/279.94	c [picomus] extracted core 44 of size 55078 out of 696581 (8%) after 280.0 sec
285.70/285.79	c [picomus] extracted core 45 of size 55071 out of 696581 (8%) after 285.8 sec
380.61/380.61	c [picomus] reduction 1 to 55055 out of 696581 (8%) after 380.6 sec
468.81/468.88	c [picomus] reduction 2 to 55049 out of 696581 (8%) after 468.9 sec
491.01/491.02	c [picomus] reduction 3 to 55041 out of 696581 (8%) after 491.0 sec
502.41/502.40	c [picomus] reduction 4 to 55039 out of 696581 (8%) after 502.4 sec
506.41/506.49	c [picomus] reduction 5 to 55038 out of 696581 (8%) after 506.5 sec
602.51/602.55	c [picomus] reduction 6 to 54629 out of 696581 (8%) after 602.6 sec
612.41/612.48	c [picomus] reduction 7 to 54627 out of 696581 (8%) after 612.5 sec
670.71/670.72	c [picomus] reduction 8 to 54617 out of 696581 (8%) after 670.7 sec
700.51/700.54	c [picomus] reduction 9 to 54506 out of 696581 (8%) after 700.6 sec
718.71/718.71	c [picomus] reduction 10 to 54505 out of 696581 (8%) after 718.7 sec
775.91/775.92	c [picomus] reduction 11 to 54499 out of 696581 (8%) after 776.0 sec
781.41/781.45	c [picomus] reduction 12 to 54493 out of 696581 (8%) after 781.5 sec
789.51/789.54	c [picomus] reduction 13 to 54487 out of 696581 (8%) after 789.6 sec
795.51/795.51	c [picomus] reduction 14 to 54481 out of 696581 (8%) after 795.5 sec
800.41/800.47	c [picomus] reduction 15 to 54442 out of 696581 (8%) after 800.5 sec
957.22/957.25	c [picomus] reduction 16 to 54435 out of 696581 (8%) after 957.3 sec
1005.62/1005.68	c [picomus] reduction 17 to 54421 out of 696581 (8%) after 1005.7 sec
1028.02/1028.00	c [picomus] reduction 18 to 54414 out of 696581 (8%) after 1028.0 sec
1036.82/1036.88	c [picomus] reduction 19 to 54404 out of 696581 (8%) after 1036.9 sec
1042.52/1042.53	c [picomus] reduction 20 to 54398 out of 696581 (8%) after 1042.6 sec
1047.23/1047.29	c [picomus] reduction 21 to 54390 out of 696581 (8%) after 1047.3 sec
1048.33/1048.31	c [picomus] reduction 22 to 54384 out of 696581 (8%) after 1048.3 sec
1052.62/1052.67	c [picomus] reduction 23 to 54374 out of 696581 (8%) after 1052.7 sec
1061.53/1061.57	c [picomus] reduction 24 to 54363 out of 696581 (8%) after 1061.6 sec
1070.22/1070.27	c [picomus] reduction 25 to 54352 out of 696581 (8%) after 1070.3 sec
1075.83/1075.85	c [picomus] reduction 26 to 54325 out of 696581 (8%) after 1075.9 sec
1148.72/1148.78	c [picomus] reduction 27 to 54321 out of 696581 (8%) after 1148.8 sec
1170.82/1170.86	c [picomus] reduction 28 to 54319 out of 696581 (8%) after 1170.9 sec
1186.42/1186.44	c [picomus] reduction 29 to 54317 out of 696581 (8%) after 1186.5 sec
1195.32/1195.30	c [picomus] reduction 30 to 54315 out of 696581 (8%) after 1195.3 sec
1201.92/1201.91	c [picomus] reduction 31 to 54313 out of 696581 (8%) after 1201.9 sec
1231.23/1231.21	c [picomus] reduction 32 to 54311 out of 696581 (8%) after 1231.3 sec
1259.83/1259.84	c [picomus] reduction 33 to 54309 out of 696581 (8%) after 1259.9 sec
1289.53/1289.57	c [picomus] reduction 34 to 54304 out of 696581 (8%) after 1289.6 sec
1303.43/1303.46	c [picomus] reduction 35 to 54302 out of 696581 (8%) after 1303.5 sec
1366.63/1366.61	c [picomus] reduction 36 to 54296 out of 696581 (8%) after 1366.7 sec
1398.53/1398.56	c [picomus] reduction 37 to 54290 out of 696581 (8%) after 1398.6 sec
1417.83/1417.87	c [picomus] reduction 38 to 54282 out of 696581 (8%) after 1417.9 sec
1499.93/1499.92	c [picomus] reduction 39 to 54267 out of 696581 (8%) after 1500.0 sec
1531.53/1531.50	c [picomus] reduction 40 to 54265 out of 696581 (8%) after 1531.5 sec
1574.73/1574.71	c [picomus] reduction 41 to 53671 out of 696581 (8%) after 1574.8 sec
1615.04/1615.06	c [picomus] reduction 42 to 53662 out of 696581 (8%) after 1615.1 sec
1629.84/1629.81	c [picomus] reduction 43 to 53656 out of 696581 (8%) after 1629.9 sec
1646.44/1646.46	c [picomus] reduction 44 to 53650 out of 696581 (8%) after 1646.5 sec
1726.84/1726.84	c [picomus] reduction 45 to 53648 out of 696581 (8%) after 1726.9 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-3493538-1307800705/watcher-3493538-1307800705 -o /tmp/evaluation-result-3493538-1307800705/solver-3493538-1307800705 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493538-1307800705.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.00 0.00 0.00 4/178 6617
/proc/meminfo: memFree=31587452/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=9220 CPUtime=0 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 219 0 0 0 0 0 0 0 22 0 1 0 970301127 9441280 174 33554432000 134512640 135072097 4293894560 18446744073709551615 134514988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 2305 174 52 137 0 2166 0

[startup+0.102986 s]
/proc/loadavg: 0.00 0.00 0.00 4/178 6617
/proc/meminfo: memFree=31587452/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=15160 CPUtime=0.09 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 2730 0 0 0 9 0 0 0 22 0 1 0 970301127 15523840 2685 33554432000 134512640 135072097 4293894560 18446744073709551615 134705502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 3790 2685 53 137 0 3651 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15160

[startup+0.200979 s]
/proc/loadavg: 0.00 0.00 0.00 4/178 6617
/proc/meminfo: memFree=31587452/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=20704 CPUtime=0.19 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 5050 0 0 0 19 0 0 0 22 0 1 0 970301127 21200896 5005 33554432000 134512640 135072097 4293894560 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 5176 5005 53 137 0 5037 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20704

[startup+0.300951 s]
/proc/loadavg: 0.00 0.00 0.00 4/178 6617
/proc/meminfo: memFree=31587452/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=44984 CPUtime=0.29 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 10864 0 0 0 28 1 0 0 23 0 1 0 970301127 46063616 10799 33554432000 134512640 135072097 4293894560 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 11246 10801 61 137 0 11107 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44984

[startup+0.700886 s]
/proc/loadavg: 0.00 0.00 0.00 4/178 6617
/proc/meminfo: memFree=31587452/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=60716 CPUtime=0.69 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 14234 0 0 0 68 1 0 0 25 0 1 0 970301127 62173184 14169 33554432000 134512640 135072097 4293894560 18446744073709551615 134570489 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 15179 14169 68 137 0 15040 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60716

[startup+1.50073 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 6648
/proc/meminfo: memFree=31358316/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=63220 CPUtime=1.49 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 14794 0 0 0 148 1 0 0 25 0 1 0 970301127 64737280 14729 33554432000 134512640 135072097 4293894560 18446744073709551615 134543446 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 15805 14729 69 137 0 15666 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63220

[startup+3.10045 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 6648
/proc/meminfo: memFree=31377908/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=66768 CPUtime=3.09 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 15672 0 0 0 307 2 0 0 25 0 1 0 970301127 68370432 15604 33554432000 134512640 135072097 4293894560 18446744073709551615 134556781 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 16692 15604 69 137 0 16553 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66768

[startup+6.30086 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 6648
/proc/meminfo: memFree=31332652/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=69804 CPUtime=6.29 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 16429 0 0 0 627 2 0 0 25 0 1 0 970301127 71479296 16361 33554432000 134512640 135072097 4293894560 18446744073709551615 134543490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 17451 16361 69 137 0 17312 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69804

[startup+12.7007 s]
/proc/loadavg: 0.89 0.20 0.06 5/190 6648
/proc/meminfo: memFree=31320964/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=79804 CPUtime=12.69 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 18730 0 0 0 1266 3 0 0 25 0 1 0 970301127 81719296 18662 33554432000 134512640 135072097 4293894560 18446744073709551615 134543746 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 19951 18662 69 137 0 19812 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79804

[startup+25.5003 s]
/proc/loadavg: 1.36 0.32 0.11 5/190 6649
/proc/meminfo: memFree=31340304/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=53880 CPUtime=25.49 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 28291 0 0 0 2543 6 0 0 25 0 1 0 970301127 55173120 12421 33554432000 134512640 135072097 4293894560 18446744073709551615 134580722 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 13470 12421 76 137 0 13331 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53880

[startup+51.1006 s]
/proc/loadavg: 2.26 0.62 0.21 5/190 6649
/proc/meminfo: memFree=31323856/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=60276 CPUtime=51.1 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 55493 0 0 0 5098 12 0 0 25 0 1 0 970301127 61722624 13976 33554432000 134512640 135072097 4293894560 18446744073709551615 134543606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 15069 13976 76 137 0 14930 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 60276

[startup+102.3 s]
/proc/loadavg: 3.37 1.20 0.43 5/190 6651
/proc/meminfo: memFree=31318800/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=38724 CPUtime=102.3 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 130802 0 0 0 10201 29 0 0 25 0 1 0 970301127 39653376 8713 33554432000 134512640 135072097 4293894560 18446744073709551615 134568736 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 9681 8713 76 137 0 9542 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 38724

[startup+162.3 s]
/proc/loadavg: 3.77 1.71 0.65 6/190 6699
/proc/meminfo: memFree=31242976/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=40632 CPUtime=162.29 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 222051 0 0 0 16181 48 0 0 25 0 1 0 970301127 41607168 9179 33554432000 134512640 135072097 4293894560 18446744073709551615 134556237 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 10158 9179 76 137 0 10019 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 40632

[startup+222.307 s]
/proc/loadavg: 3.91 2.12 0.86 5/190 6739
/proc/meminfo: memFree=31388868/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=42176 CPUtime=222.3 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 311796 0 0 0 22165 65 0 0 25 0 1 0 970301127 43188224 9568 33554432000 134512640 135072097 4293894560 18446744073709551615 134539128 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 10544 9569 76 137 0 10405 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 42176

[startup+282.3 s]
/proc/loadavg: 3.97 2.46 1.05 5/190 6741
/proc/meminfo: memFree=31322448/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=47724 CPUtime=282.3 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 404369 0 0 0 28148 82 0 0 25 0 1 0 970301127 48869376 10972 33554432000 134512640 135072097 4293894560 18446744073709551615 134543424 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 11931 10972 76 137 0 11792 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 47724

[startup+342.3 s]
/proc/loadavg: 3.99 2.74 1.23 5/190 6742
/proc/meminfo: memFree=30654820/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=680340 CPUtime=342.3 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 571056 0 0 0 34127 103 0 0 25 0 1 0 970301127 696668160 168745 33554432000 134512640 135072097 4293894560 18446744073709551615 134517956 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 170085 168745 76 137 0 169946 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 680340

[startup+402.3 s]
/proc/loadavg: 3.99 2.96 1.40 5/190 6744
/proc/meminfo: memFree=30293984/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1076900 CPUtime=402.3 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 670032 0 0 0 40115 115 0 0 25 0 1 0 970301127 1102745600 267712 33554432000 134512640 135072097 4293894560 18446744073709551615 134583955 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 269225 267712 77 137 0 269086 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1076900

[startup+462.3 s]
/proc/loadavg: 3.99 3.15 1.56 5/190 6745
/proc/meminfo: memFree=29851860/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1501848 CPUtime=462.3 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 776259 0 0 0 46102 128 0 0 25 0 1 0 970301127 1537892352 373917 33554432000 134512640 135072097 4293894560 18446744073709551615 134541172 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 375462 373917 77 137 0 375323 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1501848

[startup+522.3 s]
/proc/loadavg: 4.03 3.32 1.72 5/190 6747
/proc/meminfo: memFree=29751732/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1564876 CPUtime=522.31 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 792009 0 0 0 52100 131 0 0 25 0 1 0 970301127 1602433024 389667 33554432000 134512640 135072097 4293894560 18446744073709551615 134558393 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 391219 389667 77 137 0 391080 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1564876

[startup+582.3 s]
/proc/loadavg: 4.01 3.44 1.86 5/190 6749
/proc/meminfo: memFree=29774856/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1564876 CPUtime=582.31 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 792015 0 0 0 58100 131 0 0 25 0 1 0 970301127 1602433024 389673 33554432000 134512640 135072097 4293894560 18446744073709551615 134556748 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 391219 389673 77 137 0 391080 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1564876

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 4.01 3.81 2.45 5/190 6757
/proc/meminfo: memFree=28176576/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=882.32 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807549 0 0 0 88098 134 0 0 25 0 1 0 970301127 1665155072 405024 33554432000 134512640 135072097 4293894560 18446744073709551615 134548943 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405024 77 137 0 406393 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1626128

[startup+942.3 s]
/proc/loadavg: 4.00 3.84 2.54 5/190 6758
/proc/meminfo: memFree=27134188/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=942.32 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807549 0 0 0 94098 134 0 0 25 0 1 0 970301127 1665155072 405024 33554432000 134512640 135072097 4293894560 18446744073709551615 134539781 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405024 77 137 0 406393 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1626128

[startup+1002.3 s]
/proc/loadavg: 4.00 3.87 2.63 5/190 6760
/proc/meminfo: memFree=27121760/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1002.32 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807549 0 0 0 100098 134 0 0 25 0 1 0 970301127 1665155072 405024 33554432000 134512640 135072097 4293894560 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405024 77 137 0 406393 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1626128

[startup+1062.3 s]
/proc/loadavg: 4.00 3.89 2.71 5/190 6761
/proc/meminfo: memFree=26069332/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1062.32 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807549 0 0 0 106098 134 0 0 25 0 1 0 970301127 1665155072 405024 33554432000 134512640 135072097 4293894560 18446744073709551615 134543446 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405024 77 137 0 406393 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1626128

[startup+1122.3 s]
/proc/loadavg: 4.00 3.91 2.79 5/190 6763
/proc/meminfo: memFree=24820860/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1122.32 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807550 0 0 0 112098 134 0 0 25 0 1 0 970301127 1665155072 405025 33554432000 134512640 135072097 4293894560 18446744073709551615 134539704 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405025 77 137 0 406393 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1626128

[startup+1182.3 s]
/proc/loadavg: 4.00 3.92 2.86 5/190 6765
/proc/meminfo: memFree=25022572/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1182.32 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807554 0 0 0 118098 134 0 0 25 0 1 0 970301127 1665155072 405029 33554432000 134512640 135072097 4293894560 18446744073709551615 134541094 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405029 77 137 0 406393 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1626128

[startup+1242.3 s]
/proc/loadavg: 4.04 3.94 2.94 5/190 6766
/proc/meminfo: memFree=25016208/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1242.33 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807554 0 0 0 124099 134 0 0 25 0 1 0 970301127 1665155072 405029 33554432000 134512640 135072097 4293894560 18446744073709551615 134518072 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405029 77 137 0 406393 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1626128

[startup+1302.3 s]
/proc/loadavg: 4.05 3.97 3.01 5/190 6768
/proc/meminfo: memFree=24598792/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1302.33 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807554 0 0 0 130099 134 0 0 25 0 1 0 970301127 1665155072 405029 33554432000 134512640 135072097 4293894560 18446744073709551615 134517979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405029 77 137 0 406393 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1626128

[startup+1362.3 s]
/proc/loadavg: 4.02 3.97 3.06 5/190 6769
/proc/meminfo: memFree=24631484/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1362.33 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807554 0 0 0 136099 134 0 0 25 0 1 0 970301127 1665155072 405029 33554432000 134512640 135072097 4293894560 18446744073709551615 134518072 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405029 77 137 0 406393 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1626128

[startup+1422.3 s]
/proc/loadavg: 4.00 3.97 3.12 5/190 6771
/proc/meminfo: memFree=24756924/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1422.33 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807554 0 0 0 142099 134 0 0 25 0 1 0 970301127 1665155072 405029 33554432000 134512640 135072097 4293894560 18446744073709551615 134548832 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405029 77 137 0 406393 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1626128

[startup+1482.3 s]
/proc/loadavg: 4.00 3.97 3.17 5/190 6773
/proc/meminfo: memFree=24885104/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1482.33 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807556 0 0 0 148099 134 0 0 25 0 1 0 970301127 1665155072 405031 33554432000 134512640 135072097 4293894560 18446744073709551615 134556770 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405031 77 137 0 406393 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1626128

[startup+1542.31 s]
/proc/loadavg: 4.07 3.99 3.23 5/190 6774
/proc/meminfo: memFree=25030644/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1542.34 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807560 0 0 0 154100 134 0 0 25 0 1 0 970301127 1665155072 405035 33554432000 134512640 135072097 4293894560 18446744073709551615 134521856 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405035 77 137 0 406393 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1626128

[startup+1602.3 s]
/proc/loadavg: 4.02 3.99 3.27 5/190 6776
/proc/meminfo: memFree=24623400/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1602.34 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807560 0 0 0 160100 134 0 0 25 0 1 0 970301127 1665155072 405035 33554432000 134512640 135072097 4293894560 18446744073709551615 134543939 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405035 77 137 0 406393 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1626128

[startup+1662.3 s]
/proc/loadavg: 4.01 3.99 3.31 5/190 6777
/proc/meminfo: memFree=23673400/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1662.34 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807560 0 0 0 166100 134 0 0 25 0 1 0 970301127 1665155072 405035 33554432000 134512640 135072097 4293894560 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405035 77 137 0 406393 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1626128

[startup+1722.3 s]
/proc/loadavg: 4.00 3.99 3.36 5/190 6779
/proc/meminfo: memFree=23917136/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1722.34 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807561 0 0 0 172100 134 0 0 25 0 1 0 970301127 1665155072 405036 33554432000 134512640 135072097 4293894560 18446744073709551615 134518072 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405036 77 137 0 406393 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1626128

[startup+1782.3 s]
/proc/loadavg: 4.10 4.02 3.40 5/190 6781
/proc/meminfo: memFree=23904076/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1782.34 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807562 0 0 0 178100 134 0 0 25 0 1 0 970301127 1665155072 405037 33554432000 134512640 135072097 4293894560 18446744073709551615 134543979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405037 77 137 0 406393 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1626128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 4.08 4.02 3.41 5/190 6781
/proc/meminfo: memFree=23738648/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1800.05 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807562 0 0 0 179871 134 0 0 25 0 1 0 970301127 1665155072 405037 33554432000 134512640 135072097 4293894560 18446744073709551615 134558984 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405037 77 137 0 406393 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1626128

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

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

[startup+1800 s]
/proc/loadavg: 4.08 4.02 3.41 5/190 6781
/proc/meminfo: memFree=23738648/32951124 swapFree=67056304/67111528
[pid=6617] ppid=6615 vsize=1626128 CPUtime=1800.05 cores=1,3
/proc/6617/stat : 6617 (picomus) R 6615 6617 6571 0 -1 4202496 807562 0 0 0 179871 134 0 0 25 0 1 0 970301127 1665155072 405037 33554432000 134512640 135072097 4293894560 18446744073709551615 134558984 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6617/statm: 406532 405037 77 137 0 406393 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1626128

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.12
CPU user time (s): 1798.71
CPU system time (s): 1.40779
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1626964

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

runsolver used 2.94655 second user time and 6.88495 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-11 15:58:25
IDJOB=3493538
IDBENCH=20343
IDSOLVER=1974
FILE ID=node110/3493538-1307800705
RUNJOBID= node110-1307800705-6591
PBS_JOBID= 13551064
Free space on /tmp= 74116 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/total-5-11-u.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493538-1307800705/watcher-3493538-1307800705 -o /tmp/evaluation-result-3493538-1307800705/solver-3493538-1307800705 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493538-1307800705.cnf

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

MD5SUM BENCH= 770fa9cd880a43d98e936f33f4e86d7a
RANDOM SEED=1978546455

node110.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.830
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.830
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.83
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.830
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.830
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.83
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.830
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.76
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.830
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.830
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.830
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:     32951124 kB
MemFree:      31586412 kB
Buffers:        307188 kB
Cached:         792616 kB
SwapCached:       8464 kB
Active:         527832 kB
Inactive:       601848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31586412 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:           30732 kB
Writeback:           0 kB
AnonPages:       27756 kB
Mapped:          12604 kB
Slab:           169344 kB
PageTables:       4912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   202236 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= 74092 MiB
End job on node110 at 2011-06-11 16:28:28