Trace number 3493726

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

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
MD5SUM649b4cf0a21e275b244b1034d05ded52
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 variables96095
Number of clauses285404
Sum of the clauses size665940
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2190268
Number of clauses of size 395134
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 96095 285404
23.00/23.04	s UNSATISFIABLE
23.10/23.10	c [picomus] extracted core 1 of size 130222 out of 285404 (46%) after 23.1 sec
37.30/37.36	c [picomus] extracted core 2 of size 107309 out of 285404 (38%) after 37.4 sec
48.59/48.64	c [picomus] extracted core 3 of size 100686 out of 285404 (35%) after 48.6 sec
59.79/59.83	c [picomus] extracted core 4 of size 97229 out of 285404 (34%) after 59.8 sec
71.10/71.11	c [picomus] extracted core 5 of size 94588 out of 285404 (33%) after 71.1 sec
82.69/82.70	c [picomus] extracted core 6 of size 93135 out of 285404 (33%) after 82.7 sec
95.00/95.08	c [picomus] extracted core 7 of size 91180 out of 285404 (32%) after 95.1 sec
106.19/106.22	c [picomus] extracted core 8 of size 89381 out of 285404 (31%) after 106.2 sec
117.19/117.23	c [picomus] extracted core 9 of size 87346 out of 285404 (31%) after 117.2 sec
129.29/129.30	c [picomus] extracted core 10 of size 86819 out of 285404 (30%) after 129.3 sec
139.80/139.82	c [picomus] extracted core 11 of size 85881 out of 285404 (30%) after 139.8 sec
151.70/151.78	c [picomus] extracted core 12 of size 84858 out of 285404 (30%) after 151.8 sec
162.09/162.12	c [picomus] extracted core 13 of size 83681 out of 285404 (29%) after 162.1 sec
172.90/172.99	c [picomus] extracted core 14 of size 83029 out of 285404 (29%) after 173.0 sec
184.99/185.05	c [picomus] extracted core 15 of size 82365 out of 285404 (29%) after 185.1 sec
196.80/196.83	c [picomus] extracted core 16 of size 81903 out of 285404 (29%) after 196.8 sec
207.70/207.74	c [picomus] extracted core 17 of size 81648 out of 285404 (29%) after 207.8 sec
218.60/218.60	c [picomus] extracted core 18 of size 81237 out of 285404 (28%) after 218.6 sec
230.80/230.88	c [picomus] extracted core 19 of size 80347 out of 285404 (28%) after 230.9 sec
242.30/242.30	c [picomus] extracted core 20 of size 79960 out of 285404 (28%) after 242.3 sec
253.20/253.21	c [picomus] extracted core 21 of size 79629 out of 285404 (28%) after 253.2 sec
265.30/265.35	c [picomus] extracted core 22 of size 79499 out of 285404 (28%) after 265.4 sec
277.30/277.35	c [picomus] extracted core 23 of size 79245 out of 285404 (28%) after 277.4 sec
289.31/289.38	c [picomus] extracted core 24 of size 79081 out of 285404 (28%) after 289.4 sec
302.20/302.27	c [picomus] extracted core 25 of size 78581 out of 285404 (28%) after 302.3 sec
313.10/313.15	c [picomus] extracted core 26 of size 77693 out of 285404 (27%) after 313.2 sec
323.80/323.83	c [picomus] extracted core 27 of size 77563 out of 285404 (27%) after 323.8 sec
335.00/335.08	c [picomus] extracted core 28 of size 77465 out of 285404 (27%) after 335.1 sec
345.70/345.79	c [picomus] extracted core 29 of size 77396 out of 285404 (27%) after 345.8 sec
358.20/358.23	c [picomus] extracted core 30 of size 77315 out of 285404 (27%) after 358.2 sec
371.20/371.21	c [picomus] extracted core 31 of size 77223 out of 285404 (27%) after 371.2 sec
383.20/383.20	c [picomus] extracted core 32 of size 77084 out of 285404 (27%) after 383.2 sec
393.40/393.49	c [picomus] extracted core 33 of size 76686 out of 285404 (27%) after 393.5 sec
404.90/404.90	c [picomus] extracted core 34 of size 76665 out of 285404 (27%) after 404.9 sec
416.70/416.72	c [picomus] extracted core 35 of size 76622 out of 285404 (27%) after 416.7 sec
427.10/427.17	c [picomus] extracted core 36 of size 76558 out of 285404 (27%) after 427.2 sec
439.61/439.67	c [picomus] extracted core 37 of size 76514 out of 285404 (27%) after 439.7 sec
452.01/452.01	c [picomus] extracted core 38 of size 76431 out of 285404 (27%) after 452.0 sec
463.30/463.34	c [picomus] extracted core 39 of size 76375 out of 285404 (27%) after 463.4 sec
475.31/475.33	c [picomus] extracted core 40 of size 76301 out of 285404 (27%) after 475.3 sec
488.00/488.07	c [picomus] extracted core 41 of size 76276 out of 285404 (27%) after 488.1 sec
500.80/500.89	c [picomus] extracted core 42 of size 76244 out of 285404 (27%) after 500.9 sec
512.51/512.56	c [picomus] extracted core 43 of size 76168 out of 285404 (27%) after 512.6 sec
524.51/524.51	c [picomus] extracted core 44 of size 76129 out of 285404 (27%) after 524.5 sec
536.61/536.62	c [picomus] extracted core 45 of size 76112 out of 285404 (27%) after 536.6 sec
547.00/547.04	c [picomus] extracted core 46 of size 76074 out of 285404 (27%) after 547.1 sec
558.31/558.38	c [picomus] extracted core 47 of size 76012 out of 285404 (27%) after 558.4 sec
569.91/569.92	c [picomus] extracted core 48 of size 75968 out of 285404 (27%) after 569.9 sec
580.51/580.54	c [picomus] extracted core 49 of size 75903 out of 285404 (27%) after 580.6 sec
593.00/593.05	c [picomus] extracted core 50 of size 75834 out of 285404 (27%) after 593.1 sec
603.81/603.80	c [picomus] extracted core 51 of size 75770 out of 285404 (27%) after 603.8 sec
616.31/616.39	c [picomus] extracted core 52 of size 75744 out of 285404 (27%) after 616.4 sec
627.21/627.29	c [picomus] extracted core 53 of size 75726 out of 285404 (27%) after 627.3 sec
638.31/638.35	c [picomus] extracted core 54 of size 75698 out of 285404 (27%) after 638.4 sec
649.81/649.84	c [picomus] extracted core 55 of size 75672 out of 285404 (27%) after 649.9 sec
662.82/662.83	c [picomus] extracted core 56 of size 75645 out of 285404 (27%) after 662.9 sec
674.41/674.41	c [picomus] extracted core 57 of size 75627 out of 285404 (26%) after 674.4 sec
687.02/687.09	c [picomus] extracted core 58 of size 75602 out of 285404 (26%) after 687.1 sec
698.42/698.45	c [picomus] extracted core 59 of size 75566 out of 285404 (26%) after 698.5 sec
710.41/710.46	c [picomus] extracted core 60 of size 75556 out of 285404 (26%) after 710.5 sec
721.81/721.81	c [picomus] extracted core 61 of size 75537 out of 285404 (26%) after 721.8 sec
734.41/734.46	c [picomus] extracted core 62 of size 75531 out of 285404 (26%) after 734.5 sec
745.61/745.68	c [picomus] extracted core 63 of size 75508 out of 285404 (26%) after 745.7 sec
756.82/756.86	c [picomus] extracted core 64 of size 75493 out of 285404 (26%) after 756.9 sec
768.31/768.36	c [picomus] extracted core 65 of size 75471 out of 285404 (26%) after 768.4 sec
780.81/780.85	c [picomus] extracted core 66 of size 75454 out of 285404 (26%) after 780.9 sec
792.12/792.18	c [picomus] extracted core 67 of size 75426 out of 285404 (26%) after 792.2 sec
804.32/804.37	c [picomus] extracted core 68 of size 75405 out of 285404 (26%) after 804.4 sec
814.81/814.83	c [picomus] extracted core 69 of size 75381 out of 285404 (26%) after 814.9 sec
825.62/825.67	c [picomus] extracted core 70 of size 75363 out of 285404 (26%) after 825.7 sec
836.42/836.42	c [picomus] extracted core 71 of size 75342 out of 285404 (26%) after 836.5 sec
847.22/847.24	c [picomus] extracted core 72 of size 75331 out of 285404 (26%) after 847.3 sec
859.02/859.09	c [picomus] extracted core 73 of size 75316 out of 285404 (26%) after 859.1 sec
869.82/869.85	c [picomus] extracted core 74 of size 75269 out of 285404 (26%) after 869.9 sec
880.32/880.34	c [picomus] extracted core 75 of size 74675 out of 285404 (26%) after 880.4 sec
891.82/891.86	c [picomus] extracted core 76 of size 74659 out of 285404 (26%) after 891.9 sec
902.52/902.56	c [picomus] extracted core 77 of size 74652 out of 285404 (26%) after 902.6 sec
913.72/913.70	c [picomus] extracted core 78 of size 74641 out of 285404 (26%) after 913.7 sec
924.42/924.46	c [picomus] extracted core 79 of size 74629 out of 285404 (26%) after 924.5 sec
936.02/936.08	c [picomus] extracted core 80 of size 74614 out of 285404 (26%) after 936.1 sec
947.22/947.26	c [picomus] extracted core 81 of size 74598 out of 285404 (26%) after 947.3 sec
958.22/958.28	c [picomus] extracted core 82 of size 74585 out of 285404 (26%) after 958.3 sec
969.72/969.78	c [picomus] extracted core 83 of size 74566 out of 285404 (26%) after 969.8 sec
981.32/981.31	c [picomus] extracted core 84 of size 74557 out of 285404 (26%) after 981.3 sec
991.62/991.66	c [picomus] extracted core 85 of size 74540 out of 285404 (26%) after 991.7 sec
1002.42/1002.48	c [picomus] extracted core 86 of size 74530 out of 285404 (26%) after 1002.5 sec
1013.92/1013.95	c [picomus] extracted core 87 of size 74511 out of 285404 (26%) after 1014.0 sec
1024.13/1024.16	c [picomus] extracted core 88 of size 74502 out of 285404 (26%) after 1024.2 sec
1221.04/1221.08	c [picomus] reduction 1 to 73698 out of 285404 (26%) after 1221.1 sec
1290.43/1290.43	c [picomus] reduction 2 to 73612 out of 285404 (26%) after 1290.5 sec
1330.63/1330.61	c [picomus] reduction 3 to 73594 out of 285404 (26%) after 1330.7 sec
1342.04/1342.03	c [picomus] reduction 4 to 73591 out of 285404 (26%) after 1342.1 sec
1347.74/1347.79	c [picomus] reduction 5 to 73534 out of 285404 (26%) after 1347.8 sec
1373.84/1373.89	c [picomus] reduction 6 to 73308 out of 285404 (26%) after 1373.9 sec
1375.64/1375.65	c [picomus] reduction 7 to 73306 out of 285404 (26%) after 1375.7 sec
1377.04/1377.01	c [picomus] reduction 8 to 73302 out of 285404 (26%) after 1377.1 sec
1472.44/1472.49	c [picomus] reduction 9 to 73299 out of 285404 (26%) after 1472.5 sec
1514.04/1514.04	c [picomus] reduction 10 to 73298 out of 285404 (26%) after 1514.1 sec
1527.85/1527.89	c [picomus] reduction 11 to 73297 out of 285404 (26%) after 1527.9 sec
1533.54/1533.56	c [picomus] reduction 12 to 73295 out of 285404 (26%) after 1533.6 sec
1541.24/1541.26	c [picomus] reduction 13 to 73294 out of 285404 (26%) after 1541.3 sec
1545.34/1545.38	c [picomus] reduction 14 to 73288 out of 285404 (26%) after 1545.4 sec
1551.54/1551.59	c [picomus] reduction 15 to 73287 out of 285404 (26%) after 1551.6 sec
1554.84/1554.87	c [picomus] reduction 16 to 73252 out of 285404 (26%) after 1554.9 sec
1560.24/1560.20	c [picomus] reduction 17 to 73250 out of 285404 (26%) after 1560.3 sec
1561.04/1561.00	c [picomus] reduction 18 to 73224 out of 285404 (26%) after 1561.1 sec
1564.15/1564.16	c [picomus] reduction 19 to 73223 out of 285404 (26%) after 1564.2 sec
1565.14/1565.13	c [picomus] reduction 20 to 73222 out of 285404 (26%) after 1565.2 sec
1567.45/1567.48	c [picomus] reduction 21 to 73221 out of 285404 (26%) after 1567.5 sec
1568.44/1568.41	c [picomus] reduction 22 to 73218 out of 285404 (26%) after 1568.5 sec
1569.75/1569.73	c [picomus] reduction 23 to 73217 out of 285404 (26%) after 1569.8 sec
1626.85/1626.86	c [picomus] reduction 24 to 73216 out of 285404 (26%) after 1626.9 sec
1631.74/1631.76	c [picomus] reduction 25 to 73174 out of 285404 (26%) after 1631.8 sec
1641.04/1641.04	c [picomus] reduction 26 to 73173 out of 285404 (26%) after 1641.1 sec
1645.14/1645.17	c [picomus] reduction 27 to 73172 out of 285404 (26%) after 1645.2 sec
1653.44/1653.49	c [picomus] reduction 28 to 73169 out of 285404 (26%) after 1653.5 sec
1656.04/1656.00	c [picomus] reduction 29 to 73167 out of 285404 (26%) after 1656.1 sec
1658.44/1658.40	c [picomus] reduction 30 to 73166 out of 285404 (26%) after 1658.5 sec
1659.04/1659.05	c [picomus] reduction 31 to 73163 out of 285404 (26%) after 1659.1 sec
1659.24/1659.29	c [picomus] reduction 32 to 73161 out of 285404 (26%) after 1659.3 sec
1662.24/1662.23	c [picomus] reduction 33 to 73155 out of 285404 (26%) after 1662.3 sec
1666.55/1666.54	c [picomus] reduction 34 to 73153 out of 285404 (26%) after 1666.6 sec
1673.84/1673.81	c [picomus] reduction 35 to 73152 out of 285404 (26%) after 1673.9 sec
1723.84/1723.89	c [picomus] reduction 36 to 73098 out of 285404 (26%) after 1724.0 sec
1777.44/1777.44	c [picomus] reduction 37 to 73094 out of 285404 (26%) after 1777.5 sec
1778.94/1778.98	c [picomus] reduction 38 to 73092 out of 285404 (26%) after 1779.0 sec
1798.14/1798.16	c [picomus] reduction 39 to 73091 out of 285404 (26%) after 1798.2 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-3493726-1307802647/watcher-3493726-1307802647 -o /tmp/evaluation-result-3493726-1307802647/solver-3493726-1307802647 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493726-1307802647.cnf 

