Trace number 3493546

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.19 1800.22

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
MD5SUM4211c3af8594e6cbb06d7f7e8978c614
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 variables149210
Number of clauses761906
Sum of the clauses size1988854
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2614506
Number of clauses of size 3141844
Number of clauses of size 41307
Number of clauses of size 5115
Number of clauses of size over 53858

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 151768 761906
167.39/167.48	s UNSATISFIABLE
167.69/167.71	c [picomus] extracted core 1 of size 274347 out of 761906 (36%) after 167.7 sec
218.59/218.65	c [picomus] extracted core 2 of size 159896 out of 761906 (21%) after 218.6 sec
244.89/244.98	c [picomus] extracted core 3 of size 116307 out of 761906 (15%) after 245.0 sec
279.09/279.19	c [picomus] extracted core 4 of size 87203 out of 761906 (11%) after 279.2 sec
297.99/298.10	c [picomus] extracted core 5 of size 75508 out of 761906 (10%) after 298.1 sec
318.90/318.91	c [picomus] extracted core 6 of size 68103 out of 761906 (9%) after 318.9 sec
335.29/335.38	c [picomus] extracted core 7 of size 58940 out of 761906 (8%) after 335.4 sec
363.89/363.94	c [picomus] extracted core 8 of size 55875 out of 761906 (7%) after 363.9 sec
375.29/375.32	c [picomus] extracted core 9 of size 50850 out of 761906 (7%) after 375.3 sec
401.19/401.26	c [picomus] extracted core 10 of size 49669 out of 761906 (7%) after 401.3 sec
416.90/416.97	c [picomus] extracted core 11 of size 48779 out of 761906 (6%) after 417.0 sec
432.20/432.24	c [picomus] extracted core 12 of size 45527 out of 761906 (6%) after 432.3 sec
444.69/444.79	c [picomus] extracted core 13 of size 45026 out of 761906 (6%) after 444.8 sec
458.49/458.50	c [picomus] extracted core 14 of size 43691 out of 761906 (6%) after 458.5 sec
473.79/473.84	c [picomus] extracted core 15 of size 43391 out of 761906 (6%) after 473.8 sec
486.79/486.84	c [picomus] extracted core 16 of size 42587 out of 761906 (6%) after 486.8 sec
497.99/498.06	c [picomus] extracted core 17 of size 41740 out of 761906 (5%) after 498.1 sec
513.89/513.98	c [picomus] extracted core 18 of size 41560 out of 761906 (5%) after 514.0 sec
523.38/523.49	c [picomus] extracted core 19 of size 40769 out of 761906 (5%) after 523.5 sec
531.99/532.03	c [picomus] extracted core 20 of size 40295 out of 761906 (5%) after 532.0 sec
540.68/540.77	c [picomus] extracted core 21 of size 37553 out of 761906 (5%) after 540.8 sec
553.69/553.72	c [picomus] extracted core 22 of size 37295 out of 761906 (5%) after 553.7 sec
559.69/559.72	c [picomus] extracted core 23 of size 36856 out of 761906 (5%) after 559.7 sec
565.49/565.57	c [picomus] extracted core 24 of size 36432 out of 761906 (5%) after 565.6 sec
572.18/572.27	c [picomus] extracted core 25 of size 36262 out of 761906 (5%) after 572.3 sec
578.79/578.85	c [picomus] extracted core 26 of size 36100 out of 761906 (5%) after 578.8 sec
587.79/587.89	c [picomus] extracted core 27 of size 35993 out of 761906 (5%) after 587.9 sec
595.68/595.72	c [picomus] extracted core 28 of size 35738 out of 761906 (5%) after 595.7 sec
600.89/600.95	c [picomus] extracted core 29 of size 35539 out of 761906 (5%) after 600.9 sec
607.99/608.01	c [picomus] extracted core 30 of size 35196 out of 761906 (5%) after 608.0 sec
617.78/617.81	c [picomus] extracted core 31 of size 35157 out of 761906 (5%) after 617.8 sec
626.19/626.27	c [picomus] extracted core 32 of size 35086 out of 761906 (5%) after 626.3 sec
632.69/632.70	c [picomus] extracted core 33 of size 35045 out of 761906 (5%) after 632.7 sec
639.59/639.60	c [picomus] extracted core 34 of size 34943 out of 761906 (5%) after 639.6 sec
645.49/645.59	c [picomus] extracted core 35 of size 34748 out of 761906 (5%) after 645.6 sec
651.09/651.19	c [picomus] extracted core 36 of size 34646 out of 761906 (5%) after 651.2 sec
655.89/655.96	c [picomus] extracted core 37 of size 34446 out of 761906 (5%) after 656.0 sec
662.79/662.87	c [picomus] extracted core 38 of size 34383 out of 761906 (5%) after 662.9 sec
668.19/668.28	c [picomus] extracted core 39 of size 34303 out of 761906 (5%) after 668.3 sec
673.10/673.12	c [picomus] extracted core 40 of size 34103 out of 761906 (4%) after 673.1 sec
679.09/679.10	c [picomus] extracted core 41 of size 34031 out of 761906 (4%) after 679.1 sec
684.89/684.96	c [picomus] extracted core 42 of size 33979 out of 761906 (4%) after 685.0 sec
692.18/692.24	c [picomus] extracted core 43 of size 33968 out of 761906 (4%) after 692.2 sec
700.69/700.79	c [picomus] extracted core 44 of size 33933 out of 761906 (4%) after 700.8 sec
706.88/706.95	c [picomus] extracted core 45 of size 33902 out of 761906 (4%) after 707.0 sec
712.29/712.34	c [picomus] extracted core 46 of size 33849 out of 761906 (4%) after 712.3 sec
719.09/719.13	c [picomus] extracted core 47 of size 33820 out of 761906 (4%) after 719.1 sec
726.69/726.74	c [picomus] extracted core 48 of size 33798 out of 761906 (4%) after 726.7 sec
732.59/732.61	c [picomus] extracted core 49 of size 33757 out of 761906 (4%) after 732.6 sec
738.00/738.03	c [picomus] extracted core 50 of size 33695 out of 761906 (4%) after 738.0 sec
743.39/743.44	c [picomus] extracted core 51 of size 33652 out of 761906 (4%) after 743.4 sec
749.19/749.27	c [picomus] extracted core 52 of size 33604 out of 761906 (4%) after 749.3 sec
756.39/756.40	c [picomus] extracted core 53 of size 33590 out of 761906 (4%) after 756.4 sec
763.09/763.18	c [picomus] extracted core 54 of size 33516 out of 761906 (4%) after 763.2 sec
768.79/768.85	c [picomus] extracted core 55 of size 32866 out of 761906 (4%) after 768.9 sec
776.69/776.71	c [picomus] extracted core 56 of size 32846 out of 761906 (4%) after 776.7 sec
781.59/781.65	c [picomus] extracted core 57 of size 32809 out of 761906 (4%) after 781.7 sec
789.10/789.18	c [picomus] extracted core 58 of size 32757 out of 761906 (4%) after 789.2 sec
793.79/793.88	c [picomus] extracted core 59 of size 32585 out of 761906 (4%) after 793.9 sec
798.99/799.05	c [picomus] extracted core 60 of size 32539 out of 761906 (4%) after 799.1 sec
803.39/803.41	c [picomus] extracted core 61 of size 32515 out of 761906 (4%) after 803.4 sec
810.29/810.37	c [picomus] extracted core 62 of size 32511 out of 761906 (4%) after 810.4 sec
815.59/815.65	c [picomus] extracted core 63 of size 32482 out of 761906 (4%) after 815.7 sec
822.29/822.31	c [picomus] extracted core 64 of size 32474 out of 761906 (4%) after 822.3 sec
828.09/828.12	c [picomus] extracted core 65 of size 32461 out of 761906 (4%) after 828.1 sec
834.09/834.19	c [picomus] extracted core 66 of size 32445 out of 761906 (4%) after 834.2 sec
842.39/842.43	c [picomus] extracted core 67 of size 32429 out of 761906 (4%) after 842.4 sec
846.39/846.40	c [picomus] extracted core 68 of size 32359 out of 761906 (4%) after 846.4 sec
850.59/850.64	c [picomus] extracted core 69 of size 32301 out of 761906 (4%) after 850.6 sec
855.29/855.39	c [picomus] extracted core 70 of size 32267 out of 761906 (4%) after 855.4 sec
859.99/860.08	c [picomus] extracted core 71 of size 32244 out of 761906 (4%) after 860.1 sec
864.50/864.59	c [picomus] extracted core 72 of size 32209 out of 761906 (4%) after 864.6 sec
869.00/869.07	c [picomus] extracted core 73 of size 32165 out of 761906 (4%) after 869.1 sec
874.89/874.92	c [picomus] extracted core 74 of size 32156 out of 761906 (4%) after 874.9 sec
880.89/880.94	c [picomus] extracted core 75 of size 32137 out of 761906 (4%) after 880.9 sec
885.98/886.01	c [picomus] extracted core 76 of size 32077 out of 761906 (4%) after 886.0 sec
890.59/890.61	c [picomus] extracted core 77 of size 32067 out of 761906 (4%) after 890.6 sec
895.39/895.46	c [picomus] extracted core 78 of size 32049 out of 761906 (4%) after 895.5 sec
899.59/899.67	c [picomus] extracted core 79 of size 32042 out of 761906 (4%) after 899.7 sec
1030.38/1030.47	c [picomus] reduction 1 to 31313 out of 761906 (4%) after 1030.5 sec
1128.08/1128.18	c [picomus] reduction 2 to 31308 out of 761906 (4%) after 1128.2 sec
1198.99/1199.06	c [picomus] reduction 3 to 31292 out of 761906 (4%) after 1199.1 sec
1274.89/1274.99	c [picomus] reduction 4 to 31291 out of 761906 (4%) after 1275.0 sec
1299.48/1299.51	c [picomus] reduction 5 to 31289 out of 761906 (4%) after 1299.5 sec
1311.28/1311.36	c [picomus] reduction 6 to 31288 out of 761906 (4%) after 1311.4 sec
1317.28/1317.31	c [picomus] reduction 7 to 31287 out of 761906 (4%) after 1317.3 sec
1320.68/1320.77	c [picomus] reduction 8 to 31286 out of 761906 (4%) after 1320.8 sec
1347.68/1347.79	c [picomus] reduction 9 to 31284 out of 761906 (4%) after 1347.8 sec
1356.98/1357.09	c [picomus] reduction 10 to 31273 out of 761906 (4%) after 1357.1 sec
1389.58/1389.60	c [picomus] reduction 11 to 31271 out of 761906 (4%) after 1389.6 sec
1392.28/1392.39	c [picomus] reduction 12 to 31268 out of 761906 (4%) after 1392.4 sec
1394.48/1394.50	c [picomus] reduction 13 to 31265 out of 761906 (4%) after 1394.5 sec
1395.68/1395.70	c [picomus] reduction 14 to 31262 out of 761906 (4%) after 1395.7 sec
1396.58/1396.60	c [picomus] reduction 15 to 31260 out of 761906 (4%) after 1396.6 sec
1417.57/1417.63	c [picomus] reduction 16 to 31257 out of 761906 (4%) after 1417.6 sec
1418.27/1418.38	c [picomus] reduction 17 to 31256 out of 761906 (4%) after 1418.4 sec
1418.37/1418.49	c [picomus] reduction 18 to 31255 out of 761906 (4%) after 1418.5 sec
1419.07/1419.12	c [picomus] reduction 19 to 31254 out of 761906 (4%) after 1419.1 sec
1443.08/1443.18	c [picomus] reduction 20 to 31245 out of 761906 (4%) after 1443.2 sec
1446.38/1446.41	c [picomus] reduction 21 to 31232 out of 761906 (4%) after 1446.4 sec
1454.27/1454.34	c [picomus] reduction 22 to 31227 out of 761906 (4%) after 1454.3 sec
1543.86/1543.90	c [picomus] reduction 23 to 31219 out of 761906 (4%) after 1543.9 sec
1660.46/1660.54	c [picomus] reduction 24 to 31217 out of 761906 (4%) after 1660.5 sec
1721.86/1721.90	c [picomus] reduction 25 to 31211 out of 761906 (4%) after 1721.9 sec
1795.96/1796.00	c [picomus] reduction 26 to 31210 out of 761906 (4%) after 1796.0 sec

