Trace number 3493666

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.06 1800.01

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-10-5p0.cnf
MD5SUMe024fd9d9cdae82453a8cdaa74d08481
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 variables104479
Number of clauses500869
Sum of the clauses size1175016
Maximum clause length10
Minimum clause length1
Number of clauses of size 15498
Number of clauses of size 2398195
Number of clauses of size 369976
Number of clauses of size 43020
Number of clauses of size 512080
Number of clauses of size over 512100

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 104479 500869
35.99/36.09	s UNSATISFIABLE
36.20/36.20	c [picomus] extracted core 1 of size 110366 out of 500869 (22%) after 36.2 sec
62.60/62.60	c [picomus] extracted core 2 of size 82718 out of 500869 (17%) after 62.6 sec
81.09/81.11	c [picomus] extracted core 3 of size 71914 out of 500869 (14%) after 81.1 sec
100.60/100.64	c [picomus] extracted core 4 of size 67592 out of 500869 (13%) after 100.7 sec
119.69/119.72	c [picomus] extracted core 5 of size 63567 out of 500869 (13%) after 119.7 sec
141.90/141.91	c [picomus] extracted core 6 of size 62023 out of 500869 (12%) after 141.9 sec
160.60/160.67	c [picomus] extracted core 7 of size 60170 out of 500869 (12%) after 160.7 sec
181.69/181.78	c [picomus] extracted core 8 of size 59393 out of 500869 (12%) after 181.8 sec
206.59/206.64	c [picomus] extracted core 9 of size 58829 out of 500869 (12%) after 206.6 sec
225.60/225.63	c [picomus] extracted core 10 of size 57637 out of 500869 (12%) after 225.6 sec
247.51/247.57	c [picomus] extracted core 11 of size 57053 out of 500869 (11%) after 247.6 sec
266.50/266.55	c [picomus] extracted core 12 of size 56436 out of 500869 (11%) after 266.6 sec
290.59/290.61	c [picomus] extracted core 13 of size 55972 out of 500869 (11%) after 290.6 sec
318.00/318.06	c [picomus] extracted core 14 of size 55056 out of 500869 (11%) after 318.1 sec
336.00/336.07	c [picomus] extracted core 15 of size 54590 out of 500869 (11%) after 336.1 sec
353.40/353.43	c [picomus] extracted core 16 of size 54201 out of 500869 (11%) after 353.4 sec
376.61/376.69	c [picomus] extracted core 17 of size 53996 out of 500869 (11%) after 376.7 sec
398.50/398.53	c [picomus] extracted core 18 of size 53847 out of 500869 (11%) after 398.5 sec
421.10/421.18	c [picomus] extracted core 19 of size 53734 out of 500869 (11%) after 421.2 sec
449.40/449.41	c [picomus] extracted core 20 of size 53656 out of 500869 (11%) after 449.4 sec
479.51/479.53	c [picomus] extracted core 21 of size 53584 out of 500869 (11%) after 479.6 sec
499.50/499.52	c [picomus] extracted core 22 of size 53505 out of 500869 (11%) after 499.5 sec
520.91/520.98	c [picomus] extracted core 23 of size 53028 out of 500869 (11%) after 521.0 sec
542.41/542.41	c [picomus] extracted core 24 of size 52762 out of 500869 (11%) after 542.4 sec
563.51/563.53	c [picomus] extracted core 25 of size 52484 out of 500869 (10%) after 563.6 sec
589.21/589.20	c [picomus] extracted core 26 of size 52412 out of 500869 (10%) after 589.2 sec
609.91/609.98	c [picomus] extracted core 27 of size 52208 out of 500869 (10%) after 610.0 sec
636.81/636.87	c [picomus] extracted core 28 of size 52030 out of 500869 (10%) after 636.9 sec
658.61/658.62	c [picomus] extracted core 29 of size 51834 out of 500869 (10%) after 658.6 sec
686.41/686.44	c [picomus] extracted core 30 of size 51644 out of 500869 (10%) after 686.5 sec
712.31/712.38	c [picomus] extracted core 31 of size 51625 out of 500869 (10%) after 712.4 sec
734.91/734.95	c [picomus] extracted core 32 of size 51557 out of 500869 (10%) after 735.0 sec
760.02/760.09	c [picomus] extracted core 33 of size 51223 out of 500869 (10%) after 760.1 sec
781.02/781.01	c [picomus] extracted core 34 of size 51065 out of 500869 (10%) after 781.0 sec
805.02/805.01	c [picomus] extracted core 35 of size 50567 out of 500869 (10%) after 805.0 sec
833.21/833.30	c [picomus] extracted core 36 of size 50524 out of 500869 (10%) after 833.3 sec
854.62/854.67	c [picomus] extracted core 37 of size 50459 out of 500869 (10%) after 854.7 sec
881.13/881.12	c [picomus] extracted core 38 of size 50380 out of 500869 (10%) after 881.1 sec
909.82/909.82	c [picomus] extracted core 39 of size 50228 out of 500869 (10%) after 909.9 sec
941.02/941.04	c [picomus] extracted core 40 of size 50113 out of 500869 (10%) after 941.1 sec
967.32/967.38	c [picomus] extracted core 41 of size 50047 out of 500869 (10%) after 967.4 sec
988.32/988.36	c [picomus] extracted core 42 of size 48978 out of 500869 (10%) after 988.4 sec
1010.22/1010.22	c [picomus] extracted core 43 of size 48777 out of 500869 (10%) after 1010.3 sec
1031.73/1031.71	c [picomus] extracted core 44 of size 48730 out of 500869 (10%) after 1031.7 sec
1050.93/1050.99	c [picomus] extracted core 45 of size 48491 out of 500869 (10%) after 1051.0 sec
1078.42/1078.40	c [picomus] extracted core 46 of size 48448 out of 500869 (10%) after 1078.4 sec
1117.12/1117.18	c [picomus] extracted core 47 of size 48133 out of 500869 (10%) after 1117.2 sec
1141.23/1141.29	c [picomus] extracted core 48 of size 48122 out of 500869 (10%) after 1141.3 sec
1161.23/1161.26	c [picomus] extracted core 49 of size 48048 out of 500869 (10%) after 1161.3 sec
1185.63/1185.60	c [picomus] extracted core 50 of size 48029 out of 500869 (10%) after 1185.6 sec
1217.63/1217.70	c [picomus] extracted core 51 of size 48024 out of 500869 (10%) after 1217.7 sec
1255.13/1255.12	c [picomus] extracted core 52 of size 48000 out of 500869 (10%) after 1255.2 sec
1274.73/1274.75	c [picomus] extracted core 53 of size 47529 out of 500869 (9%) after 1274.8 sec
1303.83/1303.84	c [picomus] extracted core 54 of size 47521 out of 500869 (9%) after 1303.9 sec
1325.63/1325.69	c [picomus] extracted core 55 of size 47447 out of 500869 (9%) after 1325.7 sec
1344.33/1344.33	c [picomus] extracted core 56 of size 47103 out of 500869 (9%) after 1344.4 sec
1371.84/1371.85	c [picomus] extracted core 57 of size 47057 out of 500869 (9%) after 1371.9 sec
1397.43/1397.48	c [picomus] extracted core 58 of size 46990 out of 500869 (9%) after 1397.5 sec
1420.14/1420.15	c [picomus] extracted core 59 of size 46918 out of 500869 (9%) after 1420.2 sec
1444.13/1444.11	c [picomus] extracted core 60 of size 46862 out of 500869 (9%) after 1444.2 sec
1470.34/1470.36	c [picomus] extracted core 61 of size 46843 out of 500869 (9%) after 1470.4 sec
1491.74/1491.73	c [picomus] extracted core 62 of size 46813 out of 500869 (9%) after 1491.8 sec
1517.34/1517.35	c [picomus] extracted core 63 of size 46796 out of 500869 (9%) after 1517.4 sec
1541.23/1541.28	c [picomus] extracted core 64 of size 46704 out of 500869 (9%) after 1541.3 sec
1567.64/1567.62	c [picomus] extracted core 65 of size 46686 out of 500869 (9%) after 1567.7 sec
1598.25/1598.30	c [picomus] extracted core 66 of size 46611 out of 500869 (9%) after 1598.4 sec
1624.75/1624.77	c [picomus] extracted core 67 of size 46597 out of 500869 (9%) after 1624.8 sec
1658.75/1658.72	c [picomus] extracted core 68 of size 46589 out of 500869 (9%) after 1658.8 sec
1679.44/1679.49	c [picomus] extracted core 69 of size 46325 out of 500869 (9%) after 1679.5 sec
1701.15/1701.13	c [picomus] extracted core 70 of size 46270 out of 500869 (9%) after 1701.2 sec
1724.14/1724.13	c [picomus] extracted core 71 of size 46249 out of 500869 (9%) after 1724.2 sec
1749.14/1749.15	c [picomus] extracted core 72 of size 46233 out of 500869 (9%) after 1749.2 sec
1772.55/1772.54	c [picomus] extracted core 73 of size 46219 out of 500869 (9%) after 1772.6 sec
1795.94/1795.94	c [picomus] extracted core 74 of size 46190 out of 500869 (9%) after 1796.0 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-3493666-1307802502/watcher-3493666-1307802502 -o /tmp/evaluation-result-3493666-1307802502/solver-3493666-1307802502 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493666-1307802502.cnf 