running on 2 cores: 5,7

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.13 4.25 3.67 4/189 11375
/proc/meminfo: memFree=31331500/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=4800 CPUtime=0 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 383 0 0 0 0 0 0 0 25 0 1 0 970495432 4915200 337 33554432000 134512640 135072097 4292234368 18446744073709551615 134705502 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 1200 339 53 137 0 1061 0

[startup+0.0834991 s]
/proc/loadavg: 4.13 4.25 3.67 4/189 11375
/proc/meminfo: memFree=31331500/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=9288 CPUtime=0.07 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 2230 0 0 0 7 0 0 0 25 0 1 0 970495432 9510912 2184 33554432000 134512640 135072097 4292234368 18446744073709551615 134514988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 2322 2185 53 137 0 2183 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9288

[startup+0.100496 s]
/proc/loadavg: 4.13 4.25 3.67 4/189 11375
/proc/meminfo: memFree=31331500/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=13084 CPUtime=0.09 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 3159 0 0 0 9 0 0 0 25 0 1 0 970495432 13398016 3084 33554432000 134512640 135072097 4292234368 18446744073709551615 134521172 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 3271 3084 61 137 0 3132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13084

[startup+0.300461 s]
/proc/loadavg: 4.13 4.25 3.67 4/189 11375
/proc/meminfo: memFree=31331500/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=26264 CPUtime=0.29 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 6252 0 0 0 29 0 0 0 25 0 1 0 970495432 26894336 6177 33554432000 134512640 135072097 4292234368 18446744073709551615 134536858 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 6566 6177 68 137 0 6427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26264

