Trace number 3715373

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
npSolver inc-topdown-quickBound? (TO) 1800.03 1801.11

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/
normalized-j9015_10-unsat--soft-33-100-0.wbo
MD5SUM3402b4987c79c2ab9cecc3296840b6e6
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark2.71559
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables14196
Total number of constraints44553
Number of soft constraints29847
Number of constraints which are clauses44245
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints308
Minimum length of a constraint1
Maximum length of a constraint90
Top cost 1501276
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1501275
Biggest number in a constraint 66
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 565
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

4.28/4.38	c run usual solver
42.99/43.27	o 6839
42.99/43.27	c starting approximation
42.99/43.27	c factor = 2
42.99/43.27	c factor still to low - shrinking to 616.638
42.99/43.27	c approx number of clauses: 1e+06
42.99/43.27	c current bound: 3419
86.52/86.80	c current bound: 3419
130.05/130.33	c current bound: 3419
173.62/173.89	c current bound: 3419
217.14/217.43	c current bound: 3419
260.51/260.80	c current bound: 3419
303.78/304.09	c current bound: 3419
347.03/347.38	c current bound: 3419
390.22/390.67	c current bound: 3419
433.71/434.18	c current bound: 3419
477.18/477.69	c current bound: 3419
520.54/521.06	c current bound: 3419
564.38/564.90	c current bound: 3419
610.37/610.91	c current bound: 3419
654.13/654.67	c current bound: 3419
698.15/698.69	c current bound: 3419
741.77/742.32	c current bound: 3419
785.21/785.78	c current bound: 3419
828.95/829.46	c current bound: 3419
872.77/873.34	c current bound: 3419
916.30/916.90	c current bound: 3419
959.63/960.23	c current bound: 3419
1003.11/1003.73	c current bound: 3419
1046.69/1047.26	c current bound: 3419
1090.03/1090.68	c current bound: 3419
1133.55/1134.19	c current bound: 3419
1176.85/1177.53	c current bound: 3419
1220.28/1220.98	c current bound: 3419
1263.64/1264.33	c current bound: 3419
1306.95/1307.76	c current bound: 3419
1350.33/1351.15	c current bound: 3419
1394.11/1394.94	c current bound: 3419
1437.43/1438.26	c current bound: 3419
1481.22/1482.07	c current bound: 3419
1524.81/1525.66	c current bound: 3419
1568.21/1569.08	c current bound: 3419
1611.86/1612.74	c current bound: 3419
1655.23/1656.14	c current bound: 3419
1698.84/1699.78	c current bound: 3419
1742.69/1743.51	c current bound: 3419
1786.42/1787.50	c current bound: 3419
1800.03/1801.11	c error: unexpected solver exit code
1800.03/1801.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-3715373-1338172043/watcher-3715373-1338172043 -o /tmp/evaluation-result-3715373-1338172043/solver-3715373-1338172043 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715373-1338172043.wbo 1951456978 HOME HOME 

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.00 2.00 2.00 3/179 6069
/proc/meminfo: memFree=30769500/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0

[startup+0.102208 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6069
/proc/meminfo: memFree=30769500/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200281 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6069
/proc/meminfo: memFree=30769500/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300327 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6069
/proc/meminfo: memFree=30769500/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700298 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6069
/proc/meminfo: memFree=30769500/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/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.00 3/181 6071
/proc/meminfo: memFree=30637128/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=166464 CPUtime=1.48 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) R 6069 6069 15230 0 -1 4202496 7108 0 0 0 145 3 0 0 20 0 1 0 283332869 170459136 33133 33554432000 4194304 5990268 140735276812784 140735276808664 4521673 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6070/statm: 41616 33133 145 439 0 41173 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 175612

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6071
/proc/meminfo: memFree=30636756/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=166464 CPUtime=3.08 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) R 6069 6069 15230 0 -1 4202496 7108 0 0 0 305 3 0 0 20 0 1 0 283332869 170459136 33133 33554432000 4194304 5990268 140735276812784 140735276808664 4989522 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6070/statm: 41616 33133 145 439 0 41173 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 175612

