Trace number 3753015

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 (fixed)? (TO) 1800.06 1801.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
MD5SUM51de4f9a349da19d6e38b7104085cf7d
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 benchmark23.1635
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables20605
Total number of constraints59851
Number of soft constraints20266
Number of constraints which are clauses58675
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1176
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 1021972
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1021971
Biggest number in a constraint 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 134
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.54	c run usual solver
1.47/1.51	o 3498
1.47/1.51	c starting approximation
1.47/1.51	c factor = 2
1.47/1.51	c factor still to low - shrinking to 425.343
1.47/1.51	c approx number of clauses: 1e+06
1.47/1.51	c current bound: 1749
79.50/79.86	c current bound: 1749
158.42/158.50	c current bound: 1749
235.96/236.37	c current bound: 1749
313.99/314.43	c current bound: 1749
392.98/393.44	c current bound: 1749
472.24/472.72	c current bound: 1749
550.29/550.78	c current bound: 1749
628.52/629.04	c current bound: 1749
710.13/710.68	c current bound: 1749
788.63/788.98	c current bound: 1749
872.11/872.41	c current bound: 1749
952.01/952.64	c current bound: 1749
1030.63/1031.67	c current bound: 1749
1109.20/1110.15	c current bound: 1749
1187.63/1189.07	c current bound: 1749
1266.46/1267.81	c current bound: 1749
1344.02/1345.73	c current bound: 1749
1422.22/1423.94	c current bound: 1749
1500.29/1502.27	c current bound: 1749
1578.36/1580.32	c current bound: 1749
1656.68/1658.68	c current bound: 1749
1734.70/1736.72	c current bound: 1749
1800.02/1801.71	./satsolver.sh: line 5: 20870 Terminated              ./glucose $1 > $2 2> /dev/null
1800.02/1801.71	c error: unexpected solver exit code
1800.02/1801.71	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-3753015-1339204598/watcher-3753015-1339204598 -o /tmp/evaluation-result-3753015-1339204598/solver-3753015-1339204598 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753015-1339204598.wbo 1152343992 HOME HOME 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.13 2.37 2.36 2/178 764
/proc/meminfo: memFree=30123392/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0

[startup+0.038404 s]
/proc/loadavg: 1.13 2.37 2.36 2/178 764
/proc/meminfo: memFree=30123392/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100278 s]
/proc/loadavg: 1.13 2.37 2.36 2/178 764
/proc/meminfo: memFree=30123392/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30027 s]
/proc/loadavg: 1.13 2.37 2.36 2/178 764
/proc/meminfo: memFree=30123392/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700151 s]
/proc/loadavg: 1.13 2.37 2.36 2/178 764
/proc/meminfo: memFree=30123392/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 1.13 2.37 2.36 3/184 783
/proc/meminfo: memFree=30044324/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=33436 CPUtime=1.47 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) R 764 764 718 0 -1 4202496 8599 19366 0 0 54 17 66 10 20 0 1 0 386584150 34238464 7527 33554432000 4194304 6006132 140736196958288 140736196951968 5192048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/765/statm: 8359 7527 161 443 0 7912 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42584

[startup+3.10031 s]
/proc/loadavg: 1.04 2.33 2.35 3/184 804
/proc/meminfo: memFree=29962940/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1.58 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 11500 19882 0 0 64 18 66 10 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=799] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/799/stat : 799 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386584312 9367552 267 33554432000 4194304 5064252 140736235989616 140736235988528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/799/statm: 2287 267 226 213 0 72 0
[pid=800] ppid=799 vsize=68056 CPUtime=1.46 cores=0,2,4,6
/proc/800/stat : 800 (glucose) R 799 764 718 0 -1 4202496 14004 0 0 0 144 2 0 0 20 0 1 0 386584312 69689344 15000 33554432000 4194304 5208918 140734236687072 140734236684744 4211732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/800/statm: 17014 15000 95 248 0 16763 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 135920

