Trace number 3695213

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
pb2satCp2 2012-05-19? (TO) 1800.04 1801.32

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/
j90opt/normalized-j909_4.std.opb
MD5SUMbe0ddee39050738fafcfaea7d5126638
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark131
Best CPU time to get the best result obtained on this benchmark1800.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints176044
Number of constraints which are clauses174844
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint73
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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 

68.46/68.53	c model valid
68.46/68.53	c current solution ok
73.37/73.62	o 300
102.16/102.46	c model valid
102.16/102.46	c current solution ok
102.24/102.57	o 299
179.23/179.59	c model valid
179.23/179.59	c current solution ok
179.34/179.69	o 298
256.10/256.40	c model valid
256.10/256.40	c current solution ok
256.11/256.51	o 297
333.48/333.85	c model valid
333.48/333.85	c current solution ok
333.53/333.95	o 296
362.17/362.50	c model valid
362.17/362.50	c current solution ok
362.17/362.60	o 295
430.25/430.69	c model valid
430.25/430.69	c current solution ok
430.34/430.79	o 294
498.63/499.05	c model valid
498.63/499.05	c current solution ok
498.69/499.15	o 293
567.41/567.89	c model valid
567.41/567.89	c current solution ok
567.50/567.99	o 292
635.79/636.29	c model valid
635.79/636.29	c current solution ok
635.88/636.40	o 291
704.58/705.07	c model valid
704.58/705.07	c current solution ok
704.64/705.17	o 290
772.77/773.29	c model valid
772.77/773.29	c current solution ok
772.85/773.39	o 289
841.05/841.53	c model valid
841.05/841.53	c current solution ok
841.08/841.64	o 288
909.14/909.62	c model valid
909.14/909.62	c current solution ok
909.16/909.74	o 287
978.31/978.85	c model valid
978.31/978.85	c current solution ok
978.40/978.95	o 286
1047.98/1048.53	c model valid
1047.98/1048.53	c current solution ok
1048.03/1048.63	o 285
1116.07/1116.65	c model valid
1116.07/1116.65	c current solution ok
1116.13/1116.76	o 284
1185.14/1185.78	c model valid
1185.14/1185.78	c current solution ok
1185.22/1185.88	o 283
1256.62/1257.22	c model valid
1256.62/1257.22	c current solution ok
1256.63/1257.32	o 282
1327.07/1327.77	c model valid
1327.07/1327.77	c current solution ok
1327.15/1327.87	o 281
1398.53/1399.21	c model valid
1398.53/1399.21	c current solution ok
1398.54/1399.31	o 280
1469.99/1470.77	c model valid
1469.99/1470.77	c current solution ok
1470.07/1470.87	o 279
1539.44/1540.23	c model valid
1539.44/1540.23	c current solution ok
1539.48/1540.35	o 278
1609.41/1610.26	c model valid
1609.41/1610.26	c current solution ok
1609.51/1610.37	o 277
1677.50/1678.38	c model valid
1677.50/1678.38	c current solution ok
1677.58/1678.50	o 276
1747.78/1748.62	c model valid
1747.78/1748.62	c current solution ok
1747.80/1748.72	o 275
1800.04/1801.31	c error: unexpected solver exit code
1800.04/1801.31	s UNKNOWN

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-3695213-1338111744/watcher-3695213-1338111744 -o /tmp/evaluation-result-3695213-1338111744/solver-3695213-1338111744 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695213-1338111744.opb 941446050 HOME HOME 

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.00 2.00 2.01 3/177 17054
/proc/meminfo: memFree=26984540/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0

[startup+0.0770469 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 17054
/proc/meminfo: memFree=26984540/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100139 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 17054
/proc/meminfo: memFree=26984540/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300106 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 17054
/proc/meminfo: memFree=26984540/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700165 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 17054
/proc/meminfo: memFree=26984540/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 17056
/proc/meminfo: memFree=26919664/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=127484 CPUtime=1.49 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) R 17054 17054 10926 0 -1 4202496 18522 0 0 0 144 5 0 0 20 0 1 0 277299899 130543616 30231 33554432000 4194304 5873084 140735161509888 140735161506248 4920028 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17055/statm: 31871 30232 157 410 0 31453 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 136632