[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6073
/proc/meminfo: memFree=30156868/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=166464 CPUtime=4.42 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 7641 0 0 0 424 18 0 0 20 0 1 0 283332869 170459136 36213 33554432000 4194304 5990268 140735276812784 140735276805936 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6070/statm: 41616 36213 153 439 0 41173 0
[pid=6072] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6072/stat : 6072 (cp2_pre.sh) S 6070 6069 15230 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 283333312 9367552 276 33554432000 4194304 5064252 140735101304016 140735101302720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6072/statm: 2287 276 234 213 0 72 0
[pid=6073] ppid=6072 vsize=558380 CPUtime=1.86 cores=1,3,5,7
/proc/6073/stat : 6073 (coprocessor) R 6072 6069 15230 0 -1 4202496 45342 0 0 0 171 15 0 0 20 0 1 0 283333312 571781120 120441 33554432000 4194304 6586260 140736508085536 140736508081800 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/6073/statm: 139595 120442 164 584 0 139007 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 743140

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6073
/proc/meminfo: memFree=29842712/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=166464 CPUtime=4.42 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 7641 0 0 0 424 18 0 0 20 0 1 0 283332869 170459136 36213 33554432000 4194304 5990268 140735276812784 140735276805936 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6070/statm: 41616 36213 153 439 0 41173 0
[pid=6072] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6072/stat : 6072 (cp2_pre.sh) S 6070 6069 15230 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 283333312 9367552 276 33554432000 4194304 5064252 140735101304016 140735101302720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6072/statm: 2287 276 234 213 0 72 0
[pid=6073] ppid=6072 vsize=734076 CPUtime=8.26 cores=1,3,5,7
/proc/6073/stat : 6073 (coprocessor) R 6072 6069 15230 0 -1 4202496 73402 0 0 0 804 22 0 0 20 0 1 0 283333312 751693824 179672 33554432000 4194304 6586260 140736508085536 140736508080904 5599613 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/6073/statm: 183519 179672 189 584 0 182931 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 918836

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6073
/proc/meminfo: memFree=29841728/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=166464 CPUtime=4.42 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 7641 0 0 0 424 18 0 0 20 0 1 0 283332869 170459136 36213 33554432000 4194304 5990268 140735276812784 140735276805936 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6070/statm: 41616 36213 153 439 0 41173 0
[pid=6072] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6072/stat : 6072 (cp2_pre.sh) S 6070 6069 15230 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 283333312 9367552 276 33554432000 4194304 5064252 140735101304016 140735101302720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6072/statm: 2287 276 234 213 0 72 0
[pid=6073] ppid=6072 vsize=735264 CPUtime=21.06 cores=1,3,5,7
/proc/6073/stat : 6073 (coprocessor) R 6072 6069 15230 0 -1 4202496 73718 0 0 0 2084 22 0 0 20 0 1 0 283333312 752910336 179988 33554432000 4194304 6586260 140736508085536 140736508081128 5599574 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/6073/statm: 183816 179988 189 584 0 183228 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 920024

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6083
/proc/meminfo: memFree=30158724/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=166468 CPUtime=43.21 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 12061 136951 0 0 510 324 3412 75 20 0 1 0 283332869 170463232 36237 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6070/statm: 41617 36237 176 439 0 41174 0
[pid=6082] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6082/stat : 6082 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283337207 9367552 267 33554432000 4194304 5064252 140736718214800 140736718213712 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6082/statm: 2287 267 226 213 0 72 0
[pid=6083] ppid=6082 vsize=399088 CPUtime=7.71 cores=1,3,5,7
/proc/6083/stat : 6083 (glucose) R 6082 6069 15230 0 -1 4202496 59412 0 0 0 757 14 0 0 20 0 1 0 283337207 408666112 83801 33554432000 4194304 5208918 140736980547520 140736980545464 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6083/statm: 99772 83801 95 248 0 99521 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 583852

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6090
/proc/meminfo: memFree=30140360/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=187364 CPUtime=86.74 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 16008 207809 0 0 527 327 7701 119 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
[pid=6089] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6089/stat : 6089 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283341560 9367552 267 33554432000 4194304 5064252 140733397418576 140733397417488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 2287 267 226 213 0 72 0
[pid=6090] ppid=6089 vsize=399220 CPUtime=15.38 cores=1,3,5,7
/proc/6090/stat : 6090 (glucose) R 6089 6069 15230 0 -1 4202496 59557 0 0 0 1522 16 0 0 20 0 1 0 283341560 408801280 83275 33554432000 4194304 5208918 140734496628208 140734496626056 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6090/statm: 99805 83275 95 248 0 99554 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 604880

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6101
/proc/meminfo: memFree=30130840/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=187364 CPUtime=130.26 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 19953 278525 0 0 545 328 11990 163 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
[pid=6096] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6096/stat : 6096 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283345913 9367552 267 33554432000 4194304 5064252 140733347101888 140733347100800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6096/statm: 2287 267 226 213 0 72 0
[pid=6097] ppid=6096 vsize=399220 CPUtime=31.85 cores=1,3,5,7
/proc/6097/stat : 6097 (glucose) R 6096 6069 15230 0 -1 4202496 56905 0 0 0 3169 16 0 0 20 0 1 0 283345913 408801280 84003 33554432000 4194304 5208918 140737436040800 140737436038648 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6097/statm: 99805 84003 95 248 0 99554 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 604880

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6115
/proc/meminfo: memFree=30132820/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 130413 2234222 0 0 1038 378 132174 1464 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
[pid=6302] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6302/stat : 6302 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283467995 9367552 267 33554432000 4194304 5064252 140735407287888 140735407286800 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6302/statm: 2287 267 226 213 0 72 0
[pid=6303] ppid=6302 vsize=399224 CPUtime=11.03 cores=1,3,5,7
/proc/6303/stat : 6303 (glucose) R 6302 6069 15230 0 -1 4202496 59490 0 0 0 1089 14 0 0 20 0 1 0 283467995 408805376 83213 33554432000 4194304 5208918 140736818333376 140736818331224 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 99806 83213 95 248 0 99555 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 604884

[startup+1422.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/183 6314
/proc/meminfo: memFree=30074380/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=187364 CPUtime=1394.33 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 134358 2304927 0 0 1056 380 136487 1510 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
[pid=6313] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6313/stat : 6313 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283472374 9367552 267 33554432000 4194304 5064252 140734309543392 140734309542304 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6313/statm: 2287 267 226 213 0 72 0
[pid=6314] ppid=6313 vsize=399224 CPUtime=27.23 cores=1,3,5,7
/proc/6314/stat : 6314 (glucose) R 6313 6069 15230 0 -1 4202496 57481 0 0 0 2710 13 0 0 20 0 1 0 283472374 408805376 83967 33554432000 4194304 5208918 140735544108880 140735544106728 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6314/statm: 99806 83967 95 248 0 99555 0
Current children cumulated CPU time (s) 1421.56
Current children cumulated vsize (KiB) 604884

[startup+1482.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/183 6324
/proc/meminfo: memFree=30361196/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=187364 CPUtime=1481.44 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 142248 2440722 0 0 1091 384 145066 1603 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
Current children cumulated CPU time (s) 1481.44
Current children cumulated vsize (KiB) 196512

[startup+1542.31 s]
/proc/loadavg: 2.02 2.05 2.01 3/183 6335
/proc/meminfo: memFree=30069192/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=187364 CPUtime=1525.03 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 146193 2511345 0 0 1109 386 149359 1649 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
[pid=6334] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6334/stat : 6334 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283485446 9367552 266 33554432000 4194304 5064252 140733336702592 140733336701504 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6334/statm: 2287 266 226 213 0 72 0
[pid=6335] ppid=6334 vsize=399216 CPUtime=16.52 cores=1,3,5,7
/proc/6335/stat : 6335 (glucose) R 6334 6069 15230 0 -1 4202496 57040 0 0 0 1636 16 0 0 20 0 1 0 283485446 408797184 84704 33554432000 4194304 5208918 140734253330512 140734253328360 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6335/statm: 99804 84704 95 248 0 99553 0
Current children cumulated CPU time (s) 1541.55
Current children cumulated vsize (KiB) 604876

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 6342
/proc/meminfo: memFree=30074172/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=187364 CPUtime=1568.42 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 150138 2578868 0 0 1126 387 153636 1693 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
[pid=6341] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6341/stat : 6341 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283489788 9367552 267 33554432000 4194304 5064252 140735515351728 140735515350640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6341/statm: 2287 267 226 213 0 72 0
[pid=6342] ppid=6341 vsize=399348 CPUtime=33.08 cores=1,3,5,7
/proc/6342/stat : 6342 (glucose) R 6341 6069 15230 0 -1 4202496 58655 0 0 0 3292 16 0 0 20 0 1 0 283489788 408932352 83526 33554432000 4194304 5208918 140734805629424 140734805627272 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6342/statm: 99837 83526 95 248 0 99586 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 605008

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 6357
/proc/meminfo: memFree=30072700/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=187364 CPUtime=1655.44 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 158028 2717593 0 0 1161 391 162210 1782 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
[pid=6355] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6355/stat : 6355 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283498494 9367552 267 33554432000 4194304 5064252 140737340345904 140737340344816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6355/statm: 2287 267 226 213 0 72 0
[pid=6356] ppid=6355 vsize=399084 CPUtime=6.04 cores=1,3,5,7
/proc/6356/stat : 6356 (glucose) R 6355 6069 15230 0 -1 4202496 59398 0 0 0 586 18 0 0 20 0 1 0 283498494 408662016 83788 33554432000 4194304 5208918 140737239716400 140737239714344 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6356/statm: 99771 83788 95 248 0 99520 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 604744

[startup+1722.3 s]
/proc/loadavg: 2.35 2.13 2.03 3/183 6557
/proc/meminfo: memFree=30006224/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=187364 CPUtime=1699.09 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 161973 2788927 0 0 1179 393 166499 1838 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
[pid=6483] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6483/stat : 6483 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283502858 9367552 266 33554432000 4194304 5064252 140735278449120 140735278448032 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6483/statm: 2287 266 226 213 0 72 0
[pid=6484] ppid=6483 vsize=399216 CPUtime=22.39 cores=1,3,5,7
/proc/6484/stat : 6484 (glucose) R 6483 6069 15230 0 -1 4202496 55943 0 0 0 2225 14 0 0 20 0 1 0 283502859 408797184 84135 33554432000 4194304 5208918 140736319147392 140736319145240 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6484/statm: 99804 84135 95 248 0 99553 0
Current children cumulated CPU time (s) 1721.48
Current children cumulated vsize (KiB) 604876

[startup+1782.3 s]
/proc/loadavg: 2.13 2.10 2.02 3/184 6772
/proc/meminfo: memFree=30134552/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=187364 CPUtime=1742.81 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 165918 2855303 0 0 1196 395 170808 1882 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
[pid=6640] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6640/stat : 6640 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283507231 9367552 267 33554432000 4194304 5064252 140735717491392 140735717490304 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6640/statm: 2287 267 226 213 0 72 0
[pid=6641] ppid=6640 vsize=399352 CPUtime=38.66 cores=1,3,5,7
/proc/6641/stat : 6641 (glucose) R 6640 6069 15230 0 -1 4202496 56905 0 0 0 3852 14 0 0 20 0 1 0 283507232 408936448 84006 33554432000 4194304 5208918 140736900217424 140736900215368 4211792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6641/statm: 99838 84006 95 248 0 99587 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 605012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 2.17 2.11 2.03 3/184 6842
/proc/meminfo: memFree=30158128/32873844 swapFree=7108/7108
[pid=6069] ppid=6067 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6069/stat : 6069 (npSolver-wbo-It) S 6067 6069 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283332869 9367552 275 33554432000 4194304 5064252 140734776035872 140734776034784 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6069/statm: 2287 275 233 213 0 72 0
[pid=6070] ppid=6069 vsize=187364 CPUtime=1786.55 cores=1,3,5,7
/proc/6070/stat : 6070 (npSolver-wbo) S 6069 6069 15230 0 -1 4202496 169863 2923900 0 0 1214 397 175114 1930 20 0 1 0 283332869 191860736 41023 33554432000 4194304 5990268 140735276812784 140735276804192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6070/statm: 46841 41023 177 439 0 46398 0
[pid=6796] ppid=6070 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6796/stat : 6796 (satsolver.sh) S 6070 6069 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283511630 9367552 267 33554432000 4194304 5064252 140736844203232 140736844202144 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6796/statm: 2287 267 226 213 0 72 0
[pid=6797] ppid=6796 vsize=399220 CPUtime=13.48 cores=1,3,5,7
/proc/6797/stat : 6797 (glucose) R 6796 6069 15230 0 -1 4202496 57949 0 0 0 1331 17 0 0 20 0 1 0 283511631 408801280 83847 33554432000 4194304 5208918 140733879922768 140733879920616 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6797/statm: 99805 83847 95 248 0 99554 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 604880

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6069 and gives
#  childrusage.ru_utime.tv_sec=1763
#  childrusage.ru_utime.tv_usec=281940
#  childrusage.ru_stime.tv_sec=23
#  childrusage.ru_stime.tv_usec=283460
# CPU time returned by wait4() is 1786.57
# 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): 1801.11
CPU time (s): 1800.03
CPU user time (s): 1776.59
CPU system time (s): 23.44
CPU usage (%): 99.9398
Max. virtual memory (cumulated for all children) (KiB): 920160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.28
system time used= 23.2835
maximum resident set size= 749548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3094741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7620224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112118
involuntary context switches= 2885

runsolver used 3.03854 second user time and 8.47171 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-28 04:27:23
IDJOB=3715373
IDBENCH=78649
IDSOLVER=2297
FILE ID=node103/3715373-1338172043
RUNJOBID= node103-1338166500-15763
PBS_JOBID= 14624530
Free space on /tmp= 71524 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/normalized-j9015_10-unsat--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715373-1338172043/watcher-3715373-1338172043 -o /tmp/evaluation-result-3715373-1338172043/solver-3715373-1338172043 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715373-1338172043.wbo 1951456978 HOME HOME

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

MD5SUM BENCH= 3402b4987c79c2ab9cecc3296840b6e6
RANDOM SEED=1951456978

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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.189
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		: 2666.189
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	: 5411.36
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.189
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.189
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:        30770028 kB
Buffers:          391496 kB
Cached:           657664 kB
SwapCached:         4500 kB
Active:           909400 kB
Inactive:         351044 kB
Active(anon):     207664 kB
Inactive(anon):     6216 kB
Active(file):     701736 kB
Inactive(file):   344828 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099572 kB
Dirty:              9748 kB
Writeback:             0 kB
AnonPages:        434496 kB
Mapped:            12644 kB
Shmem:                 8 kB
Slab:             702248 kB
SReclaimable:     144564 kB
SUnreclaim:       557684 kB
KernelStack:        1520 kB
PageTables:         4828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     369148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71336 MiB
End job on node103 at 2012-05-28 04:57:24