Verifier Data 

ERROR: no value line found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493546-1307800705/watcher-3493546-1307800705 -o /tmp/evaluation-result-3493546-1307800705/solver-3493546-1307800705 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493546-1307800705.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: 0.00 0.00 0.00 5/183 6627
/proc/meminfo: memFree=31579088/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=9856 CPUtime=0 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 203 0 0 0 0 0 0 0 21 0 1 0 970301131 10092544 157 33554432000 134512640 135072097 4291354928 18446744073709551615 134705502 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 2464 158 53 137 0 2325 0

[startup+0.047326 s]
/proc/loadavg: 0.00 0.00 0.00 5/183 6627
/proc/meminfo: memFree=31579088/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=12628 CPUtime=0.04 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1309 0 0 0 4 0 0 0 21 0 1 0 970301131 12931072 1263 33554432000 134512640 135072097 4291354928 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 3157 1264 53 137 0 3018 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12628

[startup+0.100313 s]
/proc/loadavg: 0.00 0.00 0.00 5/183 6627
/proc/meminfo: memFree=31579088/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=16060 CPUtime=0.09 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 2676 0 0 0 9 0 0 0 21 0 1 0 970301131 16445440 2630 33554432000 134512640 135072097 4291354928 18446744073709551615 134514988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 4015 2631 53 137 0 3876 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16060