[startup+0.700388 s]
/proc/loadavg: 4.13 4.25 3.67 4/189 11375
/proc/meminfo: memFree=31331500/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=27444 CPUtime=0.69 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 6478 0 0 0 69 0 0 0 25 0 1 0 970495432 28102656 6403 33554432000 134512640 135072097 4292234368 18446744073709551615 134559206 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 6861 6403 70 137 0 6722 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27444

[startup+1.50024 s]
/proc/loadavg: 4.13 4.25 3.67 5/190 11376
/proc/meminfo: memFree=31303252/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=27972 CPUtime=1.49 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 6606 0 0 0 148 1 0 0 25 0 1 0 970495432 28643328 6530 33554432000 134512640 135072097 4292234368 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 6993 6530 69 137 0 6854 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27972

[startup+3.10095 s]
/proc/loadavg: 4.13 4.25 3.67 5/190 11376
/proc/meminfo: memFree=31298912/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=29208 CPUtime=3.09 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 6923 0 0 0 308 1 0 0 25 0 1 0 970495432 29908992 6847 33554432000 134512640 135072097 4292234368 18446744073709551615 134543533 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 7302 6847 69 137 0 7163 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29208

[startup+6.30036 s]
/proc/loadavg: 4.20 4.27 3.68 5/190 11376
/proc/meminfo: memFree=31287164/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=32112 CPUtime=6.29 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 7638 0 0 0 628 1 0 0 25 0 1 0 970495432 32882688 7562 33554432000 134512640 135072097 4292234368 18446744073709551615 134543500 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 8028 7562 69 137 0 7889 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32112