[startup+6.30033 s]
/proc/loadavg: 1.04 2.33 2.35 3/184 839
/proc/meminfo: memFree=29963348/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1.58 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 11500 19882 0 0 64 18 66 10 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=799] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/799/stat : 799 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386584312 9367552 267 33554432000 4194304 5064252 140736235989616 140736235988528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/799/statm: 2287 267 226 213 0 72 0
[pid=800] ppid=799 vsize=68056 CPUtime=4.66 cores=0,2,4,6
/proc/800/stat : 800 (glucose) R 799 764 718 0 -1 4202496 14004 0 0 0 464 2 0 0 20 0 1 0 386584312 69689344 15000 33554432000 4194304 5208918 140734236687072 140734236684744 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/800/statm: 17014 15000 95 248 0 16763 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 135920

[startup+12.7003 s]
/proc/loadavg: 1.18 2.32 2.35 3/184 916
/proc/meminfo: memFree=29964340/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1.58 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 11500 19882 0 0 64 18 66 10 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=799] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/799/stat : 799 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386584312 9367552 267 33554432000 4194304 5064252 140736235989616 140736235988528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/799/statm: 2287 267 226 213 0 72 0
[pid=800] ppid=799 vsize=68056 CPUtime=11.06 cores=0,2,4,6
/proc/800/stat : 800 (glucose) R 799 764 718 0 -1 4202496 14005 0 0 0 1104 2 0 0 20 0 1 0 386584312 69689344 15001 33554432000 4194304 5208918 140734236687072 140734236684744 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/800/statm: 17014 15001 95 248 0 16763 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 135920

[startup+25.5003 s]
/proc/loadavg: 1.31 2.31 2.34 3/184 1070
/proc/meminfo: memFree=30000684/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1.58 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 11500 19882 0 0 64 18 66 10 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=799] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/799/stat : 799 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386584312 9367552 267 33554432000 4194304 5064252 140736235989616 140736235988528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/799/statm: 2287 267 226 213 0 72 0
[pid=800] ppid=799 vsize=68056 CPUtime=23.86 cores=0,2,4,6
/proc/800/stat : 800 (glucose) R 799 764 718 0 -1 4202496 14005 0 0 0 2384 2 0 0 20 0 1 0 386584312 69689344 15001 33554432000 4194304 5208918 140734236687072 140734236684744 4211740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/800/statm: 17014 15001 95 248 0 16763 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 135920

[startup+51.1003 s]
/proc/loadavg: 1.54 2.29 2.33 3/182 1363
/proc/meminfo: memFree=30013996/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1.58 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 11500 19882 0 0 64 18 66 10 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=799] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/799/stat : 799 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386584312 9367552 267 33554432000 4194304 5064252 140736235989616 140736235988528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/799/statm: 2287 267 226 213 0 72 0
[pid=800] ppid=799 vsize=68056 CPUtime=49.45 cores=0,2,4,6
/proc/800/stat : 800 (glucose) R 799 764 718 0 -1 4202496 14005 0 0 0 4943 2 0 0 20 0 1 0 386584312 69689344 15001 33554432000 4194304 5208918 140734236687072 140734236684744 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/800/statm: 17014 15001 95 248 0 16763 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 135920

[startup+102.3 s]
/proc/loadavg: 1.75 2.22 2.31 3/185 1990
/proc/meminfo: memFree=30000444/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=79.92 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 14877 39972 0 0 74 20 7873 25 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=1734] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1734/stat : 1734 (satsolver.sh) S 765 764 718 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386592147 9367552 266 33554432000 4194304 5064252 140733971159808 140733971158720 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1734/statm: 2287 266 226 213 0 72 0
[pid=1735] ppid=1734 vsize=68056 CPUtime=22.3 cores=0,2,4,6
/proc/1735/stat : 1735 (glucose) R 1734 764 718 0 -1 4202496 13835 0 0 0 2228 2 0 0 20 0 1 0 386592147 69689344 15346 33554432000 4194304 5208918 140736623596432 140736623594104 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1735/statm: 17014 15346 95 248 0 16763 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 135920

