Trace number 3752630

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 1800.52

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo
MD5SUM183bb2e2a61d9270f00fd9e637b7d95c
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.69
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables81558
Total number of constraints240469
Number of soft constraints81548
Number of constraints which are clauses235865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4604
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 4119029
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4119028
Biggest number in a constraint 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

2.20/2.21	c run usual solver
5.98/6.07	o 16769
5.98/6.07	c starting approximation
5.98/6.07	c factor = 2
5.98/6.07	c factor still to low - shrinking to 8204.87
5.98/6.07	c approx number of clauses: 1e+06
5.98/6.07	c current bound: 8384
45.47/45.52	c current bound: 8384
84.84/84.98	c current bound: 8384
124.35/124.48	c current bound: 8384
163.87/163.93	c current bound: 8384
203.24/203.32	c current bound: 8384
242.14/242.66	c current bound: 8384
283.72/283.87	c current bound: 8384
322.81/323.34	c current bound: 8384
362.70/362.80	c current bound: 8384
402.11/402.22	c current bound: 8384
441.50/441.61	c current bound: 8384
480.79/480.97	c current bound: 8384
520.18/520.35	c current bound: 8384
559.30/559.88	c current bound: 8384
599.27/599.40	c current bound: 8384
638.29/638.89	c current bound: 8384
677.68/678.27	c current bound: 8384
717.04/717.65	c current bound: 8384
756.82/757.04	c current bound: 8384
796.23/796.41	c current bound: 8384
835.64/835.81	c current bound: 8384
874.55/875.19	c current bound: 8384
913.92/914.56	c current bound: 8384
953.68/953.99	c current bound: 8384
993.07/993.39	c current bound: 8384
1032.69/1032.92	c current bound: 8384
1073.89/1074.58	c current bound: 8384
1113.37/1114.05	c current bound: 8384
1153.26/1153.50	c current bound: 8384
1192.64/1192.90	c current bound: 8384
1231.94/1232.27	c current bound: 8384
1271.32/1271.65	c current bound: 8384
1310.72/1311.03	c current bound: 8384
1350.11/1350.40	c current bound: 8384
1389.60/1389.90	c current bound: 8384
1428.88/1429.25	c current bound: 8384
1468.19/1468.57	c current bound: 8384
1507.19/1507.96	c current bound: 8384
1546.98/1547.40	c current bound: 8384
1586.01/1586.89	c current bound: 8384
1625.89/1626.31	c current bound: 8384
1665.16/1665.65	c current bound: 8384
1704.66/1705.16	c current bound: 8384
1744.07/1744.53	c current bound: 8384
1782.97/1783.88	c current bound: 8384
1800.06/1800.51	c error: unexpected solver exit code
1800.06/1800.51	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-3752630-1339184648/watcher-3752630-1339184648 -o /tmp/evaluation-result-3752630-1339184648/solver-3752630-1339184648 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752630-1339184648.wbo 1834517789 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: 1.84 1.97 1.99 3/177 15293
/proc/meminfo: memFree=29789084/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0

[startup+0.0489069 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 15293
/proc/meminfo: memFree=29789084/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100296 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 15293
/proc/meminfo: memFree=29789084/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300251 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 15293
/proc/meminfo: memFree=29789084/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700264 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 15293
/proc/meminfo: memFree=29789084/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50021 s]
/proc/loadavg: 1.84 1.97 1.99 3/181 15297
/proc/meminfo: memFree=29630392/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=131644 CPUtime=1.49 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) R 15293 15293 14220 0 -1 4202496 20271 0 0 0 144 5 0 0 20 0 1 0 384590748 134803456 31898 33554432000 4194304 6006132 140736071160128 140736071153960 4535954 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 32911 31898 151 443 0 32464 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140792

[startup+3.10029 s]
/proc/loadavg: 1.85 1.97 1.99 3/182 15303
/proc/meminfo: memFree=29674196/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=131644 CPUtime=2.48 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 20279 0 0 0 219 29 0 0 20 0 1 0 384590748 134803456 31905 33554432000 4194304 6006132 140736071160128 140736071153232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 32911 31905 158 443 0 32464 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 140792
heavy processes:

