Trace number 3712145

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.02 1800.31

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
MD5SUM511a250f181b5f88452d86a600065d28
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark540
Best CPU time to get the best result obtained on this benchmark1797.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9638
Total number of constraints30220
Number of soft constraints20091
Number of constraints which are clauses29908
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints312
Minimum length of a constraint1
Maximum length of a constraint38
Top cost 1014619
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1014618
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 254
Number of bits of the biggest sum of numbers8
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 

50.28/50.35	c 2012-05-28T08:29:24+0200
50.28/50.35	c arch = x86_64
50.28/50.35	c os = linux
50.28/50.35	c compiler = ghc 7.4
50.28/50.35	c packages:
50.28/50.35	c   OptDir-0.0.1
50.28/50.35	c   array-0.4.0.0
50.28/50.35	c   base-4.5.0.0
50.28/50.35	c   bytestring-0.9.2.1
50.28/50.35	c   containers-0.4.2.1
50.28/50.35	c   deepseq-1.3.0.0
50.28/50.35	c   mtl-2.1.1
50.28/50.35	c   old_locale-1.0.0.4
50.28/50.35	c   parse_dimacs-1.2
50.28/50.35	c   parsec-3.1.2
50.28/50.35	c   queue-0.1.2
50.28/50.35	c   stm-2.3
50.28/50.35	c   time-1.4
50.28/50.35	c command line = ["--wbo","HOME/instance-3712145-1338186564.wbo"]
50.28/50.35	c #vars 9638
50.28/50.35	c #constraints 30220
50.28/50.35	c Solving starts ...
51.07/51.10	c solving time = 0.709s
51.07/51.10	c #decision = 63688
51.07/51.10	c #conflict = 251
51.07/51.10	c #restart = 2
51.07/51.10	o 3240
51.07/51.14	c Solving starts ...
51.37/51.49	c solving time = 0.309s
51.37/51.49	c #decision = 84019
51.37/51.49	c #conflict = 251
51.37/51.49	c #restart = 2
51.37/51.49	o 3239
51.47/51.56	c Solving starts ...
51.97/52.07	c solving time = 0.480s
51.97/52.07	c #decision = 104228
51.97/52.07	c #conflict = 251
51.97/52.07	c #restart = 2
51.97/52.07	o 3238
52.07/52.15	c Solving starts ...
52.77/52.84	c solving time = 0.658s
52.77/52.84	c #decision = 124422
52.77/52.84	c #conflict = 251
52.77/52.84	c #restart = 2
52.77/52.84	o 3237
52.87/52.91	c Solving starts ...
53.67/53.80	c solving time = 0.850s
53.67/53.80	c #decision = 144579
53.67/53.80	c #conflict = 251
53.67/53.80	c #restart = 2
53.67/53.80	o 3236
53.78/53.88	c Solving starts ...
54.87/54.94	c solving time = 1.024s
54.87/54.94	c #decision = 164725
54.87/54.94	c #conflict = 251
54.87/54.94	c #restart = 2
54.87/54.94	o 3235
54.87/54.98	c Solving starts ...
56.17/56.21	c solving time = 1.195s
56.17/56.21	c #decision = 185064
56.17/56.21	c #conflict = 251
56.17/56.21	c #restart = 2
56.17/56.21	o 3233
56.17/56.25	c Solving starts ...
57.57/57.67	c solving time = 1.384s
57.57/57.67	c #decision = 205259
57.57/57.67	c #conflict = 251
57.57/57.67	c #restart = 2
57.57/57.67	o 3231
57.67/57.76	c Solving starts ...
59.27/59.32	c solving time = 1.527s
59.27/59.32	c #decision = 225429
59.27/59.32	c #conflict = 251
59.27/59.32	c #restart = 2
59.27/59.32	o 3229
59.27/59.36	c Solving starts ...
60.97/61.03	c solving time = 1.633s
60.97/61.03	c #decision = 245547
60.97/61.03	c #conflict = 251
60.97/61.03	c #restart = 2
60.97/61.03	o 3227
61.07/61.12	c Solving starts ...
62.87/62.95	c solving time = 1.795s
62.87/62.95	c #decision = 265658
62.87/62.95	c #conflict = 251
62.87/62.95	c #restart = 2
62.87/62.95	o 3225
62.97/63.04	c Solving starts ...
64.97/65.04	c solving time = 1.966s
64.97/65.04	c #decision = 285657
64.97/65.04	c #conflict = 251
64.97/65.04	c #restart = 2
64.97/65.04	o 3223
65.07/65.13	c Solving starts ...
67.27/67.31	c solving time = 2.138s
67.27/67.31	c #decision = 305392
67.27/67.31	c #conflict = 252
67.27/67.31	c #restart = 2
67.27/67.31	o 3222
67.37/67.40	c Solving starts ...
69.66/69.73	c solving time = 2.308s
69.66/69.73	c #decision = 306253
69.66/69.73	c #conflict = 252
69.66/69.73	c #restart = 2
69.66/69.73	o 3220
69.66/69.77	c Solving starts ...
72.17/72.29	c solving time = 2.490s
72.17/72.29	c #decision = 307111
72.17/72.29	c #conflict = 252
72.17/72.29	c #restart = 2
72.17/72.29	o 3218
72.27/72.33	c Solving starts ...
75.07/75.11	c solving time = 2.744s
75.07/75.11	c #decision = 307756
75.07/75.11	c #conflict = 253
75.07/75.11	c #restart = 2
75.07/75.11	o 3217
75.07/75.15	c Solving starts ...
77.87/77.90	c solving time = 2.723s
77.87/77.90	c #decision = 308400
77.87/77.90	c #conflict = 253
77.87/77.90	c #restart = 2
77.87/77.90	o 3215
77.87/78.00	c Solving starts ...
82.66/82.79	c solving time = 4.763s
82.66/82.79	c #decision = 309267
82.66/82.79	c #conflict = 256
82.66/82.79	c #restart = 2
82.66/82.79	o 3212
82.76/82.83	c Solving starts ...
85.77/85.88	c solving time = 3.022s
85.77/85.88	c #decision = 309484
85.77/85.88	c #conflict = 256
85.77/85.88	c #restart = 2
85.77/85.88	o 3211
85.86/85.92	c Solving starts ...
805.06/805.23	c solving time = 719.169s
805.06/805.23	c #decision = 311835
805.06/805.23	c #conflict = 832
805.06/805.23	c #restart = 5
805.06/805.23	o 3209
805.06/805.27	c Solving starts ...
812.16/812.32	c solving time = 7.018s
812.16/812.32	c #decision = 312015
812.16/812.32	c #conflict = 835
812.16/812.32	c #restart = 5
812.16/812.32	o 3208
812.16/812.36	c Solving starts ...
863.84/864.05	c solving time = 51.651s
863.84/864.05	c #decision = 312228
863.84/864.05	c #conflict = 860
863.84/864.05	c #restart = 5
863.84/864.05	o 3207
863.84/864.09	c Solving starts ...
867.65/867.84	c solving time = 3.725s
867.65/867.84	c #decision = 312901
867.65/867.84	c #conflict = 861
867.65/867.84	c #restart = 5
867.65/867.84	o 3204
867.75/867.95	c Solving starts ...
871.45/871.62	c solving time = 3.642s
871.45/871.62	c #decision = 313557
871.45/871.62	c #conflict = 862
871.45/871.62	c #restart = 5
871.45/871.62	o 3201
871.45/871.66	c Solving starts ...

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 20115
/proc/meminfo: memFree=31090364/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 792 0 0 0 0 0 0 0 20 0 1 0 284784810 6356992 713 33554432000 4194304 8973514 140733648685888 140733648685384 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 1552 713 424 1167 0 333 0