running on 2 cores: 0,2

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: 5.22 4.37 3.61 4/189 11254
/proc/meminfo: memFree=27706672/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=6928 CPUtime=0 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 273 0 0 0 0 0 0 0 22 0 1 0 970481126 7094272 227 33554432000 134512640 135072097 4294747552 18446744073709551615 134705502 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 1732 228 52 137 0 1593 0

[startup+0.015809 s]
/proc/loadavg: 5.22 4.37 3.61 4/189 11254
/proc/meminfo: memFree=27706672/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=7456 CPUtime=0.01 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 496 0 0 0 1 0 0 0 22 0 1 0 970481126 7634944 450 33554432000 134512640 135072097 4294747552 18446744073709551615 134514988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 1864 451 52 137 0 1725 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7456

[startup+0.100795 s]
/proc/loadavg: 5.22 4.37 3.61 4/189 11254
/proc/meminfo: memFree=27706672/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=12736 CPUtime=0.09 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 2698 0 0 0 9 0 0 0 22 0 1 0 970481126 13041664 2652 33554432000 134512640 135072097 4294747552 18446744073709551615 134514988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 3184 2653 53 137 0 3045 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12736

[startup+0.300759 s]
/proc/loadavg: 5.22 4.37 3.61 4/189 11254
/proc/meminfo: memFree=27706672/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=42376 CPUtime=0.29 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 10320 0 0 0 28 1 0 0 23 0 1 0 970481126 43393024 10219 33554432000 134512640 135072097 4294747552 18446744073709551615 134536970 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 10594 10219 68 137 0 10455 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42376

