Trace number 3740919

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
PB07: PB-clasp 2007-04-10? (TO) 1800.03 1756.12

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-180.opb
MD5SUM8c3fe83338b70253b33b876e52e7c579
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables311827
Total number of constraints7317246
Number of constraints which are clauses6573583
Number of constraints which are cardinality constraints (but not clauses)22922
Number of constraints which are nor clauses,nor cardinality constraints720741
Minimum length of a constraint2
Maximum length of a constraint2457
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2458
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 32549
/proc/meminfo: memFree=26765632/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) R 32547 32549 17435 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 343255664 26071040 383 33554432000 4194304 4198148 140733739486624 140733845381096 266435268500 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 6365 386 292 1 0 160 0

[startup+0.050168 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 32549
/proc/meminfo: memFree=26765632/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=29260 CPUtime=0.04 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) R 32547 32549 17435 0 -1 4202496 1473 0 0 0 4 0 0 0 20 0 1 0 343255664 29962240 1403 33554432000 4194304 4198148 140733739486624 140733845381096 266460652448 0 0 4224 16384 0 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 7315 1404 356 1 0 1110 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29260

[startup+0.100163 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 32549
/proc/meminfo: memFree=26765632/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=33556 CPUtime=0.09 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) R 32547 32549 17435 0 -1 4202496 2520 0 0 0 9 0 0 0 20 0 1 0 343255664 34361344 2450 33554432000 4194304 4198148 140733739486624 140733739485576 266435268500 0 0 4224 16384 0 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 8389 2450 356 1 0 2184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33556

[startup+0.30017 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 32549
/proc/meminfo: memFree=26765632/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=0.28 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) R 32547 32549 17435 0 -1 4202496 3121 0 0 0 28 0 0 0 20 0 1 0 343255664 38830080 3562 33554432000 4194304 4198148 140733739486624 140733739485576 266439025904 0 0 4224 16384 0 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3562 357 1 0 3275 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37920

[startup+0.70015 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 32549
/proc/meminfo: memFree=26765632/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=0.69 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) R 32547 32549 17435 0 -1 4202496 3122 0 0 0 68 1 0 0 20 0 1 0 343255664 38830080 3563 33554432000 4194304 4198148 140733739486624 140733739485576 266439025904 0 0 4224 16384 0 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3563 357 1 0 3275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37920

[startup+1.50014 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 32550
/proc/meminfo: memFree=26753532/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=1.48 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) R 32547 32549 17435 0 -1 4202496 3123 0 0 0 146 2 0 0 20 0 1 0 343255664 38830080 3564 33554432000 4194304 4198148 140733739486624 140733739477160 266439025904 0 0 4224 16384 0 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3564 357 1 0 3275 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37920

[startup+3.10028 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 32550
/proc/meminfo: memFree=26762632/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.09 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) R 32547 32549 17435 0 -1 4202496 3125 0 0 0 304 5 0 0 20 0 1 0 343255664 38830080 3566 33554432000 4194304 4198148 140733739486624 140733739477160 266439025904 0 0 4224 16384 0 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3566 357 1 0 3275 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37920

[startup+6.30033 s]
/proc/loadavg: 2.07 2.02 2.00 4/184 32554
/proc/meminfo: memFree=26753824/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32552] ppid=32551 vsize=25592 CPUtime=2.71 cores=1,3,5,7
/proc/32552/stat : 32552 (pb2clasp1) R 32551 32549 17435 0 -1 4202496 612 0 0 0 271 0 0 0 20 0 1 0 343256022 26206208 512 33554432000 4194304 4198148 140733858145664 140733858136200 266439017644 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/32552/statm: 6398 512 378 1 0 193 0
[pid=32553] ppid=32551 vsize=17428 CPUtime=0.29 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) S 32551 32549 17435 0 -1 4202496 3866 0 0 0 29 0 0 0 20 0 1 0 343256022 17846272 3774 33554432000 134512640 134847168 4288666624 4288662424 5153840 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32553/statm: 4357 3774 251 82 0 3598 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 115548

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 32554
/proc/meminfo: memFree=26719488/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32552] ppid=32551 vsize=25724 CPUtime=9.11 cores=1,3,5,7
/proc/32552/stat : 32552 (pb2clasp1) R 32551 32549 17435 0 -1 4202496 621 0 0 0 910 1 0 0 20 0 1 0 343256022 26341376 521 33554432000 4194304 4198148 140733858145664 140733858136200 266435202923 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/32552/statm: 6431 521 378 1 0 226 0
[pid=32553] ppid=32551 vsize=50676 CPUtime=1.08 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) S 32551 32549 17435 0 -1 4202496 12050 0 0 0 105 3 0 0 20 0 1 0 343256022 51892224 11958 33554432000 134512640 134847168 4288666624 4288662344 5153840 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32553/statm: 12669 11958 251 82 0 11910 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 13.75
Current children cumulated vsize (KiB) 148928

