Trace number 3714983

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? (TO) 1800.07 1800.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
MD5SUM6ce7da05711cce00ec3b2d5a1c7699c2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.73773
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4970
Total number of constraints141
Number of soft constraints43
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
Top cost 2285
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2284
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.57	c run usual solver
7.58/7.67	o 1341
11.21/11.66	o 673
16.67/16.73	o 583
34.17/34.28	o 494
37.16/37.21	o 445
41.81/42.14	o 398
44.39/44.72	o 349
47.27/47.36	o 348
71.62/71.95	o 334
74.85/74.95	o 320
103.92/104.26	o 314
107.97/108.29	o 286
127.00/127.34	o 280
131.23/131.56	o 234
156.70/157.03	o 178
169.33/169.45	o 170
174.92/175.26	o 125
183.14/183.47	o 104
211.12/211.27	o 98
246.64/246.98	o 56
249.75/250.08	o 52
251.18/251.52	o 46
253.19/253.52	o 29
254.74/255.08	o 23
256.12/256.22	o 13
257.73/257.82	o 12
258.82/258.91	o 9
260.65/260.97	o 8
261.69/262.02	o 5
264.25/264.57	o 4
1800.07/1800.41	c error: unexpected solver exit code
1800.07/1800.41	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-3714983-1338183182/watcher-3714983-1338183182 -o /tmp/evaluation-result-3714983-1338183182/solver-3714983-1338183182 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714983-1338183182.wbo 814706955 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.12 2.18 3/179 4307
/proc/meminfo: memFree=30724168/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0

[startup+0.0511001 s]
/proc/loadavg: 2.00 2.12 2.18 3/179 4307
/proc/meminfo: memFree=30724168/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.1003 s]
/proc/loadavg: 2.00 2.12 2.18 3/179 4307
/proc/meminfo: memFree=30724168/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300272 s]
/proc/loadavg: 2.00 2.12 2.18 3/179 4307
/proc/meminfo: memFree=30724168/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700277 s]
/proc/loadavg: 2.00 2.12 2.18 3/179 4307
/proc/meminfo: memFree=30724168/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50043 s]
/proc/loadavg: 2.00 2.12 2.18 3/183 4311
/proc/meminfo: memFree=30604888/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=18776 CPUtime=0.55 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 4699 0 0 0 54 1 0 0 20 0 1 0 284443049 19226624 3630 33554432000 4194304 5990268 140734646108080 140734646101232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4308/statm: 4694 3630 156 439 0 4251 0
[pid=4310] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4310/stat : 4310 (cp2_pre.sh) S 4308 4307 32349 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284443106 9367552 277 33554432000 4194304 5064252 140737051793216 140737051791920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 2287 277 234 213 0 72 0
[pid=4311] ppid=4310 vsize=136728 CPUtime=0.92 cores=1,3,5,7
/proc/4311/stat : 4311 (coprocessor) R 4310 4307 32349 0 -1 4202496 25115 0 0 0 86 6 0 0 20 0 1 0 284443107 140009472 33240 33554432000 4194304 6586260 140736142037920 140736142033896 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/4311/statm: 34182 33240 191 584 0 33594 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 173800

[startup+3.10042 s]
/proc/loadavg: 2.00 2.12 2.18 3/183 4311
/proc/meminfo: memFree=30569764/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=18776 CPUtime=0.55 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 4699 0 0 0 54 1 0 0 20 0 1 0 284443049 19226624 3630 33554432000 4194304 5990268 140734646108080 140734646101232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4308/statm: 4694 3630 156 439 0 4251 0
[pid=4310] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4310/stat : 4310 (cp2_pre.sh) S 4308 4307 32349 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284443106 9367552 277 33554432000 4194304 5064252 140737051793216 140737051791920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 2287 277 234 213 0 72 0
[pid=4311] ppid=4310 vsize=136860 CPUtime=2.52 cores=1,3,5,7
/proc/4311/stat : 4311 (coprocessor) R 4310 4307 32349 0 -1 4202496 25156 0 0 0 246 6 0 0 20 0 1 0 284443107 140144640 33281 33554432000 4194304 6586260 140736142037920 140736142033176 4676656 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/4311/statm: 34215 33281 191 584 0 33627 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 173932

