Trace number 3493718

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

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp0neg-tseitin.cnf
MD5SUM4cbc17c0fba4366b08e82594de9ab9bd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark227.396
Satisfiable
(Un)Satisfiability was proved
Number of variables63394
Number of clauses175697
Sum of the clauses size409957
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2117130
Number of clauses of size 358565
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 63394 175697
1.49/1.53	s UNSATISFIABLE
1.49/1.54	c [picomus] extracted core 1 of size 36276 out of 175697 (21%) after 1.5 sec
1.89/1.90	c [picomus] extracted core 2 of size 28471 out of 175697 (16%) after 1.9 sec
2.20/2.26	c [picomus] extracted core 3 of size 26174 out of 175697 (15%) after 2.3 sec
2.49/2.53	c [picomus] extracted core 4 of size 24697 out of 175697 (14%) after 2.5 sec
2.79/2.89	c [picomus] extracted core 5 of size 24025 out of 175697 (14%) after 2.9 sec
3.09/3.15	c [picomus] extracted core 6 of size 23659 out of 175697 (13%) after 3.2 sec
3.40/3.42	c [picomus] extracted core 7 of size 22815 out of 175697 (13%) after 3.4 sec
3.59/3.66	c [picomus] extracted core 8 of size 22381 out of 175697 (13%) after 3.7 sec
3.89/3.94	c [picomus] extracted core 9 of size 22257 out of 175697 (13%) after 3.9 sec
4.09/4.18	c [picomus] extracted core 10 of size 22137 out of 175697 (13%) after 4.2 sec
4.39/4.46	c [picomus] extracted core 11 of size 22115 out of 175697 (13%) after 4.5 sec
4.59/4.68	c [picomus] extracted core 12 of size 22106 out of 175697 (13%) after 4.7 sec
4.90/4.96	c [picomus] extracted core 13 of size 22093 out of 175697 (13%) after 5.0 sec
5.19/5.20	c [picomus] extracted core 14 of size 22034 out of 175697 (13%) after 5.2 sec
5.40/5.46	c [picomus] extracted core 15 of size 22029 out of 175697 (13%) after 5.5 sec
5.69/5.71	c [picomus] extracted core 16 of size 22011 out of 175697 (13%) after 5.7 sec
5.90/5.99	c [picomus] extracted core 17 of size 21956 out of 175697 (12%) after 6.0 sec
6.20/6.23	c [picomus] extracted core 18 of size 21928 out of 175697 (12%) after 6.2 sec
6.39/6.44	c [picomus] extracted core 19 of size 21916 out of 175697 (12%) after 6.4 sec
6.60/6.66	c [picomus] extracted core 20 of size 21899 out of 175697 (12%) after 6.7 sec
6.89/6.99	c [picomus] extracted core 21 of size 21897 out of 175697 (12%) after 7.0 sec
7.19/7.23	c [picomus] extracted core 22 of size 21812 out of 175697 (12%) after 7.2 sec
7.49/7.58	c [picomus] extracted core 23 of size 21796 out of 175697 (12%) after 7.6 sec
7.89/7.92	c [picomus] extracted core 24 of size 21791 out of 175697 (12%) after 7.9 sec
9.39/9.41	c [picomus] reduction 1 to 21660 out of 175697 (12%) after 9.4 sec
145.29/145.30	c [picomus] reduction 2 to 21650 out of 175697 (12%) after 145.3 sec
164.30/164.39	c [picomus] reduction 3 to 21649 out of 175697 (12%) after 164.4 sec
164.79/164.85	c [picomus] reduction 4 to 21648 out of 175697 (12%) after 164.9 sec
166.59/166.64	c [picomus] reduction 5 to 21641 out of 175697 (12%) after 166.7 sec
205.70/205.77	c [picomus] reduction 6 to 21636 out of 175697 (12%) after 205.8 sec
225.80/225.83	c [picomus] reduction 7 to 21635 out of 175697 (12%) after 225.8 sec
225.90/225.96	c [picomus] reduction 8 to 21634 out of 175697 (12%) after 226.0 sec
227.71/227.80	c [picomus] reduction 9 to 21457 out of 175697 (12%) after 227.8 sec
259.51/259.57	c [picomus] reduction 10 to 21456 out of 175697 (12%) after 259.6 sec
283.00/283.09	c [picomus] reduction 11 to 21454 out of 175697 (12%) after 283.1 sec
285.40/285.45	c [picomus] reduction 12 to 21445 out of 175697 (12%) after 285.5 sec
308.10/308.12	c [picomus] reduction 13 to 21440 out of 175697 (12%) after 308.1 sec
309.01/309.10	c [picomus] reduction 14 to 21438 out of 175697 (12%) after 309.1 sec
335.70/335.76	c [picomus] reduction 15 to 21434 out of 175697 (12%) after 335.8 sec
336.00/336.09	c [picomus] reduction 16 to 21403 out of 175697 (12%) after 336.1 sec
388.40/388.44	c [picomus] reduction 17 to 21401 out of 175697 (12%) after 388.5 sec
455.20/455.23	c [picomus] reduction 18 to 21399 out of 175697 (12%) after 455.2 sec
502.51/502.53	c [picomus] reduction 19 to 21034 out of 175697 (12%) after 502.6 sec
541.41/541.48	c [picomus] reduction 20 to 21033 out of 175697 (12%) after 541.5 sec
546.90/546.90	c [picomus] reduction 21 to 21032 out of 175697 (12%) after 546.9 sec
547.20/547.24	c [picomus] reduction 22 to 21031 out of 175697 (12%) after 547.3 sec
552.00/552.09	c [picomus] reduction 23 to 21030 out of 175697 (12%) after 552.1 sec
587.51/587.52	c [picomus] reduction 24 to 21029 out of 175697 (12%) after 587.5 sec
594.31/594.38	c [picomus] reduction 25 to 21027 out of 175697 (12%) after 594.4 sec
619.01/619.00	c [picomus] reduction 26 to 21025 out of 175697 (12%) after 619.0 sec
742.31/742.33	c [picomus] reduction 27 to 21023 out of 175697 (12%) after 742.4 sec
753.61/753.61	c [picomus] reduction 28 to 21022 out of 175697 (12%) after 753.6 sec
783.51/783.56	c [picomus] reduction 29 to 21021 out of 175697 (12%) after 783.6 sec
794.12/794.12	c [picomus] reduction 30 to 21019 out of 175697 (12%) after 794.1 sec
794.71/794.72	c [picomus] reduction 31 to 21017 out of 175697 (12%) after 794.7 sec
804.01/804.02	c [picomus] reduction 32 to 21016 out of 175697 (12%) after 804.0 sec
834.12/834.14	c [picomus] reduction 33 to 21014 out of 175697 (12%) after 834.2 sec
912.92/912.93	c [picomus] reduction 34 to 21011 out of 175697 (12%) after 913.0 sec
964.82/964.84	c [picomus] reduction 35 to 21010 out of 175697 (12%) after 964.9 sec
978.62/978.65	c [picomus] reduction 36 to 21009 out of 175697 (12%) after 978.7 sec
979.03/979.08	c [picomus] reduction 37 to 21007 out of 175697 (12%) after 979.1 sec
990.42/990.42	c [picomus] reduction 38 to 21005 out of 175697 (12%) after 990.5 sec
1026.72/1026.78	c [picomus] reduction 39 to 21002 out of 175697 (12%) after 1026.8 sec
1032.42/1032.41	c [picomus] reduction 40 to 21001 out of 175697 (12%) after 1032.4 sec
1036.32/1036.32	c [picomus] reduction 41 to 21000 out of 175697 (12%) after 1036.4 sec
1043.93/1043.92	c [picomus] reduction 42 to 20999 out of 175697 (12%) after 1044.0 sec
1050.72/1050.79	c [picomus] reduction 43 to 20998 out of 175697 (12%) after 1050.8 sec
1103.33/1103.32	c [picomus] reduction 44 to 20997 out of 175697 (12%) after 1103.4 sec
1104.22/1104.27	c [picomus] reduction 45 to 20996 out of 175697 (12%) after 1104.3 sec
1115.12/1115.11	c [picomus] reduction 46 to 20995 out of 175697 (12%) after 1115.1 sec
1117.12/1117.15	c [picomus] reduction 47 to 20994 out of 175697 (12%) after 1117.2 sec
1154.83/1154.83	c [picomus] reduction 48 to 20991 out of 175697 (12%) after 1154.9 sec
1178.63/1178.64	c [picomus] reduction 49 to 20989 out of 175697 (12%) after 1178.7 sec
1182.63/1182.66	c [picomus] reduction 50 to 20988 out of 175697 (12%) after 1182.7 sec
1214.03/1214.09	c [picomus] reduction 51 to 20987 out of 175697 (12%) after 1214.1 sec
1214.33/1214.32	c [picomus] reduction 52 to 20986 out of 175697 (12%) after 1214.4 sec
1220.12/1220.11	c [picomus] reduction 53 to 20984 out of 175697 (12%) after 1220.1 sec
1220.62/1220.64	c [picomus] reduction 54 to 20983 out of 175697 (12%) after 1220.7 sec
1226.72/1226.75	c [picomus] reduction 55 to 20982 out of 175697 (12%) after 1226.8 sec
1226.92/1226.96	c [picomus] reduction 56 to 20981 out of 175697 (12%) after 1227.0 sec
1227.12/1227.18	c [picomus] reduction 57 to 20980 out of 175697 (12%) after 1227.2 sec
1255.43/1255.42	c [picomus] reduction 58 to 20978 out of 175697 (12%) after 1255.5 sec
1260.33/1260.34	c [picomus] reduction 59 to 20967 out of 175697 (12%) after 1260.4 sec
1269.13/1269.14	c [picomus] reduction 60 to 20966 out of 175697 (12%) after 1269.2 sec
1269.53/1269.55	c [picomus] reduction 61 to 20965 out of 175697 (12%) after 1269.6 sec
1270.03/1270.07	c [picomus] reduction 62 to 20964 out of 175697 (12%) after 1270.1 sec
1276.04/1276.01	c [picomus] reduction 63 to 20961 out of 175697 (12%) after 1276.0 sec
1277.63/1277.62	c [picomus] reduction 64 to 20960 out of 175697 (12%) after 1277.7 sec
1286.83/1286.83	c [picomus] reduction 65 to 20953 out of 175697 (12%) after 1286.9 sec
1329.33/1329.38	c [picomus] reduction 66 to 20952 out of 175697 (12%) after 1329.4 sec
1330.33/1330.31	c [picomus] reduction 67 to 20951 out of 175697 (12%) after 1330.3 sec
1343.53/1343.55	c [picomus] reduction 68 to 20947 out of 175697 (12%) after 1343.6 sec
1345.93/1345.90	c [picomus] reduction 69 to 20944 out of 175697 (12%) after 1345.9 sec
1370.93/1370.93	c [picomus] reduction 70 to 20943 out of 175697 (12%) after 1371.0 sec
1378.83/1378.89	c [picomus] reduction 71 to 20942 out of 175697 (12%) after 1378.9 sec
1385.03/1385.08	c [picomus] reduction 72 to 20937 out of 175697 (12%) after 1385.1 sec
1397.93/1397.96	c [picomus] reduction 73 to 20936 out of 175697 (12%) after 1398.0 sec
1400.23/1400.20	c [picomus] reduction 74 to 20933 out of 175697 (12%) after 1400.2 sec
1446.04/1446.01	c [picomus] reduction 75 to 20929 out of 175697 (12%) after 1446.1 sec
1451.64/1451.68	c [picomus] reduction 76 to 20928 out of 175697 (12%) after 1451.7 sec
1461.33/1461.30	c [picomus] reduction 77 to 20927 out of 175697 (12%) after 1461.3 sec
1461.53/1461.50	c [picomus] reduction 78 to 20926 out of 175697 (12%) after 1461.5 sec
1462.13/1462.11	c [picomus] reduction 79 to 20925 out of 175697 (12%) after 1462.2 sec
1466.94/1466.91	c [picomus] reduction 80 to 20923 out of 175697 (12%) after 1467.0 sec
1469.23/1469.28	c [picomus] reduction 81 to 20922 out of 175697 (12%) after 1469.3 sec
1472.63/1472.69	c [picomus] reduction 82 to 20909 out of 175697 (12%) after 1472.7 sec
1517.94/1517.90	c [picomus] reduction 83 to 20907 out of 175697 (12%) after 1517.9 sec
1518.64/1518.61	c [picomus] reduction 84 to 20906 out of 175697 (12%) after 1518.7 sec
1524.84/1524.83	c [picomus] reduction 85 to 20904 out of 175697 (12%) after 1524.9 sec
1525.44/1525.43	c [picomus] reduction 86 to 20902 out of 175697 (12%) after 1525.5 sec
1526.84/1526.83	c [picomus] reduction 87 to 20901 out of 175697 (12%) after 1526.9 sec
1531.24/1531.22	c [picomus] reduction 88 to 20898 out of 175697 (12%) after 1531.3 sec
1535.03/1535.01	c [picomus] reduction 89 to 20897 out of 175697 (12%) after 1535.1 sec
1584.73/1584.70	c [picomus] reduction 90 to 20896 out of 175697 (12%) after 1584.7 sec
1600.63/1600.65	c [picomus] reduction 91 to 20895 out of 175697 (12%) after 1600.7 sec
1633.04/1633.08	c [picomus] reduction 92 to 20893 out of 175697 (12%) after 1633.1 sec
1634.64/1634.69	c [picomus] reduction 93 to 20892 out of 175697 (12%) after 1634.7 sec
1643.64/1643.65	c [picomus] reduction 94 to 20891 out of 175697 (12%) after 1643.7 sec
1663.84/1663.88	c [picomus] reduction 95 to 20890 out of 175697 (12%) after 1663.9 sec
1695.74/1695.76	c [picomus] reduction 96 to 20889 out of 175697 (12%) after 1695.8 sec
1696.24/1696.26	c [picomus] reduction 97 to 20887 out of 175697 (12%) after 1696.3 sec
1733.94/1733.92	c [picomus] reduction 98 to 20884 out of 175697 (12%) after 1734.0 sec
1737.64/1737.67	c [picomus] reduction 99 to 20883 out of 175697 (12%) after 1737.7 sec
1741.14/1741.19	c [picomus] reduction 100 to 20881 out of 175697 (12%) after 1741.2 sec
1759.34/1759.37	c [picomus] reduction 101 to 20880 out of 175697 (12%) after 1759.4 sec
1780.74/1780.71	c [picomus] reduction 102 to 20879 out of 175697 (12%) after 1780.8 sec
1782.54/1782.58	c [picomus] reduction 103 to 20878 out of 175697 (12%) after 1782.6 sec
1795.04/1795.05	c [picomus] reduction 104 to 20874 out of 175697 (12%) after 1795.1 sec
1798.74/1798.70	c [picomus] reduction 105 to 20873 out of 175697 (12%) after 1798.8 sec
1798.84/1798.82	c [picomus] reduction 106 to 20872 out of 175697 (12%) after 1798.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-3493718-1307802630/watcher-3493718-1307802630 -o /tmp/evaluation-result-3493718-1307802630/solver-3493718-1307802630 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493718-1307802630.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: 4.18 4.27 3.66 4/189 11335
/proc/meminfo: memFree=28332592/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=3248 CPUtime=0 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 271 0 0 0 0 0 0 0 25 0 1 0 970493674 3325952 225 33554432000 134512640 135072097 4288355872 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 812 226 53 137 0 673 0