[startup+12.7002 s]
/proc/loadavg: 4.18 4.26 3.68 5/190 11376
/proc/meminfo: memFree=31262796/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=38316 CPUtime=12.69 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 9144 0 0 0 1268 1 0 0 25 0 1 0 970495432 39235584 9068 33554432000 134512640 135072097 4292234368 18446744073709551615 134543596 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 9579 9068 69 137 0 9440 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38316

[startup+25.5008 s]
/proc/loadavg: 4.14 4.25 3.68 5/190 11376
/proc/meminfo: memFree=31288324/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=24672 CPUtime=25.5 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 14673 0 0 0 2547 3 0 0 25 0 1 0 970495432 25264128 5689 33554432000 134512640 135072097 4292234368 18446744073709551615 134556781 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 6168 5690 76 137 0 6029 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 24672

[startup+51.1002 s]
/proc/loadavg: 4.09 4.23 3.69 5/190 11377
/proc/meminfo: memFree=31278896/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=24064 CPUtime=51.09 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 28886 0 0 0 5103 6 0 0 25 0 1 0 970495432 24641536 5589 33554432000 134512640 135072097 4292234368 18446744073709551615 134558988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 6016 5589 76 137 0 5877 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24064

[startup+102.307 s]
/proc/loadavg: 4.04 4.19 3.70 5/190 11379
/proc/meminfo: memFree=31245984/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=32568 CPUtime=102.3 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 58741 0 0 0 10218 12 0 0 25 0 1 0 970495432 33349632 7671 33554432000 134512640 135072097 4292234368 18446744073709551615 134543506 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 8142 7671 76 137 0 8003 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 32568