[startup+0.700686 s]
/proc/loadavg: 5.22 4.37 3.61 4/189 11254
/proc/meminfo: memFree=27706672/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=43156 CPUtime=0.69 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 10480 0 0 0 68 1 0 0 25 0 1 0 970481126 44191744 10377 33554432000 134512640 135072097 4294747552 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 10789 10377 69 137 0 10650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43156

[startup+1.50054 s]
/proc/loadavg: 5.22 4.37 3.61 5/191 11256
/proc/meminfo: memFree=28431460/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=44212 CPUtime=1.49 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 10745 0 0 0 148 1 0 0 25 0 1 0 970481126 45273088 10642 33554432000 134512640 135072097 4294747552 18446744073709551615 134558296 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 11053 10642 69 137 0 10914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44212

[startup+3.10025 s]
/proc/loadavg: 5.22 4.37 3.61 4/188 11256
/proc/meminfo: memFree=28907272/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=46992 CPUtime=3.09 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 11416 0 0 0 307 2 0 0 25 0 1 0 970481126 48119808 11313 33554432000 134512640 135072097 4294747552 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 11748 11313 69 137 0 11609 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46992

[startup+6.30066 s]
/proc/loadavg: 5.20 4.38 3.62 5/190 11294
/proc/meminfo: memFree=28750212/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=51716 CPUtime=6.29 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 12601 0 0 0 627 2 0 0 25 0 1 0 970481126 52957184 12498 33554432000 134512640 135072097 4294747552 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 12929 12498 69 137 0 12790 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51716

[startup+12.7005 s]
/proc/loadavg: 5.26 4.41 3.63 5/190 11294
/proc/meminfo: memFree=28748948/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=60436 CPUtime=12.69 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 14800 0 0 0 1267 2 0 0 25 0 1 0 970481126 61886464 14697 33554432000 134512640 135072097 4294747552 18446744073709551615 134556733 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 15109 14697 69 137 0 14970 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60436

