Trace number 3724485

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
toysat 2012-06-01? (TO) 1800.07 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K107.opb
MD5SUMf523e4bc7acd98550e38ca37c8d9200b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark100.583
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7276
Total number of constraints7492
Number of constraints which are clauses7385
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint107
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 108
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.29/0.30	c 2012-06-02T15:36:38+0200
0.29/0.30	c arch = x86_64
0.29/0.30	c os = linux
0.29/0.30	c compiler = ghc 7.4
0.29/0.30	c packages:
0.29/0.30	c   OptDir-0.0.1
0.29/0.30	c   array-0.4.0.0
0.29/0.30	c   base-4.5.0.0
0.29/0.30	c   bytestring-0.9.2.1
0.29/0.30	c   containers-0.4.2.1
0.29/0.30	c   deepseq-1.3.0.0
0.29/0.30	c   mtl-2.1.1
0.29/0.30	c   old_locale-1.0.0.4
0.29/0.30	c   parse_dimacs-1.2
0.29/0.30	c   parsec-3.1.2
0.29/0.30	c   queue-0.1.2
0.29/0.30	c   stm-2.3
0.29/0.30	c   time-1.4
0.29/0.30	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724485-1338644198.opb"]
0.29/0.30	c #vars 7276
0.29/0.30	c #constraints 7492
0.29/0.30	c Solving starts ...
24.38/24.41	c learnt constraints deletion: 14033 -> 7017
43.78/43.90	c learnt constraints deletion: 16754 -> 8382
58.38/58.44	c learnt constraints deletion: 16520 -> 8260
82.87/82.94	c learnt constraints deletion: 18785 -> 9410
147.32/147.42	c learnt constraints deletion: 19082 -> 9600
174.00/174.18	c learnt constraints deletion: 20636 -> 10326
194.50/194.64	c learnt constraints deletion: 20149 -> 10080
212.40/212.56	c learnt constraints deletion: 20844 -> 10441
235.39/235.56	c learnt constraints deletion: 21882 -> 10958
268.79/268.93	c learnt constraints deletion: 25506 -> 12915
347.64/347.82	c learnt constraints deletion: 25606 -> 13034
462.03/462.21	c learnt constraints deletion: 23671 -> 11849
489.93/490.11	c learnt constraints deletion: 23715 -> 11891
525.41/525.68	c learnt constraints deletion: 23701 -> 11885
557.32/557.54	c learnt constraints deletion: 25306 -> 12723
579.01/579.29	c learnt constraints deletion: 23677 -> 11870
603.71/603.93	c learnt constraints deletion: 23749 -> 11935
628.10/628.39	c learnt constraints deletion: 26464 -> 13261
655.10/655.30	c learnt constraints deletion: 26689 -> 13394
689.59/689.84	c learnt constraints deletion: 28593 -> 14332
786.47/786.75	c learnt constraints deletion: 29291 -> 15066
815.25/815.50	c learnt constraints deletion: 26696 -> 15509
836.35/836.65	c learnt constraints deletion: 26469 -> 16212
867.54/867.85	c learnt constraints deletion: 27124 -> 16705
893.83/894.17	c learnt constraints deletion: 28311 -> 17084
933.12/933.47	c learnt constraints deletion: 30319 -> 17878
957.91/958.20	c learnt constraints deletion: 28766 -> 18447
978.10/978.40	c learnt constraints deletion: 29280 -> 18853
1002.31/1002.69	c learnt constraints deletion: 29307 -> 19194
1030.99/1031.39	c learnt constraints deletion: 28644 -> 19513
1045.19/1045.57	c learnt constraints deletion: 28581 -> 20120
1061.79/1062.10	c learnt constraints deletion: 29204 -> 20546
1081.59/1081.96	c learnt constraints deletion: 28897 -> 20885
1135.88/1136.28	c learnt constraints deletion: 32066 -> 21376
1157.57/1157.94	c learnt constraints deletion: 28908 -> 21546
1169.47/1169.84	c learnt constraints deletion: 29316 -> 21941
1198.26/1198.68	c learnt constraints deletion: 31972 -> 22264
1244.26/1244.69	c learnt constraints deletion: 31572 -> 22417
1290.15/1290.60	c learnt constraints deletion: 31722 -> 22654
1348.83/1349.28	c learnt constraints deletion: 34391 -> 22686
1378.63/1379.08	c learnt constraints deletion: 34939 -> 23418
1442.52/1442.93	c learnt constraints deletion: 35351 -> 23831
1546.70/1547.14	c learnt constraints deletion: 35271 -> 24178
1621.28/1621.78	c learnt constraints deletion: 34849 -> 24412
1702.67/1703.11	c learnt constraints deletion: 34681 -> 24759
1762.55/1763.01	c learnt constraints deletion: 34546 -> 25031

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-3724485-1338644198/watcher-3724485-1338644198 -o /tmp/evaluation-result-3724485-1338644198/solver-3724485-1338644198 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724485-1338644198.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.03 1.99 3/176 11489
/proc/meminfo: memFree=28977076/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 799 0 0 0 0 0 0 0 20 0 1 0 330544668 6373376 720 33554432000 4194304 8989770 140733753948608 140737216611720 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 1556 720 428 1171 0 333 0