[startup+0.0960539 s]
/proc/loadavg: 4.18 4.27 3.66 4/189 11335
/proc/meminfo: memFree=28332592/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=15640 CPUtime=0.08 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 3704 0 0 0 8 0 0 0 25 0 1 0 970493674 16015360 3657 33554432000 134512640 135072097 4288355872 18446744073709551615 134550293 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 3910 3659 61 137 0 3771 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15640

[startup+0.101054 s]
/proc/loadavg: 4.18 4.27 3.66 4/189 11335
/proc/meminfo: memFree=28332592/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=16908 CPUtime=0.09 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 3890 0 0 0 9 0 0 0 25 0 1 0 970493674 17313792 3843 33554432000 134512640 135072097 4288355872 18446744073709551615 134554438 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 4227 3844 61 137 0 4088 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16908

[startup+0.301074 s]
/proc/loadavg: 4.18 4.27 3.66 4/189 11335
/proc/meminfo: memFree=28332592/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=17712 CPUtime=0.29 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 4087 0 0 0 29 0 0 0 25 0 1 0 970493674 18137088 4040 33554432000 134512640 135072097 4288355872 18446744073709551615 134580792 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 4428 4040 69 137 0 4289 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17712

[startup+0.700945 s]
/proc/loadavg: 4.18 4.27 3.66 4/189 11335
/proc/meminfo: memFree=28332592/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=18148 CPUtime=0.69 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 4223 0 0 0 69 0 0 0 25 0 1 0 970493674 18583552 4176 33554432000 134512640 135072097 4288355872 18446744073709551615 134558253 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 4537 4176 69 137 0 4398 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18148