[startup+162.301 s]
/proc/loadavg: 4.01 4.15 3.72 5/190 11380
/proc/meminfo: memFree=31253868/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=20080 CPUtime=162.3 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 98521 0 0 0 16208 22 0 0 25 0 1 0 970495432 20561920 4637 33554432000 134512640 135072097 4292234368 18446744073709551615 134518194 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 5020 4637 76 137 0 4881 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 20080

[startup+222.301 s]
/proc/loadavg: 4.00 4.12 3.74 5/190 11382
/proc/meminfo: memFree=31269572/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=26108 CPUtime=222.3 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 136163 0 0 0 22200 30 0 0 25 0 1 0 970495432 26734592 6074 33554432000 134512640 135072097 4292234368 18446744073709551615 134543485 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 6527 6074 76 137 0 6388 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26108

[startup+282.301 s]
/proc/loadavg: 4.00 4.10 3.75 5/190 11383
/proc/meminfo: memFree=31290968/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=28776 CPUtime=282.3 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 173785 0 0 0 28190 40 0 0 25 0 1 0 970495432 29466624 6758 33554432000 134512640 135072097 4292234368 18446744073709551615 134559145 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 7194 6758 76 137 0 7055 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 28776

[startup+342.301 s]
/proc/loadavg: 4.07 4.09 3.77 5/190 11385
/proc/meminfo: memFree=31277908/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=34132 CPUtime=342.3 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 213006 0 0 0 34179 51 0 0 25 0 1 0 970495432 34951168 8056 33554432000 134512640 135072097 4292234368 18446744073709551615 134539115 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 8533 8056 76 137 0 8394 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 34132

