Trace number 3493674

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PicoMUS 941No Cert. 1800.08 1800.03

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-10-10t0.cnf
MD5SUMc102144d81735b4e153db5b8b489abc7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1126.3
Satisfiable
(Un)Satisfiability was proved
Number of variables125691
Number of clauses605085
Sum of the clauses size1419948
Maximum clause length10
Minimum clause length1
Number of clauses of size 17341
Number of clauses of size 2480045
Number of clauses of size 384559
Number of clauses of size 43680
Number of clauses of size 514720
Number of clauses of size over 514740

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 125691 605085
6.89/6.91	s UNSATISFIABLE
6.89/6.94	c [picomus] extracted core 1 of size 76406 out of 605085 (13%) after 6.9 sec
8.99/9.07	c [picomus] extracted core 2 of size 58810 out of 605085 (10%) after 9.1 sec
11.00/11.07	c [picomus] extracted core 3 of size 43321 out of 605085 (7%) after 11.1 sec
12.89/12.91	c [picomus] extracted core 4 of size 38701 out of 605085 (6%) after 12.9 sec
14.79/14.82	c [picomus] extracted core 5 of size 37242 out of 605085 (6%) after 14.8 sec
16.50/16.52	c [picomus] extracted core 6 of size 34776 out of 605085 (6%) after 16.5 sec
18.79/18.88	c [picomus] extracted core 7 of size 34745 out of 605085 (6%) after 18.9 sec
20.39/20.40	c [picomus] extracted core 8 of size 34362 out of 605085 (6%) after 20.4 sec
22.19/22.29	c [picomus] extracted core 9 of size 34323 out of 605085 (6%) after 22.3 sec
24.09/24.18	c [picomus] extracted core 10 of size 34323 out of 605085 (6%) after 24.2 sec
25.99/26.05	c [picomus] extracted core 11 of size 34323 out of 605085 (6%) after 26.1 sec
27.89/27.94	c [picomus] extracted core 12 of size 34323 out of 605085 (6%) after 27.9 sec
29.79/29.81	c [picomus] extracted core 13 of size 34323 out of 605085 (6%) after 29.8 sec
43.90/44.00	c [picomus] reduction 1 to 33735 out of 605085 (6%) after 44.0 sec
51.89/51.96	c [picomus] reduction 2 to 32148 out of 605085 (5%) after 52.0 sec
60.99/61.01	c [picomus] reduction 3 to 32051 out of 605085 (5%) after 61.0 sec
67.59/67.62	c [picomus] reduction 4 to 32032 out of 605085 (5%) after 67.6 sec
72.39/72.42	c [picomus] reduction 5 to 32012 out of 605085 (5%) after 72.4 sec
93.99/94.05	c [picomus] reduction 6 to 31338 out of 605085 (5%) after 94.1 sec
100.59/100.61	c [picomus] reduction 7 to 31316 out of 605085 (5%) after 100.6 sec
123.39/123.48	c [picomus] reduction 8 to 30707 out of 605085 (5%) after 123.5 sec
132.49/132.57	c [picomus] reduction 9 to 30384 out of 605085 (5%) after 132.6 sec
147.59/147.64	c [picomus] reduction 10 to 30318 out of 605085 (5%) after 147.6 sec
152.39/152.41	c [picomus] reduction 11 to 30309 out of 605085 (5%) after 152.4 sec
152.69/152.74	c [picomus] reduction 12 to 30266 out of 605085 (5%) after 152.8 sec
155.39/155.42	c [picomus] reduction 13 to 29960 out of 605085 (5%) after 155.4 sec
180.99/181.04	c [picomus] reduction 14 to 28355 out of 605085 (5%) after 181.0 sec
190.30/190.36	c [picomus] reduction 15 to 28332 out of 605085 (5%) after 190.4 sec
193.09/193.11	c [picomus] reduction 16 to 28086 out of 605085 (5%) after 193.1 sec
195.70/195.79	c [picomus] reduction 17 to 28084 out of 605085 (5%) after 195.8 sec
197.39/197.49	c [picomus] reduction 18 to 28077 out of 605085 (5%) after 197.5 sec
198.00/198.07	c [picomus] reduction 19 to 28075 out of 605085 (5%) after 198.1 sec
198.29/198.35	c [picomus] reduction 20 to 28071 out of 605085 (5%) after 198.4 sec
199.79/199.84	c [picomus] reduction 21 to 28067 out of 605085 (5%) after 199.8 sec
200.20/200.21	c [picomus] reduction 22 to 28065 out of 605085 (5%) after 200.2 sec
200.29/200.32	c [picomus] reduction 23 to 28063 out of 605085 (5%) after 200.3 sec
201.09/201.11	c [picomus] reduction 24 to 28049 out of 605085 (5%) after 201.1 sec
245.69/245.71	c [picomus] reduction 25 to 27943 out of 605085 (5%) after 245.7 sec
249.29/249.35	c [picomus] reduction 26 to 27932 out of 605085 (5%) after 249.4 sec
265.69/265.72	c [picomus] reduction 27 to 27671 out of 605085 (5%) after 265.7 sec
273.80/273.90	c [picomus] reduction 28 to 27647 out of 605085 (5%) after 273.9 sec
277.49/277.57	c [picomus] reduction 29 to 27594 out of 605085 (5%) after 277.6 sec
304.70/304.74	c [picomus] reduction 30 to 27040 out of 605085 (4%) after 304.8 sec
335.50/335.58	c [picomus] reduction 31 to 26543 out of 605085 (4%) after 335.6 sec
343.40/343.48	c [picomus] reduction 32 to 26196 out of 605085 (4%) after 343.5 sec
351.40/351.48	c [picomus] reduction 33 to 26127 out of 605085 (4%) after 351.5 sec
361.01/361.02	c [picomus] reduction 34 to 26086 out of 605085 (4%) after 361.0 sec
366.71/366.72	c [picomus] reduction 35 to 26083 out of 605085 (4%) after 366.7 sec
458.41/458.42	c [picomus] reduction 36 to 26035 out of 605085 (4%) after 458.4 sec
586.31/586.37	c [picomus] reduction 37 to 26032 out of 605085 (4%) after 586.4 sec
586.61/586.65	c [picomus] reduction 38 to 26029 out of 605085 (4%) after 586.7 sec
586.81/586.86	c [picomus] reduction 39 to 26024 out of 605085 (4%) after 586.9 sec
665.81/665.81	c [picomus] reduction 40 to 26019 out of 605085 (4%) after 665.8 sec
710.31/710.32	c [picomus] reduction 41 to 26003 out of 605085 (4%) after 710.3 sec
716.81/716.88	c [picomus] reduction 42 to 25931 out of 605085 (4%) after 716.9 sec
824.11/824.16	c [picomus] reduction 43 to 25901 out of 605085 (4%) after 824.2 sec
968.52/968.58	c [picomus] reduction 44 to 25900 out of 605085 (4%) after 968.6 sec
970.32/970.38	c [picomus] reduction 45 to 25899 out of 605085 (4%) after 970.4 sec
971.42/971.47	c [picomus] reduction 46 to 25898 out of 605085 (4%) after 971.5 sec
994.52/994.60	c [picomus] reduction 47 to 25895 out of 605085 (4%) after 994.6 sec
994.72/994.78	c [picomus] reduction 48 to 25892 out of 605085 (4%) after 994.8 sec
994.92/994.90	c [picomus] reduction 49 to 25889 out of 605085 (4%) after 994.9 sec
994.92/994.98	c [picomus] reduction 50 to 25886 out of 605085 (4%) after 995.0 sec
995.02/995.08	c [picomus] reduction 51 to 25883 out of 605085 (4%) after 995.1 sec
995.12/995.15	c [picomus] reduction 52 to 25880 out of 605085 (4%) after 995.2 sec
995.22/995.21	c [picomus] reduction 53 to 25877 out of 605085 (4%) after 995.2 sec
995.22/995.26	c [picomus] reduction 54 to 25874 out of 605085 (4%) after 995.3 sec
995.32/995.34	c [picomus] reduction 55 to 25871 out of 605085 (4%) after 995.4 sec
995.43/995.40	c [picomus] reduction 56 to 25868 out of 605085 (4%) after 995.4 sec
995.43/995.45	c [picomus] reduction 57 to 25865 out of 605085 (4%) after 995.5 sec
996.53/996.55	c [picomus] reduction 58 to 25862 out of 605085 (4%) after 996.6 sec
996.92/996.95	c [picomus] reduction 59 to 25859 out of 605085 (4%) after 997.0 sec
997.12/997.17	c [picomus] reduction 60 to 25856 out of 605085 (4%) after 997.2 sec
997.32/997.35	c [picomus] reduction 61 to 25853 out of 605085 (4%) after 997.4 sec
997.52/997.50	c [picomus] reduction 62 to 25850 out of 605085 (4%) after 997.5 sec
997.63/997.60	c [picomus] reduction 63 to 25847 out of 605085 (4%) after 997.6 sec
997.73/997.70	c [picomus] reduction 64 to 25844 out of 605085 (4%) after 997.7 sec
997.73/997.77	c [picomus] reduction 65 to 25841 out of 605085 (4%) after 997.8 sec
997.82/997.85	c [picomus] reduction 66 to 25838 out of 605085 (4%) after 997.9 sec
997.92/997.91	c [picomus] reduction 67 to 25835 out of 605085 (4%) after 997.9 sec
997.92/997.98	c [picomus] reduction 68 to 25832 out of 605085 (4%) after 998.0 sec
998.02/998.04	c [picomus] reduction 69 to 25829 out of 605085 (4%) after 998.1 sec
998.12/998.10	c [picomus] reduction 70 to 25826 out of 605085 (4%) after 998.1 sec
998.12/998.16	c [picomus] reduction 71 to 25823 out of 605085 (4%) after 998.2 sec
998.22/998.21	c [picomus] reduction 72 to 25820 out of 605085 (4%) after 998.2 sec
998.22/998.25	c [picomus] reduction 73 to 25817 out of 605085 (4%) after 998.3 sec
998.22/998.29	c [picomus] reduction 74 to 25814 out of 605085 (4%) after 998.3 sec
998.32/998.33	c [picomus] reduction 75 to 25811 out of 605085 (4%) after 998.4 sec
998.32/998.37	c [picomus] reduction 76 to 25808 out of 605085 (4%) after 998.4 sec
998.42/998.41	c [picomus] reduction 77 to 25805 out of 605085 (4%) after 998.4 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-3493674-1307802508/watcher-3493674-1307802508 -o /tmp/evaluation-result-3493674-1307802508/solver-3493674-1307802508 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493674-1307802508.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.91 3.98 3.40 4/186 6848
/proc/meminfo: memFree=28492608/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=8148 CPUtime=0 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 246 0 0 0 0 0 0 0 25 0 1 0 970481388 8343552 200 33554432000 134512640 135072097 4291969584 18446744073709551615 134705502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 2037 200 52 137 0 1898 0

