Trace number 3493598

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.16 1800.1

General information on the benchmark

NameAPPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
MD5SUM49dda3faa6676166ee2ccb89f6cd8ca0
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 variables10794
Number of clauses31997
Sum of the clauses size74657
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 221330
Number of clauses of size 310665
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 10794 31997
8.19/8.26	s UNSATISFIABLE
8.29/8.37	c [picomus] extracted core 1 of size 30236 out of 31997 (94%) after 8.4 sec
15.89/15.90	c [picomus] extracted core 2 of size 29506 out of 31997 (92%) after 15.9 sec
20.69/20.75	c [picomus] extracted core 3 of size 29136 out of 31997 (91%) after 20.7 sec
26.40/26.44	c [picomus] extracted core 4 of size 28818 out of 31997 (90%) after 26.4 sec
31.30/31.31	c [picomus] extracted core 5 of size 28647 out of 31997 (90%) after 31.3 sec
36.90/36.95	c [picomus] extracted core 6 of size 28577 out of 31997 (89%) after 37.0 sec
43.19/43.23	c [picomus] extracted core 7 of size 28525 out of 31997 (89%) after 43.2 sec
49.19/49.23	c [picomus] extracted core 8 of size 28416 out of 31997 (89%) after 49.2 sec
53.69/53.79	c [picomus] extracted core 9 of size 28339 out of 31997 (89%) after 53.8 sec
59.69/59.72	c [picomus] extracted core 10 of size 28303 out of 31997 (88%) after 59.7 sec
66.49/66.52	c [picomus] extracted core 11 of size 28281 out of 31997 (88%) after 66.5 sec
72.39/72.48	c [picomus] extracted core 12 of size 28244 out of 31997 (88%) after 72.5 sec
78.60/78.69	c [picomus] extracted core 13 of size 28222 out of 31997 (88%) after 78.7 sec
84.00/84.08	c [picomus] extracted core 14 of size 28202 out of 31997 (88%) after 84.1 sec
94.50/94.52	c [picomus] extracted core 15 of size 28194 out of 31997 (88%) after 94.5 sec
101.49/101.54	c [picomus] extracted core 16 of size 28188 out of 31997 (88%) after 101.5 sec
107.59/107.65	c [picomus] extracted core 17 of size 28172 out of 31997 (88%) after 107.7 sec
114.79/114.85	c [picomus] extracted core 18 of size 28164 out of 31997 (88%) after 114.9 sec
121.80/121.80	c [picomus] extracted core 19 of size 28153 out of 31997 (88%) after 121.8 sec
129.60/129.67	c [picomus] extracted core 20 of size 28131 out of 31997 (88%) after 129.7 sec
137.29/137.34	c [picomus] extracted core 21 of size 28113 out of 31997 (88%) after 137.3 sec
143.69/143.71	c [picomus] extracted core 22 of size 28104 out of 31997 (88%) after 143.7 sec
239.81/239.82	c [picomus] reduction 1 to 28048 out of 31997 (88%) after 239.8 sec
462.50/462.58	c [picomus] reduction 2 to 28038 out of 31997 (88%) after 462.6 sec
474.81/474.83	c [picomus] reduction 3 to 28003 out of 31997 (88%) after 474.9 sec
479.41/479.41	c [picomus] reduction 4 to 27993 out of 31997 (87%) after 479.4 sec
494.81/494.88	c [picomus] reduction 5 to 27992 out of 31997 (87%) after 494.9 sec
495.11/495.10	c [picomus] reduction 6 to 27986 out of 31997 (87%) after 495.1 sec
506.91/506.99	c [picomus] reduction 7 to 27983 out of 31997 (87%) after 507.0 sec
522.91/522.94	c [picomus] reduction 8 to 27979 out of 31997 (87%) after 523.0 sec
535.81/535.82	c [picomus] reduction 9 to 27978 out of 31997 (87%) after 535.8 sec
537.11/537.13	c [picomus] reduction 10 to 27977 out of 31997 (87%) after 537.1 sec
546.71/546.76	c [picomus] reduction 11 to 27976 out of 31997 (87%) after 546.8 sec
611.62/611.69	c [picomus] reduction 12 to 27961 out of 31997 (87%) after 611.7 sec
644.31/644.31	c [picomus] reduction 13 to 27954 out of 31997 (87%) after 644.3 sec
656.62/656.67	c [picomus] reduction 14 to 27952 out of 31997 (87%) after 656.7 sec
662.61/662.67	c [picomus] reduction 15 to 27948 out of 31997 (87%) after 662.7 sec
664.42/664.41	c [picomus] reduction 16 to 27946 out of 31997 (87%) after 664.4 sec
684.01/684.07	c [picomus] reduction 17 to 27945 out of 31997 (87%) after 684.1 sec
685.32/685.38	c [picomus] reduction 18 to 27944 out of 31997 (87%) after 685.4 sec
698.62/698.64	c [picomus] reduction 19 to 27939 out of 31997 (87%) after 698.7 sec
704.32/704.37	c [picomus] reduction 20 to 27937 out of 31997 (87%) after 704.4 sec
719.52/719.54	c [picomus] reduction 21 to 27936 out of 31997 (87%) after 719.6 sec
731.62/731.67	c [picomus] reduction 22 to 27934 out of 31997 (87%) after 731.7 sec
812.02/812.02	c [picomus] reduction 23 to 27932 out of 31997 (87%) after 812.1 sec
837.62/837.70	c [picomus] reduction 24 to 27927 out of 31997 (87%) after 837.7 sec
842.53/842.50	c [picomus] reduction 25 to 27926 out of 31997 (87%) after 842.5 sec
848.72/848.77	c [picomus] reduction 26 to 27924 out of 31997 (87%) after 848.8 sec
851.33/851.34	c [picomus] reduction 27 to 27922 out of 31997 (87%) after 851.4 sec
882.32/882.33	c [picomus] reduction 28 to 27921 out of 31997 (87%) after 882.4 sec
895.23/895.21	c [picomus] reduction 29 to 27920 out of 31997 (87%) after 895.2 sec
897.83/897.84	c [picomus] reduction 30 to 27919 out of 31997 (87%) after 897.9 sec
915.53/915.54	c [picomus] reduction 31 to 27918 out of 31997 (87%) after 915.6 sec
927.23/927.20	c [picomus] reduction 32 to 27917 out of 31997 (87%) after 927.2 sec
934.13/934.20	c [picomus] reduction 33 to 27916 out of 31997 (87%) after 934.2 sec
1018.13/1018.13	c [picomus] reduction 34 to 27911 out of 31997 (87%) after 1018.2 sec
1053.84/1053.86	c [picomus] reduction 35 to 27898 out of 31997 (87%) after 1053.9 sec
1063.43/1063.47	c [picomus] reduction 36 to 27893 out of 31997 (87%) after 1063.5 sec
1073.93/1073.90	c [picomus] reduction 37 to 27892 out of 31997 (87%) after 1073.9 sec
1078.23/1078.20	c [picomus] reduction 38 to 27889 out of 31997 (87%) after 1078.2 sec
1123.63/1123.64	c [picomus] reduction 39 to 27888 out of 31997 (87%) after 1123.7 sec
1140.43/1140.46	c [picomus] reduction 40 to 27886 out of 31997 (87%) after 1140.5 sec
1143.03/1143.05	c [picomus] reduction 41 to 27884 out of 31997 (87%) after 1143.1 sec
1180.24/1180.25	c [picomus] reduction 42 to 27883 out of 31997 (87%) after 1180.3 sec
1193.63/1193.61	c [picomus] reduction 43 to 27882 out of 31997 (87%) after 1193.7 sec
1200.43/1200.47	c [picomus] reduction 44 to 27877 out of 31997 (87%) after 1200.5 sec
1215.44/1215.40	c [picomus] reduction 45 to 27875 out of 31997 (87%) after 1215.4 sec
1216.64/1216.67	c [picomus] reduction 46 to 27874 out of 31997 (87%) after 1216.7 sec
1269.53/1269.53	c [picomus] reduction 47 to 27872 out of 31997 (87%) after 1269.6 sec
1336.24/1336.28	c [picomus] reduction 48 to 27870 out of 31997 (87%) after 1336.3 sec
1361.84/1361.83	c [picomus] reduction 49 to 27869 out of 31997 (87%) after 1361.9 sec
1373.64/1373.63	c [picomus] reduction 50 to 27867 out of 31997 (87%) after 1373.7 sec
1379.64/1379.65	c [picomus] reduction 51 to 27866 out of 31997 (87%) after 1379.7 sec
1408.94/1408.92	c [picomus] reduction 52 to 27865 out of 31997 (87%) after 1409.0 sec
1413.04/1413.00	c [picomus] reduction 53 to 27864 out of 31997 (87%) after 1413.1 sec
1418.94/1418.96	c [picomus] reduction 54 to 27863 out of 31997 (87%) after 1419.0 sec
1451.44/1451.43	c [picomus] reduction 55 to 27861 out of 31997 (87%) after 1451.5 sec
1458.34/1458.38	c [picomus] reduction 56 to 27859 out of 31997 (87%) after 1458.4 sec
1493.94/1493.96	c [picomus] reduction 57 to 27858 out of 31997 (87%) after 1494.0 sec
1508.04/1508.08	c [picomus] reduction 58 to 27857 out of 31997 (87%) after 1508.1 sec
1527.24/1527.21	c [picomus] reduction 59 to 27855 out of 31997 (87%) after 1527.3 sec
1527.84/1527.86	c [picomus] reduction 60 to 27854 out of 31997 (87%) after 1527.9 sec
1527.95/1527.93	c [picomus] reduction 61 to 27853 out of 31997 (87%) after 1528.0 sec
1592.44/1592.48	c [picomus] reduction 62 to 27851 out of 31997 (87%) after 1592.5 sec
1630.34/1630.31	c [picomus] reduction 63 to 27847 out of 31997 (87%) after 1630.4 sec
1640.15/1640.17	c [picomus] reduction 64 to 27846 out of 31997 (87%) after 1640.2 sec
1651.94/1651.97	c [picomus] reduction 65 to 27844 out of 31997 (87%) after 1652.0 sec
1664.54/1664.54	c [picomus] reduction 66 to 27843 out of 31997 (87%) after 1664.6 sec
1697.36/1697.40	c [picomus] reduction 67 to 27842 out of 31997 (87%) after 1697.5 sec
1700.66/1700.64	c [picomus] reduction 68 to 27839 out of 31997 (87%) after 1700.7 sec
1736.65/1736.68	c [picomus] reduction 69 to 27838 out of 31997 (87%) after 1736.7 sec
1743.25/1743.23	c [picomus] reduction 70 to 27837 out of 31997 (87%) after 1743.3 sec
1781.65/1781.65	c [picomus] reduction 71 to 27836 out of 31997 (87%) after 1781.7 sec
1788.56/1788.52	c [picomus] reduction 72 to 27835 out of 31997 (87%) after 1788.6 sec
1796.85/1796.81	c [picomus] reduction 73 to 27834 out of 31997 (87%) after 1796.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-3493598-1307800714/watcher-3493598-1307800714 -o /tmp/evaluation-result-3493598-1307800714/solver-3493598-1307800714 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493598-1307800714.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: 2.00 2.01 1.91 3/177 15067
/proc/meminfo: memFree=31342984/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=1432 CPUtime=0 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 262 0 0 0 0 0 0 0 22 0 1 0 970302059 1466368 217 33554432000 134512640 135072097 4288641472 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 358 217 53 137 0 219 0

