Trace number 3735511

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: PB-clasp 2007-04-10OPT8034 187.419 187.973

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
MD5SUMdfa433e4e6a88cd1c776cef0a80ce991
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8034
Best CPU time to get the best result obtained on this benchmark0.006998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8034
Optimality of the best value was proved YES
Number of variables210
Total number of constraints220
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Number of terms in the objective function 210
Biggest coefficient in the objective function 2937
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 109101
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2937
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 109101
Number of bits of the biggest sum of numbers17
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.03	o 11193
0.01/0.29	o 11190
0.26/0.40	o 10982
1.26/1.36	o 10971
1.33/1.51	o 10906
2.34/2.44	o 10903
5.75/5.88	o 10891
5.83/6.08	o 10810
6.05/6.42	o 10808
7.14/7.21	o 10804
7.55/7.65	o 10750
7.60/8.29	o 10746
8.83/8.97	o 10739
8.92/9.44	o 10728
10.23/10.36	o 10714
10.31/10.51	o 10701
10.45/10.67	o 10689
10.61/10.73	o 10678
11.23/11.35	o 10633
11.30/11.66	o 10465
11.92/12.02	o 10368
11.97/12.21	o 10293
14.92/15.01	o 10246
15.21/15.32	o 10149
15.26/15.79	o 10130
21.61/21.70	o 10122
21.63/21.80	o 10085
21.82/21.98	o 10074
30.40/30.57	o 9976
30.49/30.63	o 9957
30.49/30.69	o 9950
30.90/31.09	o 9910
31.01/31.43	o 9909
31.34/31.61	o 9899
31.53/31.75	o 9841
32.09/32.23	o 9839
33.55/33.99	o 9747
33.57/34.59	o 9732
34.16/34.69	o 9727
35.85/36.37	o 9704
35.95/36.58	o 9687
36.15/36.67	o 9643
36.24/36.87	o 9596
37.04/37.52	o 9578
40.44/40.92	o 9421
40.47/41.68	o 9355
42.15/42.69	o 9324
42.84/43.32	o 9314
42.88/43.51	o 9299
43.44/43.92	o 9255
47.04/47.57	o 9222
49.23/49.74	o 9187
49.30/49.86	o 9139
49.41/50.12	o 9123
49.41/50.17	o 9122
49.73/50.35	o 9102
52.34/52.82	o 9068
53.91/54.44	o 8981
53.96/54.62	o 8892
54.15/54.75	o 8828
54.80/55.38	o 8773
55.50/56.02	o 8702
55.55/56.98	o 8668
56.61/57.17	o 8661
61.49/62.00	o 8657
74.29/74.89	o 8651
76.39/76.98	o 8618
93.99/94.55	o 8613
94.04/94.84	o 8606
98.39/98.99	o 8587
101.07/101.69	o 8574
116.17/116.71	o 8523
116.21/117.19	o 8493
124.38/124.97	o 8466
138.86/139.49	o 8441
145.76/146.33	o 8434
146.86/147.44	o 8406
146.92/148.03	o 8381
148.16/148.71	o 8353
165.25/165.87	o 8297
170.65/171.29	o 8238
172.33/172.94	o 8199
174.83/175.45	o 8172
175.32/175.95	o 8119
180.02/180.67	o 8034
187.32/187.97	s OPTIMUM FOUND
187.32/187.97	v x8 x11 x21 x38 x48 x58 x61 x71 x81 x98 x101 x118 x121 x131 x148 x158 x161 x178 x181 x191 x201 x208

Verifier Data 

OK	8034

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-3735511-1338724131/watcher-3735511-1338724131 -o /tmp/evaluation-result-3735511-1338724131/solver-3735511-1338724131 -C 1800 -W 1900 -M 15500 pbclasp instance-3735511-1338724131.opb HOME/temp 

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.03 2.02 2.00 3/179 14890
/proc/meminfo: memFree=27337264/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) R 14888 14890 11312 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 338537426 26206208 464 33554432000 4194304 4198148 140733231336896 140733231334344 251044269972 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/14890/statm: 6398 464 345 1 0 193 0