[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 32554
/proc/meminfo: memFree=26650324/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32552] ppid=32551 vsize=25724 CPUtime=21.9 cores=1,3,5,7
/proc/32552/stat : 32552 (pb2clasp1) R 32551 32549 17435 0 -1 4202496 633 0 0 0 2187 3 0 0 20 0 1 0 343256022 26341376 533 33554432000 4194304 4198148 140733858145664 140733858144648 266460990366 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/32552/statm: 6431 533 378 1 0 226 0
[pid=32553] ppid=32551 vsize=115764 CPUtime=2.89 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) S 32551 32549 17435 0 -1 4202496 28328 0 0 0 282 7 0 0 20 0 1 0 343256022 118542336 28236 33554432000 134512640 134847168 4288666624 4288662344 5153840 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32553/statm: 28941 28236 251 82 0 28182 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 28.35
Current children cumulated vsize (KiB) 214016

[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 32555
/proc/meminfo: memFree=26504852/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32552] ppid=32551 vsize=25856 CPUtime=47.5 cores=1,3,5,7
/proc/32552/stat : 32552 (pb2clasp1) R 32551 32549 17435 0 -1 4202496 654 0 0 0 4744 6 0 0 20 0 1 0 343256022 26476544 554 33554432000 4194304 4198148 140733858145664 140733858136200 266460638405 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/32552/statm: 6464 554 378 1 0 259 0
[pid=32553] ppid=32551 vsize=248096 CPUtime=6.58 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) S 32551 32549 17435 0 -1 4202496 55489 0 0 0 643 15 0 0 20 0 1 0 343256022 254050304 60977 33554432000 134512640 134847168 4288666624 4288662536 5153840 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32553/statm: 62024 60977 251 82 0 61265 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 57.64
Current children cumulated vsize (KiB) 346480

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 4/184 32555
/proc/meminfo: memFree=26217768/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32552] ppid=32551 vsize=25988 CPUtime=98.7 cores=1,3,5,7
/proc/32552/stat : 32552 (pb2clasp1) R 32551 32549 17435 0 -1 4202496 689 0 0 0 9857 13 0 0 20 0 1 0 343256022 26611712 589 33554432000 4194304 4198148 140733858145664 140733858136200 266460816420 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/32552/statm: 6497 589 378 1 0 292 0
[pid=32553] ppid=32551 vsize=510552 CPUtime=13.99 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) S 32551 32549 17435 0 -1 4202496 103160 0 0 0 1367 32 0 0 20 0 1 0 343256022 522805248 125870 33554432000 134512640 134847168 4288666624 4288662344 5153840 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32553/statm: 127638 125870 251 82 0 126879 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 116.25
Current children cumulated vsize (KiB) 609068

[startup+162.3 s]
/proc/loadavg: 1.47 1.86 1.95 2/175 32582
/proc/meminfo: memFree=26053016/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32552] ppid=32551 vsize=26120 CPUtime=158.68 cores=1,3,5,7
/proc/32552/stat : 32552 (pb2clasp1) R 32551 32549 17435 0 -1 4202496 717 0 0 0 15844 24 0 0 20 0 1 0 343256022 26746880 617 33554432000 4194304 4198148 140733858145664 140733858144648 266460819009 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/32552/statm: 6530 617 378 1 0 325 0
[pid=32553] ppid=32551 vsize=820588 CPUtime=22.93 cores=1,3,5,7

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