[startup+6.30029 s]
/proc/loadavg: 1.85 1.97 1.99 3/181 15316
/proc/meminfo: memFree=29584168/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=6.19 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 24832 50501 0 0 243 82 280 14 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 169468

[startup+12.7004 s]
/proc/loadavg: 1.87 1.97 1.99 3/183 15319
/proc/meminfo: memFree=29444228/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=6.19 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 24832 50501 0 0 243 82 280 14 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15318] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15318/stat : 15318 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384591369 9367552 267 33554432000 4194304 5064252 140734116977040 140734116975952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15318/statm: 2287 267 226 213 0 72 0
[pid=15319] ppid=15318 vsize=128012 CPUtime=6.47 cores=1,3,5,7
/proc/15319/stat : 15319 (glucose) R 15318 15293 14220 0 -1 4202496 23555 0 0 0 642 5 0 0 20 0 1 0 384591370 131084288 26215 33554432000 4194304 5208918 140734924180704 140734924178376 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15319/statm: 32003 26215 95 248 0 31752 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 306628

[startup+25.5004 s]
/proc/loadavg: 1.89 1.97 1.99 3/183 15319
/proc/meminfo: memFree=29445984/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=6.19 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 24832 50501 0 0 243 82 280 14 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15318] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15318/stat : 15318 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384591369 9367552 267 33554432000 4194304 5064252 140734116977040 140734116975952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15318/statm: 2287 267 226 213 0 72 0
[pid=15319] ppid=15318 vsize=128012 CPUtime=19.27 cores=1,3,5,7
/proc/15319/stat : 15319 (glucose) R 15318 15293 14220 0 -1 4202496 23555 0 0 0 1922 5 0 0 20 0 1 0 384591370 131084288 26215 33554432000 4194304 5208918 140734924180704 140734924178376 4211580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15319/statm: 32003 26215 95 248 0 31752 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 306628

[startup+51.1004 s]
/proc/loadavg: 1.93 1.97 1.99 3/183 15326
/proc/meminfo: memFree=29447768/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=45.63 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 28720 80974 0 0 257 84 4186 36 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15325] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15325/stat : 15325 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384595314 9367552 266 33554432000 4194304 5064252 140734430829840 140734430828752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15325/statm: 2287 266 226 213 0 72 0
[pid=15326] ppid=15325 vsize=128008 CPUtime=5.43 cores=1,3,5,7
/proc/15326/stat : 15326 (glucose) R 15325 15293 14220 0 -1 4202496 23107 0 0 0 539 4 0 0 20 0 1 0 384595314 131080192 25771 33554432000 4194304 5208918 140734911661024 140734911658696 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15326/statm: 32002 25771 95 248 0 31751 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 306624

[startup+102.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/183 15333
/proc/meminfo: memFree=29444064/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=85.09 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 32608 110997 0 0 272 86 8097 54 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15332] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15332/stat : 15332 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384599260 9367552 267 33554432000 4194304 5064252 140734513261840 140734513260752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15332/statm: 2287 267 226 213 0 72 0
[pid=15333] ppid=15332 vsize=128012 CPUtime=17.17 cores=1,3,5,7
/proc/15333/stat : 15333 (glucose) R 15332 15293 14220 0 -1 4202496 23636 0 0 0 1713 4 0 0 20 0 1 0 384599260 131084288 26307 33554432000 4194304 5208918 140737410556560 140737410554232 4211580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15333/statm: 32003 26307 95 248 0 31752 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 306628

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 15340
/proc/meminfo: memFree=29443744/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=124.59 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 36496 141550 0 0 287 88 12010 74 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15339] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15339/stat : 15339 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384603210 9367552 267 33554432000 4194304 5064252 140736623404448 140736623403360 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15339/statm: 2287 267 226 213 0 72 0
[pid=15340] ppid=15339 vsize=128012 CPUtime=37.65 cores=1,3,5,7
/proc/15340/stat : 15340 (glucose) R 15339 15293 14220 0 -1 4202496 23059 0 0 0 3761 4 0 0 20 0 1 0 384603210 131084288 26228 33554432000 4194304 5208918 140735381168224 140735381165896 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15340/statm: 32003 26228 95 248 0 31752 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 306628