[startup+162.3 s]
/proc/loadavg: 1.84 2.15 2.27 3/185 2683
/proc/meminfo: memFree=30001604/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=158.54 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 18254 60478 0 0 84 21 15707 42 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=2644] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2644/stat : 2644 (satsolver.sh) S 765 764 718 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386600011 9367552 266 33554432000 4194304 5064252 140733204778416 140733204777328 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2644/statm: 2287 266 226 213 0 72 0
[pid=2645] ppid=2644 vsize=68056 CPUtime=3.66 cores=0,2,4,6
/proc/2645/stat : 2645 (glucose) R 2644 764 718 0 -1 4202496 13682 0 0 0 364 2 0 0 20 0 1 0 386600011 69689344 14700 33554432000 4194304 5208918 140737453805216 140737453802888 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2645/statm: 17014 14700 95 248 0 16763 0
Current children cumulated CPU time (s) 162.2

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


[startup+1422.31 s]
/proc/loadavg: 2.09 2.95 2.67 3/184 17264
/proc/meminfo: memFree=29948688/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1344.47 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 68909 364878 0 0 230 42 133879 296 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=16392] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16392/stat : 16392 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386718733 9367552 267 33554432000 4194304 5064252 140736078589184 140736078588096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16392/statm: 2287 267 226 213 0 72 0
[pid=16393] ppid=16392 vsize=68056 CPUtime=76.45 cores=0,2,4,6
/proc/16393/stat : 16393 (glucose) R 16392 764 718 0 -1 4202496 14067 0 0 0 7643 2 0 0 20 0 1 0 386718734 69689344 15071 33554432000 4194304 5208918 140737481125872 140737481123544 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16393/statm: 17014 15071 95 248 0 16763 0
Current children cumulated CPU time (s) 1420.92
Current children cumulated vsize (KiB) 135920

[startup+1482.3 s]
/proc/loadavg: 2.04 2.79 2.62 3/183 17943
/proc/meminfo: memFree=29949656/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1422.68 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 72286 385781 0 0 240 43 141673 312 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=17293] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17293/stat : 17293 (satsolver.sh) S 765 764 718 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386726580 9367552 267 33554432000 4194304 5064252 140734458046544 140734458045456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17293/statm: 2287 267 226 213 0 72 0
[pid=17295] ppid=17293 vsize=68060 CPUtime=57.98 cores=0,2,4,6
/proc/17295/stat : 17295 (glucose) R 17293 764 718 0 -1 4202496 12833 0 0 0 5796 2 0 0 20 0 1 0 386726580 69693440 14793 33554432000 4194304 5208918 140736999491472 140736999489144 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17295/statm: 17015 14793 95 248 0 16764 0
Current children cumulated CPU time (s) 1480.66
Current children cumulated vsize (KiB) 135924

[startup+1542.3 s]
/proc/loadavg: 2.01 2.63 2.58 3/183 18630
/proc/meminfo: memFree=29949700/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1500.76 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 75663 405229 0 0 250 45 149452 329 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=18183] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18183/stat : 18183 (satsolver.sh) S 765 764 718 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386734388 9367552 267 33554432000 4194304 5064252 140734517288848 140734517287760 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18183/statm: 2287 267 226 213 0 72 0
[pid=18184] ppid=18183 vsize=68056 CPUtime=39.89 cores=0,2,4,6
/proc/18184/stat : 18184 (glucose) R 18183 764 718 0 -1 4202496 13951 0 0 0 3987 2 0 0 20 0 1 0 386734388 69689344 14658 33554432000 4194304 5208918 140736787977456 140736787975128 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18184/statm: 17014 14658 95 248 0 16763 0
Current children cumulated CPU time (s) 1540.65
Current children cumulated vsize (KiB) 135920