[startup+1.5008 s]
/proc/loadavg: 4.18 4.27 3.66 5/190 11336
/proc/meminfo: memFree=28308056/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=19532 CPUtime=1.49 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 4536 0 0 0 149 0 0 0 25 0 1 0 970493674 20000768 4489 33554432000 134512640 135072097 4288355872 18446744073709551615 134557360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 4883 4489 69 137 0 4744 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19532

[startup+3.10051 s]
/proc/loadavg: 4.18 4.27 3.66 5/190 11336
/proc/meminfo: memFree=28299748/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=13904 CPUtime=3.09 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 13167 0 0 0 307 2 0 0 25 0 1 0 970493674 14237696 3132 33554432000 134512640 135072097 4288355872 18446744073709551615 134521984 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 3476 3132 76 137 0 3337 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13904

[startup+6.30092 s]
/proc/loadavg: 4.17 4.27 3.67 5/190 11336
/proc/meminfo: memFree=28274480/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=13080 CPUtime=6.29 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 35514 0 0 0 624 5 0 0 25 0 1 0 970493674 13393920 2942 33554432000 134512640 135072097 4288355872 18446744073709551615 134558352 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 3270 2942 76 137 0 3131 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13080

[startup+12.7007 s]
/proc/loadavg: 4.15 4.26 3.67 5/190 11337
/proc/meminfo: memFree=28183504/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=45824 CPUtime=12.69 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 53506 0 0 0 1262 7 0 0 25 0 1 0 970493674 46923776 10535 33554432000 134512640 135072097 4288355872 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 11456 10535 77 137 0 11317 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45824