[startup+0.00692093 s]
/proc/loadavg: 1.95 2.03 1.99 3/176 11489
/proc/meminfo: memFree=28977076/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 805 0 0 0 0 0 0 0 20 0 1 0 330544668 6373376 726 33554432000 4194304 8989770 140733753948608 140737216611720 7626668 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 1556 728 428 1171 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6224

[startup+0.100217 s]
/proc/loadavg: 1.95 2.03 1.99 3/176 11489
/proc/meminfo: memFree=28977076/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 2112 0 0 0 9 0 0 0 20 0 1 0 330544668 11616256 2033 33554432000 4194304 8989770 140733753948608 140733753948104 7750334 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 2836 2033 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344

[startup+0.300219 s]
/proc/loadavg: 1.95 2.03 1.99 3/176 11489
/proc/meminfo: memFree=28977076/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=23632 CPUtime=0.29 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 5201 0 0 0 29 0 0 0 20 0 1 0 330544668 24199168 5122 33554432000 4194304 8989770 140733753948608 140733753948104 7426599 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 5908 5122 442 1171 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23632

[startup+0.700229 s]
/proc/loadavg: 1.95 2.03 1.99 3/176 11489
/proc/meminfo: memFree=28977076/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=25680 CPUtime=0.69 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 5730 0 0 0 69 0 0 0 20 0 1 0 330544668 26296320 5651 33554432000 4194304 8989770 140733753948608 140733753948104 4552016 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 6420 5651 459 1171 0 5197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25680

[startup+1.50024 s]
/proc/loadavg: 1.95 2.03 1.99 3/177 11490
/proc/meminfo: memFree=28956468/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=25680 CPUtime=1.48 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 5730 0 0 0 148 0 0 0 20 0 1 0 330544668 26296320 5651 33554432000 4194304 8989770 140733753948608 140733753948104 4437612 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 6420 5651 459 1171 0 5197 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25680

[startup+3.10022 s]
/proc/loadavg: 1.95 2.03 1.99 3/177 11490
/proc/meminfo: memFree=28954880/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=27728 CPUtime=3.09 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 6242 0 0 0 308 1 0 0 20 0 1 0 330544668 28393472 6163 33554432000 4194304 8989770 140733753948608 140733753948104 4354529 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 6932 6163 459 1171 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27728

[startup+6.30023 s]
/proc/loadavg: 1.95 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28947316/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=36944 CPUtime=6.29 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 8546 0 0 0 627 2 0 0 20 0 1 0 330544668 37830656 8467 33554432000 4194304 8989770 140733753948608 140733753948104 4209212 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 9236 8467 459 1171 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36944