[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 15354
/proc/meminfo: memFree=29442668/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=203.42 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 44272 201945 0 0 316 91 19821 114 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0

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

/proc/15604/stat : 15604 (glucose) R 15603 15293 14220 0 -1 4202496 23127 0 0 0 1170 4 0 0 20 0 1 0 384725802 131084288 26407 33554432000 4194304 5208918 140736908926448 140736908924120 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15604/statm: 32003 26407 95 248 0 31752 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 306628

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15611
/proc/meminfo: memFree=29442764/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1389.76 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 160912 1103085 0 0 753 146 137364 713 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15610] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15610/stat : 15610 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384729752 9367552 267 33554432000 4194304 5064252 140733650593600 140733650592512 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15610/statm: 2287 267 226 213 0 72 0
[pid=15611] ppid=15610 vsize=128008 CPUtime=32.25 cores=1,3,5,7
/proc/15611/stat : 15611 (glucose) R 15610 15293 14220 0 -1 4202496 22391 0 0 0 3221 4 0 0 20 0 1 0 384729752 131080192 26597 33554432000 4194304 5208918 140737217949376 140737217947048 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15611/statm: 32002 26597 95 248 0 31751 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 306624

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 15625
/proc/meminfo: memFree=29441984/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1468.42 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 168688 1161522 0 0 782 150 145157 753 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15624] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15624/stat : 15624 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384737619 9367552 267 33554432000 4194304 5064252 140734117620320 140734117619232 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15624/statm: 2287 267 226 213 0 72 0
[pid=15625] ppid=15624 vsize=128008 CPUtime=13.56 cores=1,3,5,7
/proc/15625/stat : 15625 (glucose) R 15624 15293 14220 0 -1 4202496 22914 0 0 0 1352 4 0 0 20 0 1 0 384737620 131080192 26202 33554432000 4194304 5208918 140734700836928 140734700834600 4211652 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15625/statm: 32002 26202 95 248 0 31751 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 306624

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15633
/proc/meminfo: memFree=29441952/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1507.79 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 172576 1192373 0 0 797 151 149059 772 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15632] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15632/stat : 15632 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384741558 9367552 266 33554432000 4194304 5064252 140734620634624 140734620633536 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 2287 266 226 213 0 72 0
[pid=15633] ppid=15632 vsize=128012 CPUtime=34.19 cores=1,3,5,7
/proc/15633/stat : 15633 (glucose) R 15632 15293 14220 0 -1 4202496 22369 0 0 0 3414 5 0 0 20 0 1 0 384741558 131084288 26204 33554432000 4194304 5208918 140734899122192 140734899119864 4211652 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15633/statm: 32003 26204 95 248 0 31752 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 306628

[startup+1602.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/184 15650
/proc/meminfo: memFree=29441932/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1586.63 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 180352 1252224 0 0 826 155 156869 813 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15649] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15649/stat : 15649 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384749451 9367552 267 33554432000 4194304 5064252 140736452657696 140736452656608 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15649/statm: 2287 267 226 213 0 72 0
[pid=15650] ppid=15649 vsize=128016 CPUtime=15.25 cores=1,3,5,7
/proc/15650/stat : 15650 (glucose) R 15649 15293 14220 0 -1 4202496 23076 0 0 0 1522 3 0 0 20 0 1 0 384749452 131088384 26241 33554432000 4194304 5208918 140736628864576 140736628862248 4211851 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15650/statm: 32004 26241 95 248 0 31753 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 306632

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 15664
/proc/meminfo: memFree=29447556/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1626.03 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 184240 1282216 0 0 840 157 160773 833 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15656] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15656/stat : 15656 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384753393 9367552 266 33554432000 4194304 5064252 140736481803760 140736481802672 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15656/statm: 2287 266 226 213 0 72 0
[pid=15657] ppid=15656 vsize=128008 CPUtime=35.83 cores=1,3,5,7
/proc/15657/stat : 15657 (glucose) R 15656 15293 14220 0 -1 4202496 22098 0 0 0 3579 4 0 0 20 0 1 0 384753393 131080192 26403 33554432000 4194304 5208918 140733395620752 140733395618424 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15657/statm: 32002 26403 95 248 0 31751 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 306624

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 15678
/proc/meminfo: memFree=29445364/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1704.88 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 192016 1340657 0 0 870 160 168586 872 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15677] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15677/stat : 15677 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384761278 9367552 267 33554432000 4194304 5064252 140733517689216 140733517688128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15677/statm: 2287 267 226 213 0 72 0
[pid=15678] ppid=15677 vsize=128008 CPUtime=16.98 cores=1,3,5,7
/proc/15678/stat : 15678 (glucose) R 15677 15293 14220 0 -1 4202496 21638 0 0 0 1694 4 0 0 20 0 1 0 384761279 131080192 26447 33554432000 4194304 5208918 140737265852016 140737265849688 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15678/statm: 32002 26447 95 248 0 31751 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 306624