[startup+1602.3 s]
/proc/loadavg: 2.00 2.52 2.54 3/183 19313
/proc/meminfo: memFree=29927844/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1578.78 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 79040 425872 0 0 259 46 157229 344 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=19074] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19074/stat : 19074 (satsolver.sh) S 765 764 718 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386742193 9367552 267 33554432000 4194304 5064252 140734435152560 140734435151472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19074/statm: 2287 267 226 213 0 72 0
[pid=19075] ppid=19074 vsize=68052 CPUtime=21.85 cores=0,2,4,6
/proc/19075/stat : 19075 (glucose) R 19074 764 718 0 -1 4202496 12724 0 0 0 2183 2 0 0 20 0 1 0 386742193 69685248 14512 33554432000 4194304 5208918 140736757848112 140736757845784 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19075/statm: 17013 14512 95 248 0 16762 0
Current children cumulated CPU time (s) 1600.63
Current children cumulated vsize (KiB) 135916

[startup+1662.3 s]
/proc/loadavg: 1.99 2.42 2.50 3/183 20009
/proc/meminfo: memFree=29951744/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1657.14 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 82417 445336 0 0 269 48 165036 361 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=19970] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19970/stat : 19970 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386750029 9367552 267 33554432000 4194304 5064252 140735851251936 140735851250848 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19970/statm: 2287 267 226 213 0 72 0
[pid=19971] ppid=19970 vsize=68056 CPUtime=3.5 cores=0,2,4,6
/proc/19971/stat : 19971 (glucose) R 19970 764 718 0 -1 4202496 13469 0 0 0 347 3 0 0 20 0 1 0 386750029 69689344 14056 33554432000 4194304 5208918 140733753611376 140733753609048 4211521 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19971/statm: 17014 14056 95 248 0 16763 0
Current children cumulated CPU time (s) 1660.64
Current children cumulated vsize (KiB) 135920

[startup+1722.3 s]
/proc/loadavg: 2.06 2.36 2.48 4/184 20688
/proc/meminfo: memFree=29952628/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1657.14 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 82417 445336 0 0 269 48 165036 361 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=19970] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19970/stat : 19970 (satsolver.sh) S 765 764 718 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386750029 9367552 267 33554432000 4194304 5064252 140735851251936 140735851250848 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19970/statm: 2287 267 226 213 0 72 0
[pid=19971] ppid=19970 vsize=68056 CPUtime=63.49 cores=0,2,4,6
/proc/19971/stat : 19971 (glucose) R 19970 764 718 0 -1 4202496 13560 0 0 0 6346 3 0 0 20 0 1 0 386750029 69689344 14835 33554432000 4194304 5208918 140733753611376 140733753609048 4211652 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19971/statm: 17014 14835 95 248 0 16763 0
Current children cumulated CPU time (s) 1720.63
Current children cumulated vsize (KiB) 135920

[startup+1782.3 s]
/proc/loadavg: 2.02 2.29 2.44 3/183 21381
/proc/meminfo: memFree=29949524/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1735.16 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 85794 465707 0 0 279 49 172810 378 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=20869] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20869/stat : 20869 (satsolver.sh) S 765 764 718 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386757832 9367552 267 33554432000 4194304 5064252 140735543640272 140735543639184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 2287 267 226 213 0 72 0
[pid=20870] ppid=20869 vsize=68056 CPUtime=45.46 cores=0,2,4,6
/proc/20870/stat : 20870 (glucose) R 20869 764 718 0 -1 4202496 13586 0 0 0 4544 2 0 0 20 0 1 0 386757833 69689344 14542 33554432000 4194304 5208918 140734249130576 140734249128248 4211561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20870/statm: 17014 14542 95 248 0 16763 0
Current children cumulated CPU time (s) 1780.62
Current children cumulated vsize (KiB) 135920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.7 s]
/proc/loadavg: 1.93 2.25 2.43 3/183 21606
/proc/meminfo: memFree=29947480/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1735.16 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 85794 465707 0 0 279 49 172810 378 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=20869] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20869/stat : 20869 (satsolver.sh) S 765 764 718 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386757832 9367552 267 33554432000 4194304 5064252 140735543640272 140735543639184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 2287 267 226 213 0 72 0
[pid=20870] ppid=20869 vsize=68056 CPUtime=64.86 cores=0,2,4,6
/proc/20870/stat : 20870 (glucose) R 20869 764 718 0 -1 4202496 13605 0 0 0 6484 2 0 0 20 0 1 0 386757833 69689344 15072 33554432000 4194304 5208918 140734249130576 140734249128248 4211632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20870/statm: 17014 15072 95 248 0 16763 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 135920

