Trace number 3707320

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.08 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_3.opb
MD5SUM0247ef4de041bbff376811a7e6bf0408
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-115
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -110
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6316
Sum of products size (including duplicates)12632
Number of different products3158
Sum of products size6316

Solver Data 

0.09/0.10	c 2012-05-27T17:38:20+0200
0.09/0.10	c arch = x86_64
0.09/0.10	c os = linux
0.09/0.10	c compiler = ghc 7.4
0.09/0.10	c packages:
0.09/0.10	c   OptDir-0.0.1
0.09/0.10	c   array-0.4.0.0
0.09/0.10	c   base-4.5.0.0
0.09/0.10	c   bytestring-0.9.2.1
0.09/0.10	c   containers-0.4.2.1
0.09/0.10	c   deepseq-1.3.0.0
0.09/0.10	c   mtl-2.1.1
0.09/0.10	c   old_locale-1.0.0.4
0.09/0.10	c   parse_dimacs-1.2
0.09/0.10	c   parsec-3.1.2
0.09/0.10	c   queue-0.1.2
0.09/0.10	c   stm-2.3
0.09/0.10	c   time-1.4
0.09/0.10	c command line = ["--pb","HOME/instance-3707320-1338133100.opb"]
0.09/0.10	c #vars 500
0.09/0.10	c #constraints 500
0.09/0.10	c Solving starts ...
0.09/0.11	c solving time = 0.003s
0.09/0.11	c #decision = 108
0.09/0.11	c #conflict = 0
0.09/0.11	c #restart = 0
0.09/0.11	o -108
0.09/0.11	c Solving starts ...
21.19/21.23	c learnt constraints deletion: 14915 -> 7458
35.38/35.40	c learnt constraints deletion: 16050 -> 8025
51.68/51.77	c learnt constraints deletion: 17295 -> 8648
68.57/68.68	c learnt constraints deletion: 18675 -> 9338
84.87/84.90	c learnt constraints deletion: 18674 -> 9337
101.86/101.95	c learnt constraints deletion: 20189 -> 10095
118.37/118.41	c learnt constraints deletion: 20190 -> 10095
137.47/137.52	c learnt constraints deletion: 20187 -> 10094
159.25/159.37	c learnt constraints deletion: 21850 -> 10925
180.74/180.87	c learnt constraints deletion: 21851 -> 10926
202.04/202.18	c learnt constraints deletion: 21853 -> 10927
225.73/225.83	c learnt constraints deletion: 21851 -> 10928
246.13/246.22	c learnt constraints deletion: 23682 -> 11841
267.72/267.88	c learnt constraints deletion: 23684 -> 11842
292.81/292.97	c learnt constraints deletion: 23679 -> 11840
316.29/316.49	c learnt constraints deletion: 23683 -> 11843
335.79/335.98	c learnt constraints deletion: 23684 -> 11843
360.39/360.50	c learnt constraints deletion: 25693 -> 12847
384.19/384.36	c learnt constraints deletion: 25693 -> 12847
408.58/408.71	c learnt constraints deletion: 25694 -> 12847
434.68/434.87	c learnt constraints deletion: 25699 -> 12852
458.08/458.22	c learnt constraints deletion: 25693 -> 12849
486.27/486.42	c learnt constraints deletion: 25698 -> 12853
508.57/508.75	c learnt constraints deletion: 25696 -> 12848
533.26/533.44	c learnt constraints deletion: 25697 -> 12851
560.76/560.99	c learnt constraints deletion: 27903 -> 13952
592.76/592.98	c learnt constraints deletion: 27908 -> 13956
621.75/621.91	c learnt constraints deletion: 27914 -> 13961
646.55/646.75	c learnt constraints deletion: 27907 -> 13954
676.64/676.87	c learnt constraints deletion: 27907 -> 13956
707.93/708.10	c learnt constraints deletion: 27908 -> 13959
735.23/735.40	c learnt constraints deletion: 27904 -> 13958
761.63/761.88	c learnt constraints deletion: 27909 -> 13958
790.42/790.69	c learnt constraints deletion: 27915 -> 13962
823.61/823.85	c learnt constraints deletion: 27915 -> 13964
853.42/853.67	c learnt constraints deletion: 30346 -> 15173
885.41/885.63	c learnt constraints deletion: 30349 -> 15176
913.20/913.46	c learnt constraints deletion: 30350 -> 15175
946.40/946.62	c learnt constraints deletion: 30349 -> 15175
979.29/979.52	c learnt constraints deletion: 30340 -> 15170
1011.09/1011.32	c learnt constraints deletion: 30343 -> 15174
1045.89/1046.18	c learnt constraints deletion: 30347 -> 15177
1072.88/1073.14	c learnt constraints deletion: 30349 -> 15177
1105.56/1105.82	c learnt constraints deletion: 30349 -> 15179
1135.05/1135.34	c learnt constraints deletion: 30343 -> 15173
1166.04/1166.32	c learnt constraints deletion: 30347 -> 15174
1201.44/1201.77	c learnt constraints deletion: 30346 -> 15173
1232.62/1232.97	c learnt constraints deletion: 30347 -> 15176
1259.81/1260.15	c learnt constraints deletion: 30348 -> 15177
1288.70/1289.06	c learnt constraints deletion: 30350 -> 15176
1323.49/1323.87	c learnt constraints deletion: 33022 -> 16511
1360.39/1360.73	c learnt constraints deletion: 33021 -> 16513
1394.17/1394.56	c learnt constraints deletion: 33026 -> 16516
1424.76/1425.15	c learnt constraints deletion: 33029 -> 16519
1460.55/1460.95	c learnt constraints deletion: 33027 -> 16519
1490.43/1490.86	c learnt constraints deletion: 33026 -> 16513
1524.82/1525.26	c learnt constraints deletion: 33025 -> 16515
1565.10/1565.58	c learnt constraints deletion: 33018 -> 16513
1596.80/1597.29	c learnt constraints deletion: 33022 -> 16511
1635.29/1635.79	c learnt constraints deletion: 33030 -> 16517
1668.87/1669.33	c learnt constraints deletion: 33031 -> 16518
1715.87/1716.31	c learnt constraints deletion: 33028 -> 16517
1747.25/1747.76	c learnt constraints deletion: 33019 -> 16510
1781.85/1782.34	c learnt constraints deletion: 33030 -> 16516

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-3707320-1338133100/watcher-3707320-1338133100 -o /tmp/evaluation-result-3707320-1338133100/solver-3707320-1338133100 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707320-1338133100.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: 1.95 2.00 1.99 3/176 10536
/proc/meminfo: memFree=30634600/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 832 0 0 0 0 0 0 0 20 0 1 0 279436048 7405568 754 33554432000 4194304 8973514 140734952647760 140734016271928 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 1808 754 416 1167 0 589 0

