Trace number 3712000

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-05-17? (TO) 1800.06 1800.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM5648463b311d39ee56e08f95de13a148
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark2.01369
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints71
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 3850
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c 2012-05-28T03:40:39+0200
0.00/0.06	c arch = x86_64
0.00/0.06	c os = linux
0.00/0.06	c compiler = ghc 7.4
0.00/0.06	c packages:
0.00/0.06	c   OptDir-0.0.1
0.00/0.06	c   array-0.4.0.0
0.00/0.06	c   base-4.5.0.0
0.00/0.06	c   bytestring-0.9.2.1
0.00/0.06	c   containers-0.4.2.1
0.00/0.06	c   deepseq-1.3.0.0
0.00/0.06	c   mtl-2.1.1
0.00/0.06	c   old_locale-1.0.0.4
0.00/0.06	c   parse_dimacs-1.2
0.00/0.06	c   parsec-3.1.2
0.00/0.06	c   queue-0.1.2
0.00/0.06	c   stm-2.3
0.00/0.06	c   time-1.4
0.00/0.06	c command line = ["--wbo","HOME/instance-3712000-1338169239.wbo"]
0.00/0.06	c #vars 5100
0.00/0.06	c #constraints 202
0.00/0.06	c Solving starts ...
0.39/0.49	c solving time = 0.433s
0.39/0.49	c #decision = 3402
0.39/0.49	c #conflict = 252
0.39/0.49	c #restart = 2
0.39/0.49	o 88
0.39/0.49	c Solving starts ...
3.09/3.10	c solving time = 2.608s
3.09/3.10	c #decision = 17357
3.09/3.10	c #conflict = 1076
3.09/3.10	c #restart = 6
3.09/3.10	o 76
3.09/3.10	c Solving starts ...
3.09/3.12	c solving time = 0.009s
3.09/3.12	c #decision = 20083
3.09/3.12	c #conflict = 1076
3.09/3.12	c #restart = 6
3.09/3.12	o 62
3.09/3.12	c Solving starts ...
3.09/3.14	c solving time = 0.020s
3.09/3.14	c #decision = 22833
3.09/3.14	c #conflict = 1082
3.09/3.14	c #restart = 6
3.09/3.14	o 24
3.09/3.14	c Solving starts ...
13.68/13.79	c learnt constraints deletion: 4292 -> 2146
26.69/26.72	c learnt constraints deletion: 6427 -> 3214
26.69/26.75	c solving time = 23.605s
26.69/26.75	c #decision = 58912
26.69/26.75	c #conflict = 8598
26.69/26.75	c #restart = 15
26.69/26.75	o 15
26.69/26.75	c Solving starts ...
26.69/26.77	c learnt constraints deletion: 3224 -> 1612
29.98/30.05	c learnt constraints deletion: 2927 -> 1464
44.28/44.32	c learnt constraints deletion: 5077 -> 2539
53.88/53.92	c learnt constraints deletion: 5108 -> 2554
67.98/68.08	c learnt constraints deletion: 6408 -> 3204
91.86/91.91	c learnt constraints deletion: 8986 -> 4493
106.75/106.86	c learnt constraints deletion: 8282 -> 4152
131.84/131.92	c learnt constraints deletion: 8275 -> 4160
170.71/170.87	c learnt constraints deletion: 10668 -> 5365
232.20/232.36	c learnt constraints deletion: 10650 -> 5356
256.99/257.15	c learnt constraints deletion: 7337 -> 3669
354.07/354.27	c learnt constraints deletion: 10871 -> 5446
413.56/413.76	c learnt constraints deletion: 10896 -> 5460
466.36/466.55	c learnt constraints deletion: 10849 -> 5438
479.45/479.64	c learnt constraints deletion: 6916 -> 3458
550.14/550.31	c learnt constraints deletion: 11542 -> 5781
620.43/620.69	c learnt constraints deletion: 11524 -> 5773
694.02/694.29	c learnt constraints deletion: 11523 -> 5773
772.71/772.96	c learnt constraints deletion: 11531 -> 5777
823.89/824.14	c learnt constraints deletion: 9721 -> 4861
889.59/889.81	c learnt constraints deletion: 12240 -> 6126
955.38/955.67	c learnt constraints deletion: 12249 -> 6132
1024.88/1025.18	c learnt constraints deletion: 12204 -> 6109
1093.76/1094.07	c learnt constraints deletion: 12240 -> 6127
1158.85/1159.10	c learnt constraints deletion: 12192 -> 6103
1229.64/1229.92	c learnt constraints deletion: 12155 -> 6085
1305.33/1305.63	c learnt constraints deletion: 12182 -> 6091
1394.32/1394.63	c learnt constraints deletion: 13297 -> 6664
1515.79/1516.12	c learnt constraints deletion: 13298 -> 6672
1639.96/1640.37	c learnt constraints deletion: 13283 -> 6665
1770.15/1770.50	c learnt constraints deletion: 13306 -> 6675

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-3712000-1338169239/watcher-3712000-1338169239 -o /tmp/evaluation-result-3712000-1338169239/solver-3712000-1338169239 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712000-1338169239.wbo 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 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.00 2.01 2.00 3/177 31103
/proc/meminfo: memFree=30799532/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 283048303 6356992 726 33554432000 4194304 8973514 140735370941872 140735682888168 7858672 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 1552 726 422 1167 0 333 0