[startup+0.0100421 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 15067
/proc/meminfo: memFree=31342984/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2092 CPUtime=0 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 442 0 0 0 0 0 0 0 22 0 1 0 970302059 2142208 396 33554432000 134512640 135072097 4288641472 18446744073709551615 134543160 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 523 396 60 137 0 384 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2092

[startup+0.106128 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 15067
/proc/meminfo: memFree=31342984/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=3912 CPUtime=0.1 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 888 0 0 0 10 0 0 0 23 0 1 0 970302059 4005888 842 33554432000 134512640 135072097 4288641472 18446744073709551615 134538364 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 978 842 69 137 0 839 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3912

[startup+0.301056 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 15067
/proc/meminfo: memFree=31342984/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=4440 CPUtime=0.29 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 1034 0 0 0 29 0 0 0 23 0 1 0 970302059 4546560 988 33554432000 134512640 135072097 4288641472 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 1110 988 69 137 0 971 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4440

[startup+0.700992 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 15067
/proc/meminfo: memFree=31342984/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=6420 CPUtime=0.69 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 1511 0 0 0 69 0 0 0 25 0 1 0 970302059 6574080 1465 33554432000 134512640 135072097 4288641472 18446744073709551615 134557288 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 1605 1465 69 137 0 1466 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6420

[startup+1.50085 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 15068
/proc/meminfo: memFree=31335808/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=10380 CPUtime=1.49 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 2530 0 0 0 149 0 0 0 25 0 1 0 970302059 10629120 2484 33554432000 134512640 135072097 4288641472 18446744073709551615 134541724 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 2595 2484 69 137 0 2456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10380

[startup+3.10055 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15068
/proc/meminfo: memFree=31330240/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=18060 CPUtime=3.09 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 4444 0 0 0 309 0 0 0 25 0 1 0 970302059 18493440 4397 33554432000 134512640 135072097 4288641472 18446744073709551615 134520055 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 4515 4397 69 137 0 4376 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18060

[startup+6.30094 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15069
/proc/meminfo: memFree=31315052/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=31920 CPUtime=6.3 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 7884 0 0 0 629 1 0 0 25 0 1 0 970302059 32686080 7837 33554432000 134512640 135072097 4288641472 18446744073709551615 134543408 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 7980 7837 69 137 0 7841 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 31920

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15069
/proc/meminfo: memFree=31322984/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=23092 CPUtime=12.69 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 15467 0 0 0 1267 2 0 0 25 0 1 0 970302059 23646208 5643 33554432000 134512640 135072097 4288641472 18446744073709551615 134580708 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 5773 5643 76 137 0 5634 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23092

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15069
/proc/meminfo: memFree=31318888/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=25376 CPUtime=25.49 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 30889 0 0 0 2545 4 0 0 25 0 1 0 970302059 25985024 6217 33554432000 134512640 135072097 4288641472 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 6344 6217 76 137 0 6205 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25376

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15109
/proc/meminfo: memFree=31531484/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=12348 CPUtime=51.09 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 62131 0 0 0 5099 10 0 0 25 0 1 0 970302059 12644352 2954 33554432000 134512640 135072097 4288641472 18446744073709551615 134539128 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 3087 2954 76 137 0 2948 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 12348

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15110
/proc/meminfo: memFree=31358928/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=6496 CPUtime=102.3 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 123429 0 0 0 10212 18 0 0 25 0 1 0 970302059 6651904 1508 33554432000 134512640 135072097 4288641472 18446744073709551615 134559026 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 1624 1508 76 137 0 1485 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 6496

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15121
/proc/meminfo: memFree=30922772/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=260868 CPUtime=162.3 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 238161 0 0 0 16197 33 0 0 25 0 1 0 970302059 267128832 65047 33554432000 134512640 135072097 4288641472 18446744073709551615 134556733 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 65217 65047 76 137 0 65078 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 260868

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15122
/proc/meminfo: memFree=29860676/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=1126228 CPUtime=222.3 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 454498 0 0 0 22180 50 0 0 25 0 1 0 970302059 1153257472 281365 33554432000 134512640 135072097 4288641472 18446744073709551615 134557764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 281557 281365 76 137 0 281418 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1126228

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15124
/proc/meminfo: memFree=29463840/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=1908468 CPUtime=282.3 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 650058 0 0 0 28160 70 0 0 25 0 1 0 970302059 1954271232 476907 33554432000 134512640 135072097 4288641472 18446744073709551615 134540964 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 477117 476907 77 137 0 476978 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1908468

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15126
/proc/meminfo: memFree=28692900/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2471476 CPUtime=342.3 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 790783 0 0 0 34146 84 0 0 25 0 1 0 970302059 2530791424 617621 33554432000 134512640 135072097 4288641472 18446744073709551615 134556598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 617869 617621 77 137 0 617730 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2471476

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15127
/proc/meminfo: memFree=28949048/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2471476 CPUtime=402.3 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 790783 0 0 0 40146 84 0 0 25 0 1 0 970302059 2530791424 617621 33554432000 134512640 135072097 4288641472 18446744073709551615 134518025 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 617869 617621 77 137 0 617730 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2471476

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15129
/proc/meminfo: memFree=28717624/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2501624 CPUtime=462.3 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 798370 0 0 0 46145 85 0 0 25 0 1 0 970302059 2561662976 625208 33554432000 134512640 135072097 4288641472 18446744073709551615 134558984 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 625406 625208 77 137 0 625267 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2501624

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15130
/proc/meminfo: memFree=28442544/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2589084 CPUtime=522.31 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820235 0 0 0 52144 87 0 0 25 0 1 0 970302059 2651222016 647070 33554432000 134512640 135072097 4288641472 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 647271 647070 77 137 0 647132 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2589084

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15132
/proc/meminfo: memFree=28837068/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2589084 CPUtime=582.31 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820235 0 0 0 58144 87 0 0 25 0 1 0 970302059 2651222016 647070 33554432000 134512640 135072097 4288641472 18446744073709551615 134541107 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 647271 647070 77 137 0 647132 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2589084

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15138
/proc/meminfo: memFree=28838156/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=822.32 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820236 0 0 0 82144 88 0 0 25 0 1 0 970302059 2649374720 646636 33554432000 134512640 135072097 4288641472 18446744073709551615 134517975 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646636 77 137 0 646681 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2587280

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15140
/proc/meminfo: memFree=28642688/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=882.32 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820236 0 0 0 88144 88 0 0 25 0 1 0 970302059 2649374720 646636 33554432000 134512640 135072097 4288641472 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646636 77 137 0 646681 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2587280

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15142
/proc/meminfo: memFree=28771500/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=942.33 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820236 0 0 0 94145 88 0 0 25 0 1 0 970302059 2649374720 646636 33554432000 134512640 135072097 4288641472 18446744073709551615 134557168 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646636 77 137 0 646681 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 2587280

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15143
/proc/meminfo: memFree=28931048/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1002.33 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820239 0 0 0 100145 88 0 0 25 0 1 0 970302059 2649374720 646639 33554432000 134512640 135072097 4288641472 18446744073709551615 134517956 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646639 77 137 0 646681 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2587280

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15145
/proc/meminfo: memFree=28728516/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1062.33 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820242 0 0 0 106145 88 0 0 25 0 1 0 970302059 2649374720 646642 33554432000 134512640 135072097 4288641472 18446744073709551615 134543617 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646642 77 137 0 646681 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2587280

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15146
/proc/meminfo: memFree=28535916/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1122.33 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820242 0 0 0 112145 88 0 0 25 0 1 0 970302059 2649374720 646642 33554432000 134512640 135072097 4288641472 18446744073709551615 134559258 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646642 77 137 0 646681 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2587280

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/178 15148
/proc/meminfo: memFree=28351984/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1182.33 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820242 0 0 0 118145 88 0 0 25 0 1 0 970302059 2649374720 646642 33554432000 134512640 135072097 4288641472 18446744073709551615 134518013 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646642 77 137 0 646681 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2587280

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 15150
/proc/meminfo: memFree=28171260/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1242.33 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820242 0 0 0 124145 88 0 0 25 0 1 0 970302059 2649374720 646642 33554432000 134512640 135072097 4288641472 18446744073709551615 134541127 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646642 77 137 0 646681 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2587280

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 15151
/proc/meminfo: memFree=28769640/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1302.34 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820242 0 0 0 130146 88 0 0 25 0 1 0 970302059 2649374720 646642 33554432000 134512640 135072097 4288641472 18446744073709551615 134541142 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646642 77 137 0 646681 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2587280

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15153
/proc/meminfo: memFree=28575664/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1362.34 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820242 0 0 0 136146 88 0 0 25 0 1 0 970302059 2649374720 646642 33554432000 134512640 135072097 4288641472 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646642 77 137 0 646681 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2587280

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15154
/proc/meminfo: memFree=28389376/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1422.34 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820242 0 0 0 142146 88 0 0 25 0 1 0 970302059 2649374720 646642 33554432000 134512640 135072097 4288641472 18446744073709551615 134556778 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646642 77 137 0 646681 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2587280

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15156
/proc/meminfo: memFree=28927372/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1482.34 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820242 0 0 0 148146 88 0 0 25 0 1 0 970302059 2649374720 646642 33554432000 134512640 135072097 4288641472 18446744073709551615 134541032 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646642 77 137 0 646681 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2587280

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15158
/proc/meminfo: memFree=28722096/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1542.34 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820242 0 0 0 154146 88 0 0 25 0 1 0 970302059 2649374720 646642 33554432000 134512640 135072097 4288641472 18446744073709551615 134541133 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646642 77 137 0 646681 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2587280

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 15159
/proc/meminfo: memFree=28916108/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1602.34 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820250 0 0 0 160146 88 0 0 25 0 1 0 970302059 2649374720 646650 33554432000 134512640 135072097 4288641472 18446744073709551615 134556770 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646650 77 137 0 646681 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2587280

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 15161
/proc/meminfo: memFree=28816988/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1662.34 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820250 0 0 0 166146 88 0 0 25 0 1 0 970302059 2649374720 646650 33554432000 134512640 135072097 4288641472 18446744073709551615 134541121 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646650 77 137 0 646681 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2587280

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 15162
/proc/meminfo: memFree=28748248/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1722.35 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820250 0 0 0 172146 89 0 0 25 0 1 0 970302059 2649374720 646650 33554432000 134512640 135072097 4288641472 18446744073709551615 134557168 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646650 77 137 0 646681 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2587280

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 15164
/proc/meminfo: memFree=28692152/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1782.35 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820250 0 0 0 178146 89 0 0 25 0 1 0 970302059 2649374720 646650 33554432000 134512640 135072097 4288641472 18446744073709551615 134543724 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646650 77 137 0 646681 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2587280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 15164
/proc/meminfo: memFree=28692268/32950928 swapFree=67051096/67111528
[pid=15067] ppid=15065 vsize=2587280 CPUtime=1800.06 cores=1,3
/proc/15067/stat : 15067 (picomus) R 15065 15067 14391 0 -1 4202496 820250 0 0 0 179917 89 0 0 25 0 1 0 970302059 2649374720 646650 33554432000 134512640 135072097 4288641472 18446744073709551615 134562724 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15067/statm: 646820 646650 77 137 0 646681 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2587280

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.1
CPU time (s): 1800.16
CPU user time (s): 1799.17
CPU system time (s): 0.986849
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2589084

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

runsolver used 2.51962 second user time and 5.84311 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-11 15:58:34
IDJOB=3493598
IDBENCH=70759
IDSOLVER=1974
FILE ID=node113/3493598-1307800714
RUNJOBID= node113-1307798834-14719
PBS_JOBID= 13551039
Free space on /tmp= 74088 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand032.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493598-1307800714/watcher-3493598-1307800714 -o /tmp/evaluation-result-3493598-1307800714/solver-3493598-1307800714 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493598-1307800714.cnf

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

MD5SUM BENCH= 49dda3faa6676166ee2ccb89f6cd8ca0
RANDOM SEED=1310572047

node113.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.846
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.69
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.846
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.76
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.846
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.74
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.846
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.846
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.74
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.846
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.846
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.83
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31343652 kB
Buffers:        272172 kB
Cached:         926472 kB
SwapCached:      14384 kB
Active:         700876 kB
Inactive:       703028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31343652 kB
SwapTotal:    67111528 kB
SwapFree:     67051096 kB
Dirty:            1192 kB
Writeback:           0 kB
AnonPages:      202348 kB
Mapped:           9540 kB
Slab:           138736 kB
PageTables:       4660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   412536 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 node113 at 2011-06-11 16:28:36