Trace number 3706211

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-share1b.opb
MD5SUM5f65628b04d3927231e0304c2eb471a1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.374942
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6750
Total number of constraints117
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints117
Minimum length of a constraint30
Maximum length of a constraint1110
Number of terms in the objective function 930
Biggest coefficient in the objective function 268435456000000
Number of bits for the biggest coefficient in the objective function 48
Sum of the numbers in the objective function 2701523689249770
Number of bits of the sum of numbers in the objective function 52
Biggest number in a constraint 7098668259737600
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 57387730531810471
Number of bits of the biggest sum of numbers56
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.38/0.44	c 2012-05-27T13:38:47+0200
0.38/0.44	c arch = x86_64
0.38/0.44	c os = linux
0.38/0.44	c compiler = ghc 7.4
0.38/0.44	c packages:
0.38/0.44	c   OptDir-0.0.1
0.38/0.44	c   array-0.4.0.0
0.38/0.44	c   base-4.5.0.0
0.38/0.44	c   bytestring-0.9.2.1
0.38/0.44	c   containers-0.4.2.1
0.38/0.44	c   deepseq-1.3.0.0
0.38/0.44	c   mtl-2.1.1
0.38/0.44	c   old_locale-1.0.0.4
0.38/0.44	c   parse_dimacs-1.2
0.38/0.44	c   parsec-3.1.2
0.38/0.44	c   queue-0.1.2
0.38/0.44	c   stm-2.3
0.38/0.44	c   time-1.4
0.38/0.44	c command line = ["--pb","HOME/instance-3706211-1338118727.opb"]
0.38/0.44	c #vars 6750
0.38/0.44	c #constraints 117
0.38/0.44	c Solving starts ...
27.58/27.66	c learnt constraints deletion: 6973 -> 3488
43.37/43.42	c learnt constraints deletion: 7464 -> 3733
60.27/60.31	c learnt constraints deletion: 7999 -> 4004
78.17/78.27	c learnt constraints deletion: 8607 -> 4307
94.66/94.71	c learnt constraints deletion: 8600 -> 4303
113.17/113.20	c learnt constraints deletion: 9272 -> 4637
129.76/129.84	c learnt constraints deletion: 9249 -> 4628
148.15/148.20	c learnt constraints deletion: 9274 -> 4640
170.36/170.41	c learnt constraints deletion: 9992 -> 5002
188.45/188.51	c learnt constraints deletion: 10000 -> 5002
209.14/209.23	c learnt constraints deletion: 10008 -> 5006
233.64/233.75	c learnt constraints deletion: 10799 -> 5402
256.24/256.30	c learnt constraints deletion: 10802 -> 5403
279.74/279.80	c learnt constraints deletion: 10793 -> 5398
305.93/306.09	c learnt constraints deletion: 10786 -> 5400
332.23/332.35	c learnt constraints deletion: 10814 -> 5415
358.53/358.61	c learnt constraints deletion: 10795 -> 5405
391.42/391.56	c learnt constraints deletion: 11717 -> 5859
428.82/428.94	c learnt constraints deletion: 11827 -> 5918
478.11/478.25	c learnt constraints deletion: 11952 -> 5984
532.00/532.17	c learnt constraints deletion: 11883 -> 5952
599.19/599.35	c learnt constraints deletion: 11928 -> 5974
668.28/668.42	c learnt constraints deletion: 11961 -> 5991
728.07/728.22	c learnt constraints deletion: 11844 -> 5933
800.05/800.23	c learnt constraints deletion: 12881 -> 6442
864.44/864.67	c learnt constraints deletion: 12683 -> 6343
918.53/918.74	c learnt constraints deletion: 12871 -> 6438
960.03/960.29	c learnt constraints deletion: 13439 -> 6720
975.93/976.12	c learnt constraints deletion: 13344 -> 6672
992.81/993.05	c learnt constraints deletion: 13272 -> 6636
1008.22/1008.40	c learnt constraints deletion: 13269 -> 6636
1024.41/1024.66	c learnt constraints deletion: 13297 -> 6651
1038.22/1038.49	c learnt constraints deletion: 13240 -> 6620
1052.42/1052.65	c learnt constraints deletion: 13242 -> 6624
1063.81/1064.05	c learnt constraints deletion: 13640 -> 6820
1073.71/1073.93	c learnt constraints deletion: 13639 -> 6820
1083.80/1084.02	c learnt constraints deletion: 13638 -> 6822
1094.11/1094.33	c learnt constraints deletion: 13641 -> 6821
1104.21/1104.48	c learnt constraints deletion: 13638 -> 6820
1113.90/1114.12	c learnt constraints deletion: 13641 -> 6822
1123.90/1124.17	c learnt constraints deletion: 13636 -> 6819
1134.10/1134.35	c learnt constraints deletion: 13640 -> 6820
1144.19/1144.40	c learnt constraints deletion: 13641 -> 6822
1154.89/1155.16	c learnt constraints deletion: 13640 -> 6822
1164.59/1164.89	c learnt constraints deletion: 13625 -> 6814
1174.79/1175.05	c learnt constraints deletion: 13644 -> 6828
1184.49/1184.78	c learnt constraints deletion: 13644 -> 6824
1194.59/1194.88	c learnt constraints deletion: 13646 -> 6826
1206.58/1206.83	c learnt constraints deletion: 14780 -> 7390
1216.78/1217.05	c learnt constraints deletion: 14790 -> 7396
1226.69/1226.92	c learnt constraints deletion: 14782 -> 7392
1239.18/1239.45	c learnt constraints deletion: 14776 -> 7392
1249.97/1250.29	c learnt constraints deletion: 14785 -> 7398
1260.68/1260.94	c learnt constraints deletion: 14785 -> 7394
1271.97/1272.21	c learnt constraints deletion: 14787 -> 7398
1282.57/1282.87	c learnt constraints deletion: 14789 -> 7397
1294.57/1294.80	c learnt constraints deletion: 14785 -> 7398
1305.37/1305.68	c learnt constraints deletion: 14790 -> 7396
1316.16/1316.41	c learnt constraints deletion: 14789 -> 7399
1326.57/1326.84	c learnt constraints deletion: 14789 -> 7399
1337.16/1337.46	c learnt constraints deletion: 14784 -> 7395
1348.76/1349.02	c learnt constraints deletion: 14777 -> 7393
1359.76/1360.02	c learnt constraints deletion: 14784 -> 7394
1370.86/1371.19	c learnt constraints deletion: 14789 -> 7399
1382.05/1382.35	c learnt constraints deletion: 14790 -> 7399
1393.75/1394.02	c learnt constraints deletion: 14789 -> 7400
1404.95/1405.26	c learnt constraints deletion: 14789 -> 7401
1416.25/1416.58	c learnt constraints deletion: 14785 -> 7395
1429.04/1429.38	c learnt constraints deletion: 16076 -> 8039
1442.14/1442.45	c learnt constraints deletion: 16076 -> 8039
1455.05/1455.34	c learnt constraints deletion: 16082 -> 8044
1467.44/1467.74	c learnt constraints deletion: 16071 -> 8037
1480.25/1480.59	c learnt constraints deletion: 16073 -> 8039
1493.63/1493.94	c learnt constraints deletion: 16082 -> 8043
1506.93/1507.20	c learnt constraints deletion: 16079 -> 8043
1519.94/1520.26	c learnt constraints deletion: 16074 -> 8041
1531.83/1532.10	c learnt constraints deletion: 16073 -> 8038
1543.53/1543.86	c learnt constraints deletion: 16082 -> 8042
1556.63/1556.98	c learnt constraints deletion: 16075 -> 8040
1570.82/1571.18	c learnt constraints deletion: 16075 -> 8041
1584.63/1584.95	c learnt constraints deletion: 16078 -> 8041
1597.22/1597.53	c learnt constraints deletion: 16069 -> 8037
1611.23/1611.52	c learnt constraints deletion: 16075 -> 8040
1624.52/1624.81	c learnt constraints deletion: 16080 -> 8043
1637.52/1637.89	c learnt constraints deletion: 16070 -> 8036
1650.51/1650.87	c learnt constraints deletion: 16073 -> 8039
1662.62/1662.96	c learnt constraints deletion: 16077 -> 8041
1675.90/1676.28	c learnt constraints deletion: 16071 -> 8039
1689.71/1690.05	c learnt constraints deletion: 16077 -> 8041
1702.00/1702.38	c learnt constraints deletion: 16082 -> 8044
1714.30/1714.62	c learnt constraints deletion: 16075 -> 8041
1729.00/1729.37	c learnt constraints deletion: 16080 -> 8044
1741.40/1741.71	c learnt constraints deletion: 16070 -> 8035
1755.40/1755.74	c learnt constraints deletion: 16083 -> 8043
1767.60/1767.96	c learnt constraints deletion: 16080 -> 8041
1783.09/1783.44	c learnt constraints deletion: 17502 -> 8753
1797.10/1797.47	c learnt constraints deletion: 17500 -> 8751

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3706211-1338118727/watcher-3706211-1338118727 -o /tmp/evaluation-result-3706211-1338118727/solver-3706211-1338118727 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706211-1338118727.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 8960
/proc/meminfo: memFree=28601964/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 803 0 0 0 0 0 0 0 20 0 1 0 277999483 6356992 725 33554432000 4194304 8973514 140733780547040 140736240031320 4649468 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 1552 725 412 1167 0 333 0