[startup+0.0423841 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 14890
/proc/meminfo: memFree=27337264/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=0.01 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 802 4459 0 0 0 0 1 0 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25724

[startup+0.100236 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 14890
/proc/meminfo: memFree=27337264/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=0.01 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 802 4459 0 0 0 0 1 0 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25724

[startup+0.300179 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 14890
/proc/meminfo: memFree=27337264/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=0.26 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 924 6887 0 0 0 0 26 0 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 25724

[startup+0.70018 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 14890
/proc/meminfo: memFree=27337264/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=0.38 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 1043 9297 0 0 0 0 37 1 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 25724

[startup+1.50019 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 14924
/proc/meminfo: memFree=27297736/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=1.33 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 1161 11757 0 0 0 0 132 1 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 25724

[startup+3.10018 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 14940
/proc/meminfo: memFree=27255880/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=2.4 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 1396 16634 0 0 0 0 238 2 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 25724
heavy processes:

[startup+6.30018 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 14948
/proc/meminfo: memFree=27033676/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=6.05 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 1630 21588 0 0 0 1 601 3 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 25724

[startup+12.7002 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 15060
/proc/meminfo: memFree=26899164/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=12.15 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 3249 55730 0 0 1 3 1201 10 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 25724

[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 15124
/proc/meminfo: memFree=26899660/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=21.9 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 3947 70482 0 0 1 4 2173 12 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15122] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15122/stat : 15122 (sh) S 14890 14890 11312 0 -1 4202496 371 216 0 0 0 0 0 0 20 0 1 0 338539625 9367552 264 33554432000 4194304 5064252 140735312189360 140735312187616 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15122/statm: 2287 264 223 213 0 72 0
[pid=15124] ppid=15122 vsize=3972 CPUtime=3.5 cores=0,2,4,6
/proc/15124/stat : 15124 (clasp-1.0) R 15122 14890 11312 0 -1 4202496 570 0 0 0 350 0 0 0 20 0 1 0 338539625 4067328 467 33554432000 134512640 134847168 4292561904 4292560544 134715268 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15124/statm: 993 467 272 82 0 234 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 38844

[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 15356
/proc/meminfo: memFree=26898416/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=49.9 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 7166 139044 0 0 2 7 4954 27 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15354] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15354/stat : 15354 (sh) S 14890 14890 11312 0 -1 4202496 370 216 0 0 0 0 0 0 20 0 1 0 338542462 9367552 263 33554432000 4194304 5064252 140733635799984 140733635798240 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15354/statm: 2287 263 223 213 0 72 0
[pid=15356] ppid=15354 vsize=3712 CPUtime=0.73 cores=0,2,4,6
/proc/15356/stat : 15356 (clasp-1.0) R 15354 14890 11312 0 -1 4202496 520 0 0 0 73 0 0 0 20 0 1 0 338542462 3801088 418 33554432000 134512640 134847168 4293967328 4293965952 134784651 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15356/statm: 928 418 270 82 0 169 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 38584

[startup+102.306 s]
/proc/loadavg: 2.08 2.03 2.00 3/182 15495
/proc/meminfo: memFree=26898712/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=101.18 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 8906 176414 0 0 3 8 10072 35 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15493] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15493/stat : 15493 (sh) S 14890 14890 11312 0 -1 4202496 370 216 0 0 0 0 0 0 20 0 1 0 338547596 9367552 263 33554432000 4194304 5064252 140733937172368 140733937170624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15493/statm: 2287 263 223 213 0 72 0
[pid=15495] ppid=15493 vsize=3712 CPUtime=0.6 cores=0,2,4,6
/proc/15495/stat : 15495 (clasp-1.0) R 15493 14890 11312 0 -1 4202496 509 0 0 0 60 0 0 0 20 0 1 0 338547596 3801088 407 33554432000 134512640 134847168 4294778352 4294777120 134737650 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15495/statm: 928 407 270 82 0 169 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 38584

[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 15575
/proc/meminfo: memFree=26898376/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=148.18 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 9834 196595 0 0 3 10 14766 39 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15573] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15573/stat : 15573 (sh) S 14890 14890 11312 0 -1 4202496 371 217 0 0 0 0 0 0 20 0 1 0 338552298 9367552 264 33554432000 4194304 5064252 140736817031488 140736817029744 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15573/statm: 2287 264 223 213 0 72 0
[pid=15575] ppid=15573 vsize=4240 CPUtime=13.57 cores=0,2,4,6
/proc/15575/stat : 15575 (clasp-1.0) R 15573 14890 11312 0 -1 4202496 651 0 0 0 1357 0 0 0 20 0 1 0 338552298 4341760 548 33554432000 134512640 134847168 4293354528 4293353168 134782435 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15575/statm: 1060 548 270 82 0 301 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 39112

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

[startup+166.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 15583
/proc/meminfo: memFree=26899840/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=165.34 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 9950 199195 0 0 3 10 16481 40 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15581] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15581/stat : 15581 (sh) S 14890 14890 11312 0 -1 4202496 371 216 0 0 0 0 0 0 20 0 1 0 338554014 9367552 264 33554432000 4194304 5064252 140735405769344 140735405767600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15581/statm: 2287 264 223 213 0 72 0
[pid=15583] ppid=15581 vsize=3584 CPUtime=0.41 cores=0,2,4,6
/proc/15583/stat : 15583 (clasp-1.0) R 15581 14890 11312 0 -1 4202496 499 0 0 0 41 0 0 0 20 0 1 0 338554015 3670016 397 33554432000 134512640 134847168 4288099888 4288098528 134715268 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15583/statm: 896 397 272 82 0 137 0
Current children cumulated CPU time (s) 165.75
Current children cumulated vsize (KiB) 38456

[startup+179.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 15615
/proc/meminfo: memFree=27429160/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=175.39 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 10414 209210 0 0 3 10 17484 42 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15613] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15613/stat : 15613 (sh) S 14890 14890 11312 0 -1 4202496 371 215 0 0 0 0 0 0 20 0 1 0 338555022 9367552 264 33554432000 4194304 5064252 140735110134976 140735110133232 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15613/statm: 2287 264 223 213 0 72 0
[pid=15615] ppid=15613 vsize=3976 CPUtime=3.13 cores=0,2,4,6
/proc/15615/stat : 15615 (clasp-1.0) R 15613 14890 11312 0 -1 4202496 571 0 0 0 313 0 0 0 20 0 1 0 338555022 4071424 469 33554432000 134512640 134847168 4294148496 4294147136 134782432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15615/statm: 994 469 270 82 0 235 0
Current children cumulated CPU time (s) 178.52
Current children cumulated vsize (KiB) 38848

[startup+182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 15631
/proc/meminfo: memFree=27307484/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=180.11 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 10530 211741 0 0 3 10 17955 43 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15629] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15629/stat : 15629 (sh) S 14890 14890 11312 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338555494 9367552 264 33554432000 4194304 5064252 140734875854672 140734875852928 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15629/statm: 2287 264 223 213 0 72 0
[pid=15631] ppid=15629 vsize=3844 CPUtime=1.62 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.0) R 15629 14890 11312 0 -1 4202496 542 0 0 0 162 0 0 0 20 0 1 0 338555494 3936256 439 33554432000 134512640 134847168 4291911616 4291910192 134714173 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15631/statm: 961 439 272 82 0 202 0
Current children cumulated CPU time (s) 181.73
Current children cumulated vsize (KiB) 38716

[startup+185.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 15631
/proc/meminfo: memFree=27180068/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=180.11 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 10530 211741 0 0 3 10 17955 43 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15629] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15629/stat : 15629 (sh) S 14890 14890 11312 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338555494 9367552 264 33554432000 4194304 5064252 140734875854672 140734875852928 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15629/statm: 2287 264 223 213 0 72 0
[pid=15631] ppid=15629 vsize=3976 CPUtime=4.82 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.0) R 15629 14890 11312 0 -1 4202496 596 0 0 0 482 0 0 0 20 0 1 0 338555494 4071424 493 33554432000 134512640 134847168 4291911616 4291910184 134742694 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15631/statm: 994 493 272 82 0 235 0
Current children cumulated CPU time (s) 184.93
Current children cumulated vsize (KiB) 38848

[startup+187.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 15631
/proc/meminfo: memFree=26969820/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=180.11 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 10530 211741 0 0 3 10 17955 43 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15629] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15629/stat : 15629 (sh) S 14890 14890 11312 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338555494 9367552 264 33554432000 4194304 5064252 140734875854672 140734875852928 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15629/statm: 2287 264 223 213 0 72 0
[pid=15631] ppid=15629 vsize=4104 CPUtime=6.42 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.0) R 15629 14890 11312 0 -1 4202496 614 0 0 0 642 0 0 0 20 0 1 0 338555494 4202496 511 33554432000 134512640 134847168 4291911616 4291910384 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15631/statm: 1026 511 272 82 0 267 0
Current children cumulated CPU time (s) 186.53
Current children cumulated vsize (KiB) 38976

[startup+187.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 15631
/proc/meminfo: memFree=26969820/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=180.11 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 10530 211741 0 0 3 10 17955 43 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15629] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15629/stat : 15629 (sh) S 14890 14890 11312 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338555494 9367552 264 33554432000 4194304 5064252 140734875854672 140734875852928 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15629/statm: 2287 264 223 213 0 72 0
[pid=15631] ppid=15629 vsize=4104 CPUtime=6.81 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.0) R 15629 14890 11312 0 -1 4202496 620 0 0 0 681 0 0 0 20 0 1 0 338555494 4202496 517 33554432000 134512640 134847168 4291911616 4291910236 134789696 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15631/statm: 1026 517 272 82 0 267 0
Current children cumulated CPU time (s) 186.92
Current children cumulated vsize (KiB) 38976

[startup+187.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 15631
/proc/meminfo: memFree=26969820/32873844 swapFree=7628/7628
[pid=14890] ppid=14888 vsize=25724 CPUtime=180.11 cores=0,2,4,6
/proc/14890/stat : 14890 (pbclasp) S 14888 14890 11312 0 -1 4202496 10530 211741 0 0 3 10 17955 43 20 0 1 0 338537426 26341376 531 33554432000 4194304 4198148 140733231336896 140733231335824 251048030238 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 6431 531 387 1 0 226 0
[pid=15629] ppid=14890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15629/stat : 15629 (sh) S 14890 14890 11312 0 -1 4202496 373 216 0 0 0 0 0 0 20 0 1 0 338555494 9367552 264 33554432000 4194304 5064252 140734875854672 140734875852928 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15629/statm: 2287 264 223 213 0 72 0
[pid=15631] ppid=15629 vsize=4104 CPUtime=7.21 cores=0,2,4,6
/proc/15631/stat : 15631 (clasp-1.0) R 15629 14890 11312 0 -1 4202496 622 0 0 0 721 0 0 0 20 0 1 0 338555494 4202496 519 33554432000 134512640 134847168 4291911616 4291910240 134784546 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15631/statm: 1026 519 272 82 0 267 0
Current children cumulated CPU time (s) 187.32
Current children cumulated vsize (KiB) 38976

Child status: 0
Real time (s): 187.973
CPU time (s): 187.419
CPU user time (s): 186.873
CPU system time (s): 0.546916
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 39240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.873
system time used= 0.546916
maximum resident set size= 2456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2051
involuntary context switches= 1022

runsolver used 0.26296 second user time and 0.775882 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 13:48:51
IDJOB=3735511
IDBENCH=24970
IDSOLVER=2317
FILE ID=node143/3735511-1338724131
RUNJOBID= node143-1338716231-11328
PBS_JOBID= 14636760
Free space on /tmp= 68336 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735511-1338724131/watcher-3735511-1338724131 -o /tmp/evaluation-result-3735511-1338724131/solver-3735511-1338724131 -C 1800 -W 1900 -M 15500  pbclasp instance-3735511-1338724131.opb HOME/temp

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

MD5SUM BENCH= dfa433e4e6a88cd1c776cef0a80ce991
RANDOM SEED=1282775686

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:        27341248 kB
Buffers:          457428 kB
Cached:          4032792 kB
SwapCached:          188 kB
Active:          2433672 kB
Inactive:        2164976 kB
Active(anon):      99780 kB
Inactive(anon):    10992 kB
Active(file):    2333892 kB
Inactive(file):  2153984 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:             44800 kB
Writeback:             0 kB
AnonPages:        115660 kB
Mapped:            12248 kB
Shmem:               160 kB
Slab:             793296 kB
SReclaimable:     235252 kB
SUnreclaim:       558044 kB
KernelStack:        1520 kB
PageTables:         4576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     225612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3735511-1338724131.opb

Free space on /tmp at the end= 68336 MiB
End job on node143 at 2012-06-03 13:51:59