[startup+25.5002 s]
/proc/loadavg: 4.98 4.38 3.63 5/190 11295
/proc/meminfo: memFree=28568864/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=78692 CPUtime=25.49 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 19384 0 0 0 2546 3 0 0 25 0 1 0 970481126 80580608 19281 33554432000 134512640 135072097 4294747552 18446744073709551615 134556733 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 19673 19281 69 137 0 19534 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78692

[startup+51.1005 s]
/proc/loadavg: 4.64 4.35 3.64 5/190 11295
/proc/meminfo: memFree=28396372/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=59656 CPUtime=51.09 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 33552 0 0 0 5102 7 0 0 25 0 1 0 970481126 61087744 14527 33554432000 134512640 135072097 4294747552 18446744073709551615 134556694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 14914 14527 76 137 0 14775 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 59656

[startup+102.307 s]
/proc/loadavg: 4.28 4.30 3.66 5/190 11297
/proc/meminfo: memFree=28042884/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=30832 CPUtime=102.3 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 69645 0 0 0 10214 16 0 0 25 0 1 0 970481126 31571968 7371 33554432000 134512640 135072097 4294747552 18446744073709551615 134520064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 7708 7371 76 137 0 7569 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30832

[startup+162.3 s]
/proc/loadavg: 4.17 4.26 3.68 5/190 11376
/proc/meminfo: memFree=31290080/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=31192 CPUtime=162.3 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 115541 0 0 0 16202 28 0 0 25 0 1 0 970481126 31940608 7405 33554432000 134512640 135072097 4294747552 18446744073709551615 134548781 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 7798 7405 76 137 0 7659 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 31192

[startup+222.3 s]
/proc/loadavg: 4.06 4.21 3.70 5/190 11378
/proc/meminfo: memFree=31257036/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=68200 CPUtime=222.3 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 159761 0 0 0 22194 36 0 0 25 0 1 0 970481126 69836800 16639 33554432000 134512640 135072097 4294747552 18446744073709551615 134543724 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 17050 16639 76 137 0 16911 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 68200

[startup+282.3 s]
/proc/loadavg: 4.02 4.17 3.72 5/190 11380
/proc/meminfo: memFree=31251780/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=68152 CPUtime=282.3 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 206559 0 0 0 28185 45 0 0 25 0 1 0 970481126 69787648 16622 33554432000 134512640 135072097 4294747552 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 17038 16622 76 137 0 16899 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 68152

[startup+342.3 s]
/proc/loadavg: 4.01 4.13 3.73 5/190 11381
/proc/meminfo: memFree=31287324/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=44436 CPUtime=342.3 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 254096 0 0 0 34175 55 0 0 25 0 1 0 970481126 45502464 10663 33554432000 134512640 135072097 4294747552 18446744073709551615 134556770 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 11109 10663 76 137 0 10970 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 44436

[startup+402.3 s]
/proc/loadavg: 4.00 4.11 3.74 5/190 11383
/proc/meminfo: memFree=31290128/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=37704 CPUtime=402.3 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 302361 0 0 0 40166 64 0 0 25 0 1 0 970481126 38608896 9032 33554432000 134512640 135072097 4294747552 18446744073709551615 134556435 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 9426 9032 76 137 0 9287 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 37704

[startup+462.3 s]
/proc/loadavg: 4.00 4.08 3.75 5/190 11384
/proc/meminfo: memFree=31260684/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=63460 CPUtime=462.3 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 349321 0 0 0 46156 74 0 0 25 0 1 0 970481126 64983040 15462 33554432000 134512640 135072097 4294747552 18446744073709551615 134539794 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 15865 15462 76 137 0 15726 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 63460

[startup+522.3 s]
/proc/loadavg: 4.04 4.08 3.77 5/190 11386
/proc/meminfo: memFree=31293020/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=30136 CPUtime=522.3 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 396916 0 0 0 52145 85 0 0 25 0 1 0 970481126 30859264 7166 33554432000 134512640 135072097 4294747552 18446744073709551615 134556267 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 7534 7166 76 137 0 7395 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 30136