[startup+0.010963 s]
/proc/loadavg: 3.91 3.98 3.40 4/186 6848
/proc/meminfo: memFree=28492608/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=8412 CPUtime=0.01 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 362 0 0 0 1 0 0 0 25 0 1 0 970481388 8613888 316 33554432000 134512640 135072097 4291969584 18446744073709551615 134514758 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6848/statm: 2103 316 52 137 0 1964 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8412

[startup+0.100995 s]
/proc/loadavg: 3.91 3.98 3.40 4/186 6848
/proc/meminfo: memFree=28492608/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=13956 CPUtime=0.09 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 2670 0 0 0 9 0 0 0 25 0 1 0 970481388 14290944 2624 33554432000 134512640 135072097 4291969584 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 3489 2625 53 137 0 3350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13956

[startup+0.300939 s]
/proc/loadavg: 3.91 3.98 3.40 4/186 6848
/proc/meminfo: memFree=28492608/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=43632 CPUtime=0.29 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 10814 0 0 0 29 0 0 0 25 0 1 0 970481388 44679168 10633 33554432000 134512640 135072097 4291969584 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 10908 10635 61 137 0 10769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43632

[startup+0.700864 s]
/proc/loadavg: 3.91 3.98 3.40 4/186 6848
/proc/meminfo: memFree=28492608/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=55476 CPUtime=0.69 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 13146 0 0 0 68 1 0 0 25 0 1 0 970481388 56807424 12965 33554432000 134512640 135072097 4291969584 18446744073709551615 134521840 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 13869 12965 68 137 0 13730 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55476

