Trace number 3712127

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
MD5SUM114c0408840a95cae960ebc399875ecb
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark15.4337
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4960
Total number of constraints16157
Number of soft constraints5468
Number of constraints which are clauses15841
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints316
Minimum length of a constraint1
Maximum length of a constraint30
Top cost 278200
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 278199
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 201
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 

3.79/3.81	c 2012-05-28T08:26:26+0200
3.79/3.81	c arch = x86_64
3.79/3.81	c os = linux
3.79/3.81	c compiler = ghc 7.4
3.79/3.81	c packages:
3.79/3.81	c   OptDir-0.0.1
3.79/3.81	c   array-0.4.0.0
3.79/3.81	c   base-4.5.0.0
3.79/3.81	c   bytestring-0.9.2.1
3.79/3.81	c   containers-0.4.2.1
3.79/3.81	c   deepseq-1.3.0.0
3.79/3.81	c   mtl-2.1.1
3.79/3.81	c   old_locale-1.0.0.4
3.79/3.81	c   parse_dimacs-1.2
3.79/3.81	c   parsec-3.1.2
3.79/3.81	c   queue-0.1.2
3.79/3.81	c   stm-2.3
3.79/3.81	c   time-1.4
3.79/3.81	c command line = ["--wbo","HOME/instance-3712127-1338186385.wbo"]
3.79/3.81	c #vars 4960
3.79/3.81	c #constraints 16157
3.79/3.81	c Solving starts ...
4.09/4.11	c solving time = 0.287s
4.09/4.11	c #decision = 14686
4.09/4.11	c #conflict = 177
4.09/4.11	c #restart = 1
4.09/4.11	o 569
4.09/4.13	c Solving starts ...
4.09/4.17	c solving time = 0.033s
4.09/4.17	c #decision = 19827
4.09/4.17	c #conflict = 177
4.09/4.17	c #restart = 1
4.09/4.17	o 568
4.09/4.18	c Solving starts ...
4.19/4.24	c solving time = 0.055s
4.19/4.24	c #decision = 25331
4.19/4.24	c #conflict = 177
4.19/4.24	c #restart = 1
4.19/4.24	o 559
4.19/4.25	c Solving starts ...
4.30/4.31	c solving time = 0.047s
4.30/4.31	c #decision = 30609
4.30/4.31	c #conflict = 177
4.30/4.31	c #restart = 1
4.30/4.31	o 549
4.30/4.32	c Solving starts ...
4.30/4.40	c solving time = 0.054s
4.30/4.40	c #decision = 36143
4.30/4.40	c #conflict = 177
4.30/4.40	c #restart = 1
4.30/4.40	o 533
4.39/4.41	c Solving starts ...
4.39/4.48	c solving time = 0.059s
4.39/4.48	c #decision = 41737
4.39/4.48	c #conflict = 177
4.39/4.48	c #restart = 1
4.39/4.48	o 516
4.39/4.49	c Solving starts ...
4.49/4.56	c solving time = 0.065s
4.49/4.56	c #decision = 47276
4.49/4.56	c #conflict = 177
4.49/4.56	c #restart = 1
4.49/4.56	o 499
4.49/4.59	c Solving starts ...
4.58/4.66	c solving time = 0.069s
4.58/4.66	c #decision = 52770
4.58/4.66	c #conflict = 177
4.58/4.66	c #restart = 1
4.58/4.66	o 481
4.58/4.67	c Solving starts ...
4.68/4.76	c solving time = 0.075s
4.68/4.76	c #decision = 58303
4.68/4.76	c #conflict = 177
4.68/4.76	c #restart = 1
4.68/4.76	o 462
4.68/4.76	c Solving starts ...
4.79/4.88	c solving time = 0.108s
4.79/4.88	c #decision = 63651
4.79/4.88	c #conflict = 178
4.79/4.88	c #restart = 1
4.79/4.88	o 446
4.79/4.89	c Solving starts ...
4.89/4.98	c solving time = 0.087s
4.89/4.98	c #decision = 64082
4.89/4.98	c #conflict = 178
4.89/4.98	c #restart = 1
4.89/4.98	o 442
4.89/4.99	c Solving starts ...
5.09/5.14	c solving time = 0.145s
5.09/5.14	c #decision = 64352
5.09/5.14	c #conflict = 179
5.09/5.14	c #restart = 1
5.09/5.14	o 441
5.09/5.15	c Solving starts ...
5.19/5.27	c solving time = 0.116s
5.19/5.27	c #decision = 64670
5.19/5.28	c #conflict = 179
5.19/5.28	c #restart = 1
5.19/5.28	o 439
5.19/5.28	c Solving starts ...
5.29/5.39	c solving time = 0.101s
5.29/5.39	c #decision = 65572
5.29/5.39	c #conflict = 179
5.29/5.39	c #restart = 1
5.29/5.39	o 426
5.29/5.40	c Solving starts ...
5.49/5.51	c solving time = 0.105s
5.49/5.51	c #decision = 66890
5.49/5.51	c #conflict = 179
5.49/5.51	c #restart = 1
5.49/5.51	o 406
5.49/5.52	c Solving starts ...
5.59/5.65	c solving time = 0.126s
5.59/5.65	c #decision = 68029
5.59/5.65	c #conflict = 179
5.59/5.65	c #restart = 1
5.59/5.65	o 389
5.59/5.66	c Solving starts ...
5.68/5.78	c solving time = 0.108s
5.68/5.78	c #decision = 68928
5.68/5.78	c #conflict = 179
5.68/5.78	c #restart = 1
5.68/5.78	o 376
5.68/5.79	c Solving starts ...
5.88/5.90	c solving time = 0.111s
5.88/5.90	c #decision = 70361
5.88/5.90	c #conflict = 179
5.88/5.90	c #restart = 1
5.88/5.90	o 354
5.88/5.94	c Solving starts ...
5.99/6.05	c solving time = 0.112s
5.99/6.05	c #decision = 71844
5.99/6.05	c #conflict = 179
5.99/6.05	c #restart = 1
5.99/6.05	o 331
5.99/6.06	c Solving starts ...
6.09/6.18	c solving time = 0.114s
6.09/6.18	c #decision = 73212
6.09/6.18	c #conflict = 179
6.09/6.18	c #restart = 1
6.09/6.18	o 310
6.09/6.19	c Solving starts ...
6.29/6.31	c solving time = 0.115s
6.29/6.31	c #decision = 74165
6.29/6.31	c #conflict = 179
6.29/6.31	c #restart = 1
6.29/6.31	o 296
6.29/6.32	c Solving starts ...
6.39/6.46	c solving time = 0.137s
6.39/6.46	c #decision = 74851
6.39/6.46	c #conflict = 179
6.39/6.46	c #restart = 1
6.39/6.46	o 287
6.39/6.47	c Solving starts ...
6.59/6.64	c solving time = 0.164s
6.59/6.64	c #decision = 76541
6.59/6.64	c #conflict = 180
6.59/6.64	c #restart = 1
6.59/6.64	o 260
6.59/6.65	c Solving starts ...
8.39/8.49	c solving time = 1.833s
8.39/8.49	c #decision = 76695
8.39/8.49	c #conflict = 194
8.39/8.49	c #restart = 1
8.39/8.49	o 258
8.49/8.50	c Solving starts ...
8.59/8.63	c solving time = 0.123s
8.59/8.63	c #decision = 76806
8.59/8.63	c #conflict = 194
8.59/8.63	c #restart = 1
8.59/8.63	o 256
8.59/8.64	c Solving starts ...
23.98/24.01	c solving time = 15.359s
23.98/24.01	c #decision = 77099
23.98/24.01	c #conflict = 290
23.98/24.01	c #restart = 1
23.98/24.01	o 254
23.98/24.04	c Solving starts ...
24.09/24.17	c solving time = 0.125s
24.09/24.17	c #decision = 77511
24.09/24.17	c #conflict = 290
24.09/24.17	c #restart = 1
24.09/24.17	o 247
24.09/24.18	c Solving starts ...
24.38/24.42	c solving time = 0.228s
24.38/24.42	c #decision = 77703
24.38/24.42	c #conflict = 291
24.38/24.42	c #restart = 1
24.38/24.42	o 244
24.38/24.43	c Solving starts ...
25.98/26.05	c solving time = 1.614s
25.98/26.05	c #decision = 78227
25.98/26.05	c #conflict = 316
25.98/26.05	c #restart = 1
25.98/26.05	o 236
25.98/26.06	c Solving starts ...
26.18/26.21	c solving time = 0.146s
26.18/26.21	c #decision = 78332
26.18/26.21	c #conflict = 317
26.18/26.21	c #restart = 1
26.18/26.21	o 234
26.18/26.22	c Solving starts ...
27.68/27.72	c solving time = 1.502s
27.68/27.72	c #decision = 78836
27.68/27.72	c #conflict = 327
27.68/27.72	c #restart = 1
27.68/27.72	o 225
27.68/27.76	c Solving starts ...
27.88/27.90	c solving time = 0.132s
27.88/27.90	c #decision = 79317
27.88/27.90	c #conflict = 327
27.88/27.90	c #restart = 1
27.88/27.90	o 216
27.88/27.91	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-3712127-1338186385/watcher-3712127-1338186385 -o /tmp/evaluation-result-3712127-1338186385/solver-3712127-1338186385 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712127-1338186385.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: 1.93 1.98 1.99 3/176 11381
/proc/meminfo: memFree=31218576/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 803 0 0 0 0 0 0 0 20 0 1 0 284762882 6356992 724 33554432000 4194304 8973514 140736394799072 140736394798568 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 1552 728 423 1167 0 333 0