[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 15685
/proc/meminfo: memFree=29444244/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1744.23 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 195904 1369209 0 0 884 162 172485 892 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15684] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15684/stat : 15684 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384765215 9367552 267 33554432000 4194304 5064252 140737257445200 140737257444112 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15684/statm: 2287 267 226 213 0 72 0
[pid=15685] ppid=15684 vsize=128008 CPUtime=37.61 cores=1,3,5,7
/proc/15685/stat : 15685 (glucose) R 15684 15293 14220 0 -1 4202496 22869 0 0 0 3756 5 0 0 20 0 1 0 384765216 131080192 26563 33554432000 4194304 5208918 140734950001600 140734949999272 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15685/statm: 32002 26563 95 248 0 31751 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 306624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.03 2.00 2.00 3/181 15733
/proc/meminfo: memFree=29553968/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1783.59 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 199792 1398996 0 0 899 164 176383 913 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15691] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15691/stat : 15691 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384769150 9367552 267 33554432000 4194304 5064252 140735229548928 140735229547840 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15691/statm: 2287 267 226 213 0 72 0
[pid=15692] ppid=15691 vsize=128012 CPUtime=16.47 cores=1,3,5,7
/proc/15692/stat : 15692 (glucose) R 15691 15293 14220 0 -1 4202496 22210 0 0 0 1643 4 0 0 20 0 1 0 384769150 131084288 26504 33554432000 4194304 5208918 140736340784784 140736340782456 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15692/statm: 32003 26504 95 248 0 31752 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 306628

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 15293 and gives
#  childrusage.ru_utime.tv_sec=1772
#  childrusage.ru_utime.tv_usec=832488
#  childrusage.ru_stime.tv_sec=10
#  childrusage.ru_stime.tv_usec=784360
# CPU time returned by wait4() is 1783.62
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1789.25
CPU system time (s): 10.81
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 330112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.83
system time used= 10.7844
maximum resident set size= 183120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1599764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2009760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41240
involuntary context switches= 2483

runsolver used 3.70144 second user time and 9.62154 second system time

The end

Launcher Data

Begin job on node126 at 2012-06-08 21:44:08
IDJOB=3752630
IDBENCH=78617
IDSOLVER=2336
FILE ID=node126/3752630-1339184648
RUNJOBID= node126-1339184648-15265
PBS_JOBID= 14643821
Free space on /tmp= 70732 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.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-3752630-1339184648/watcher-3752630-1339184648 -o /tmp/evaluation-result-3752630-1339184648/solver-3752630-1339184648 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752630-1339184648.wbo 1834517789 HOME HOME

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

MD5SUM BENCH= 183bb2e2a61d9270f00fd9e637b7d95c
RANDOM SEED=1834517789

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29790464 kB
Buffers:          531620 kB
Cached:          1526584 kB
SwapCached:         8292 kB
Active:          2037476 kB
Inactive:          82628 kB
Active(anon):      53252 kB
Inactive(anon):    11060 kB
Active(file):    1984224 kB
Inactive(file):    71568 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67095016 kB
Dirty:             26504 kB
Writeback:             0 kB
AnonPages:         31200 kB
Mapped:             9352 kB
Shmem:                 0 kB
Slab:             823156 kB
SReclaimable:     267028 kB
SUnreclaim:       556128 kB
KernelStack:        1392 kB
PageTables:         4044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     178156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70700 MiB
End job on node126 at 2012-06-08 22:14:09