[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 17058
/proc/meminfo: memFree=26609288/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=130432 CPUtime=1.63 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 19709 0 0 0 149 14 0 0 20 0 1 0 277299899 133562368 31476 33554432000 4194304 5873084 140735161509888 140735161506312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17055/statm: 32608 31476 164 410 0 32190 0
[pid=17057] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17057/stat : 17057 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 277300064 9367552 266 33554432000 4194304 5064252 140734967660240 140734967659152 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17057/statm: 2287 266 226 213 0 72 0
[pid=17058] ppid=17057 vsize=387004 CPUtime=1.43 cores=0,2,4,6
/proc/17058/stat : 17058 (glucose_static) R 17057 17054 10926 0 -1 4202496 65254 0 0 0 127 16 0 0 20 0 1 0 277300064 396292096 89238 33554432000 4194304 4896791 140735149169536 140735149166840 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17058/statm: 96751 89238 76 172 0 96577 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 535732

[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 17058
/proc/meminfo: memFree=26435236/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=130432 CPUtime=1.63 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 19709 0 0 0 149 14 0 0 20 0 1 0 277299899 133562368 31476 33554432000 4194304 5873084 140735161509888 140735161506312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17055/statm: 32608 31476 164 410 0 32190 0
[pid=17057] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17057/stat : 17057 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 277300064 9367552 266 33554432000 4194304 5064252 140734967660240 140734967659152 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17057/statm: 2287 266 226 213 0 72 0
[pid=17058] ppid=17057 vsize=387796 CPUtime=4.63 cores=0,2,4,6
/proc/17058/stat : 17058 (glucose_static) R 17057 17054 10926 0 -1 4202496 65519 0 0 0 447 16 0 0 20 0 1 0 277300064 397103104 89499 33554432000 4194304 4896791 140735149169536 140735149166840 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17058/statm: 96949 89499 76 172 0 96775 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 536524

[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.02 3/181 17058
/proc/meminfo: memFree=26436972/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=130432 CPUtime=1.63 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 19709 0 0 0 149 14 0 0 20 0 1 0 277299899 133562368 31476 33554432000 4194304 5873084 140735161509888 140735161506312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17055/statm: 32608 31476 164 410 0 32190 0
[pid=17057] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17057/stat : 17057 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 277300064 9367552 266 33554432000 4194304 5064252 140734967660240 140734967659152 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17057/statm: 2287 266 226 213 0 72 0
[pid=17058] ppid=17057 vsize=388324 CPUtime=11.03 cores=0,2,4,6
/proc/17058/stat : 17058 (glucose_static) R 17057 17054 10926 0 -1 4202496 65759 0 0 0 1087 16 0 0 20 0 1 0 277300064 397643776 89736 33554432000 4194304 4896791 140735149169536 140735149166840 4223862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17058/statm: 97081 89736 76 172 0 96907 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 537052

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.02 3/181 17058
/proc/meminfo: memFree=26434048/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=130432 CPUtime=1.63 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 19709 0 0 0 149 14 0 0 20 0 1 0 277299899 133562368 31476 33554432000 4194304 5873084 140735161509888 140735161506312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17055/statm: 32608 31476 164 410 0 32190 0
[pid=17057] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17057/stat : 17057 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 277300064 9367552 266 33554432000 4194304 5064252 140734967660240 140734967659152 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17057/statm: 2287 266 226 213 0 72 0
[pid=17058] ppid=17057 vsize=388724 CPUtime=23.83 cores=0,2,4,6
/proc/17058/stat : 17058 (glucose_static) R 17057 17054 10926 0 -1 4202496 66145 0 0 0 2366 17 0 0 20 0 1 0 277300064 398053376 90116 33554432000 4194304 4896791 140735149169536 140735149166744 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17058/statm: 97181 90116 76 172 0 97007 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 537452

[startup+51.1004 s]
/proc/loadavg: 2.10 2.03 2.02 3/181 17058
/proc/meminfo: memFree=26430468/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=130432 CPUtime=1.63 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 19709 0 0 0 149 14 0 0 20 0 1 0 277299899 133562368 31476 33554432000 4194304 5873084 140735161509888 140735161506312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17055/statm: 32608 31476 164 410 0 32190 0
[pid=17057] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17057/stat : 17057 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 277300064 9367552 266 33554432000 4194304 5064252 140734967660240 140734967659152 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17057/statm: 2287 266 226 213 0 72 0
[pid=17058] ppid=17057 vsize=420348 CPUtime=49.43 cores=0,2,4,6
/proc/17058/stat : 17058 (glucose_static) R 17057 17054 10926 0 -1 4202496 66501 0 0 0 4926 17 0 0 20 0 1 0 277300064 430436352 90975 33554432000 4194304 4896791 140735149169536 140735149166744 4223862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17058/statm: 105087 90975 76 172 0 104913 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 569076

[startup+102.306 s]
/proc/loadavg: 2.04 2.02 2.01 3/179 17061
/proc/meminfo: memFree=26655024/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=188732 CPUtime=102.07 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) R 17054 17054 10926 0 -1 4202496 26353 142011 0 0 291 408 9456 52 20 0 1 0 277299899 193261568 46080 33554432000 4194304 5873084 140735161509888 140735161503160 4433563 0 0 4096 0 0 0 0 17 0 0 0 19 0 0
/proc/17055/statm: 47183 46080 173 410 0 46765 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 197880

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/181 17065
/proc/meminfo: memFree=26279868/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=188732 CPUtime=102.38 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 27818 142525 0 0 311 409 9456 62 20 0 1 0 277299899 193261568 46080 33554432000 4194304 5873084 140735161509888 140735161503704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/17055/statm: 47183 46080 173 410 0 46765 0
[pid=17063] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17063/stat : 17063 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277310161 9367552 267 33554432000 4194304 5064252 140733616174784 140733616173696 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17063/statm: 2287 267 226 213 0 72 0
[pid=17064] ppid=17063 vsize=479600 CPUtime=59.64 cores=0,2,4,6
/proc/17064/stat : 17064 (glucose_static) R 17063 17054 10926 0 -1 4202496 66797 0 0 0 5952 12 0 0 20 0 1 0 277310162 491110400 96620 33554432000 4194304 4896791 140735428412032 140735428409352 4224706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17064/statm: 119900 96620 78 172 0 119726 0
Current children cumulated CPU time (s) 162.02
Current children cumulated vsize (KiB) 686628

[startup+222.3 s]
/proc/loadavg: 2.10 2.05 2.02 3/181 17068
/proc/meminfo: memFree=26278568/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/17875/statm: 119484 94517 78 172 0 119310 0
Current children cumulated CPU time (s) 1421.61
Current children cumulated vsize (KiB) 684964

[startup+1482.3 s]
/proc/loadavg: 2.40 2.32 2.15 3/181 18272
/proc/meminfo: memFree=28157600/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=188732 CPUtime=1470.21 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 101570 1556897 0 0 1052 435 144849 685 20 0 1 0 277299899 193261568 46080 33554432000 4194304 5873084 140735161509888 140735161503704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/17055/statm: 47183 46080 173 410 0 46765 0
[pid=18226] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18226/stat : 18226 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 277446991 9367552 266 33554432000 4194304 5064252 140736259165648 140736259164560 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18226/statm: 2287 266 226 213 0 72 0
[pid=18227] ppid=18226 vsize=477508 CPUtime=11.36 cores=0,2,4,6
/proc/18227/stat : 18227 (glucose_static) R 18226 17054 10926 0 -1 4202496 65792 0 0 0 1120 16 0 0 20 0 1 0 277446991 488968192 94051 33554432000 4194304 4896791 140733218236752 140733218233960 4223862 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18227/statm: 119377 94051 76 172 0 119203 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 684536

[startup+1542.3 s]
/proc/loadavg: 2.19 2.28 2.14 3/181 18560
/proc/meminfo: memFree=28167492/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=188732 CPUtime=1539.64 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 105231 1626306 0 0 1089 436 151721 718 20 0 1 0 277299899 193261568 46080 33554432000 4194304 5873084 140735161509888 140735161503704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 19 0 0
/proc/17055/statm: 47183 46080 173 410 0 46765 0
[pid=18553] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18553/stat : 18553 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277453939 9367552 267 33554432000 4194304 5064252 140735162426336 140735162425248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18553/statm: 2287 267 226 213 0 72 0
[pid=18554] ppid=18553 vsize=476428 CPUtime=1.89 cores=0,2,4,6
/proc/18554/stat : 18554 (glucose_static) R 18553 17054 10926 0 -1 4202496 67224 0 0 0 175 14 0 0 20 0 1 0 277453939 487862272 93712 33554432000 4194304 4896791 140733470694688 140733470691992 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18554/statm: 119107 93712 76 172 0 118933 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 683456

[startup+1602.3 s]
/proc/loadavg: 2.17 2.25 2.14 3/179 18783
/proc/meminfo: memFree=28166596/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=188732 CPUtime=1539.64 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 105231 1626306 0 0 1089 436 151721 718 20 0 1 0 277299899 193261568 46080 33554432000 4194304 5873084 140735161509888 140735161503704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 19 0 0
/proc/17055/statm: 47183 46080 173 410 0 46765 0
[pid=18553] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18553/stat : 18553 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277453939 9367552 267 33554432000 4194304 5064252 140735162426336 140735162425248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18553/statm: 2287 267 226 213 0 72 0
[pid=18554] ppid=18553 vsize=478724 CPUtime=61.87 cores=0,2,4,6
/proc/18554/stat : 18554 (glucose_static) R 18553 17054 10926 0 -1 4202496 67985 0 0 0 6171 16 0 0 20 0 1 0 277453939 490213376 95471 33554432000 4194304 4896791 140733470694688 140733470691896 4224844 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18554/statm: 119681 95471 78 172 0 119507 0
Current children cumulated CPU time (s) 1601.51
Current children cumulated vsize (KiB) 685752

[startup+1662.3 s]
/proc/loadavg: 2.26 2.25 2.15 3/182 18988
/proc/meminfo: memFree=28158608/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=188732 CPUtime=1609.63 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 108892 1697488 0 0 1125 438 158651 749 20 0 1 0 277299899 193261568 46080 33554432000 4194304 5873084 140735161509888 140735161503704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 19 0 0
/proc/17055/statm: 47183 46080 173 410 0 46765 0
[pid=18815] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18815/stat : 18815 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277460941 9367552 267 33554432000 4194304 5064252 140734497541856 140734497540768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18815/statm: 2287 267 226 213 0 72 0
[pid=18816] ppid=18815 vsize=478552 CPUtime=51.86 cores=0,2,4,6
/proc/18816/stat : 18816 (glucose_static) R 18815 17054 10926 0 -1 4202496 66188 0 0 0 5166 20 0 0 20 0 1 0 277460941 490037248 95580 33554432000 4194304 4896791 140734772234704 140734772231912 4205040 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18816/statm: 119638 95580 78 172 0 119464 0
Current children cumulated CPU time (s) 1661.49
Current children cumulated vsize (KiB) 685580

[startup+1722.3 s]
/proc/loadavg: 2.10 2.20 2.13 3/181 19195
/proc/meminfo: memFree=28098568/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=188732 CPUtime=1677.75 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 112553 1766916 0 0 1162 439 165384 790 20 0 1 0 277299899 193261568 46080 33554432000 4194304 5873084 140735161509888 140735161503704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 19 0 0
/proc/17055/statm: 47183 46080 173 410 0 46765 0
[pid=19047] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19047/stat : 19047 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277467753 9367552 267 33554432000 4194304 5064252 140733505292864 140733505291776 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19047/statm: 2287 267 226 213 0 72 0
[pid=19048] ppid=19047 vsize=478436 CPUtime=43.73 cores=0,2,4,6
/proc/19048/stat : 19048 (glucose_static) R 19047 17054 10926 0 -1 4202496 67407 0 0 0 4352 21 0 0 20 0 1 0 277467754 489918464 95048 33554432000 4194304 4896791 140737140360304 140737140357512 4224921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19048/statm: 119609 95048 78 172 0 119435 0
Current children cumulated CPU time (s) 1721.48
Current children cumulated vsize (KiB) 685464

[startup+1782.3 s]
/proc/loadavg: 2.03 2.17 2.12 3/180 19446
/proc/meminfo: memFree=28240640/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=188732 CPUtime=1747.95 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 116213 1837580 0 0 1199 440 172327 829 20 0 1 0 277299899 193261568 46080 33554432000 4194304 5873084 140735161509888 140735161503704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 19 0 0
/proc/17055/statm: 47183 46080 173 410 0 46765 0
[pid=19294] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19294/stat : 19294 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277474776 9367552 267 33554432000 4194304 5064252 140735412164928 140735412163840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19294/statm: 2287 267 226 213 0 72 0
[pid=19295] ppid=19294 vsize=478160 CPUtime=33.08 cores=0,2,4,6
/proc/19295/stat : 19295 (glucose_static) R 19294 17054 10926 0 -1 4202496 66080 0 0 0 3291 17 0 0 20 0 1 0 277474776 489635840 94850 33554432000 4194304 4896791 140734603324416 140734603321624 4224921 0 0 4096 0 0 0 0 17 4 0 0 43 0 0
/proc/19295/statm: 119540 94850 78 172 0 119366 0
Current children cumulated CPU time (s) 1781.03
Current children cumulated vsize (KiB) 685188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 2.16 2.19 2.13 2/177 19527
/proc/meminfo: memFree=28303692/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=188732 CPUtime=1747.95 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 116213 1837580 0 0 1199 440 172327 829 20 0 1 0 277299899 193261568 46080 33554432000 4194304 5873084 140735161509888 140735161503704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 19 0 0
/proc/17055/statm: 47183 46080 173 410 0 46765 0
[pid=19294] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19294/stat : 19294 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277474776 9367552 267 33554432000 4194304 5064252 140735412164928 140735412163840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19294/statm: 2287 267 226 213 0 72 0
[pid=19295] ppid=19294 vsize=478460 CPUtime=52.09 cores=0,2,4,6
/proc/19295/stat : 19295 (glucose_static) R 19294 17054 10926 0 -1 4202496 66159 0 0 0 5191 18 0 0 20 0 1 0 277474776 489943040 95440 33554432000 4194304 4896791 140734603324416 140734603321624 4224706 0 0 4096 0 0 0 0 17 4 0 0 43 0 0
/proc/19295/statm: 119615 95440 78 172 0 119441 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 685488

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

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

[startup+1801.3 s]
/proc/loadavg: 2.16 2.19 2.13 2/177 19527
/proc/meminfo: memFree=28303692/32873624 swapFree=7104/7104
[pid=17054] ppid=17052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17054/stat : 17054 (runPb2satCp2.sh) S 17052 17054 10926 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277299899 9367552 275 33554432000 4194304 5064252 140733721106144 140733721105056 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17054/statm: 2287 275 233 213 0 72 0
[pid=17055] ppid=17054 vsize=188732 CPUtime=1747.95 cores=0,2,4,6
/proc/17055/stat : 17055 (pb2sat) S 17054 17054 10926 0 -1 4202496 116213 1837580 0 0 1199 440 172327 829 20 0 1 0 277299899 193261568 46080 33554432000 4194304 5873084 140735161509888 140735161503704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 19 0 0
/proc/17055/statm: 47183 46080 173 410 0 46765 0
[pid=19294] ppid=17055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19294/stat : 19294 (satsolver.sh) S 17055 17054 10926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277474776 9367552 267 33554432000 4194304 5064252 140735412164928 140735412163840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19294/statm: 2287 267 226 213 0 72 0
[pid=19295] ppid=19294 vsize=478460 CPUtime=52.09 cores=0,2,4,6
/proc/19295/stat : 19295 (glucose_static) R 19294 17054 10926 0 -1 4202496 66159 0 0 0 5191 18 0 0 20 0 1 0 277474776 489943040 95440 33554432000 4194304 4896791 140734603324416 140734603321624 4224706 0 0 4096 0 0 0 0 17 4 0 0 43 0 0
/proc/19295/statm: 119615 95440 78 172 0 119441 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 685488

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17054 and gives
#  childrusage.ru_utime.tv_sec=1735
#  childrusage.ru_utime.tv_usec=266199
#  childrusage.ru_stime.tv_sec=12
#  childrusage.ru_stime.tv_usec=708068
# CPU time returned by wait4() is 1747.97
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.32
CPU time (s): 1800.04
CPU user time (s): 1787.17
CPU system time (s): 12.87
CPU usage (%): 99.9291
Max. virtual memory (cumulated for all children) (KiB): 691048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.27
system time used= 12.7081
maximum resident set size= 400596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1954772
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4241224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 494
involuntary context switches= 3017

runsolver used 4.16037 second user time and 10.0045 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-27 11:42:24
IDJOB=3695213
IDBENCH=77770
IDSOLVER=2273
FILE ID=node121/3695213-1338111744
RUNJOBID= node121-1338087182-10942
PBS_JOBID= 14624437
Free space on /tmp= 71452 MiB

SOLVER NAME= pb2satCp2 2012-05-19
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j909_4.std.opb
COMMAND LINE= DIR/runPb2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3695213-1338111744/watcher-3695213-1338111744 -o /tmp/evaluation-result-3695213-1338111744/solver-3695213-1338111744 -C 1800 -W 1900 -M 15500  HOME/runPb2satCp2.sh HOME/instance-3695213-1338111744.opb 941446050 HOME HOME

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

MD5SUM BENCH= be0ddee39050738fafcfaea7d5126638
RANDOM SEED=941446050

node121.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		: 2667.042
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	: 5334.08
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		: 2667.042
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		: 2667.042
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		: 2667.042
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		: 2667.042
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.91
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		: 2667.042
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		: 2667.042
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	: 5438.55
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		: 2667.042
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:       32873624 kB
MemFree:        26984912 kB
Buffers:          397784 kB
Cached:          2830620 kB
SwapCached:            0 kB
Active:          2741980 kB
Inactive:        2322212 kB
Active(anon):    1837392 kB
Inactive(anon):        0 kB
Active(file):     904588 kB
Inactive(file):  2322212 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14020 kB
Writeback:             0 kB
AnonPages:       1841892 kB
Mapped:            15192 kB
Shmem:               200 kB
Slab:             681892 kB
SReclaimable:     126192 kB
SUnreclaim:       555700 kB
KernelStack:        1472 kB
PageTables:         7404 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:    2180208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    972800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71552 MiB
End job on node121 at 2012-05-27 12:12:26