[startup+582.3 s]
/proc/loadavg: 4.01 4.06 3.78 5/190 11388
/proc/meminfo: memFree=31234340/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=79944 CPUtime=582.31 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 443714 0 0 0 58134 97 0 0 25 0 1 0 970481126 81862656 19587 33554432000 134512640 135072097 4294747552 18446744073709551615 134543606 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 19986 19587 76 137 0 19847 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 79944

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 4.00 4.03 3.83 5/190 11397
/proc/meminfo: memFree=31251004/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=75100 CPUtime=822.31 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 633210 0 0 0 82093 138 0 0 25 0 1 0 970481126 76902400 18383 33554432000 134512640 135072097 4294747552 18446744073709551615 134558253 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 18775 18383 76 137 0 18636 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 75100

[startup+882.3 s]
/proc/loadavg: 4.00 4.02 3.83 5/190 11399
/proc/meminfo: memFree=31294608/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=29220 CPUtime=882.32 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 682202 0 0 0 88082 150 0 0 25 0 1 0 970481126 29921280 6935 33554432000 134512640 135072097 4294747552 18446744073709551615 134556744 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 7305 6935 76 137 0 7166 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 29220

[startup+942.3 s]
/proc/loadavg: 4.00 4.02 3.84 5/190 11400
/proc/meminfo: memFree=31292820/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=30144 CPUtime=942.32 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 729355 0 0 0 94071 161 0 0 25 0 1 0 970481126 30867456 7210 33554432000 134512640 135072097 4294747552 18446744073709551615 134558229 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 7536 7210 76 137 0 7397 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 30144