[startup+402.301 s]
/proc/loadavg: 4.02 4.07 3.78 5/190 11387
/proc/meminfo: memFree=31286684/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=36472 CPUtime=402.3 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 252029 0 0 0 40167 63 0 0 25 0 1 0 970495432 37347328 8696 33554432000 134512640 135072097 4292234368 18446744073709551615 134518072 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 9118 8696 76 137 0 8979 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 36472

[startup+462.301 s]
/proc/loadavg: 4.01 4.06 3.79 5/190 11388
/proc/meminfo: memFree=31247220/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=38684 CPUtime=462.3 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 290758 0 0 0 46159 71 0 0 25 0 1 0 970495432 39612416 9252 33554432000 134512640 135072097 4292234368 18446744073709551615 134558255 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 9671 9252 76 137 0 9532 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 38684

[startup+522.301 s]
/proc/loadavg: 4.06 4.06 3.81 5/190 11393
/proc/meminfo: memFree=31274696/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=37352 CPUtime=522.31 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 329431 0 0 0 52150 81 0 0 25 0 1 0 970495432 38248448 8867 33554432000 134512640 135072097 4292234368 18446744073709551615 134543446 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 9338 8867 76 137 0 9199 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 37352

[startup+582.301 s]
/proc/loadavg: 4.02 4.05 3.82 5/190 11394
/proc/meminfo: memFree=31266072/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=22296 CPUtime=582.3 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 371060 0 0 0 58141 89 0 0 25 0 1 0 970495432 22831104 5149 33554432000 134512640 135072097 4292234368 18446744073709551615 134548997 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 5574 5149 76 137 0 5435 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 22296

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 4.00 4.02 3.84 5/190 11401
/proc/meminfo: memFree=31222732/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=34344 CPUtime=822.32 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 529447 0 0 0 82102 130 0 0 25 0 1 0 970495432 35168256 8086 33554432000 134512640 135072097 4292234368 18446744073709551615 134543746 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 8586 8086 76 137 0 8447 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 34344