[startup+6.30035 s]
/proc/loadavg: 2.00 2.12 2.18 3/183 4311
/proc/meminfo: memFree=30568652/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=18776 CPUtime=0.55 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 4699 0 0 0 54 1 0 0 20 0 1 0 284443049 19226624 3630 33554432000 4194304 5990268 140734646108080 140734646101232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4308/statm: 4694 3630 156 439 0 4251 0
[pid=4310] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4310/stat : 4310 (cp2_pre.sh) S 4308 4307 32349 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284443106 9367552 277 33554432000 4194304 5064252 140737051793216 140737051791920 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4310/statm: 2287 277 234 213 0 72 0
[pid=4311] ppid=4310 vsize=170904 CPUtime=5.71 cores=1,3,5,7
/proc/4311/stat : 4311 (coprocessor) R 4310 4307 32349 0 -1 4202496 28394 0 0 0 539 32 0 0 20 0 1 0 284443107 175005696 40526 33554432000 4194304 6586260 140736142037920 140736142033544 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/4311/statm: 42726 40526 198 584 0 42138 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 207976

[startup+12.7004 s]
/proc/loadavg: 2.00 2.12 2.18 3/183 4335
/proc/meminfo: memFree=30641036/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=11.68 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 10742 74114 0 0 69 19 995 85 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4334] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4334/stat : 4334 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284444220 9367552 267 33554432000 4194304 5064252 140736071928192 140736071927104 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4334/statm: 2287 267 226 213 0 72 0
[pid=4335] ppid=4334 vsize=59408 CPUtime=0.99 cores=1,3,5,7
/proc/4335/stat : 4335 (glucose) R 4334 4307 32349 0 -1 4202496 11256 0 0 0 96 3 0 0 20 0 1 0 284444220 60833792 12293 33554432000 4194304 5208918 140734853998464 140734853996312 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4335/statm: 14852 12293 103 248 0 14601 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 106936

[startup+25.5005 s]
/proc/loadavg: 2.00 2.11 2.18 3/183 4349
/proc/meminfo: memFree=30631896/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=16.74 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 13160 96500 0 0 73 20 1483 98 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4341] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4341/stat : 4341 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284444725 9367552 267 33554432000 4194304 5064252 140735768446640 140735768445552 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4341/statm: 2287 267 226 213 0 72 0
[pid=4342] ppid=4341 vsize=72832 CPUtime=8.72 cores=1,3,5,7
/proc/4342/stat : 4342 (glucose) R 4341 4307 32349 0 -1 4202496 14425 0 0 0 871 1 0 0 20 0 1 0 284444726 74579968 16898 33554432000 4194304 5208918 140735961412432 140735961410376 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4342/statm: 18208 16898 104 248 0 17957 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 120360

[startup+51.1004 s]
/proc/loadavg: 2.06 2.12 2.18 3/183 4391
/proc/meminfo: memFree=30639980/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=47.35 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 22958 202794 0 0 88 22 4483 142 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4390] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4390/stat : 4390 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284447788 9367552 267 33554432000 4194304 5064252 140735711507872 140735711506784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4390/statm: 2287 267 226 213 0 72 0
[pid=4391] ppid=4390 vsize=56228 CPUtime=3.7 cores=1,3,5,7
/proc/4391/stat : 4391 (glucose) R 4390 4307 32349 0 -1 4202496 11821 0 0 0 368 2 0 0 20 0 1 0 284447788 57577472 12869 33554432000 4194304 5208918 140734313825904 140734313823848 4229251 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4391/statm: 14057 12869 104 248 0 13806 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 103756

[startup+102.307 s]
/proc/loadavg: 2.08 2.11 2.17 3/183 4433
/proc/meminfo: memFree=30624188/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=74.93 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 26724 245630 0 0 94 23 7216 160 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4418] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4418/stat : 4418 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284450546 9367552 266 33554432000 4194304 5064252 140734207634144 140734207633056 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4418/statm: 2287 266 226 213 0 72 0
[pid=4419] ppid=4418 vsize=71044 CPUtime=27.31 cores=1,3,5,7
/proc/4419/stat : 4419 (glucose) R 4418 4307 32349 0 -1 4202496 12457 0 0 0 2729 2 0 0 20 0 1 0 284450546 72749056 16372 33554432000 4194304 5208918 140736995106944 140736995104888 4212649 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4419/statm: 17761 16372 104 248 0 17510 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 118572