[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.84 5/190 11402
/proc/meminfo: memFree=31244900/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=65576 CPUtime=1002.32 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 775841 0 0 0 100063 169 0 0 25 0 1 0 970481126 67149824 16004 33554432000 134512640 135072097 4294747552 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 16394 16004 76 137 0 16255 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 65576

[startup+1062.3 s]
/proc/loadavg: 4.00 4.01 3.85 5/190 11403
/proc/meminfo: memFree=31266176/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=59708 CPUtime=1062.33 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 824855 0 0 0 106054 179 0 0 25 0 1 0 970481126 61140992 14517 33554432000 134512640 135072097 4294747552 18446744073709551615 134556694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 14927 14518 76 137 0 14788 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 59708

[startup+1122.3 s]
/proc/loadavg: 4.06 4.02 3.86 5/190 11405
/proc/meminfo: memFree=31274804/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=41644 CPUtime=1122.32 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 871799 0 0 0 112043 189 0 0 25 0 1 0 970481126 42643456 10042 33554432000 134512640 135072097 4294747552 18446744073709551615 134539151 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 10411 10042 76 137 0 10272 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 41644

[startup+1182.3 s]
/proc/loadavg: 4.02 4.01 3.87 5/190 11406
/proc/meminfo: memFree=31076980/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=88584 CPUtime=1182.33 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 920256 0 0 0 118032 201 0 0 25 0 1 0 970481126 90710016 21762 33554432000 134512640 135072097 4294747552 18446744073709551615 134539119 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 22146 21763 76 137 0 22007 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 88584

[startup+1242.3 s]
/proc/loadavg: 4.05 4.02 3.88 5/190 11408
/proc/meminfo: memFree=30423076/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=99080 CPUtime=1242.33 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 967657 0 0 0 124021 212 0 0 25 0 1 0 970481126 101457920 24389 33554432000 134512640 135072097 4294747552 18446744073709551615 134556778 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 24770 24389 76 137 0 24631 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 99080

[startup+1302.3 s]
/proc/loadavg: 4.02 4.02 3.88 5/190 11410
/proc/meminfo: memFree=29854128/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=101764 CPUtime=1302.34 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 1014105 0 0 0 130010 224 0 0 25 0 1 0 970481126 104206336 25080 33554432000 134512640 135072097 4294747552 18446744073709551615 134557171 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 25441 25081 76 137 0 25302 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 101764

[startup+1362.3 s]
/proc/loadavg: 4.00 4.01 3.89 5/190 11411
/proc/meminfo: memFree=29308108/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=78212 CPUtime=1362.33 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 1063298 0 0 0 136000 233 0 0 25 0 1 0 970481126 80089088 19160 33554432000 134512640 135072097 4294747552 18446744073709551615 134556770 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 19553 19160 76 137 0 19414 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 78212

[startup+1422.31 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 11413
/proc/meminfo: memFree=28706548/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=32344 CPUtime=1422.34 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 1113516 0 0 0 141992 242 0 0 25 0 1 0 970481126 33120256 7676 33554432000 134512640 135072097 4294747552 18446744073709551615 134543485 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 8086 7676 76 137 0 7947 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 32344

[startup+1482.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 11415
/proc/meminfo: memFree=28865852/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=60864 CPUtime=1482.33 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 1161060 0 0 0 147979 254 0 0 25 0 1 0 970481126 62324736 14783 33554432000 134512640 135072097 4294747552 18446744073709551615 134518011 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 15216 14784 76 137 0 15077 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 60864

[startup+1542.3 s]
/proc/loadavg: 4.12 4.03 3.91 5/190 11416
/proc/meminfo: memFree=28895568/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=29264 CPUtime=1542.34 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 1210250 0 0 0 153969 265 0 0 25 0 1 0 970481126 29966336 6917 33554432000 134512640 135072097 4294747552 18446744073709551615 134557527 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 7316 6917 76 137 0 7177 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 29264

[startup+1602.3 s]
/proc/loadavg: 4.04 4.02 3.91 5/190 11418
/proc/meminfo: memFree=28888208/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=38664 CPUtime=1602.34 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 1258816 0 0 0 159958 276 0 0 25 0 1 0 970481126 39591936 9275 33554432000 134512640 135072097 4294747552 18446744073709551615 134557219 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 9666 9275 76 137 0 9527 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 38664

[startup+1662.3 s]
/proc/loadavg: 4.09 4.03 3.92 5/190 11419
/proc/meminfo: memFree=28888036/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=36956 CPUtime=1662.34 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 1306866 0 0 0 165947 287 0 0 25 0 1 0 970481126 37842944 8858 33554432000 134512640 135072097 4294747552 18446744073709551615 134517966 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 9239 8858 76 137 0 9100 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 36956

[startup+1722.3 s]
/proc/loadavg: 4.03 4.03 3.92 5/190 11421
/proc/meminfo: memFree=28842472/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=84372 CPUtime=1722.35 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 1353292 0 0 0 171936 299 0 0 25 0 1 0 970481126 86396928 20692 33554432000 134512640 135072097 4294747552 18446744073709551615 134543937 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 21093 20692 76 137 0 20954 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 84372

[startup+1782.3 s]
/proc/loadavg: 4.01 4.02 3.92 5/190 11423
/proc/meminfo: memFree=28870196/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=55140 CPUtime=1782.35 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 1404290 0 0 0 177926 309 0 0 25 0 1 0 970481126 56463360 13362 33554432000 134512640 135072097 4294747552 18446744073709551615 134558325 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 13785 13362 76 137 0 13646 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 55140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 4.01 4.02 3.92 5/190 11423
/proc/meminfo: memFree=28885804/32950928 swapFree=67051812/67111528
[pid=11254] ppid=11252 vsize=38136 CPUtime=1800.06 cores=0,2
/proc/11254/stat : 11254 (picomus) R 11252 11254 10968 0 -1 4202496 1419479 0 0 0 179694 312 0 0 25 0 1 0 970481126 39051264 9134 33554432000 134512640 135072097 4294747552 18446744073709551615 134548665 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11254/statm: 9534 9134 76 137 0 9395 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 38136

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.01
CPU time (s): 1800.06
CPU user time (s): 1796.94
CPU system time (s): 3.12252
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 136912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.94
system time used= 3.12252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1419479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1937

runsolver used 2.91156 second user time and 6.91895 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-11 16:28:24
IDJOB=3493666
IDBENCH=71006
IDSOLVER=1974
FILE ID=node116/3493666-1307802502
RUNJOBID= node116-1307800705-10986
PBS_JOBID= 13551061
Free space on /tmp= 74128 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-10-5p0.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493666-1307802502/watcher-3493666-1307802502 -o /tmp/evaluation-result-3493666-1307802502/solver-3493666-1307802502 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493666-1307802502.cnf

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

MD5SUM BENCH= e024fd9d9cdae82453a8cdaa74d08481
RANDOM SEED=365824579

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:      27707960 kB
Buffers:        305536 kB
Cached:         874784 kB
SwapCached:      13064 kB
Active:        4325896 kB
Inactive:       706472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27707960 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:           10484 kB
Writeback:         456 kB
AnonPages:     3849276 kB
Mapped:          10212 kB
Slab:           137236 kB
PageTables:      12936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  4095560 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= 74108 MiB
End job on node116 at 2011-06-11 16:58:27