[startup+12.7002 s]
/proc/loadavg: 1.95 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28929840/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=53328 CPUtime=12.69 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 12404 0 0 0 1264 5 0 0 20 0 1 0 330544668 54607872 12325 33554432000 4194304 8989770 140733753948608 140733753948104 4355501 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/11489/statm: 13332 12325 459 1171 0 12109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53328

[startup+25.5003 s]
/proc/loadavg: 1.96 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28900080/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=78928 CPUtime=25.48 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 19044 0 0 0 2538 10 0 0 20 0 1 0 330544668 80822272 18965 33554432000 4194304 8989770 140733753948608 140733753948104 4213683 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 19732 18965 461 1171 0 18509 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78928

[startup+51.1003 s]
/proc/loadavg: 1.97 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28903836/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=99408 CPUtime=51.08 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 24164 0 0 0 5090 18 0 0 20 0 1 0 330544668 101793792 24085 33554432000 4194304 8989770 140733753948608 140733753948104 6587776 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 24852 24085 461 1171 0 23629 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 99408

[startup+102.306 s]
/proc/loadavg: 1.99 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28904516/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=114768 CPUtime=102.27 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 28012 0 0 0 10192 35 0 0 20 0 1 0 330544668 117522432 27925 33554432000 4194304 8989770 140733753948608 140733753948104 6586404 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 28692 27925 461 1171 0 27469 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 114768

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 4/177 11490
/proc/meminfo: memFree=28862384/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=141392 CPUtime=162.21 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 34714 0 0 0 16163 58 0 0 20 0 1 0 330544668 144785408 34581 33554432000 4194304 8989770 140733753948608 140733753947872 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 35348 34581 461 1171 0 34125 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 141392