/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1406.28
Current children cumulated vsize (KiB) 3418280

[startup+1422.31 s]
/proc/loadavg: 1.01 1.02 1.22 2/174 1918
/proc/meminfo: memFree=23450972/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=298.88 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 791 0 0 0 0 29842 46 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32553] ppid=32551 vsize=3410072 CPUtime=1163.84 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) R 32551 32549 17435 0 -1 4202496 484881 0 0 0 116224 160 0 0 20 0 1 0 343256022 3491913728 846769 33554432000 134512640 134847168 4288666624 4288665264 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32553/statm: 852518 846769 272 82 0 851759 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1466.28
Current children cumulated vsize (KiB) 3482600

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/174 1918
/proc/meminfo: memFree=23392444/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=298.88 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 791 0 0 0 0 29842 46 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32553] ppid=32551 vsize=3470068 CPUtime=1223.83 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) R 32551 32549 17435 0 -1 4202496 499641 0 0 0 122215 168 0 0 20 0 1 0 343256022 3553349632 861528 33554432000 134512640 134847168 4288666624 4288665392 134737411 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32553/statm: 867517 861528 272 82 0 866758 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1526.27
Current children cumulated vsize (KiB) 3542596

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/175 1921
/proc/meminfo: memFree=23346152/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=298.88 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 791 0 0 0 0 29842 46 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32553] ppid=32551 vsize=3517564 CPUtime=1283.81 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) R 32551 32549 17435 0 -1 4202496 510821 0 0 0 128208 173 0 0 20 0 1 0 343256022 3601985536 872707 33554432000 134512640 134847168 4288666624 4288665392 134737597 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32553/statm: 879391 872707 272 82 0 878632 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1586.25
Current children cumulated vsize (KiB) 3590092

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/174 1922
/proc/meminfo: memFree=23297000/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=298.88 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 791 0 0 0 0 29842 46 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32553] ppid=32551 vsize=3568488 CPUtime=1343.8 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) R 32551 32549 17435 0 -1 4202496 523768 0 0 0 134201 179 0 0 20 0 1 0 343256022 3654131712 885337 33554432000 134512640 134847168 4288666624 4288665264 134782595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32553/statm: 892122 885337 272 82 0 891363 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1646.24
Current children cumulated vsize (KiB) 3641016

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.17 2/174 1922
/proc/meminfo: memFree=23247640/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=298.88 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 791 0 0 0 0 29842 46 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32553] ppid=32551 vsize=3615632 CPUtime=1403.79 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) R 32551 32549 17435 0 -1 4202496 536453 0 0 0 140194 185 0 0 20 0 1 0 343256022 3702407168 897275 33554432000 134512640 134847168 4288666624 4288665308 134715803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32553/statm: 903908 897275 272 82 0 903149 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1706.23
Current children cumulated vsize (KiB) 3688160

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.15 2/174 1922
/proc/meminfo: memFree=23200316/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=298.88 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 791 0 0 0 0 29842 46 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32553] ppid=32551 vsize=3663624 CPUtime=1463.78 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) R 32551 32549 17435 0 -1 4202496 549157 0 0 0 146186 192 0 0 20 0 1 0 343256022 3751550976 909293 33554432000 134512640 134847168 4288666624 4288664864 1582375 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32553/statm: 915906 909293 272 82 0 915147 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1766.22
Current children cumulated vsize (KiB) 3736152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1756.1 s]
/proc/loadavg: 1.01 1.00 1.15 2/174 1922
/proc/meminfo: memFree=23174844/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=298.88 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 791 0 0 0 0 29842 46 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32553] ppid=32551 vsize=3688716 CPUtime=1497.59 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) R 32551 32549 17435 0 -1 4202496 555802 0 0 0 149563 196 0 0 20 0 1 0 343256022 3777245184 915305 33554432000 134512640 134847168 4288666624 4288665264 134782472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32553/statm: 922179 915305 272 82 0 921420 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3761244

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

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