[startup+0.00887902 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31103
/proc/meminfo: memFree=30799532/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 878 0 0 0 0 0 0 0 20 0 1 0 283048303 7405568 800 33554432000 4194304 8973514 140735370941872 140735682888168 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 1808 801 422 1167 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232

[startup+0.100267 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31103
/proc/meminfo: memFree=30799532/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=11328 CPUtime=0.08 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 2144 0 0 0 8 0 0 0 20 0 1 0 283048303 11599872 2066 33554432000 4194304 8973514 140735370941872 140735682888168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 2832 2066 456 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328

[startup+0.300268 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31103
/proc/meminfo: memFree=30799532/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=13376 CPUtime=0.29 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 2656 0 0 0 28 1 0 0 20 0 1 0 283048303 13697024 2578 33554432000 4194304 8973514 140735370941872 140735682888168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 3344 2578 456 1167 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13376

[startup+0.700322 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31103
/proc/meminfo: memFree=30799532/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=15424 CPUtime=0.69 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 2937 0 0 0 68 1 0 0 20 0 1 0 283048303 15794176 2859 33554432000 4194304 8973514 140735370941872 140735370941368 4415718 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 3856 2859 466 1167 0 2637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15424

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31104
/proc/meminfo: memFree=30789232/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=16448 CPUtime=1.49 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 3434 0 0 0 147 2 0 0 20 0 1 0 283048303 16842752 3356 33554432000 4194304 8973514 140735370941872 140735370941368 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 4112 3356 466 1167 0 2893 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16448

[startup+3.10041 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31104
/proc/meminfo: memFree=30785512/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=22592 CPUtime=3.09 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 4773 0 0 0 306 3 0 0 20 0 1 0 283048303 23134208 4695 33554432000 4194304 8973514 140735370941872 140735370941368 4427592 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 5648 4695 466 1167 0 4429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22592

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31104
/proc/meminfo: memFree=30777948/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=28736 CPUtime=6.28 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 6445 0 0 0 624 4 0 0 20 0 1 0 283048303 29425664 6367 33554432000 4194304 8973514 140735370941872 140735370941368 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 7184 6367 467 1167 0 5965 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28736

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31104
/proc/meminfo: memFree=30763084/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=43072 CPUtime=12.69 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 9922 0 0 0 1260 9 0 0 20 0 1 0 283048303 44105728 9844 33554432000 4194304 8973514 140735370941872 140735370941368 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 10768 9844 467 1167 0 9549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43072

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31104
/proc/meminfo: memFree=30739408/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=66624 CPUtime=25.48 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 15901 0 0 0 2531 17 0 0 20 0 1 0 283048303 68222976 15823 33554432000 4194304 8973514 140735370941872 140735370941368 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 16656 15823 468 1167 0 15437 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66624

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31105
/proc/meminfo: memFree=30738664/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=65600 CPUtime=51.08 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 18284 0 0 0 5075 33 0 0 20 0 1 0 283048303 67174400 15646 33554432000 4194304 8973514 140735370941872 140735370941136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 16400 15646 468 1167 0 15181 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 65600

[startup+102.307 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 31105
/proc/meminfo: memFree=30669056/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=135232 CPUtime=102.26 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 35662 0 0 0 10151 75 0 0 20 0 1 0 283048303 138477568 33007 33554432000 4194304 8973514 140735370941872 140735370941136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 33808 33007 468 1167 0 32589 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135232

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 31105
/proc/meminfo: memFree=30642560/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=161856 CPUtime=162.21 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 46593 0 0 0 16121 100 0 0 20 0 1 0 283048303 165740544 39550 33554432000 4194304 8973514 140735370941872 140735370941368 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 40464 39550 468 1167 0 39245 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 161856

[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 31144
/proc/meminfo: memFree=30836372/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=219200 CPUtime=222.2 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 60942 0 0 0 22101 119 0 0 20 0 1 0 283048303 224460800 53881 33554432000 4194304 8973514 140735370941872 140735370941136 6565924 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 54800 53881 468 1167 0 53581 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 219200

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31144
/proc/meminfo: memFree=30822732/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=231488 CPUtime=282.19 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 64184 0 0 0 28087 132 0 0 20 0 1 0 283048303 237043712 57123 33554432000 4194304 8973514 140735370941872 140735370941136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 57872 57123 468 1167 0 56653 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 231488

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 31145
/proc/meminfo: memFree=30802240/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=250944 CPUtime=342.17 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 68992 0 0 0 34074 143 0 0 20 0 1 0 283048303 256966656 61917 33554432000 4194304 8973514 140735370941872 140735370941368 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 62736 61917 468 1167 0 61517 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 250944

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31145
/proc/meminfo: memFree=30788808/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=264256 CPUtime=402.16 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 72397 0 0 0 40056 160 0 0 20 0 1 0 283048303 270598144 65315 33554432000 4194304 8973514 140735370941872 140735370941136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 66064 65315 468 1167 0 64845 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 264256

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31145
/proc/meminfo: memFree=30788808/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=264256 CPUtime=462.15 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 72397 0 0 0 46041 174 0 0 20 0 1 0 283048303 270598144 65315 33554432000 4194304 8973514 140735370941872 140735370941368 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 66064 65315 468 1167 0 64845 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 264256

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31145
/proc/meminfo: memFree=30801588/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=250944 CPUtime=522.14 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 72397 0 0 0 52021 193 0 0 20 0 1 0 283048303 256966656 61987 33554432000 4194304 8973514 140735370941872 140735370941136 4209066 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 62736 61987 468 1167 0 61517 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 250944

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31148
/proc/meminfo: memFree=30800340/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=250944 CPUtime=582.14 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 72397 0 0 0 58006 208 0 0 20 0 1 0 283048303 256966656 61987 33554432000 4194304 8973514 140735370941872 140735370941136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 62736 61987 468 1167 0 61517 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 250944

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31149
/proc/meminfo: memFree=30799480/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=250944 CPUtime=822.1 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 72397 0 0 0 81944 266 0 0 20 0 1 0 283048303 256966656 61987 33554432000 4194304 8973514 140735370941872 140735370941136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 62736 61987 468 1167 0 61517 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 250944

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31149
/proc/meminfo: memFree=30799604/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=250944 CPUtime=882.09 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 72397 0 0 0 87928 281 0 0 20 0 1 0 283048303 256966656 61987 33554432000 4194304 8973514 140735370941872 140735370941136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 62736 61987 468 1167 0 61517 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 250944

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31149
/proc/meminfo: memFree=30799604/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=250944 CPUtime=942.08 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 72397 0 0 0 93909 299 0 0 20 0 1 0 283048303 256966656 61987 33554432000 4194304 8973514 140735370941872 140735370941368 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 62736 61987 468 1167 0 61517 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 250944

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31150
/proc/meminfo: memFree=30792592/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=258112 CPUtime=1002.07 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 74189 0 0 0 99894 313 0 0 20 0 1 0 283048303 264306688 63779 33554432000 4194304 8973514 140735370941872 140735370941136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 64528 63779 468 1167 0 63309 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 258112

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31150
/proc/meminfo: memFree=30792716/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=258112 CPUtime=1062.07 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 74189 0 0 0 105880 327 0 0 20 0 1 0 283048303 264306688 63779 33554432000 4194304 8973514 140735370941872 140735370941136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 64528 63779 468 1167 0 63309 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 258112

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31150
/proc/meminfo: memFree=30792592/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=258112 CPUtime=1122.05 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 74189 0 0 0 111862 343 0 0 20 0 1 0 283048303 264306688 63779 33554432000 4194304 8973514 140735370941872 140735370941136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 64528 63779 468 1167 0 63309 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 258112

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31153
/proc/meminfo: memFree=30792708/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=258112 CPUtime=1182.04 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 74189 0 0 0 117844 360 0 0 20 0 1 0 283048303 264306688 63779 33554432000 4194304 8973514 140735370941872 140735370941136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 64528 63779 468 1167 0 63309 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 258112

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 31176
/proc/meminfo: memFree=30790352/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=260160 CPUtime=1242.03 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 74572 0 0 0 123829 374 0 0 20 0 1 0 283048303 266403840 64162 33554432000 4194304 8973514 140735370941872 140735370941136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 65040 64162 468 1167 0 63821 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 260160

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31177
/proc/meminfo: memFree=30789616/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=260160 CPUtime=1302.03 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 74701 0 0 0 129817 386 0 0 20 0 1 0 283048303 266403840 64291 33554432000 4194304 8973514 140735370941872 140735370941136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 65040 64291 468 1167 0 63821 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 260160

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31177
/proc/meminfo: memFree=30776780/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=273472 CPUtime=1362.02 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 77880 0 0 0 135802 400 0 0 20 0 1 0 283048303 280035328 67469 33554432000 4194304 8973514 140735370941872 140735370941136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 68368 67469 468 1167 0 67149 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 273472

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31177
/proc/meminfo: memFree=30744044/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=305216 CPUtime=1422.01 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 85966 0 0 0 141788 413 0 0 20 0 1 0 283048303 312541184 75555 33554432000 4194304 8973514 140735370941872 140735370941136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 76304 75555 468 1167 0 75085 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 305216

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31177
/proc/meminfo: memFree=30716256/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=333888 CPUtime=1482 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 92912 0 0 0 147775 425 0 0 20 0 1 0 283048303 341901312 82497 33554432000 4194304 8973514 140735370941872 140735370941368 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 83472 82497 468 1167 0 82253 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 333888

[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31177
/proc/meminfo: memFree=30699876/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=349248 CPUtime=1541.97 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 96989 0 0 0 153766 431 0 0 20 0 1 0 283048303 357629952 86563 33554432000 4194304 8973514 140735370941872 140735370941136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 87312 86563 468 1167 0 86093 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 349248

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 31178
/proc/meminfo: memFree=30700000/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=349248 CPUtime=1601.97 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 96989 0 0 0 159757 440 0 0 20 0 1 0 283048303 357629952 86563 33554432000 4194304 8973514 140735370941872 140735370941136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 87312 86563 468 1167 0 86093 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 349248

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31178
/proc/meminfo: memFree=30700248/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=349248 CPUtime=1661.96 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 96989 0 0 0 165747 449 0 0 20 0 1 0 283048303 357629952 86563 33554432000 4194304 8973514 140735370941872 140735370941368 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 87312 86563 468 1167 0 86093 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 349248

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 31178
/proc/meminfo: memFree=30700124/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=349248 CPUtime=1721.95 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 96989 0 0 0 171735 460 0 0 20 0 1 0 283048303 357629952 86563 33554432000 4194304 8973514 140735370941872 140735370941136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 87312 86563 468 1167 0 86093 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 349248

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 31181
/proc/meminfo: memFree=30699868/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=349248 CPUtime=1781.94 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 96989 0 0 0 177726 468 0 0 20 0 1 0 283048303 357629952 86563 33554432000 4194304 8973514 140735370941872 140735370941136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 87312 86563 468 1167 0 86093 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 349248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 31181
/proc/meminfo: memFree=30699992/32873844 swapFree=7620/7620
[pid=31103] ppid=31101 vsize=349248 CPUtime=1800.04 cores=1,3,5,7
/proc/31103/stat : 31103 (toysat) R 31101 31103 29738 0 -1 4202496 96989 0 0 0 179533 471 0 0 20 0 1 0 283048303 357629952 86563 33554432000 4194304 8973514 140735370941872 140735370941136 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31103/statm: 87312 86563 468 1167 0 86093 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 349248

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.06
CPU user time (s): 1795.34
CPU system time (s): 4.71828
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 349248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.34
system time used= 4.71828
maximum resident set size= 346252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96989
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= 116
involuntary context switches= 1846

runsolver used 3.62245 second user time and 8.60269 second system time

The end

Launcher Data 

Begin job on node143 at 2012-05-28 03:40:39
IDJOB=3712000
IDBENCH=78664
IDSOLVER=2291
FILE ID=node143/3712000-1338169239
RUNJOBID= node143-1338160335-29755
PBS_JOBID= 14624561
Free space on /tmp= 71652 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712000-1338169239/watcher-3712000-1338169239 -o /tmp/evaluation-result-3712000-1338169239/solver-3712000-1338169239 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712000-1338169239.wbo

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

MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148
RANDOM SEED=687285107

node143.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.787
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.57
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.787
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.787
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.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.787
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.787
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.787
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	: 5298.57
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.787
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.787
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:        30799424 kB
Buffers:          373448 kB
Cached:           598600 kB
SwapCached:            0 kB
Active:           863272 kB
Inactive:         373212 kB
Active(anon):     255316 kB
Inactive(anon):    11300 kB
Active(file):     607956 kB
Inactive(file):   361912 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7128 kB
Writeback:             0 kB
AnonPages:        271960 kB
Mapped:            16156 kB
Shmem:               200 kB
Slab:             696760 kB
SReclaimable:     139032 kB
SUnreclaim:       557728 kB
KernelStack:        1456 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     379100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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= 71648 MiB
End job on node143 at 2012-05-28 04:10:42