[startup+0.300279 s]
/proc/loadavg: 0.00 0.00 0.00 5/183 6627
/proc/meminfo: memFree=31579088/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=33876 CPUtime=0.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 8338 0 0 0 27 1 0 0 22 0 1 0 970301131 34689024 8291 33554432000 134512640 135072097 4291354928 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 8469 8293 61 137 0 8330 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33876

[startup+0.700205 s]
/proc/loadavg: 0.00 0.00 0.00 5/183 6627
/proc/meminfo: memFree=31579088/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=64472 CPUtime=0.69 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 15225 0 0 0 67 2 0 0 23 0 1 0 970301131 66019328 15178 33554432000 134512640 135072097 4291354928 18446744073709551615 134536662 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 16118 15178 68 137 0 15979 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64472

[startup+1.50106 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 6648
/proc/meminfo: memFree=31367668/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=65120 CPUtime=1.49 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 15364 0 0 0 147 2 0 0 25 0 1 0 970301131 66682880 15317 33554432000 134512640 135072097 4291354928 18446744073709551615 134537956 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 16280 15317 69 137 0 16141 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65120

[startup+3.10077 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 6648
/proc/meminfo: memFree=31380016/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=66740 CPUtime=3.09 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 15648 0 0 0 307 2 0 0 25 0 1 0 970301131 68341760 15601 33554432000 134512640 135072097 4291354928 18446744073709551615 134558307 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 16685 15601 69 137 0 16546 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66740

[startup+6.30018 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 6648
/proc/meminfo: memFree=31332540/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=67268 CPUtime=6.29 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 15788 0 0 0 627 2 0 0 25 0 1 0 970301131 68882432 15741 33554432000 134512640 135072097 4291354928 18446744073709551615 134558253 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 16817 15741 69 137 0 16678 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67268

[startup+12.701 s]
/proc/loadavg: 0.89 0.20 0.06 5/190 6648
/proc/meminfo: memFree=31321088/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=69248 CPUtime=12.68 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 16304 0 0 0 1266 2 0 0 25 0 1 0 970301131 70909952 16257 33554432000 134512640 135072097 4291354928 18446744073709551615 134543446 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 17312 16257 69 137 0 17173 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69248

[startup+25.5007 s]
/proc/loadavg: 1.36 0.32 0.11 5/190 6649
/proc/meminfo: memFree=31340428/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=75020 CPUtime=25.49 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 17725 0 0 0 2546 3 0 0 25 0 1 0 970301131 76820480 17678 33554432000 134512640 135072097 4291354928 18446744073709551615 134543899 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 18755 17678 69 137 0 18616 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75020

[startup+51.101 s]
/proc/loadavg: 2.26 0.62 0.21 5/190 6649
/proc/meminfo: memFree=31323980/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=85448 CPUtime=51.08 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 20341 0 0 0 5105 3 0 0 25 0 1 0 970301131 87498752 20294 33554432000 134512640 135072097 4291354928 18446744073709551615 134558229 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 21362 20294 69 137 0 21223 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85448

[startup+102.307 s]
/proc/loadavg: 3.37 1.20 0.43 5/190 6651
/proc/meminfo: memFree=31322768/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=110136 CPUtime=102.29 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 26457 0 0 0 10224 5 0 0 25 0 1 0 970301131 112779264 26409 33554432000 134512640 135072097 4291354928 18446744073709551615 134543606 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 27534 26409 69 137 0 27395 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 110136

[startup+162.301 s]
/proc/loadavg: 3.77 1.71 0.65 5/190 6699
/proc/meminfo: memFree=31243832/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=141772 CPUtime=162.29 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 34123 0 0 0 16221 8 0 0 25 0 1 0 970301131 145174528 34075 33554432000 134512640 135072097 4291354928 18446744073709551615 134543984 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 35443 34075 69 137 0 35304 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 141772

[startup+222.301 s]
/proc/loadavg: 3.91 2.12 0.86 5/190 6739
/proc/meminfo: memFree=31389240/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=47300 CPUtime=222.29 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 60581 0 0 0 22214 15 0 0 25 0 1 0 970301131 48435200 11266 33554432000 134512640 135072097 4291354928 18446744073709551615 134543446 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 11825 11266 76 137 0 11686 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 47300

[startup+282.301 s]
/proc/loadavg: 3.97 2.46 1.05 5/190 6741
/proc/meminfo: memFree=31322820/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=45172 CPUtime=282.29 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 91127 0 0 0 28208 21 0 0 25 0 1 0 970301131 46256128 10776 33554432000 134512640 135072097 4291354928 18446744073709551615 134537952 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 11293 10776 76 137 0 11154 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 45172

[startup+342.301 s]
/proc/loadavg: 3.99 2.74 1.23 5/190 6742
/proc/meminfo: memFree=30655440/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=53124 CPUtime=342.29 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 128116 0 0 0 34200 29 0 0 25 0 1 0 970301131 54398976 12713 33554432000 134512640 135072097 4291354928 18446744073709551615 134543485 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 13281 12713 76 137 0 13142 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 53124

[startup+402.301 s]
/proc/loadavg: 3.99 2.96 1.40 5/190 6744
/proc/meminfo: memFree=30293984/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=40212 CPUtime=402.3 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 165225 0 0 0 40190 40 0 0 25 0 1 0 970301131 41177088 9548 33554432000 134512640 135072097 4291354928 18446744073709551615 134558352 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 10053 9548 76 137 0 9914 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 40212

[startup+462.301 s]
/proc/loadavg: 3.99 3.15 1.56 5/190 6745
/proc/meminfo: memFree=29852604/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=46508 CPUtime=462.29 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 209101 0 0 0 46181 48 0 0 25 0 1 0 970301131 47624192 11109 33554432000 134512640 135072097 4291354928 18446744073709551615 134543617 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 11627 11109 76 137 0 11488 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 46508

[startup+522.301 s]
/proc/loadavg: 4.03 3.32 1.72 5/190 6747
/proc/meminfo: memFree=29751980/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=56508 CPUtime=522.29 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 253832 0 0 0 52173 56 0 0 25 0 1 0 970301131 57864192 13717 33554432000 134512640 135072097 4291354928 18446744073709551615 134543896 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 14127 13717 76 137 0 13988 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 56508

[startup+582.301 s]
/proc/loadavg: 4.01 3.44 1.86 5/190 6749
/proc/meminfo: memFree=29775104/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=45848 CPUtime=582.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 312790 0 0 0 58159 69 0 0 25 0 1 0 970301131 46948352 11061 33554432000 134512640 135072097 4291354928 18446744073709551615 134543896 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 11462 11061 76 137 0 11323 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 45848

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 4.01 3.81 2.45 5/190 6757
/proc/meminfo: memFree=28176700/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=40700 CPUtime=882.29 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 637776 0 0 0 88098 131 0 0 25 0 1 0 970301131 41676800 9659 33554432000 134512640 135072097 4291354928 18446744073709551615 134543606 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 10175 9659 76 137 0 10036 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 40700

[startup+942.301 s]
/proc/loadavg: 4.00 3.84 2.54 5/190 6758
/proc/meminfo: memFree=27134932/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=603420 CPUtime=942.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 799025 0 0 0 94072 156 0 0 25 0 1 0 970301131 617902080 147679 33554432000 134512640 135072097 4291354928 18446744073709551615 134541037 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 150855 147679 76 137 0 150716 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 603420

[startup+1002.3 s]
/proc/loadavg: 4.00 3.87 2.63 5/190 6760
/proc/meminfo: memFree=27122876/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=1330616 CPUtime=1002.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 980832 0 0 0 100044 184 0 0 25 0 1 0 970301131 1362550784 329465 33554432000 134512640 135072097 4291354928 18446744073709551615 134556598 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 332654 329465 76 137 0 332515 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 1330616

[startup+1062.3 s]
/proc/loadavg: 4.00 3.89 2.71 5/190 6761
/proc/meminfo: memFree=26070820/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=1925060 CPUtime=1062.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1129314 0 0 0 106025 203 0 0 25 0 1 0 970301131 1971261440 477929 33554432000 134512640 135072097 4291354928 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 481265 477929 77 137 0 481126 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 1925060

[startup+1122.3 s]
/proc/loadavg: 4.00 3.91 2.79 5/190 6763
/proc/meminfo: memFree=24821604/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=2663716 CPUtime=1122.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1314003 0 0 0 111999 229 0 0 25 0 1 0 970301131 2727645184 662602 33554432000 134512640 135072097 4291354928 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 665929 662602 77 137 0 665790 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 2663716

[startup+1182.3 s]
/proc/loadavg: 4.00 3.92 2.86 5/190 6765
/proc/meminfo: memFree=25022944/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=2734476 CPUtime=1182.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1331725 0 0 0 117997 231 0 0 25 0 1 0 970301131 2800103424 680323 33554432000 134512640 135072097 4291354928 18446744073709551615 134541142 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 683619 680323 77 137 0 683480 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 2734476

[startup+1242.3 s]
/proc/loadavg: 4.04 3.94 2.94 5/190 6766
/proc/meminfo: memFree=25016208/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=2734476 CPUtime=1242.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1331725 0 0 0 123997 231 0 0 25 0 1 0 970301131 2800103424 680323 33554432000 134512640 135072097 4291354928 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 683619 680323 77 137 0 683480 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 2734476

[startup+1302.3 s]
/proc/loadavg: 4.05 3.97 3.01 5/190 6768
/proc/meminfo: memFree=24589616/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=2734476 CPUtime=1302.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1331725 0 0 0 129997 231 0 0 25 0 1 0 970301131 2800103424 680323 33554432000 134512640 135072097 4291354928 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 683619 680323 77 137 0 683480 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 2734476

[startup+1362.3 s]
/proc/loadavg: 4.02 3.97 3.06 5/190 6769
/proc/meminfo: memFree=24632104/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=2734476 CPUtime=1362.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1331725 0 0 0 135997 231 0 0 25 0 1 0 970301131 2800103424 680323 33554432000 134512640 135072097 4291354928 18446744073709551615 134518023 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 683619 680323 77 137 0 683480 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 2734476

[startup+1422.31 s]
/proc/loadavg: 4.00 3.97 3.12 5/190 6771
/proc/meminfo: memFree=24757296/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=2734476 CPUtime=1422.28 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1331725 0 0 0 141997 231 0 0 25 0 1 0 970301131 2800103424 680323 33554432000 134512640 135072097 4291354928 18446744073709551615 134521799 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 683619 680323 77 137 0 683480 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 2734476

[startup+1482.3 s]
/proc/loadavg: 4.00 3.97 3.17 5/190 6773
/proc/meminfo: memFree=24885600/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=2734476 CPUtime=1482.27 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1331725 0 0 0 147996 231 0 0 25 0 1 0 970301131 2800103424 680323 33554432000 134512640 135072097 4291354928 18446744073709551615 134548997 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/6627/statm: 683619 680323 77 137 0 683480 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 2734476

[startup+1542.3 s]
/proc/loadavg: 4.07 3.99 3.23 5/190 6774
/proc/meminfo: memFree=25030644/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=2734476 CPUtime=1542.26 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1331725 0 0 0 153995 231 0 0 25 0 1 0 970301131 2800103424 680323 33554432000 134512640 135072097 4291354928 18446744073709551615 134517979 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 683619 680323 77 137 0 683480 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 2734476

[startup+1602.3 s]
/proc/loadavg: 4.02 3.99 3.27 5/190 6776
/proc/meminfo: memFree=24623772/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=2734476 CPUtime=1602.26 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1331725 0 0 0 159995 231 0 0 25 0 1 0 970301131 2800103424 680323 33554432000 134512640 135072097 4291354928 18446744073709551615 134517946 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 683619 680323 77 137 0 683480 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 2734476

[startup+1662.3 s]
/proc/loadavg: 4.01 3.99 3.31 5/190 6777
/proc/meminfo: memFree=23673648/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=3159896 CPUtime=1662.26 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1438054 0 0 0 165982 244 0 0 25 0 1 0 970301131 3235733504 786647 33554432000 134512640 135072097 4291354928 18446744073709551615 134518025 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 789974 786647 77 137 0 789835 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 3159896

[startup+1722.3 s]
/proc/loadavg: 4.00 3.99 3.36 5/190 6779
/proc/meminfo: memFree=23917012/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=3159896 CPUtime=1722.26 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1438054 0 0 0 171982 244 0 0 25 0 1 0 970301131 3235733504 786647 33554432000 134512640 135072097 4291354928 18446744073709551615 134562724 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 789974 786647 77 137 0 789835 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 3159896

[startup+1782.3 s]
/proc/loadavg: 4.10 4.02 3.40 5/190 6781
/proc/meminfo: memFree=23904820/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=3158440 CPUtime=1782.26 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1438054 0 0 0 177982 244 0 0 25 0 1 0 970301131 3234242560 786315 33554432000 134512640 135072097 4291354928 18446744073709551615 134517995 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 789610 786315 77 137 0 789471 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 3158440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 4.08 4.02 3.41 4/188 6782
/proc/meminfo: memFree=25360212/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=3158440 CPUtime=1800.06 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4202496 1438054 0 0 0 179762 244 0 0 25 0 1 0 970301131 3234242560 786315 33554432000 134512640 135072097 4291354928 18446744073709551615 134518112 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6627/statm: 789610 786315 77 137 0 789471 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3158440

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.21 s]
/proc/loadavg: 4.08 4.02 3.41 4/188 6782
/proc/meminfo: memFree=25360212/32951124 swapFree=67056304/67111528
[pid=6627] ppid=6625 vsize=0 CPUtime=1800.16 cores=5,7
/proc/6627/stat : 6627 (picomus) R 6625 6627 6571 0 -1 4203524 1438054 0 0 0 179762 254 0 0 25 0 1 0 970301131 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/6627/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.22
CPU time (s): 1800.19
CPU user time (s): 1797.63
CPU system time (s): 2.55661
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 3159896

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

runsolver used 2.99354 second user time and 6.84296 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-11 15:58:26
IDJOB=3493546
IDBENCH=20419
IDSOLVER=1974
FILE ID=node110/3493546-1307800705
RUNJOBID= node110-1307800705-6592
PBS_JOBID= 13551064
Free space on /tmp= 74112 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT07/industrial/palacios/uts/uts-l06-ipc5-h31-unknown.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493546-1307800705/watcher-3493546-1307800705 -o /tmp/evaluation-result-3493546-1307800705/solver-3493546-1307800705 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493546-1307800705.cnf

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

MD5SUM BENCH= 4211c3af8594e6cbb06d7f7e8978c614
RANDOM SEED=1978546455

node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31581880 kB
Buffers:        307200 kB
Cached:         796096 kB
SwapCached:       8464 kB
Active:         542568 kB
Inactive:       591432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31581880 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:           34224 kB
Writeback:           0 kB
AnonPages:       28144 kB
Mapped:          13380 kB
Slab:           169344 kB
PageTables:       4912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   229784 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= 74104 MiB
End job on node110 at 2011-06-11 16:28:28