[startup+0.0572881 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 11381
/proc/meminfo: memFree=31218576/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=9280 CPUtime=0.05 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 1596 0 0 0 5 0 0 0 20 0 1 0 284762882 9502720 1517 33554432000 4194304 8973514 140736394799072 140736394798568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 2320 1517 426 1167 0 1101 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9280

[startup+0.100273 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 11381
/proc/meminfo: memFree=31218576/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 2365 0 0 0 9 0 0 0 20 0 1 0 284762882 12648448 2286 33554432000 4194304 8973514 140736394799072 140736394798568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 3088 2286 427 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300267 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 11381
/proc/meminfo: memFree=31218576/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=27712 CPUtime=0.29 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 6124 0 0 0 28 1 0 0 20 0 1 0 284762882 28377088 6045 33554432000 4194304 8973514 140736394799072 140736394798568 4212523 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 6928 6051 442 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712

[startup+0.700223 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 11381
/proc/meminfo: memFree=31218576/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=32832 CPUtime=0.69 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 7266 0 0 0 68 1 0 0 20 0 1 0 284762882 33619968 7187 33554432000 4194304 8973514 140736394799072 140736394798568 4447491 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 8208 7187 444 1167 0 6989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32832

[startup+1.50022 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 11382
/proc/meminfo: memFree=31191264/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=32832 CPUtime=1.49 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 7326 0 0 0 148 1 0 0 20 0 1 0 284762882 33619968 7247 33554432000 4194304 8973514 140736394799072 140736394798568 6662674 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 8208 7247 444 1167 0 6989 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32832

[startup+3.10025 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 11382
/proc/meminfo: memFree=31190024/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=32832 CPUtime=3.09 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 7508 0 0 0 307 2 0 0 20 0 1 0 284762882 33619968 7429 33554432000 4194304 8973514 140736394799072 140736394798568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 8208 7429 444 1167 0 6989 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32832

[startup+6.30027 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 11382
/proc/meminfo: memFree=31170688/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=59456 CPUtime=6.29 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 14187 0 0 0 625 4 0 0 20 0 1 0 284762882 60882944 14108 33554432000 4194304 8973514 140736394799072 140736394798568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 14864 14108 467 1167 0 13645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59456

[startup+12.7003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11420
/proc/meminfo: memFree=31275980/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=79936 CPUtime=12.69 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 19307 0 0 0 1262 7 0 0 20 0 1 0 284762882 81854464 19228 33554432000 4194304 8973514 140736394799072 140736394798568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 19984 19228 467 1167 0 18765 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79936

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11458
/proc/meminfo: memFree=31250948/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=84032 CPUtime=25.48 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 20335 0 0 0 2538 10 0 0 20 0 1 0 284762882 86048768 20257 33554432000 4194304 8973514 140736394799072 140736394798568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 21008 20257 467 1167 0 19789 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84032

[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 11496
/proc/meminfo: memFree=31242700/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=92224 CPUtime=51.08 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 22391 0 0 0 5090 18 0 0 20 0 1 0 284762882 94437376 22305 33554432000 4194304 8973514 140736394799072 140736394797056 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 23056 22305 467 1167 0 21837 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92224

[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11496
/proc/meminfo: memFree=31203452/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=92224 CPUtime=102.27 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 22396 0 0 0 10196 31 0 0 20 0 1 0 284762882 94437376 22305 33554432000 4194304 8973514 140736394799072 140736394798568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 23056 22305 467 1167 0 21837 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 92224

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11497
/proc/meminfo: memFree=31195504/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=93248 CPUtime=162.25 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 22652 0 0 0 16177 48 0 0 20 0 1 0 284762882 95485952 22561 33554432000 4194304 8973514 140736394799072 140736394796992 4208840 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 23312 22561 467 1167 0 22093 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 93248

[startup+222.3 s]
/proc/loadavg: 2.22 2.03 2.01 3/178 11500
/proc/meminfo: memFree=31174280/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=93248 CPUtime=222.25 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 22652 0 0 0 22159 66 0 0 20 0 1 0 284762882 95485952 22561 33554432000 4194304 8973514 140736394799072 140736394798568 7937344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 23312 22561 467 1167 0 22093 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 93248

[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 11500
/proc/meminfo: memFree=31166336/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=94272 CPUtime=282.24 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 22908 0 0 0 28142 82 0 0 20 0 1 0 284762882 96534528 22817 33554432000 4194304 8973514 140736394799072 140736394798336 4204398 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 23568 22817 467 1167 0 22349 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 94272

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11500
/proc/meminfo: memFree=31165280/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=95296 CPUtime=342.23 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 23164 0 0 0 34126 97 0 0 20 0 1 0 284762882 97583104 23073 33554432000 4194304 8973514 140736394799072 140736394798336 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 23824 23073 467 1167 0 22605 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 95296

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11500
/proc/meminfo: memFree=31163228/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=96320 CPUtime=402.22 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 23420 0 0 0 40110 112 0 0 20 0 1 0 284762882 98631680 23329 33554432000 4194304 8973514 140736394799072 140736394797056 4204292 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 24080 23329 467 1167 0 22861 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 96320

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11501
/proc/meminfo: memFree=31163412/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=96320 CPUtime=462.21 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 23420 0 0 0 46094 127 0 0 20 0 1 0 284762882 98631680 23329 33554432000 4194304 8973514 140736394799072 140736394798336 4209344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 24080 23329 467 1167 0 22861 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 96320

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11501
/proc/meminfo: memFree=31162356/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=96320 CPUtime=522.2 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 23420 0 0 0 52078 142 0 0 20 0 1 0 284762882 98631680 23329 33554432000 4194304 8973514 140736394799072 140736394798568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 24080 23329 467 1167 0 22861 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 96320

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 11501
/proc/meminfo: memFree=31161364/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=97344 CPUtime=582.19 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 23676 0 0 0 58063 156 0 0 20 0 1 0 284762882 99680256 23585 33554432000 4194304 8973514 140736394799072 140736394798568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 24336 23585 467 1167 0 23117 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 97344

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 11505
/proc/meminfo: memFree=31159128/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=98368 CPUtime=882.15 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 23933 0 0 0 87983 232 0 0 20 0 1 0 284762882 100728832 23841 33554432000 4194304 8973514 140736394799072 140736394798336 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 24592 23841 467 1167 0 23373 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 98368

[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11505
/proc/meminfo: memFree=31158136/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=99392 CPUtime=942.13 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24189 0 0 0 93966 247 0 0 20 0 1 0 284762882 101777408 24097 33554432000 4194304 8973514 140736394799072 140736394798568 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 24848 24097 467 1167 0 23629 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 99392

[startup+1002.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 11505
/proc/meminfo: memFree=31158384/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=99392 CPUtime=1002.13 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24189 0 0 0 99950 263 0 0 20 0 1 0 284762882 101777408 24097 33554432000 4194304 8973514 140736394799072 140736394798568 4204638 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 24848 24097 467 1167 0 23629 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 99392

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11506
/proc/meminfo: memFree=31157144/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=99392 CPUtime=1062.12 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24189 0 0 0 105934 278 0 0 20 0 1 0 284762882 101777408 24097 33554432000 4194304 8973514 140736394799072 140736394798336 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 24848 24097 467 1167 0 23629 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 99392

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11506
/proc/meminfo: memFree=31156212/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=100416 CPUtime=1122.11 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24445 0 0 0 111917 294 0 0 20 0 1 0 284762882 102825984 24353 33554432000 4194304 8973514 140736394799072 140736394798336 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25104 24353 467 1167 0 23885 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 100416

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11506
/proc/meminfo: memFree=31156336/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=100416 CPUtime=1182.1 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24445 0 0 0 117902 308 0 0 20 0 1 0 284762882 102825984 24353 33554432000 4194304 8973514 140736394799072 140736394798568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25104 24353 467 1167 0 23885 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 100416

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11506
/proc/meminfo: memFree=31156212/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=100416 CPUtime=1242.09 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24445 0 0 0 123886 323 0 0 20 0 1 0 284762882 102825984 24353 33554432000 4194304 8973514 140736394799072 140736394798568 4209206 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25104 24353 467 1167 0 23885 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 100416

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11506
/proc/meminfo: memFree=31154228/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=101440 CPUtime=1302.09 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24701 0 0 0 129873 336 0 0 20 0 1 0 284762882 103874560 24609 33554432000 4194304 8973514 140736394799072 140736394798336 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25360 24609 467 1167 0 24141 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 101440

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11507
/proc/meminfo: memFree=31154040/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=101440 CPUtime=1362.08 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24701 0 0 0 135854 354 0 0 20 0 1 0 284762882 103874560 24609 33554432000 4194304 8973514 140736394799072 140736394798336 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25360 24609 467 1167 0 24141 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 101440

[startup+1422.31 s]
/proc/loadavg: 2.18 2.04 2.01 3/178 11510
/proc/meminfo: memFree=31154256/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=101440 CPUtime=1422.08 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24701 0 0 0 141838 370 0 0 20 0 1 0 284762882 103874560 24609 33554432000 4194304 8973514 140736394799072 140736394798568 4209206 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25360 24609 467 1167 0 24141 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 101440

[startup+1482.3 s]
/proc/loadavg: 2.21 2.06 2.02 3/177 11510
/proc/meminfo: memFree=31153356/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=101440 CPUtime=1482.06 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24701 0 0 0 147821 385 0 0 20 0 1 0 284762882 103874560 24609 33554432000 4194304 8973514 140736394799072 140736394797056 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25360 24609 467 1167 0 24141 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 101440

[startup+1542.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/177 11510
/proc/meminfo: memFree=31152364/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=102464 CPUtime=1542.05 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24957 0 0 0 153804 401 0 0 20 0 1 0 284762882 104923136 24865 33554432000 4194304 8973514 140736394799072 140736394798568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25616 24865 467 1167 0 24397 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 102464

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 11510
/proc/meminfo: memFree=31152240/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=102464 CPUtime=1602.04 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 24957 0 0 0 159787 417 0 0 20 0 1 0 284762882 104923136 24865 33554432000 4194304 8973514 140736394799072 140736394796992 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25616 24865 467 1167 0 24397 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 102464

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 11511
/proc/meminfo: memFree=31151372/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=103488 CPUtime=1662.03 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 25213 0 0 0 165770 433 0 0 20 0 1 0 284762882 105971712 25121 33554432000 4194304 8973514 140736394799072 140736394798336 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25872 25121 467 1167 0 24653 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 103488

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11511
/proc/meminfo: memFree=31151308/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=103488 CPUtime=1722.02 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 25213 0 0 0 171752 450 0 0 20 0 1 0 284762882 105971712 25121 33554432000 4194304 8973514 140736394799072 140736394798568 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 25872 25121 467 1167 0 24653 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 103488

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11511
/proc/meminfo: memFree=31150192/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=104512 CPUtime=1782.01 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 25469 0 0 0 177735 466 0 0 20 0 1 0 284762882 107020288 25377 33554432000 4194304 8973514 140736394799072 140736394796992 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 26128 25377 467 1167 0 24909 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 104512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11511
/proc/meminfo: memFree=31150192/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=104512 CPUtime=1800.02 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 25469 0 0 0 179532 470 0 0 20 0 1 0 284762882 107020288 25377 33554432000 4194304 8973514 140736394799072 140736394798336 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 26128 25377 467 1167 0 24909 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 104512

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.00 2.02 2.00 3/177 11511
/proc/meminfo: memFree=31150192/32873844 swapFree=7632/7632
[pid=11381] ppid=11379 vsize=104512 CPUtime=1800.02 cores=0,2,4,6
/proc/11381/stat : 11381 (toysat) R 11379 11381 7805 0 -1 4202496 25469 0 0 0 179532 470 0 0 20 0 1 0 284762882 107020288 25377 33554432000 4194304 8973514 140736394799072 140736394798336 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/11381/statm: 26128 25377 467 1167 0 24909 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 104512

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1795.32
CPU system time (s): 4.70528
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 104512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.32
system time used= 4.70528
maximum resident set size= 101508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25469
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= 21
involuntary context switches= 1927

runsolver used 3.40148 second user time and 9.15561 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-28 08:26:26
IDJOB=3712127
IDBENCH=79065
IDSOLVER=2291
FILE ID=node141/3712127-1338186385
RUNJOBID= node141-1338174290-9574
PBS_JOBID= 14624547
Free space on /tmp= 71532 MiB

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

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

MD5SUM BENCH= 114c0408840a95cae960ebc399875ecb
RANDOM SEED=89279486

node141.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.744
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.48
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.744
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.744
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.93
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.744
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.744
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.744
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.744
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.92
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.744
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:        31218576 kB
Buffers:          278808 kB
Cached:           376780 kB
SwapCached:          220 kB
Active:           357080 kB
Inactive:         460148 kB
Active(anon):     151496 kB
Inactive(anon):    11292 kB
Active(file):     205584 kB
Inactive(file):   448856 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:              7944 kB
Writeback:             0 kB
AnonPages:        167280 kB
Mapped:            12396 kB
Shmem:               172 kB
Slab:             697812 kB
SReclaimable:     139932 kB
SUnreclaim:       557880 kB
KernelStack:        1480 kB
PageTables:         4340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     274936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71528 MiB
End job on node141 at 2012-05-28 08:56:28