[startup+25.5004 s]
/proc/loadavg: 4.20 4.27 3.68 5/190 11376
/proc/meminfo: memFree=31279044/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=45984 CPUtime=25.49 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 53529 0 0 0 2542 7 0 0 25 0 1 0 970493674 47087616 10558 33554432000 134512640 135072097 4288355872 18446744073709551615 134549050 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 11496 10558 77 137 0 11357 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45984

[startup+51.1007 s]
/proc/loadavg: 4.13 4.24 3.68 5/190 11377
/proc/meminfo: memFree=31258672/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=47228 CPUtime=51.09 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 53840 0 0 0 5102 7 0 0 25 0 1 0 970493674 48361472 10869 33554432000 134512640 135072097 4288355872 18446744073709551615 134543617 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 11807 10869 77 137 0 11668 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 47228

[startup+102.306 s]
/proc/loadavg: 4.06 4.20 3.70 5/190 11378
/proc/meminfo: memFree=31301428/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=50812 CPUtime=102.3 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 54749 0 0 0 10222 8 0 0 25 0 1 0 970493674 52031488 11778 33554432000 134512640 135072097 4288355872 18446744073709551615 134583955 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 12703 11778 77 137 0 12564 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 50812

[startup+162.3 s]
/proc/loadavg: 4.02 4.16 3.72 5/190 11380
/proc/meminfo: memFree=31247188/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=162.29 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55460 0 0 0 16221 8 0 0 25 0 1 0 970493674 54939648 12489 33554432000 134512640 135072097 4288355872 18446744073709551615 134549160 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12489 77 137 0 13274 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 53652