[startup+882.301 s]
/proc/loadavg: 4.00 4.01 3.85 5/190 11402
/proc/meminfo: memFree=31261116/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=22900 CPUtime=882.31 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 570859 0 0 0 88092 139 0 0 25 0 1 0 970495432 23449600 5286 33554432000 134512640 135072097 4292234368 18446744073709551615 134559446 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 5725 5286 76 137 0 5586 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 22900

[startup+942.301 s]
/proc/loadavg: 4.00 4.00 3.85 5/190 11404
/proc/meminfo: memFree=31277680/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=31524 CPUtime=942.32 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 610927 0 0 0 94083 149 0 0 25 0 1 0 970495432 32280576 7444 33554432000 134512640 135072097 4292234368 18446744073709551615 134520049 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 7881 7444 76 137 0 7742 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 31524

[startup+1002.3 s]
/proc/loadavg: 4.04 4.01 3.86 5/190 11406
/proc/meminfo: memFree=31274540/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=39884 CPUtime=1002.32 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 651412 0 0 0 100075 157 0 0 25 0 1 0 970495432 40841216 9503 33554432000 134512640 135072097 4292234368 18446744073709551615 134543485 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 9971 9503 76 137 0 9832 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 39884

[startup+1062.3 s]
/proc/loadavg: 4.01 4.01 3.87 5/190 11407
/proc/meminfo: memFree=30840980/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=443192 CPUtime=1062.32 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 773795 0 0 0 106057 175 0 0 25 0 1 0 970495432 453828608 109183 33554432000 134512640 135072097 4292234368 18446744073709551615 134556265 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 110798 109183 76 137 0 110659 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 443192

[startup+1122.3 s]
/proc/loadavg: 4.03 4.02 3.88 5/190 11409
/proc/meminfo: memFree=30240032/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=1062940 CPUtime=1122.33 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 928699 0 0 0 112037 196 0 0 25 0 1 0 970495432 1088450560 264076 33554432000 134512640 135072097 4292234368 18446744073709551615 134556216 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 265735 264076 76 137 0 265596 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1062940

[startup+1182.3 s]
/proc/loadavg: 4.01 4.01 3.89 5/190 11410
/proc/meminfo: memFree=29676176/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=1604128 CPUtime=1182.32 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1063894 0 0 0 118019 213 0 0 25 0 1 0 970495432 1642627072 399259 33554432000 134512640 135072097 4292234368 18446744073709551615 134557214 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 401032 399259 76 137 0 400893 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1604128