[startup+162.3 s]
/proc/loadavg: 2.10 2.12 2.17 3/183 4489
/proc/meminfo: memFree=30640668/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=156.98 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 35419 354944 0 0 106 25 15361 206 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4488] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/4630/stat : 4630 (glucose) R 4629 4307 32349 0 -1 4202496 21274 0 0 0 109735 18 0 0 20 0 1 0 284469507 204210176 46339 33554432000 4194304 5208918 140736844289840 140736844286216 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4630/statm: 49856 46339 105 248 0 49605 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 246952

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.04 4/183 5112
/proc/meminfo: memFree=30449052/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=264.5 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 56444 638839 0 0 128 29 25982 311 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4629] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4629/stat : 4629 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284469507 9367552 267 33554432000 4194304 5064252 140734084604912 140734084603824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4629/statm: 2287 267 226 213 0 72 0
[pid=4630] ppid=4629 vsize=199424 CPUtime=1157.52 cores=1,3,5,7
/proc/4630/stat : 4630 (glucose) R 4629 4307 32349 0 -1 4202496 21826 0 0 0 115734 18 0 0 20 0 1 0 284469507 204210176 46339 33554432000 4194304 5208918 140736844289840 140736844286216 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4630/statm: 49856 46339 105 248 0 49605 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 246952

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/183 5203
/proc/meminfo: memFree=30459256/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=264.5 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 56444 638839 0 0 128 29 25982 311 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4629] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4629/stat : 4629 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284469507 9367552 267 33554432000 4194304 5064252 140734084604912 140734084603824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4629/statm: 2287 267 226 213 0 72 0
[pid=4630] ppid=4629 vsize=201064 CPUtime=1217.51 cores=1,3,5,7
/proc/4630/stat : 4630 (glucose) R 4629 4307 32349 0 -1 4202496 22974 0 0 0 121730 21 0 0 20 0 1 0 284469507 205889536 46266 33554432000 4194304 5208918 140736844289840 140736844286216 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4630/statm: 50266 46266 105 248 0 50015 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 248592

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.03 4/183 5287
/proc/meminfo: memFree=30429988/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=264.5 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 56444 638839 0 0 128 29 25982 311 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4629] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4629/stat : 4629 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284469507 9367552 267 33554432000 4194304 5064252 140734084604912 140734084603824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4629/statm: 2287 267 226 213 0 72 0
[pid=4630] ppid=4629 vsize=231528 CPUtime=1277.5 cores=1,3,5,7
/proc/4630/stat : 4630 (glucose) R 4629 4307 32349 0 -1 4202496 24142 0 0 0 127726 24 0 0 20 0 1 0 284469507 237084672 53340 33554432000 4194304 5208918 140736844289840 140736844285656 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4630/statm: 57882 53340 105 248 0 57631 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 279056

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.03 4/183 5294
/proc/meminfo: memFree=30407756/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=264.5 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 56444 638839 0 0 128 29 25982 311 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4629] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4629/stat : 4629 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284469507 9367552 267 33554432000 4194304 5064252 140734084604912 140734084603824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4629/statm: 2287 267 226 213 0 72 0
[pid=4630] ppid=4629 vsize=231528 CPUtime=1337.49 cores=1,3,5,7
/proc/4630/stat : 4630 (glucose) R 4629 4307 32349 0 -1 4202496 24845 0 0 0 133723 26 0 0 20 0 1 0 284469507 237084672 52828 33554432000 4194304 5208918 140736844289840 140736844286152 4229552 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4630/statm: 57882 52828 105 248 0 57631 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 279056

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 4/184 5297
/proc/meminfo: memFree=30387724/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=264.5 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 56444 638839 0 0 128 29 25982 311 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4629] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4629/stat : 4629 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284469507 9367552 267 33554432000 4194304 5064252 140734084604912 140734084603824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4629/statm: 2287 267 226 213 0 72 0
[pid=4630] ppid=4629 vsize=231528 CPUtime=1397.48 cores=1,3,5,7
/proc/4630/stat : 4630 (glucose) R 4629 4307 32349 0 -1 4202496 25561 0 0 0 139720 28 0 0 20 0 1 0 284469507 237084672 52316 33554432000 4194304 5208918 140736844289840 140736844287928 4211156 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4630/statm: 57882 52316 105 248 0 57631 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 279056

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 4/184 5321
/proc/meminfo: memFree=30363148/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=264.5 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 56444 638839 0 0 128 29 25982 311 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4629] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4629/stat : 4629 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284469507 9367552 267 33554432000 4194304 5064252 140734084604912 140734084603824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4629/statm: 2287 267 226 213 0 72 0
[pid=4630] ppid=4629 vsize=262348 CPUtime=1457.47 cores=1,3,5,7
/proc/4630/stat : 4630 (glucose) R 4629 4307 32349 0 -1 4202496 26155 0 0 0 145718 29 0 0 20 0 1 0 284469507 268644352 56992 33554432000 4194304 5208918 140736844289840 140736844287992 4212649 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4630/statm: 65587 56992 105 248 0 65336 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 309876

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 4/183 5321
/proc/meminfo: memFree=30352304/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=264.5 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 56444 638839 0 0 128 29 25982 311 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4629] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4629/stat : 4629 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284469507 9367552 267 33554432000 4194304 5064252 140734084604912 140734084603824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4629/statm: 2287 267 226 213 0 72 0
[pid=4630] ppid=4629 vsize=231528 CPUtime=1517.46 cores=1,3,5,7
/proc/4630/stat : 4630 (glucose) R 4629 4307 32349 0 -1 4202496 26293 0 0 0 151716 30 0 0 20 0 1 0 284469507 237084672 55389 33554432000 4194304 5208918 140736844289840 140736844286216 4229288 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4630/statm: 57882 55389 105 248 0 57631 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 279056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 5321
/proc/meminfo: memFree=30346092/32873844 swapFree=6600/6600
[pid=4307] ppid=4305 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4307/stat : 4307 (npSolver-wbo-It) S 4305 4307 32349 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284443049 9367552 275 33554432000 4194304 5064252 140734418155808 140734418154720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4307/statm: 2287 275 233 213 0 72 0
[pid=4308] ppid=4307 vsize=29232 CPUtime=264.5 cores=1,3,5,7
/proc/4308/stat : 4308 (npSolver-wbo) S 4307 4307 32349 0 -1 4202496 56444 638839 0 0 128 29 25982 311 20 0 1 0 284443049 29933568 6222 33554432000 4194304 5990268 140734646108080 140734646099504 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4308/statm: 7308 6222 164 439 0 6865 0
[pid=4629] ppid=4308 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4629/stat : 4629 (satsolver.sh) S 4308 4307 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284469507 9367552 267 33554432000 4194304 5064252 140734084604912 140734084603824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4629/statm: 2287 267 226 213 0 72 0
[pid=4630] ppid=4629 vsize=262348 CPUtime=1535.57 cores=1,3,5,7
/proc/4630/stat : 4630 (glucose) R 4629 4307 32349 0 -1 4202496 26886 0 0 0 153526 31 0 0 20 0 1 0 284469507 268644352 56992 33554432000 4194304 5208918 140736844289840 140736844287992 4229155 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4630/statm: 65587 56992 105 248 0 65336 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 309876

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 4307 and gives
#  childrusage.ru_utime.tv_sec=261
#  childrusage.ru_utime.tv_usec=113304
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=408481
# CPU time returned by wait4() is 264.522
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1796.36
CPU system time (s): 3.71
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 359196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 261.113
system time used= 3.40848
maximum resident set size= 164420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 696264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 420160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12790
involuntary context switches= 764