[startup+1.50072 s]
/proc/loadavg: 3.91 3.98 3.40 5/190 6859
/proc/meminfo: memFree=28368924/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=56780 CPUtime=1.49 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 13383 0 0 0 148 1 0 0 25 0 1 0 970481388 58142720 13202 33554432000 134512640 135072097 4291969584 18446744073709551615 134543446 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 14195 13202 69 137 0 14056 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56780

[startup+3.10042 s]
/proc/loadavg: 3.91 3.98 3.40 6/190 6859
/proc/meminfo: memFree=28304816/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=58004 CPUtime=3.09 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 13692 0 0 0 308 1 0 0 25 0 1 0 970481388 59396096 13511 33554432000 134512640 135072097 4291969584 18446744073709551615 134543582 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 14501 13511 69 137 0 14362 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58004

[startup+6.30084 s]
/proc/loadavg: 3.92 3.98 3.41 5/190 6859
/proc/meminfo: memFree=28318164/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=59984 CPUtime=6.29 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 14188 0 0 0 628 1 0 0 25 0 1 0 970481388 61423616 14007 33554432000 134512640 135072097 4291969584 18446744073709551615 134558296 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 14996 14007 69 137 0 14857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59984

[startup+12.7007 s]
/proc/loadavg: 3.92 3.98 3.41 5/190 6859
/proc/meminfo: memFree=28574612/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=36840 CPUtime=12.69 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 27435 0 0 0 1266 3 0 0 25 0 1 0 970481388 37724160 8336 33554432000 134512640 135072097 4291969584 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 9210 8336 76 137 0 9071 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36840