Sending SIGTERM to process tree (bottom up)

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

[startup+1801.7 s]
/proc/loadavg: 1.93 2.25 2.43 3/183 21606
/proc/meminfo: memFree=29947480/32873844 swapFree=7632/7632
[pid=764] ppid=762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/764/stat : 764 (npSolver-wbo-It) S 762 764 718 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386584150 9367552 275 33554432000 4194304 5064252 140736021067184 140736021066096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/764/statm: 2287 275 233 213 0 72 0
[pid=765] ppid=764 vsize=49568 CPUtime=1735.16 cores=0,2,4,6
/proc/765/stat : 765 (npSolver-wbo) S 764 764 718 0 -1 4202496 85794 465707 0 0 279 49 172810 378 20 0 1 0 386584150 50757632 11399 33554432000 4194304 6006132 140736196958288 140736196949648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/765/statm: 12392 11399 177 443 0 11945 0
[pid=20869] ppid=765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20869/stat : 20869 (satsolver.sh) S 765 764 718 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386757832 9367552 267 33554432000 4194304 5064252 140735543640272 140735543639184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20869/statm: 2287 267 226 213 0 72 0
[pid=20870] ppid=20869 vsize=68056 CPUtime=64.86 cores=0,2,4,6
/proc/20870/stat : 20870 (glucose) R 20869 764 718 0 -1 4202496 13605 0 0 0 6484 2 0 0 20 0 1 0 386757833 69689344 15072 33554432000 4194304 5208918 140734249130576 140734249128248 4211632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20870/statm: 17014 15072 95 248 0 16763 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 135920

Child status: 0
Real time (s): 1801.72
CPU time (s): 1800.06
CPU user time (s): 1795.75
CPU system time (s): 4.30835
CPU usage (%): 99.9079
Max. virtual memory (cumulated for all children) (KiB): 139452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.75
system time used= 4.30835
maximum resident set size= 65024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9177
involuntary context switches= 4558

runsolver used 2.57361 second user time and 6.86596 second system time

The end

Launcher Data

Begin job on node141 at 2012-06-09 03:16:38
IDJOB=3753015
IDBENCH=79019
IDSOLVER=2336
FILE ID=node141/3753015-1339204598
RUNJOBID= node141-1339204598-734
PBS_JOBID= 14643863
Free space on /tmp= 69136 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753015-1339204598/watcher-3753015-1339204598 -o /tmp/evaluation-result-3753015-1339204598/solver-3753015-1339204598 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753015-1339204598.wbo 1152343992 HOME HOME

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

MD5SUM BENCH= 51de4f9a349da19d6e38b7104085cf7d
RANDOM SEED=1152343992

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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.92
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.744
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:        30125144 kB
Buffers:          275680 kB
Cached:          1501396 kB
SwapCached:         2544 kB
Active:           537216 kB
Inactive:        1273756 kB
Active(anon):      34548 kB
Inactive(anon):     2324 kB
Active(file):     502668 kB
Inactive(file):  1271432 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:             19108 kB
Writeback:             0 kB
AnonPages:         18696 kB
Mapped:             9260 kB
Shmem:                 0 kB
Slab:             795824 kB
SReclaimable:     237280 kB
SUnreclaim:       558544 kB
KernelStack:        1392 kB
PageTables:         3916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     157976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69272 MiB
End job on node141 at 2012-06-09 03:46:40