runsolver used 4.67329 second user time and 9.92049 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-28 07:33:02
IDJOB=3714983
IDBENCH=78727
IDSOLVER=2296
FILE ID=node140/3714983-1338183182
RUNJOBID= node140-1338159152-32366
PBS_JOBID= 14624551
Free space on /tmp= 71320 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3714983-1338183182/watcher-3714983-1338183182 -o /tmp/evaluation-result-3714983-1338183182/solver-3714983-1338183182 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3714983-1338183182.wbo 814706955 HOME HOME

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

MD5SUM BENCH= 6ce7da05711cce00ec3b2d5a1c7699c2
RANDOM SEED=814706955

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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.094
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		: 2667.094
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.88
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.094
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		: 2667.094
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:        30724168 kB
Buffers:          444804 kB
Cached:           762516 kB
SwapCached:         1488 kB
Active:           988108 kB
Inactive:         291220 kB
Active(anon):      63856 kB
Inactive(anon):     8604 kB
Active(file):     924252 kB
Inactive(file):   282616 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105304 kB
Dirty:             11544 kB
Writeback:             0 kB
AnonPages:        106428 kB
Mapped:            12628 kB
Shmem:                 8 kB
Slab:             729808 kB
SReclaimable:     171864 kB
SUnreclaim:       557944 kB
KernelStack:        1520 kB
PageTables:         3900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     189656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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= 71292 MiB
End job on node140 at 2012-05-28 08:03:02