[startup+0.0680779 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 8960
/proc/meminfo: memFree=28601964/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=10304 CPUtime=0.06 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 1616 0 0 0 6 0 0 0 20 0 1 0 277999483 10551296 1538 33554432000 4194304 8973514 140733780547040 140736240031320 7724501 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 2576 1538 417 1167 0 1357 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10304

[startup+0.100235 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 8960
/proc/meminfo: memFree=28601964/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=10304 CPUtime=0.09 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 1843 0 0 0 9 0 0 0 20 0 1 0 277999483 10551296 1765 33554432000 4194304 8973514 140733780547040 140736240031320 4209278 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 2576 1765 417 1167 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10304

[startup+0.300232 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 8960
/proc/meminfo: memFree=28601964/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=24640 CPUtime=0.29 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 5395 0 0 0 29 0 0 0 20 0 1 0 277999483 25231360 5317 33554432000 4194304 8973514 140733780547040 140736240031320 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 6160 5317 430 1167 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24640

[startup+0.700207 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 8960
/proc/meminfo: memFree=28601964/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=24640 CPUtime=0.69 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 5460 0 0 0 68 1 0 0 20 0 1 0 277999483 25231360 5382 33554432000 4194304 8973514 140733780547040 140733780546536 4434665 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 6160 5382 444 1167 0 4941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24640

[startup+1.50019 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 8961
/proc/meminfo: memFree=28578248/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=28736 CPUtime=1.49 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 6484 0 0 0 148 1 0 0 20 0 1 0 277999483 29425664 6406 33554432000 4194304 8973514 140733780547040 140733780546536 4436448 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 7184 6406 444 1167 0 5965 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28736

[startup+3.10019 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 8961
/proc/meminfo: memFree=28576644/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=29760 CPUtime=3.09 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 6740 0 0 0 307 2 0 0 20 0 1 0 277999483 30474240 6662 33554432000 4194304 8973514 140733780547040 140733780546536 4435808 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 7440 6662 444 1167 0 6221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29760

[startup+6.30019 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 8961
/proc/meminfo: memFree=28574792/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=31808 CPUtime=6.28 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 7252 0 0 0 624 4 0 0 20 0 1 0 277999483 32571392 7174 33554432000 4194304 8973514 140733780547040 140733780546536 7716799 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 7952 7174 444 1167 0 6733 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31808

[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 8961
/proc/meminfo: memFree=28572664/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=34880 CPUtime=12.69 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 8020 0 0 0 1261 8 0 0 20 0 1 0 277999483 35717120 7942 33554432000 4194304 8973514 140733780547040 140733780546536 6817018 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 8720 7942 444 1167 0 7501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34880

[startup+25.5002 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 9000
/proc/meminfo: memFree=28555368/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=40000 CPUtime=25.48 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 9300 0 0 0 2531 17 0 0 20 0 1 0 277999483 40960000 9222 33554432000 4194304 8973514 140733780547040 140733780546304 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 10000 9222 444 1167 0 8781 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40000

[startup+51.1002 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 9001
/proc/meminfo: memFree=28550336/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=45120 CPUtime=51.07 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 10593 0 0 0 5076 31 0 0 20 0 1 0 277999483 46202880 10503 33554432000 4194304 8973514 140733780547040 140733780546536 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 11280 10503 445 1167 0 10061 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45120

[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 9004
/proc/meminfo: memFree=28508544/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=52288 CPUtime=102.27 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 12385 0 0 0 10169 58 0 0 20 0 1 0 277999483 53542912 12295 33554432000 4194304 8973514 140733780547040 140733780546536 4436086 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 13072 12295 445 1167 0 11853 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52288

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9004
/proc/meminfo: memFree=28479520/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=52288 CPUtime=162.25 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 12387 0 0 0 16138 87 0 0 20 0 1 0 277999483 53542912 12295 33554432000 4194304 8973514 140733780547040 140733780546536 6817272 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 13072 12295 445 1167 0 11853 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 52288

[startup+222.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 9004
/proc/meminfo: memFree=28437584/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=54336 CPUtime=222.24 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 12899 0 0 0 22106 118 0 0 20 0 1 0 277999483 55640064 12807 33554432000 4194304 8973514 140733780547040 140733780546536 4442017 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 13584 12807 445 1167 0 12365 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 54336

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9004
/proc/meminfo: memFree=28424348/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=57408 CPUtime=282.23 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 13667 0 0 0 28072 151 0 0 20 0 1 0 277999483 58785792 13575 33554432000 4194304 8973514 140733780547040 140733780546304 6564977 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 14352 13575 445 1167 0 13133 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 57408

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 9004
/proc/meminfo: memFree=28425348/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=57408 CPUtime=342.23 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 13668 0 0 0 34038 185 0 0 20 0 1 0 277999483 58785792 13575 33554432000 4194304 8973514 140733780547040 140733780546536 4459680 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 14352 13575 445 1167 0 13133 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 57408

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9006
/proc/meminfo: memFree=28392436/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=57408 CPUtime=402.22 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 13668 0 0 0 40000 222 0 0 20 0 1 0 277999483 58785792 13575 33554432000 4194304 8973514 140733780547040 140733780546536 7716799 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 14352 13575 445 1167 0 13133 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 57408

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9006
/proc/meminfo: memFree=28381872/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=68672 CPUtime=462.21 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 16485 0 0 0 45966 255 0 0 20 0 1 0 277999483 70320128 16391 33554432000 4194304 8973514 140733780547040 140733780546536 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 17168 16391 445 1167 0 15949 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 68672

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9006
/proc/meminfo: memFree=28359168/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=83008 CPUtime=522.2 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 20069 0 0 0 51930 290 0 0 20 0 1 0 277999483 85000192 19975 33554432000 4194304 8973514 140733780547040 140733780546304 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 20752 19975 445 1167 0 19533 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 83008

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9006
/proc/meminfo: memFree=28328416/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=86080 CPUtime=582.19 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 20837 0 0 0 57897 322 0 0 20 0 1 0 277999483 88145920 20743 33554432000 4194304 8973514 140733780547040 140733780546536 7716212 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 21520 20743 445 1167 0 20301 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 86080

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9010
/proc/meminfo: memFree=28323352/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=78912 CPUtime=822.15 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 22895 0 0 0 81763 452 0 0 20 0 1 0 277999483 80805888 18951 33554432000 4194304 8973514 140733780547040 140733780544960 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 19728 18951 445 1167 0 18509 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 78912

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9010
/proc/meminfo: memFree=28331668/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=70720 CPUtime=882.13 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 22895 0 0 0 87728 485 0 0 20 0 1 0 277999483 72417280 16903 33554432000 4194304 8973514 140733780547040 140733780546536 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 17680 16903 445 1167 0 16461 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 70720

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9010
/proc/meminfo: memFree=28332040/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=70720 CPUtime=942.12 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 22895 0 0 0 93693 519 0 0 20 0 1 0 277999483 72417280 16903 33554432000 4194304 8973514 140733780547040 140733780546536 7688742 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 17680 16903 445 1167 0 16461 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 70720

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9011
/proc/meminfo: memFree=28327576/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=74816 CPUtime=1002.12 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 23919 0 0 0 99662 550 0 0 20 0 1 0 277999483 76611584 17927 33554432000 4194304 8973514 140733780547040 140733780546536 4441196 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 18704 17927 445 1167 0 17485 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 74816

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9011
/proc/meminfo: memFree=28298044/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=76864 CPUtime=1062.11 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 24431 0 0 0 105632 579 0 0 20 0 1 0 277999483 78708736 18439 33554432000 4194304 8973514 140733780547040 140733780546304 4415295 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 19216 18439 445 1167 0 17997 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 76864

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9011
/proc/meminfo: memFree=28275680/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=76864 CPUtime=1122.1 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 24434 0 0 0 111605 605 0 0 20 0 1 0 277999483 78708736 18439 33554432000 4194304 8973514 140733780547040 140733780546536 4434704 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 19216 18439 445 1167 0 17997 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 76864

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9011
/proc/meminfo: memFree=28275928/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=76864 CPUtime=1182.09 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 24434 0 0 0 117580 629 0 0 20 0 1 0 277999483 78708736 18439 33554432000 4194304 8973514 140733780547040 140733780546536 5386840 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 19216 18439 445 1167 0 17997 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 76864

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9011
/proc/meminfo: memFree=28262660/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=76864 CPUtime=1242.08 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 24434 0 0 0 123553 655 0 0 20 0 1 0 277999483 78708736 18439 33554432000 4194304 8973514 140733780547040 140733780546536 4209168 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 19216 18439 445 1167 0 17997 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 76864

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9015
/proc/meminfo: memFree=28258240/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=79936 CPUtime=1302.08 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 25202 0 0 0 129524 684 0 0 20 0 1 0 277999483 81854464 19207 33554432000 4194304 8973514 140733780547040 140733780546536 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 19984 19207 445 1167 0 18765 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 79936

[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 9038
/proc/meminfo: memFree=28256220/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=79936 CPUtime=1362.06 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 25202 0 0 0 135497 709 0 0 20 0 1 0 277999483 81854464 19207 33554432000 4194304 8973514 140733780547040 140733780546536 4204592 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 19984 19207 445 1167 0 18765 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 79936

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9038
/proc/meminfo: memFree=28248244/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=79936 CPUtime=1422.05 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 25203 0 0 0 141465 740 0 0 20 0 1 0 277999483 81854464 19207 33554432000 4194304 8973514 140733780547040 140733780546304 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 19984 19207 445 1167 0 18765 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 79936

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9038
/proc/meminfo: memFree=28248492/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=79936 CPUtime=1482.04 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 25203 0 0 0 147438 766 0 0 20 0 1 0 277999483 81854464 19207 33554432000 4194304 8973514 140733780547040 140733780546536 4434672 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 19984 19207 445 1167 0 18765 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 79936

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9038
/proc/meminfo: memFree=28248616/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=79936 CPUtime=1542.03 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 25203 0 0 0 153410 793 0 0 20 0 1 0 277999483 81854464 19207 33554432000 4194304 8973514 140733780547040 140733780546536 4209198 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 19984 19207 445 1167 0 18765 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 79936

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9039
/proc/meminfo: memFree=28237336/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=84032 CPUtime=1602.02 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 26227 0 0 0 159386 816 0 0 20 0 1 0 277999483 86048768 20231 33554432000 4194304 8973514 140733780547040 140733780546304 6839705 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 21008 20231 445 1167 0 19789 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 84032

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9039
/proc/meminfo: memFree=28215880/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=84032 CPUtime=1662.01 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 26228 0 0 0 165361 840 0 0 20 0 1 0 277999483 86048768 20231 33554432000 4194304 8973514 140733780547040 140733780546304 4414889 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 21008 20231 445 1167 0 19789 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 84032

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9039
/proc/meminfo: memFree=28217804/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=84032 CPUtime=1722.01 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 26228 0 0 0 171331 870 0 0 20 0 1 0 277999483 86048768 20231 33554432000 4194304 8973514 140733780547040 140733780546536 4414960 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 21008 20231 445 1167 0 19789 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 84032

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9039
/proc/meminfo: memFree=28217432/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=84032 CPUtime=1782 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 26228 0 0 0 177307 893 0 0 20 0 1 0 277999483 86048768 20231 33554432000 4194304 8973514 140733780547040 140733780544960 6662992 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 21008 20231 445 1167 0 19789 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 84032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9039
/proc/meminfo: memFree=28217432/32873648 swapFree=6844/6844
[pid=8960] ppid=8958 vsize=84032 CPUtime=1800.09 cores=0,2,4,6
/proc/8960/stat : 8960 (toysat) R 8958 8960 5668 0 -1 4202496 26228 0 0 0 179110 899 0 0 20 0 1 0 277999483 86048768 20231 33554432000 4194304 8973514 140733780547040 140733780546536 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/8960/statm: 21008 20231 445 1167 0 19789 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 84032

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.41
CPU time (s): 1800.11
CPU user time (s): 1791.11
CPU system time (s): 8.99763
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 94272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.11
system time used= 8.99763
maximum resident set size= 91164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26228
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= 34
involuntary context switches= 2067

runsolver used 2.87056 second user time and 9.57354 second system time

The end

Launcher Data

Begin job on node115 at 2012-05-27 13:38:47
IDJOB=3706211
IDBENCH=2385
IDSOLVER=2285
FILE ID=node115/3706211-1338118727
RUNJOBID= node115-1338109714-8419
PBS_JOBID= 14624444
Free space on /tmp= 71664 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share1b.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706211-1338118727/watcher-3706211-1338118727 -o /tmp/evaluation-result-3706211-1338118727/solver-3706211-1338118727 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706211-1338118727.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5f65628b04d3927231e0304c2eb471a1
RANDOM SEED=486034590

node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28602228 kB
Buffers:          308396 kB
Cached:          3103228 kB
SwapCached:            0 kB
Active:          1052920 kB
Inactive:        2408724 kB
Active(anon):      52512 kB
Inactive(anon):        0 kB
Active(file):    1000408 kB
Inactive(file):  2408724 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7776 kB
Writeback:             8 kB
AnonPages:         56560 kB
Mapped:            16180 kB
Shmem:               200 kB
Slab:             671848 kB
SReclaimable:     116260 kB
SUnreclaim:       555588 kB
KernelStack:        1448 kB
PageTables:         4472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     163516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node115 at 2012-05-27 14:08:50