[startup+1756.1 s]
/proc/loadavg: 1.01 1.00 1.15 2/174 1922
/proc/meminfo: memFree=23174844/32873648 swapFree=6860/6860
[pid=32549] ppid=32547 vsize=37920 CPUtime=3.56 cores=1,3,5,7
/proc/32549/stat : 32549 (pbclasp) S 32547 32549 17435 0 -1 4202496 3151 0 0 0 351 5 0 0 20 0 1 0 343255664 38830080 3574 33554432000 4194304 4198148 140733739486624 140733739485512 266439025904 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32549/statm: 9480 3574 364 1 0 3275 0
[pid=32551] ppid=32549 vsize=9148 CPUtime=298.88 cores=1,3,5,7
/proc/32551/stat : 32551 (sh) S 32549 32549 17435 0 -1 4202496 374 791 0 0 0 0 29842 46 20 0 1 0 343256022 9367552 264 33554432000 4194304 5064252 140735283377312 140735283375568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32551/statm: 2287 264 223 213 0 72 0
[pid=32553] ppid=32551 vsize=3688716 CPUtime=1497.59 cores=1,3,5,7
/proc/32553/stat : 32553 (clasp-1.0) R 32551 32549 17435 0 -1 4202496 555802 0 0 0 149563 196 0 0 20 0 1 0 343256022 3777245184 915305 33554432000 134512640 134847168 4288666624 4288665264 134782472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32553/statm: 922179 915305 272 82 0 921420 0
[pid=32554] ppid=32551 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/32554/stat : 32554 (pboutclasp.pl) S 32551 32549 17435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343256022 26071040 437 33554432000 4194304 4198148 140735241684608 140735241675144 266439025904 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32554/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3761244

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32549 and gives
#  childrusage.ru_utime.tv_sec=301
#  childrusage.ru_utime.tv_usec=951096
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=531919
# CPU time returned by wait4() is 302.483
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1756.12
CPU time (s): 1800.03
CPU user time (s): 1797.56
CPU system time (s): 2.47
CPU usage (%): 102.501
Max. virtual memory (cumulated for all children) (KiB): 3761244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.951
system time used= 0.531919
maximum resident set size= 14320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2270
involuntary context switches= 316

runsolver used 3.75043 second user time and 10.9043 second system time

The end

Launcher Data 

Begin job on node116 at 2012-06-04 02:54:56
IDJOB=3740919
IDBENCH=89691
IDSOLVER=2317
FILE ID=node116/3740919-1338771288
RUNJOBID= node116-1338766724-23036
PBS_JOBID= 14636786
Free space on /tmp= 70688 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-180.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740919-1338771288/watcher-3740919-1338771288 -o /tmp/evaluation-result-3740919-1338771288/solver-3740919-1338771288 -C 1800 -W 1900 -M 15500  pbclasp instance-3740919-1338771288.opb HOME/temp

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

MD5SUM BENCH= 8c3fe83338b70253b33b876e52e7c579
RANDOM SEED=1599004749

node116.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.556
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.11
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.556
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.556
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	: 5438.54
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.556
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.556
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.556
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.92
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.556
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.90
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.556
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:       32873648 kB
MemFree:        26766316 kB
Buffers:          564772 kB
Cached:          4518644 kB
SwapCached:         3028 kB
Active:          2699044 kB
Inactive:        2480076 kB
Active(anon):      85640 kB
Inactive(anon):     8500 kB
Active(file):    2613404 kB
Inactive(file):  2471576 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103480 kB
Dirty:            356428 kB
Writeback:             0 kB
AnonPages:         96632 kB
Mapped:            13780 kB
Shmem:                68 kB
Slab:             788632 kB
SReclaimable:     228424 kB
SUnreclaim:       560208 kB
KernelStack:        1464 kB
PageTables:         4384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     210088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3740919-1338771288.opb

Free space on /tmp at the end= 70696 MiB
End job on node116 at 2012-06-04 03:24:12