[startup+0.0937369 s]
/proc/loadavg: 1.95 2.00 1.99 3/176 10536
/proc/meminfo: memFree=30634600/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=14400 CPUtime=0.08 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 2877 0 0 0 8 0 0 0 20 0 1 0 279436048 14745600 2799 33554432000 4194304 8973514 140734952647760 140734016271928 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 3600 2799 430 1167 0 2381 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14400

[startup+0.100225 s]
/proc/loadavg: 1.95 2.00 1.99 3/176 10536
/proc/meminfo: memFree=30634600/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=14400 CPUtime=0.09 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 2877 0 0 0 9 0 0 0 20 0 1 0 279436048 14745600 2799 33554432000 4194304 8973514 140734952647760 140734016271928 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 3600 2799 430 1167 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400

[startup+0.300173 s]
/proc/loadavg: 1.95 2.00 1.99 3/176 10536
/proc/meminfo: memFree=30634600/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=21568 CPUtime=0.29 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 4504 0 0 0 29 0 0 0 20 0 1 0 279436048 22085632 4426 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 5392 4426 458 1167 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21568

[startup+0.700172 s]
/proc/loadavg: 1.95 2.00 1.99 3/176 10536
/proc/meminfo: memFree=30634600/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=24640 CPUtime=0.69 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 5468 0 0 0 68 1 0 0 20 0 1 0 279436048 25231360 5390 33554432000 4194304 8973514 140734952647760 140734952647256 7667344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 6160 5390 458 1167 0 4941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24640