[startup+25.5003 s]
/proc/loadavg: 3.94 3.98 3.42 5/190 6860
/proc/meminfo: memFree=28435708/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=35720 CPUtime=25.49 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 54950 0 0 0 2540 9 0 0 25 0 1 0 970481388 36577280 8046 33554432000 134512640 135072097 4291969584 18446744073709551615 134517956 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 8930 8046 76 137 0 8791 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35720

[startup+51.1006 s]
/proc/loadavg: 3.96 3.98 3.43 5/190 6861
/proc/meminfo: memFree=27961600/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=290824 CPUtime=51.09 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 128790 0 0 0 5087 22 0 0 25 0 1 0 970481388 297803776 69722 33554432000 134512640 135072097 4291969584 18446744073709551615 134517966 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 72706 69722 77 137 0 72567 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 290824

[startup+102.306 s]
/proc/loadavg: 3.98 3.98 3.46 5/190 6862
/proc/meminfo: memFree=27879244/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=370640 CPUtime=102.3 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 148448 0 0 0 10205 25 0 0 25 0 1 0 970481388 379535360 89374 33554432000 134512640 135072097 4291969584 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 92660 89374 77 137 0 92521 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 370640

[startup+162.3 s]
/proc/loadavg: 3.99 3.98 3.49 5/190 6902
/proc/meminfo: memFree=30931172/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=370640 CPUtime=162.29 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 148448 0 0 0 16204 25 0 0 25 0 1 0 970481388 379535360 89374 33554432000 134512640 135072097 4291969584 18446744073709551615 134562724 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 92660 89374 77 137 0 92521 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 370640