[startup+222.3 s]
/proc/loadavg: 4.00 4.13 3.73 5/190 11381
/proc/meminfo: memFree=31262276/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=222.3 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55460 0 0 0 22221 9 0 0 25 0 1 0 970493674 54939648 12489 33554432000 134512640 135072097 4288355872 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12489 77 137 0 13274 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 53652

[startup+282.3 s]
/proc/loadavg: 4.00 4.10 3.74 5/190 11383
/proc/meminfo: memFree=31263576/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=282.3 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55460 0 0 0 28221 9 0 0 25 0 1 0 970493674 54939648 12489 33554432000 134512640 135072097 4288355872 18446744073709551615 134584030 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12489 77 137 0 13274 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 53652

[startup+342.3 s]
/proc/loadavg: 4.00 4.08 3.76 5/190 11384
/proc/meminfo: memFree=31255224/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=342.3 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55460 0 0 0 34221 9 0 0 25 0 1 0 970493674 54939648 12489 33554432000 134512640 135072097 4288355872 18446744073709551615 134518191 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12489 77 137 0 13274 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 53652

[startup+402.3 s]
/proc/loadavg: 4.03 4.08 3.77 5/190 11386
/proc/meminfo: memFree=31289420/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=402.3 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55460 0 0 0 40221 9 0 0 25 0 1 0 970493674 54939648 12489 33554432000 134512640 135072097 4288355872 18446744073709551615 134548653 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12489 77 137 0 13274 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 53652