[startup+0.0168029 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 20115
/proc/meminfo: memFree=31090364/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=7232 CPUtime=0.01 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 1083 0 0 0 1 0 0 0 20 0 1 0 284784810 7405568 1004 33554432000 4194304 8973514 140733648685888 140733648685384 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 1808 1004 426 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232

[startup+0.100279 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 20115
/proc/meminfo: memFree=31090364/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 2365 0 0 0 9 0 0 0 20 0 1 0 284784810 12648448 2286 33554432000 4194304 8973514 140733648685888 140733648685384 7858672 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 3088 2286 428 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300308 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 20115
/proc/meminfo: memFree=31090364/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=23616 CPUtime=0.28 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 5029 0 0 0 28 0 0 0 20 0 1 0 284784810 24182784 4951 33554432000 4194304 8973514 140733648685888 140733648685384 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 5904 4957 428 1167 0 4685 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23616

[startup+0.700305 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 20115
/proc/meminfo: memFree=31090364/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=49216 CPUtime=0.69 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 11511 0 0 0 68 1 0 0 20 0 1 0 284784810 50397184 11432 33554432000 4194304 8973514 140733648685888 140733648685384 4213859 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 12304 11437 442 1167 0 11085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49216

[startup+1.50023 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 20116
/proc/meminfo: memFree=31030704/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=64576 CPUtime=1.49 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 15443 0 0 0 147 2 0 0 20 0 1 0 284784810 66125824 15364 33554432000 4194304 8973514 140733648685888 140733648685384 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 16144 15364 444 1167 0 14925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64576

[startup+3.10024 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 20116
/proc/meminfo: memFree=31030208/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=64576 CPUtime=3.09 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 15443 0 0 0 307 2 0 0 20 0 1 0 284784810 66125824 15364 33554432000 4194304 8973514 140733648685888 140733648685384 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 16144 15364 444 1167 0 14925 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64576

[startup+6.30029 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 20116
/proc/meminfo: memFree=31025248/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=68672 CPUtime=6.29 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 16467 0 0 0 626 3 0 0 20 0 1 0 284784810 70320128 16388 33554432000 4194304 8973514 140733648685888 140733648685384 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 17168 16388 444 1167 0 15949 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68672

[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 20116
/proc/meminfo: memFree=31025000/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=68672 CPUtime=12.69 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 16469 0 0 0 1265 4 0 0 20 0 1 0 284784810 70320128 16393 33554432000 4194304 8973514 140733648685888 140733648685384 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 17168 16393 444 1167 0 15949 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68672

[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 20116
/proc/meminfo: memFree=31025356/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=68672 CPUtime=25.48 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 16474 0 0 0 2543 5 0 0 20 0 1 0 284784810 70320128 16393 33554432000 4194304 8973514 140733648685888 140733648685384 5389147 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 17168 16393 444 1167 0 15949 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68672

[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 20119
/proc/meminfo: memFree=31016516/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=69696 CPUtime=51.07 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 16725 0 0 0 5096 11 0 0 20 0 1 0 284784810 71368704 16633 33554432000 4194304 8973514 140733648685888 140733648685384 4208846 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 17424 16633 457 1167 0 16205 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69696

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20157
/proc/meminfo: memFree=31003860/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=212032 CPUtime=102.27 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 52347 0 0 0 10202 25 0 0 20 0 1 0 284784810 217120768 52255 33554432000 4194304 8973514 140733648685888 140733648685384 4209256 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 53008 52255 466 1167 0 51789 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 212032

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20158
/proc/meminfo: memFree=30969444/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=212032 CPUtime=162.26 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 52348 0 0 0 16194 32 0 0 20 0 1 0 284784810 217120768 52255 33554432000 4194304 8973514 140733648685888 140733648685384 7667349 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 53008 52255 466 1167 0 51789 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 212032

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20158
/proc/meminfo: memFree=30955104/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=212032 CPUtime=222.25 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 52348 0 0 0 22186 39 0 0 20 0 1 0 284784810 217120768 52255 33554432000 4194304 8973514 140733648685888 140733648685384 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 53008 52255 466 1167 0 51789 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 212032

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20158
/proc/meminfo: memFree=30954140/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=213056 CPUtime=282.24 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 52604 0 0 0 28178 46 0 0 20 0 1 0 284784810 218169344 52511 33554432000 4194304 8973514 140733648685888 140733648683904 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 53264 52511 466 1167 0 52045 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 213056

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20158
/proc/meminfo: memFree=30954136/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=213056 CPUtime=342.22 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 52604 0 0 0 34170 52 0 0 20 0 1 0 284784810 218169344 52511 33554432000 4194304 8973514 140733648685888 140733648683840 4436136 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 53264 52511 466 1167 0 52045 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 213056

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20158
/proc/meminfo: memFree=30917432/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=213056 CPUtime=402.21 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 52604 0 0 0 40162 59 0 0 20 0 1 0 284784810 218169344 52511 33554432000 4194304 8973514 140733648685888 140733648685152 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 53264 52511 466 1167 0 52045 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 213056

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20159
/proc/meminfo: memFree=30863368/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=215104 CPUtime=462.21 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 53116 0 0 0 46154 67 0 0 20 0 1 0 284784810 220266496 53023 33554432000 4194304 8973514 140733648685888 140733648685152 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 53776 53023 466 1167 0 52557 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 215104

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20159
/proc/meminfo: memFree=30858008/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=215104 CPUtime=522.2 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 53116 0 0 0 52147 73 0 0 20 0 1 0 284784810 220266496 53023 33554432000 4194304 8973514 140733648685888 140733648683904 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 53776 53023 466 1167 0 52557 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 215104

[startup+582.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 20159
/proc/meminfo: memFree=30855092/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=215104 CPUtime=582.19 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 53116 0 0 0 58139 80 0 0 20 0 1 0 284784810 220266496 53023 33554432000 4194304 8973514 140733648685888 140733648685152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 53776 53023 466 1167 0 52557 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 215104

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20163
/proc/meminfo: memFree=30818140/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=882.15 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 88099 116 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648685384 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 248896

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20163
/proc/meminfo: memFree=30818140/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=942.14 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 94092 122 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648685152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 248896

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20163
/proc/meminfo: memFree=30818120/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=1002.13 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 100084 129 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648685152 4416036 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 248896

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20163
/proc/meminfo: memFree=30818356/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=1062.12 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 106077 135 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648685384 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 248896

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20164
/proc/meminfo: memFree=30818356/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=1122.11 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 112069 142 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648685152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 248896

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20164
/proc/meminfo: memFree=30818356/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=1182.1 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 118063 147 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648683840 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 248896

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 20167
/proc/meminfo: memFree=30817944/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=1242.09 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 124055 154 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648685152 7716772 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 248896

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 20167
/proc/meminfo: memFree=30817860/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=1302.08 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 130049 159 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648685152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 248896

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20167
/proc/meminfo: memFree=30817860/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=1362.07 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 136042 165 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648683840 4414829 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 248896

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20168
/proc/meminfo: memFree=30817984/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=1422.07 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 142036 171 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648685152 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 248896

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20168
/proc/meminfo: memFree=30817984/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=1482.05 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 148028 177 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648685152 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 248896

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20168
/proc/meminfo: memFree=30818108/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=248896 CPUtime=1542.04 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 61564 0 0 0 154022 182 0 0 20 0 1 0 284784810 254869504 61471 33554432000 4194304 8973514 140733648685888 140733648685152 4415192 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62224 61471 466 1167 0 61005 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 248896

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20168
/proc/meminfo: memFree=30814884/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=251968 CPUtime=1602.03 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 62332 0 0 0 160015 188 0 0 20 0 1 0 284784810 258015232 62239 33554432000 4194304 8973514 140733648685888 140733648685152 4209309 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62992 62239 466 1167 0 61773 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 251968

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20168
/proc/meminfo: memFree=30815252/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=251968 CPUtime=1662.02 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 62332 0 0 0 166007 195 0 0 20 0 1 0 284784810 258015232 62239 33554432000 4194304 8973514 140733648685888 140733648685152 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62992 62239 466 1167 0 61773 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 251968

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 20169
/proc/meminfo: memFree=30815004/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=251968 CPUtime=1722.02 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 62332 0 0 0 172000 202 0 0 20 0 1 0 284784810 258015232 62239 33554432000 4194304 8973514 140733648685888 140733648683840 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62992 62239 466 1167 0 61773 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 251968

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 20169
/proc/meminfo: memFree=30815004/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=251968 CPUtime=1782.01 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 62332 0 0 0 177992 209 0 0 20 0 1 0 284784810 258015232 62239 33554432000 4194304 8973514 140733648685888 140733648685152 4209437 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62992 62239 466 1167 0 61773 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 251968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 20169
/proc/meminfo: memFree=30815128/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=251968 CPUtime=1800.01 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 62332 0 0 0 179790 211 0 0 20 0 1 0 284784810 258015232 62239 33554432000 4194304 8973514 140733648685888 140733648685384 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62992 62239 466 1167 0 61773 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 251968

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

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

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 20169
/proc/meminfo: memFree=30815128/32873844 swapFree=6088/6088
[pid=20115] ppid=20113 vsize=251968 CPUtime=1800.01 cores=0,2,4,6
/proc/20115/stat : 20115 (toysat) R 20113 20115 15656 0 -1 4202496 62332 0 0 0 179790 211 0 0 20 0 1 0 284784810 258015232 62239 33554432000 4194304 8973514 140733648685888 140733648685384 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20115/statm: 62992 62239 466 1167 0 61773 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 251968

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1797.91
CPU system time (s): 2.11068
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 251968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.91
system time used= 2.11068
maximum resident set size= 248956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62332
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= 22
involuntary context switches= 1895

runsolver used 3.9714 second user time and 7.8928 second system time

The end

Launcher Data 

Begin job on node110 at 2012-05-28 08:29:24
IDJOB=3712145
IDBENCH=79086
IDSOLVER=2291
FILE ID=node110/3712145-1338186564
RUNJOBID= node110-1338174910-18807
PBS_JOBID= 14624525
Free space on /tmp= 71668 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j605_10-unsat--soft-33-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712145-1338186564/watcher-3712145-1338186564 -o /tmp/evaluation-result-3712145-1338186564/solver-3712145-1338186564 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712145-1338186564.wbo

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

MD5SUM BENCH= 511a250f181b5f88452d86a600065d28
RANDOM SEED=1637921205

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
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.893
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.893
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.90
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.893
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.893
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:        31091000 kB
Buffers:          303396 kB
Cached:           465872 kB
SwapCached:          148 kB
Active:           719216 kB
Inactive:         248972 kB
Active(anon):     188708 kB
Inactive(anon):    12496 kB
Active(file):     530508 kB
Inactive(file):   236476 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108004 kB
Dirty:              7936 kB
Writeback:             4 kB
AnonPages:        204168 kB
Mapped:            16092 kB
Shmem:               196 kB
Slab:             675492 kB
SReclaimable:     117928 kB
SUnreclaim:       557564 kB
KernelStack:        1440 kB
PageTables:         4324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     300124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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= 71664 MiB
End job on node110 at 2012-05-28 08:59:26