[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.89 5/190 11412
/proc/meminfo: memFree=29090968/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2202540 CPUtime=1242.32 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1213488 0 0 0 124001 231 0 0 25 0 1 0 970495432 2255400960 548845 33554432000 134512640 135072097 4292234368 18446744073709551615 134556598 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 550635 548845 77 137 0 550496 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2202540

[startup+1302.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 11414
/proc/meminfo: memFree=28775600/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2545532 CPUtime=1302.34 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1347476 0 0 0 129987 247 0 0 25 0 1 0 970495432 2606624768 634572 33554432000 134512640 135072097 4292234368 18446744073709551615 134583507 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 636383 634572 77 137 0 636244 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2545532

[startup+1362.3 s]
/proc/loadavg: 4.07 4.02 3.91 5/190 11415
/proc/meminfo: memFree=28860992/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2426736 CPUtime=1362.34 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1347477 0 0 0 135986 248 0 0 25 0 1 0 970495432 2484977664 604874 33554432000 134512640 135072097 4292234368 18446744073709551615 134517979 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 606684 604874 77 137 0 606545 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2426736

[startup+1422.31 s]
/proc/loadavg: 4.08 4.03 3.91 5/190 11417
/proc/meminfo: memFree=28829080/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2426736 CPUtime=1422.34 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1347477 0 0 0 141986 248 0 0 25 0 1 0 970495432 2484977664 604874 33554432000 134512640 135072097 4292234368 18446744073709551615 134583955 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 606684 604874 77 137 0 606545 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2426736

[startup+1482.3 s]
/proc/loadavg: 4.03 4.02 3.91 5/190 11418
/proc/meminfo: memFree=28825068/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2426736 CPUtime=1482.34 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1347477 0 0 0 147986 248 0 0 25 0 1 0 970495432 2484977664 604874 33554432000 134512640 135072097 4292234368 18446744073709551615 134548943 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 606684 604874 77 137 0 606545 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2426736

[startup+1542.3 s]
/proc/loadavg: 4.06 4.03 3.92 5/190 11420
/proc/meminfo: memFree=28880584/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2426736 CPUtime=1542.34 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1347477 0 0 0 153986 248 0 0 25 0 1 0 970495432 2484977664 604874 33554432000 134512640 135072097 4292234368 18446744073709551615 134517956 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 606684 604874 77 137 0 606545 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2426736

[startup+1602.3 s]
/proc/loadavg: 4.02 4.02 3.92 5/190 11422
/proc/meminfo: memFree=28838116/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2426736 CPUtime=1602.34 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1347477 0 0 0 159986 248 0 0 25 0 1 0 970495432 2484977664 604874 33554432000 134512640 135072097 4292234368 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 606684 604874 77 137 0 606545 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2426736

[startup+1662.3 s]
/proc/loadavg: 3.93 4.00 3.91 3/182 11449
/proc/meminfo: memFree=29055844/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2426736 CPUtime=1662.34 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1347477 0 0 0 165986 248 0 0 25 0 1 0 970495432 2484977664 604874 33554432000 134512640 135072097 4292234368 18446744073709551615 134584004 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 606684 604874 77 137 0 606545 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2426736

[startup+1722.3 s]
/proc/loadavg: 2.71 3.63 3.79 3/178 11475
/proc/meminfo: memFree=29080860/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2426736 CPUtime=1722.34 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1347477 0 0 0 171986 248 0 0 25 0 1 0 970495432 2484977664 604874 33554432000 134512640 135072097 4292234368 18446744073709551615 134518198 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 606684 604874 77 137 0 606545 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2426736

[startup+1782.3 s]
/proc/loadavg: 2.26 3.33 3.68 3/178 11476
/proc/meminfo: memFree=29080936/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2426736 CPUtime=1782.34 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1347477 0 0 0 177986 248 0 0 25 0 1 0 970495432 2484977664 604874 33554432000 134512640 135072097 4292234368 18446744073709551615 134583966 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 606684 604874 77 137 0 606545 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2426736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.90 3.18 3.62 2/172 11502
/proc/meminfo: memFree=29136396/32950928 swapFree=67051812/67111528
[pid=11375] ppid=11373 vsize=2426736 CPUtime=1800.05 cores=5,7
/proc/11375/stat : 11375 (picomus) R 11373 11375 10968 0 -1 4202496 1347477 0 0 0 179757 248 0 0 25 0 1 0 970495432 2484977664 604874 33554432000 134512640 135072097 4292234368 18446744073709551615 134568544 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11375/statm: 606684 604874 77 137 0 606545 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2426736

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.15
CPU user time (s): 1797.57
CPU system time (s): 2.58061
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2738548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.57
system time used= 2.58061
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1347477
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= 3
involuntary context switches= 1461

runsolver used 2.86656 second user time and 6.91695 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-11 16:30:48
IDJOB=3493726
IDBENCH=82489
IDSOLVER=1974
FILE ID=node116/3493726-1307802647
RUNJOBID= node116-1307800705-10989
PBS_JOBID= 13551061
Free space on /tmp= 74108 MiB

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

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

MD5SUM BENCH= 649b4cf0a21e275b244b1034d05ded52
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:      31332168 kB
Buffers:        305900 kB
Cached:         899248 kB
SwapCached:      13064 kB
Active:         707424 kB
Inactive:       713564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31332168 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:           10548 kB
Writeback:           0 kB
AnonPages:      213008 kB
Mapped:          10152 kB
Slab:           132540 kB
PageTables:       5716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   460184 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:50