[startup+462.3 s]
/proc/loadavg: 4.01 4.06 3.78 5/190 11388
/proc/meminfo: memFree=31233468/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=462.3 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55460 0 0 0 46221 9 0 0 25 0 1 0 970493674 54939648 12489 33554432000 134512640 135072097 4288355872 18446744073709551615 134584053 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12489 77 137 0 13274 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 53652

[startup+522.3 s]
/proc/loadavg: 4.00 4.05 3.80 5/190 11392
/proc/meminfo: memFree=31273772/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=522.31 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 52221 10 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134583959 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 53652

[startup+582.301 s]
/proc/loadavg: 4.03 4.05 3.81 5/190 11394
/proc/meminfo: memFree=31238184/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=582.31 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 58220 11 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134549160 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 53652

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 4.00 4.02 3.84 5/190 11400
/proc/meminfo: memFree=31264284/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=822.32 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 82219 13 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134548997 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 53652

[startup+882.301 s]
/proc/loadavg: 4.00 4.01 3.85 5/190 11402
/proc/meminfo: memFree=31240684/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=882.31 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 88218 13 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 53652

[startup+942.301 s]
/proc/loadavg: 4.00 4.01 3.85 5/190 11403
/proc/meminfo: memFree=31240248/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=942.31 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 94218 13 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 53652

[startup+1002.3 s]
/proc/loadavg: 4.05 4.02 3.86 5/190 11405
/proc/meminfo: memFree=31268600/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1002.32 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 100218 14 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134548976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 53652