[startup+1.50013 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 10537
/proc/meminfo: memFree=30611760/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=32832 CPUtime=1.49 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 7516 0 0 0 148 1 0 0 20 0 1 0 279436048 33619968 7438 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 8208 7438 458 1167 0 6989 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32832

[startup+3.10016 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 10537
/proc/meminfo: memFree=30600228/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=47168 CPUtime=3.09 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 11100 0 0 0 307 2 0 0 20 0 1 0 279436048 48300032 11022 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 11792 11022 458 1167 0 10573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47168

[startup+6.30014 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 10537
/proc/meminfo: memFree=30573568/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=72768 CPUtime=6.29 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 17500 0 0 0 624 5 0 0 20 0 1 0 279436048 74514432 17422 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 18192 17422 458 1167 0 16973 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72768

[startup+12.7002 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 10537
/proc/meminfo: memFree=30516208/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=118848 CPUtime=12.69 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 29020 0 0 0 1261 8 0 0 20 0 1 0 279436048 121700352 28942 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 29712 28942 458 1167 0 28493 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118848

[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10576
/proc/meminfo: memFree=30544780/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=200768 CPUtime=25.48 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 49507 0 0 0 2532 16 0 0 20 0 1 0 279436048 205586432 49432 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 50192 49432 459 1167 0 48973 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 200768

[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10576
/proc/meminfo: memFree=30435560/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=214080 CPUtime=51.07 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 56680 0 0 0 5081 26 0 0 20 0 1 0 279436048 219217920 52760 33554432000 4194304 8973514 140734952647760 140734952647256 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 53520 52760 459 1167 0 52301 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 214080

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 10579
/proc/meminfo: memFree=30234676/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=280640 CPUtime=102.27 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 73323 0 0 0 10181 46 0 0 20 0 1 0 279436048 287375360 69400 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 70160 69400 459 1167 0 68941 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 280640

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10579
/proc/meminfo: memFree=30067368/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=328768 CPUtime=162.24 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 88689 0 0 0 16158 66 0 0 20 0 1 0 279436048 336658432 81432 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 82192 81432 459 1167 0 80973 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 328768

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10579
/proc/meminfo: memFree=29916268/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=379968 CPUtime=222.24 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 107642 0 0 0 22134 90 0 0 20 0 1 0 279436048 389087232 94233 33554432000 4194304 8973514 140734952647760 140734952647024 4213673 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 94992 94233 459 1167 0 93773 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 379968

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10580
/proc/meminfo: memFree=29828876/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=377920 CPUtime=282.21 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 131217 0 0 0 28106 115 0 0 20 0 1 0 279436048 386990080 93721 33554432000 4194304 8973514 140734952647760 140734952647024 4213683 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 94480 93721 459 1167 0 93261 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 377920

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10580
/proc/meminfo: memFree=29746332/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=398400 CPUtime=342.19 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 143777 0 0 0 34082 137 0 0 20 0 1 0 279436048 407961600 98841 33554432000 4194304 8973514 140734952647760 140734952647256 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 99600 98841 459 1167 0 98381 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 398400

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10580
/proc/meminfo: memFree=29704116/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=377920 CPUtime=402.18 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 149153 0 0 0 40062 156 0 0 20 0 1 0 279436048 386990080 93721 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 94480 93721 459 1167 0 93261 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 377920

[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10580
/proc/meminfo: memFree=29632768/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=382016 CPUtime=462.17 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 172193 0 0 0 46040 177 0 0 20 0 1 0 279436048 391184384 94745 33554432000 4194304 8973514 140734952647760 140734952647024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 95504 94745 459 1167 0 94285 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 382016

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10580
/proc/meminfo: memFree=29575384/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=413760 CPUtime=522.17 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 201889 0 0 0 52017 200 0 0 20 0 1 0 279436048 423690240 102681 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 103440 102681 459 1167 0 102221 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 413760

[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10581
/proc/meminfo: memFree=29482744/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=441408 CPUtime=582.15 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 232865 0 0 0 57994 221 0 0 20 0 1 0 279436048 452001792 109593 33554432000 4194304 8973514 140734952647760 140734952647256 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 110352 109593 459 1167 0 109133 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 441408

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10584
/proc/meminfo: memFree=29364944/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=427072 CPUtime=822.12 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 338849 0 0 0 81911 301 0 0 20 0 1 0 279436048 437321728 106009 33554432000 4194304 8973514 140734952647760 140734952647024 4214011 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 106768 106009 459 1167 0 105549 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 427072

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=29353564/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=402496 CPUtime=882.11 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 351137 0 0 0 87891 320 0 0 20 0 1 0 279436048 412155904 99865 33554432000 4194304 8973514 140734952647760 140734952647256 6839497 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 100624 99865 459 1167 0 99405 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 402496

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=29393768/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=346176 CPUtime=942.1 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 369569 0 0 0 93869 341 0 0 20 0 1 0 279436048 354484224 85785 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 86544 85785 459 1167 0 85325 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 346176

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=29255412/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=465984 CPUtime=1002.09 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 410529 0 0 0 99843 366 0 0 20 0 1 0 279436048 477167616 115737 33554432000 4194304 8973514 140734952647760 140734952645696 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 116496 115737 459 1167 0 115277 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 465984

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=29340504/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=341056 CPUtime=1062.08 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 425377 0 0 0 105825 383 0 0 20 0 1 0 279436048 349241344 84505 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 85264 84505 459 1167 0 84045 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 341056

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10585
/proc/meminfo: memFree=29246112/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=414784 CPUtime=1122.05 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 463288 0 0 0 111800 405 0 0 20 0 1 0 279436048 424738816 102937 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 103696 102937 459 1167 0 102477 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 414784

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 10585
/proc/meminfo: memFree=29241648/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=399424 CPUtime=1182.03 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 468672 0 0 0 117781 422 0 0 20 0 1 0 279436048 409010176 99097 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 99856 99097 459 1167 0 98637 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 399424

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10586
/proc/meminfo: memFree=29256876/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=341056 CPUtime=1242.01 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 499922 0 0 0 123760 441 0 0 20 0 1 0 279436048 349241344 84505 33554432000 4194304 8973514 140734952647760 140734952647024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 85264 84505 459 1167 0 84045 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 341056

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10589
/proc/meminfo: memFree=29191436/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=386112 CPUtime=1302 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 514019 0 0 0 129737 463 0 0 20 0 1 0 279436048 395378688 95769 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 96528 95769 459 1167 0 95309 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 386112

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10612
/proc/meminfo: memFree=29034292/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=517184 CPUtime=1361.98 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 547811 0 0 0 135714 484 0 0 20 0 1 0 279436048 529596416 128537 33554432000 4194304 8973514 140734952647760 140734952647024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 129296 128537 459 1167 0 128077 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 517184

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10612
/proc/meminfo: memFree=29087760/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=447552 CPUtime=1421.98 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 560107 0 0 0 141692 506 0 0 20 0 1 0 279436048 458293248 111129 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 111888 111129 459 1167 0 110669 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 447552

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10612
/proc/meminfo: memFree=29114944/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=398400 CPUtime=1481.94 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 581382 0 0 0 147667 527 0 0 20 0 1 0 279436048 407961600 98841 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 99600 98841 459 1167 0 98381 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 398400

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10613
/proc/meminfo: memFree=29071276/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=418880 CPUtime=1541.92 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 605722 0 0 0 153642 550 0 0 20 0 1 0 279436048 428933120 103961 33554432000 4194304 8973514 140734952647760 140734952647256 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 104720 103961 459 1167 0 103501 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 418880

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10613
/proc/meminfo: memFree=29049568/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=419904 CPUtime=1601.89 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 627747 0 0 0 159621 568 0 0 20 0 1 0 279436048 429981696 104217 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 104976 104217 459 1167 0 103757 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 419904

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10613
/proc/meminfo: memFree=29050876/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=396352 CPUtime=1661.87 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 666414 0 0 0 165597 590 0 0 20 0 1 0 279436048 405864448 98329 33554432000 4194304 8973514 140734952647760 140734952647256 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 99088 98329 459 1167 0 97869 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 396352

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10614
/proc/meminfo: memFree=29006516/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=439360 CPUtime=1721.87 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 697910 0 0 0 171575 612 0 0 20 0 1 0 279436048 449904640 109081 33554432000 4194304 8973514 140734952647760 140734952647256 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 109840 109081 459 1167 0 108621 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 439360

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10614
/proc/meminfo: memFree=28912576/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=508992 CPUtime=1781.85 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 716345 0 0 0 177551 634 0 0 20 0 1 0 279436048 521207808 126489 33554432000 4194304 8973514 140734952647760 140734952647024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 127248 126489 459 1167 0 126029 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 508992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10615
/proc/meminfo: memFree=28960640/32873648 swapFree=6860/6860
[pid=10536] ppid=10534 vsize=459840 CPUtime=1800.05 cores=0,2,4,6
/proc/10536/stat : 10536 (toysat) R 10534 10536 9979 0 -1 4202496 716345 0 0 0 179365 640 0 0 20 0 1 0 279436048 470876160 114201 33554432000 4194304 8973514 140734952647760 140734952647256 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 114960 114201 459 1167 0 113741 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 459840

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.52
CPU time (s): 1800.08
CPU user time (s): 1793.66
CPU system time (s): 6.41702
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 568384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.66
system time used= 6.41702
maximum resident set size= 565348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 716345
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= 224
involuntary context switches= 1895

runsolver used 3.54946 second user time and 8.82466 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-27 17:38:20
IDJOB=3707320
IDBENCH=48187
IDSOLVER=2285
FILE ID=node116/3707320-1338133100
RUNJOBID= node116-1338124087-9995
PBS_JOBID= 14624506
Free space on /tmp= 71464 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_3.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707320-1338133100/watcher-3707320-1338133100 -o /tmp/evaluation-result-3707320-1338133100/solver-3707320-1338133100 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707320-1338133100.opb

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

MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408
RANDOM SEED=1375495905

node116.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.556
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	: 5333.11
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.556
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.556
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	: 5438.54
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.556
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.556
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.556
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.92
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.556
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.90
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.556
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:        30635608 kB
Buffers:          355308 kB
Cached:           847336 kB
SwapCached:         3240 kB
Active:           965680 kB
Inactive:         437188 kB
Active(anon):     190644 kB
Inactive(anon):     8960 kB
Active(file):     775036 kB
Inactive(file):   428228 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103664 kB
Dirty:              7384 kB
Writeback:             0 kB
AnonPages:        201820 kB
Mapped:            14424 kB
Shmem:                96 kB
Slab:             698616 kB
SReclaimable:     143164 kB
SUnreclaim:       555452 kB
KernelStack:        1456 kB
PageTables:         4764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     312060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 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= 71460 MiB
End job on node116 at 2012-05-27 18:08:22