[startup+222.3 s]
/proc/loadavg: 3.99 3.98 3.52 5/190 6981
/proc/meminfo: memFree=31021524/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=370640 CPUtime=222.29 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 148448 0 0 0 22204 25 0 0 25 0 1 0 970481388 379535360 89374 33554432000 134512640 135072097 4291969584 18446744073709551615 134518191 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 92660 89374 77 137 0 92521 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 370640

[startup+282.3 s]
/proc/loadavg: 4.07 4.00 3.55 5/190 6983
/proc/meminfo: memFree=30983136/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=370640 CPUtime=282.29 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 148448 0 0 0 28204 25 0 0 25 0 1 0 970481388 379535360 89374 33554432000 134512640 135072097 4291969584 18446744073709551615 134520172 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 92660 89374 77 137 0 92521 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 370640

[startup+342.3 s]
/proc/loadavg: 4.02 4.00 3.58 5/190 6984
/proc/meminfo: memFree=30901620/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=342.3 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 34202 28 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134543937 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 425592

[startup+402.3 s]
/proc/loadavg: 4.01 4.00 3.60 5/190 6986
/proc/meminfo: memFree=30899444/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=402.31 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 40203 28 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134520005 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 425592

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.62 5/190 6987
/proc/meminfo: memFree=30900144/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=462.31 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 46203 28 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134548955 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 425592

[startup+522.3 s]
/proc/loadavg: 4.04 4.01 3.65 5/190 6989
/proc/meminfo: memFree=30900088/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=522.31 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 52203 28 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 425592

[startup+582.3 s]
/proc/loadavg: 4.01 4.01 3.67 5/190 6991
/proc/meminfo: memFree=30899916/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=582.31 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 58203 28 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134543606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 425592

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 3.11 3.65 3.61 4/184 7024
/proc/meminfo: memFree=30976184/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=822.31 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 82203 28 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134520191 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 425592

[startup+882.3 s]
/proc/loadavg: 3.04 3.53 3.57 4/184 7026
/proc/meminfo: memFree=30976148/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=882.31 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 88203 28 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134518191 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 425592

[startup+942.3 s]
/proc/loadavg: 3.01 3.43 3.53 4/184 7027
/proc/meminfo: memFree=30976352/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=942.31 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 94203 28 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134548943 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 425592

[startup+1002.3 s]
/proc/loadavg: 3.08 3.37 3.50 4/184 7029
/proc/meminfo: memFree=30976280/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=1002.32 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 100203 29 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134548997 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 425592

[startup+1062.3 s]
/proc/loadavg: 3.09 3.31 3.47 4/184 7030
/proc/meminfo: memFree=30976236/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=1062.32 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 106203 29 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134562724 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 425592

[startup+1122.3 s]
/proc/loadavg: 3.03 3.25 3.44 4/184 7032
/proc/meminfo: memFree=30976056/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=1122.33 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 112204 29 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134568899 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 425592

[startup+1182.3 s]
/proc/loadavg: 3.01 3.20 3.41 4/184 7034
/proc/meminfo: memFree=30976144/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=1182.33 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 118204 29 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134568865 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 425592

[startup+1242.3 s]
/proc/loadavg: 3.00 3.16 3.38 4/184 7035
/proc/meminfo: memFree=30976100/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=1242.33 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 124204 29 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134585057 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 425592

[startup+1302.3 s]
/proc/loadavg: 3.00 3.13 3.35 4/184 7037
/proc/meminfo: memFree=30976184/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=1302.34 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 130205 29 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134583507 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 425592

[startup+1362.3 s]
/proc/loadavg: 3.06 3.12 3.33 4/184 7038
/proc/meminfo: memFree=30975784/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=1362.33 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 136204 29 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134584053 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 425592

[startup+1422.31 s]
/proc/loadavg: 3.02 3.10 3.31 4/184 7040
/proc/meminfo: memFree=30975628/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=1422.34 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 142205 29 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134549123 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 425592