[startup+1062.3 s]
/proc/loadavg: 4.02 4.01 3.87 5/190 11407
/proc/meminfo: memFree=31071020/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1062.32 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 106218 14 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134549160 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 53652

[startup+1122.3 s]
/proc/loadavg: 4.05 4.02 3.88 5/190 11408
/proc/meminfo: memFree=30352268/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1122.32 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 112218 14 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134518194 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 53652

[startup+1182.3 s]
/proc/loadavg: 4.02 4.02 3.89 5/190 11410
/proc/meminfo: memFree=29877808/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1182.33 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 118218 15 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134548653 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 53652

[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.89 5/190 11411
/proc/meminfo: memFree=29253040/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1242.32 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 124217 15 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134518291 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 53652

[startup+1302.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 11413
/proc/meminfo: memFree=28629160/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1302.33 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 130217 16 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 53652

[startup+1362.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 11415
/proc/meminfo: memFree=28849236/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1362.33 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 136217 16 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134549170 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 53652

[startup+1422.31 s]
/proc/loadavg: 4.11 4.03 3.91 5/190 11416
/proc/meminfo: memFree=28878328/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1422.34 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 142217 17 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134583934 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 53652

[startup+1482.3 s]
/proc/loadavg: 4.04 4.02 3.91 5/190 11418
/proc/meminfo: memFree=28872696/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1482.33 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 148216 17 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 53652

[startup+1542.3 s]
/proc/loadavg: 4.09 4.03 3.92 5/190 11419
/proc/meminfo: memFree=28872036/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1542.33 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 154216 17 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134518232 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 53652

[startup+1602.3 s]
/proc/loadavg: 4.03 4.03 3.92 5/190 11421
/proc/meminfo: memFree=28890332/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1602.33 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 160216 17 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 53652

[startup+1662.3 s]
/proc/loadavg: 4.01 4.02 3.92 5/190 11423
/proc/meminfo: memFree=28853948/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1662.34 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 166216 18 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134584057 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 53652

[startup+1722.3 s]
/proc/loadavg: 2.99 3.75 3.83 3/178 11474
/proc/meminfo: memFree=29080868/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1722.34 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 172216 18 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134548997 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 53652

[startup+1782.3 s]
/proc/loadavg: 2.36 3.43 3.71 3/178 11476
/proc/meminfo: memFree=29080820/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1782.34 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 178216 18 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134583982 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 53652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.26 3.33 3.68 3/178 11476
/proc/meminfo: memFree=29080936/32950928 swapFree=67051812/67111528
[pid=11335] ppid=11333 vsize=53652 CPUtime=1800.04 cores=1,3
/proc/11335/stat : 11335 (picomus) R 11333 11335 10968 0 -1 4202496 55461 0 0 0 179986 18 0 0 25 0 1 0 970493674 54939648 12490 33554432000 134512640 135072097 4288355872 18446744073709551615 134583959 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11335/statm: 13413 12490 77 137 0 13274 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 53652

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): 1799.87
CPU system time (s): 0.19097
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 53652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55461
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= 4
involuntary context switches= 6618

runsolver used 2.86356 second user time and 6.84596 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-11 16:30:30
IDJOB=3493718
IDBENCH=82484
IDSOLVER=1974
FILE ID=node116/3493718-1307802630
RUNJOBID= node116-1307800705-10988
PBS_JOBID= 13551061
Free space on /tmp= 74112 MiB

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

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

MD5SUM BENCH= 4cbc17c0fba4366b08e82594de9ab9bd
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:      28333260 kB
Buffers:        305808 kB
Cached:         896904 kB
SwapCached:      13064 kB
Active:        3702064 kB
Inactive:       712216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28333260 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:            8924 kB
Writeback:           0 kB
AnonPages:     3208208 kB
Mapped:          10152 kB
Slab:           132292 kB
PageTables:      11496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3458208 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= 74140 MiB
End job on node116 at 2011-06-11 17:00:32