[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 11494
/proc/meminfo: memFree=28879036/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=103504 CPUtime=222.19 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 34718 0 0 0 22142 77 0 0 20 0 1 0 330544668 105988096 25109 33554432000 4194304 8989770 140733753948608 140733753947872 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 25876 25109 461 1171 0 24653 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 103504

[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 11494
/proc/meminfo: memFree=28849924/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=133200 CPUtime=282.18 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 42142 0 0 0 28119 99 0 0 20 0 1 0 330544668 136396800 32533 33554432000 4194304 8989770 140733753948608 140733753948104 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 33300 32533 461 1171 0 32077 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 133200

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 11494
/proc/meminfo: memFree=28805964/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=178256 CPUtime=342.15 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 53196 0 0 0 34093 122 0 0 20 0 1 0 330544668 182534144 43559 33554432000 4194304 8989770 140733753948608 140733753948104 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 44564 43559 461 1171 0 43341 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 178256

[startup+402.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 11494
/proc/meminfo: memFree=28823072/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=184400 CPUtime=402.13 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 54975 0 0 0 40074 139 0 0 20 0 1 0 330544668 188825600 45333 33554432000 4194304 8989770 140733753948608 140733753947872 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 46100 45333 461 1171 0 44877 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 184400

[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 11494
/proc/meminfo: memFree=28809984/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=191568 CPUtime=462.13 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 56767 0 0 0 46059 154 0 0 20 0 1 0 330544668 196165632 47125 33554432000 4194304 8989770 140733753948608 140733753947872 4437508 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 47892 47125 461 1171 0 46669 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 191568

[startup+522.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 11495
/proc/meminfo: memFree=28852208/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=140368 CPUtime=522.12 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 56768 0 0 0 52034 178 0 0 20 0 1 0 330544668 143736832 34325 33554432000 4194304 8989770 140733753948608 140733753948104 4438176 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 35092 34325 461 1171 0 33869 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 140368

[startup+582.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 11495
/proc/meminfo: memFree=28870608/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=109648 CPUtime=582.1 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 56768 0 0 0 58012 198 0 0 20 0 1 0 330544668 112279552 26645 33554432000 4194304 8989770 140733753948608 140733753948104 4469522 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 27412 26645 461 1171 0 26189 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 109648

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 11538
/proc/meminfo: memFree=29026036/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=91216 CPUtime=882.03 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 94941 0 0 0 87905 298 0 0 20 0 1 0 330544668 93405184 22037 33554432000 4194304 8989770 140733753948608 140733753947872 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 22804 22037 461 1171 0 21581 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 91216

[startup+942.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 11538
/proc/meminfo: memFree=29030020/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=95312 CPUtime=942.02 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 112105 0 0 0 93881 321 0 0 20 0 1 0 330544668 97599488 23061 33554432000 4194304 8989770 140733753948608 140733753947872 4437508 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 23828 23061 461 1171 0 22605 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 95312

[startup+1002.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 11538
/proc/meminfo: memFree=29013748/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=111696 CPUtime=1002.01 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 117225 0 0 0 99860 341 0 0 20 0 1 0 330544668 114376704 27157 33554432000 4194304 8989770 140733753948608 140733753948104 4354973 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 27924 27157 461 1171 0 26701 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 111696

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 11538
/proc/meminfo: memFree=29029780/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=98384 CPUtime=1061.99 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 124657 0 0 0 105838 361 0 0 20 0 1 0 330544668 100745216 23829 33554432000 4194304 8989770 140733753948608 140733753947872 4370684 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 24596 23829 461 1171 0 23373 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 98384

[startup+1122.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 11538
/proc/meminfo: memFree=28993132/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=130128 CPUtime=1121.98 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 134999 0 0 0 111815 383 0 0 20 0 1 0 330544668 133251072 31606 33554432000 4194304 8989770 140733753948608 140733753948104 6678116 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 32532 31606 461 1171 0 31309 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 130128

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 11539
/proc/meminfo: memFree=29035824/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=93264 CPUtime=1181.97 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 139933 0 0 0 117797 400 0 0 20 0 1 0 330544668 95502336 22453 33554432000 4194304 8989770 140733753948608 140733753947712 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 23316 22453 461 1171 0 22093 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 93264

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11539
/proc/meminfo: memFree=28990648/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=135248 CPUtime=1241.95 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 151230 0 0 0 123774 421 0 0 20 0 1 0 330544668 138493952 32970 33554432000 4194304 8989770 140733753948608 140733753948104 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 33812 32970 461 1171 0 32589 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 135248

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11539
/proc/meminfo: memFree=29017412/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=107600 CPUtime=1301.95 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 164115 0 0 0 129751 444 0 0 20 0 1 0 330544668 110182400 26133 33554432000 4194304 8989770 140733753948608 140733753947872 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/11489/statm: 26900 26133 461 1171 0 25677 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 107600

[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 11539
/proc/meminfo: memFree=28984040/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=140368 CPUtime=1361.93 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 178713 0 0 0 135731 462 0 0 20 0 1 0 330544668 143736832 34325 33554432000 4194304 8989770 140733753948608 140733753947872 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 35092 34325 461 1171 0 33869 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 140368

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 11542
/proc/meminfo: memFree=28960648/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=164944 CPUtime=1421.93 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 184728 0 0 0 141706 487 0 0 20 0 1 0 330544668 168902656 40339 33554432000 4194304 8989770 140733753948608 140733753947872 6586472 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 41236 40339 461 1171 0 40013 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 164944

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 11566
/proc/meminfo: memFree=28938284/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=186448 CPUtime=1481.91 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 190241 0 0 0 147688 503 0 0 20 0 1 0 330544668 190922752 45845 33554432000 4194304 8989770 140733753948608 140733753948104 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 46612 45845 461 1171 0 45389 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 186448

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11566
/proc/meminfo: memFree=28907168/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=218192 CPUtime=1541.9 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 197955 0 0 0 153667 523 0 0 20 0 1 0 330544668 223428608 53559 33554432000 4194304 8989770 140733753948608 140733753947872 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 54548 53559 461 1171 0 53325 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 218192

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11566
/proc/meminfo: memFree=28925808/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=197712 CPUtime=1601.88 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 198695 0 0 0 159647 541 0 0 20 0 1 0 330544668 202457088 48661 33554432000 4194304 8989770 140733753948608 140733753947872 4361989 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 49428 48661 461 1171 0 48205 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 197712

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11566
/proc/meminfo: memFree=28937780/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=185424 CPUtime=1661.87 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 198695 0 0 0 165627 560 0 0 20 0 1 0 330544668 189874176 45589 33554432000 4194304 8989770 140733753948608 140733753947872 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 46356 45589 461 1171 0 45133 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 185424

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11566
/proc/meminfo: memFree=28962408/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=160848 CPUtime=1721.87 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 199975 0 0 0 171608 579 0 0 20 0 1 0 330544668 164708352 39445 33554432000 4194304 8989770 140733753948608 140733753947872 4469776 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 40212 39445 461 1171 0 38989 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 160848

[startup+1782.3 s]
/proc/loadavg: 2.22 2.05 2.02 3/177 11567
/proc/meminfo: memFree=28949000/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=174160 CPUtime=1781.85 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 203189 0 0 0 177588 597 0 0 20 0 1 0 330544668 178339840 42773 33554432000 4194304 8989770 140733753948608 140733753947872 4361400 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 43540 42773 461 1171 0 42317 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 174160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 11567
/proc/meminfo: memFree=28949000/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=174160 CPUtime=1800.06 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 203189 0 0 0 179403 603 0 0 20 0 1 0 330544668 178339840 42773 33554432000 4194304 8989770 140733753948608 140733753947872 7732747 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 43540 42773 461 1171 0 42317 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 174160

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

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 11567
/proc/meminfo: memFree=28949000/32873844 swapFree=7120/7120
[pid=11489] ppid=11487 vsize=174160 CPUtime=1800.06 cores=0,2,4,6
/proc/11489/stat : 11489 (toysat) R 11487 11489 10378 0 -1 4202496 203189 0 0 0 179403 603 0 0 20 0 1 0 330544668 178339840 42773 33554432000 4194304 8989770 140733753948608 140733753947872 7732747 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11489/statm: 43540 42773 461 1171 0 42317 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 174160

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1794.03
CPU system time (s): 6.03808
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 220240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 6.03808
maximum resident set size= 217172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203189
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= 202
involuntary context switches= 1940

runsolver used 3.60145 second user time and 8.51271 second system time

The end

Launcher Data

Begin job on node142 at 2012-06-02 15:36:38
IDJOB=3724485
IDBENCH=90127
IDSOLVER=2308
FILE ID=node142/3724485-1338644198
RUNJOBID= node142-1338631506-10394
PBS_JOBID= 14636438
Free space on /tmp= 71192 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724485-1338644198/watcher-3724485-1338644198 -o /tmp/evaluation-result-3724485-1338644198/solver-3724485-1338644198 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724485-1338644198.opb

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

MD5SUM BENCH= f523e4bc7acd98550e38ca37c8d9200b
RANDOM SEED=185979508

node142.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.776
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.55
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.776
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.776
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	: 5391.91
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.776
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.92
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.776
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.90
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.776
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.776
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.776
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:       32873844 kB
MemFree:        28977076 kB
Buffers:          217872 kB
Cached:          2667804 kB
SwapCached:            0 kB
Active:          1259260 kB
Inactive:        1825932 kB
Active(anon):     190684 kB
Inactive(anon):    11236 kB
Active(file):    1068576 kB
Inactive(file):  1814696 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:        205992 kB
Mapped:            12160 kB
Shmem:               200 kB
Slab:             672772 kB
SReclaimable:     114984 kB
SUnreclaim:       557788 kB
KernelStack:        1464 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     313696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71184 MiB
End job on node142 at 2012-06-02 16:06:40