[startup+1482.3 s]
/proc/loadavg: 3.00 3.08 3.29 4/184 7042
/proc/meminfo: memFree=30975596/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=425592 CPUtime=1482.34 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 162175 0 0 0 148205 29 0 0 25 0 1 0 970481388 435806208 103098 33554432000 134512640 135072097 4291969584 18446744073709551615 134584030 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 106398 103098 77 137 0 106259 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 425592

[startup+1542.3 s]
/proc/loadavg: 3.00 3.06 3.27 4/184 7043
/proc/meminfo: memFree=30971348/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=430164 CPUtime=1542.34 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 163329 0 0 0 154204 30 0 0 25 0 1 0 970481388 440487936 104252 33554432000 134512640 135072097 4291969584 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 107541 104252 77 137 0 107402 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 430164

[startup+1602.3 s]
/proc/loadavg: 3.04 3.06 3.25 4/184 7045
/proc/meminfo: memFree=30918112/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=483296 CPUtime=1602.34 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 176605 0 0 0 160201 33 0 0 25 0 1 0 970481388 494895104 117527 33554432000 134512640 135072097 4291969584 18446744073709551615 134584053 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 120824 117527 77 137 0 120685 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 483296

[startup+1662.3 s]
/proc/loadavg: 3.04 3.06 3.24 4/184 7046
/proc/meminfo: memFree=30894364/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=506568 CPUtime=1662.34 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 182455 0 0 0 166201 33 0 0 25 0 1 0 970481388 518725632 123376 33554432000 134512640 135072097 4291969584 18446744073709551615 134549118 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 126642 123376 77 137 0 126503 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 506568

[startup+1722.3 s]
/proc/loadavg: 3.01 3.05 3.22 4/184 7048
/proc/meminfo: memFree=30881796/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=519308 CPUtime=1722.35 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 185632 0 0 0 172201 34 0 0 25 0 1 0 970481388 531771392 126551 33554432000 134512640 135072097 4291969584 18446744073709551615 134548997 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 129827 126551 77 137 0 129688 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 519308

[startup+1782.3 s]
/proc/loadavg: 3.00 3.03 3.21 4/184 7050
/proc/meminfo: memFree=30878268/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=523048 CPUtime=1782.35 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 186552 0 0 0 178201 34 0 0 25 0 1 0 970481388 535601152 127471 33554432000 134512640 135072097 4291969584 18446744073709551615 134568890 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 130762 127471 77 137 0 130623 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 523048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 3.00 3.03 3.20 4/184 7050
/proc/meminfo: memFree=30870328/32951124 swapFree=67056304/67111528
[pid=6848] ppid=6846 vsize=530592 CPUtime=1800.05 cores=1,3
/proc/6848/stat : 6848 (picomus) R 6846 6848 6571 0 -1 4202496 188450 0 0 0 179971 34 0 0 25 0 1 0 970481388 543326208 129369 33554432000 134512640 135072097 4291969584 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6848/statm: 132648 129369 77 137 0 132509 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 530592

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.03
CPU time (s): 1800.08
CPU user time (s): 1799.72
CPU system time (s): 0.366944
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 530592

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

runsolver used 3.02954 second user time and 6.78497 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-11 16:28:28
IDJOB=3493674
IDBENCH=71043
IDSOLVER=1974
FILE ID=node110/3493674-1307802508
RUNJOBID= node110-1307800705-6591
PBS_JOBID= 13551064
Free space on /tmp= 74104 MiB

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

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

MD5SUM BENCH= c102144d81735b4e153db5b8b489abc7
RANDOM SEED=1617889237

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:      28493648 kB
Buffers:        309340 kB
Cached:         819896 kB
SwapCached:       8464 kB
Active:        3612172 kB
Inactive:       604376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28493648 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:           17460 kB
Writeback:           0 kB
AnonPages:     3085480 kB
Mapped:          13856 kB
Slab:           168844 kB
PageTables:      11384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3308932 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 node110 at 2011-06-11 16:58:30