Trace number 3753060

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.14 1800.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-dsjc125-1-5_wcsp.wbo
MD5SUM1e03c0838cb45b8ff7a074bb8c15e2b5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.022996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables625
Total number of constraints3805
Number of soft constraints3680
Number of constraints which are clauses3680
Number of constraints which are cardinality constraints (but not clauses)125
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint5
Top cost 737
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 3680
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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.04	c run usual solver
0.00/0.13	o 51
0.00/0.13	c starting approximation
0.00/0.13	c factor = 1
0.00/0.13	c can not find a suitable factor, leaving approximation
0.00/0.13	c finished approximation
0.00/0.13	c (debug) using card networks
0.00/0.81	o 32
0.00/0.81	c (debug) using card networks
1.23/1.49	o 31
1.23/1.49	c (debug) using card networks
2.21/2.47	o 30
2.21/2.47	c (debug) using card networks
3.20/3.45	o 29
3.20/3.45	c (debug) using card networks
4.77/4.80	o 28
4.77/4.80	c (debug) using card networks
5.44/5.58	o 27
5.44/5.58	c (debug) using card networks
6.09/6.37	o 26
6.09/6.37	c (debug) using card networks
11.72/12.00	o 25
11.72/12.00	c (debug) using card networks
13.46/13.74	o 24
13.46/13.74	c (debug) using card networks
15.43/15.71	o 23
15.43/15.71	c (debug) using card networks
16.48/16.89	o 22
16.48/16.89	c (debug) using card networks
18.60/18.81	o 21
18.60/18.81	c (debug) using card networks
20.29/20.71	o 20
20.29/20.71	c (debug) using card networks
22.03/22.20	o 19
22.03/22.20	c (debug) using card networks
23.10/23.52	o 18
23.10/23.52	c (debug) using card networks
24.68/25.10	o 17
182.39/182.65	o 16
336.74/337.16	o 15
490.39/490.83	o 14
648.96/649.44	o 13
803.27/803.78	o 12
950.10/950.62	o 11
1092.09/1092.64	o 10
1227.86/1228.42	o 9
1356.80/1357.34	o 8
1483.29/1483.89	o 7
1607.00/1607.63	o 6
1731.93/1732.59	o 5
1800.10/1800.71	./satsolver.sh: line 5:  2532 Terminated              ./glucose $1 > $2 2> /dev/null
1800.10/1800.71	c error: unexpected solver exit code
1800.10/1800.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-3753060-1339213647/watcher-3753060-1339213647 -o /tmp/evaluation-result-3753060-1339213647/solver-3753060-1339213647 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753060-1339213647.wbo 2017031021 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.06 2.04 1.98 3/179 2260
/proc/meminfo: memFree=29139252/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0

[startup+0.070886 s]
/proc/loadavg: 2.06 2.04 1.98 3/179 2260
/proc/meminfo: memFree=29139252/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100211 s]
/proc/loadavg: 2.06 2.04 1.98 3/179 2260
/proc/meminfo: memFree=29139252/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300198 s]
/proc/loadavg: 2.06 2.04 1.98 3/179 2260
/proc/meminfo: memFree=29139252/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700279 s]
/proc/loadavg: 2.06 2.04 1.98 3/179 2260
/proc/meminfo: memFree=29139252/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 2.06 2.04 1.98 3/183 2281
/proc/meminfo: memFree=29081608/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=1.47 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) R 2260 2260 30487 0 -1 4202496 6654 34572 0 0 21 4 93 29 20 0 1 0 387493147 22622208 4817 33554432000 4194304 6006132 140737020872752 140737020864720 5089747 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4817 189 443 0 5076 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31240

[startup+3.10026 s]
/proc/loadavg: 2.06 2.04 1.98 3/183 2288
/proc/meminfo: memFree=29077948/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=2.54 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 10511 47162 0 0 37 6 170 41 20 0 1 0 387493147 22622208 4817 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4817 189 443 0 5076 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 31240

[startup+6.30032 s]
/proc/loadavg: 2.05 2.04 1.98 3/183 2312
/proc/meminfo: memFree=29102156/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=6.09 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 16902 94916 0 0 61 8 461 79 20 0 1 0 387493147 22622208 4817 33554432000 4194304 6006132 140737020872752 140737020863632 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4817 189 443 0 5076 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 31240

[startup+12.7003 s]
/proc/loadavg: 2.05 2.04 1.98 3/181 2327
/proc/meminfo: memFree=29106612/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=12.05 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 21151 112309 0 0 77 10 1016 102 20 0 1 0 387493147 22622208 4817 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4817 189 443 0 5076 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 31240

[startup+25.5003 s]
/proc/loadavg: 1.96 2.02 1.98 2/174 2411
/proc/meminfo: memFree=29594040/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=25 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 38224 216674 0 0 140 16 2138 206 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2410] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387495664 9367552 266 33554432000 4194304 5064252 140735521631152 140735521630064 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2410/statm: 2287 266 226 213 0 72 0
[pid=2411] ppid=2410 vsize=36708 CPUtime=0.31 cores=1,3,5,7
/proc/2411/stat : 2411 (glucose) R 2410 2260 30487 0 -1 4202496 8023 0 0 0 29 2 0 0 20 0 1 0 387495664 37588992 8198 33554432000 4194304 5208918 140734514880224 140734514878632 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2411/statm: 9177 8198 95 248 0 8926 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 77096

[startup+51.1003 s]
/proc/loadavg: 1.63 1.93 1.95 2/174 2411
/proc/meminfo: memFree=29575400/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=25 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 38224 216674 0 0 140 16 2138 206 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2410] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387495664 9367552 266 33554432000 4194304 5064252 140735521631152 140735521630064 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2410/statm: 2287 266 226 213 0 72 0
[pid=2411] ppid=2410 vsize=39560 CPUtime=25.9 cores=1,3,5,7
/proc/2411/stat : 2411 (glucose) R 2410 2260 30487 0 -1 4202496 8328 0 0 0 2588 2 0 0 20 0 1 0 387495664 40509440 8577 33554432000 4194304 5208918 140734514880224 140734514878072 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2411/statm: 9890 8577 95 248 0 9639 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 79948

[startup+102.306 s]
/proc/loadavg: 1.27 1.79 1.90 2/174 2411
/proc/meminfo: memFree=29573972/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=25 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 38224 216674 0 0 140 16 2138 206 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2410] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387495664 9367552 266 33554432000 4194304 5064252 140735521631152 140735521630064 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2410/statm: 2287 266 226 213 0 72 0
[pid=2411] ppid=2410 vsize=39692 CPUtime=77.1 cores=1,3,5,7
/proc/2411/stat : 2411 (glucose) R 2410 2260 30487 0 -1 4202496 9338 0 0 0 7708 2 0 0 20 0 1 0 387495664 40644608 8772 33554432000 4194304 5208918 140734514880224 140734514878312 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2411/statm: 9923 8772 96 248 0 9672 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 80080

[startup+162.3 s]
/proc/loadavg: 1.16 1.66 1.85 2/175 2414
/proc/meminfo: memFree=29570180/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=25 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 38224 216674 0 0 140 16 2138 206 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2410] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2410/stat : 2410 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387495664 9367552 266 33554432000 4194304 5064252 140735521631152 140735521630064 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2410/statm: 2287 266 226 213 0 72 0
[pid=2411] ppid=2410 vsize=44376 CPUtime=137.08 cores=1,3,5,7
/proc/2411/stat : 2411 (glucose) R 2410 2260 30487 0 -1 4202496 9902 0 0 0 13706 2 0 0 20 0 1 0 387495664 45441024 9841 33554432000 4194304 5208918 140734514880224 140734514878072 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2411/statm: 11094 9841 96 248 0 10843 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 84764

[startup+222.3 s]
/proc/loadavg: 1.10 1.55 1.79 2/174 2421
/proc/meminfo: memFree=29577284/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=182.51 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 40073 231895 0 0 146 17 17869 219 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2420] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2420/stat : 2420 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387511418 9367552 266 33554432000 4194304 5064252 140734183657488 140734183656400 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2420/statm: 2287 266 226 213 0 72 0
[pid=2421] ppid=2420 vsize=35996 CPUtime=39.55 cores=1,3,5,7
/proc/2421/stat : 2421 (glucose) R 2420 2260 30487 0 -1 4202496 7868 0 0 0 3954 1 0 0 20 0 1 0 387511418 36859904 8109 33554432000 4194304 5208918 140736171867520 140736171865368 4211632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2421/statm: 8999 8109 95 248 0 8748 0
Current children cumulated CPU time (s) 222.06

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


[startup+1422.31 s]
/proc/loadavg: 1.02 1.06 1.24 2/174 2510
/proc/meminfo: memFree=29593904/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=1356.9 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 53086 327693 0 0 178 22 135197 293 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2509] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2509/stat : 2509 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387628883 9367552 266 33554432000 4194304 5064252 140736230711152 140736230710064 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2509/statm: 2287 266 226 213 0 72 0
[pid=2510] ppid=2509 vsize=20244 CPUtime=64.9 cores=1,3,5,7
/proc/2510/stat : 2510 (glucose) R 2509 2260 30487 0 -1 4202496 5328 0 0 0 6489 1 0 0 20 0 1 0 387628884 20729856 4464 33554432000 4194304 5208918 140733275640032 140733275638184 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2510/statm: 5061 4464 96 248 0 4810 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 60632

[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.22 2/174 2511
/proc/meminfo: memFree=29590300/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=1356.9 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 53086 327693 0 0 178 22 135197 293 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2509] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2509/stat : 2509 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387628883 9367552 266 33554432000 4194304 5064252 140736230711152 140736230710064 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2509/statm: 2287 266 226 213 0 72 0
[pid=2510] ppid=2509 vsize=23228 CPUtime=124.88 cores=1,3,5,7
/proc/2510/stat : 2510 (glucose) R 2509 2260 30487 0 -1 4202496 5718 0 0 0 12487 1 0 0 20 0 1 0 387628884 23785472 5361 33554432000 4194304 5208918 140733275640032 140733275637880 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2510/statm: 5807 5361 96 248 0 5556 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 63616

[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.21 2/174 2518
/proc/meminfo: memFree=29596248/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=1483.4 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 54277 337733 0 0 180 22 147838 300 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2517] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2517/stat : 2517 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387641538 9367552 266 33554432000 4194304 5064252 140734882824576 140734882823488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2517/statm: 2287 266 226 213 0 72 0
[pid=2518] ppid=2517 vsize=18476 CPUtime=58.35 cores=1,3,5,7
/proc/2518/stat : 2518 (glucose) R 2517 2260 30487 0 -1 4202496 4284 0 0 0 5834 1 0 0 20 0 1 0 387641538 18919424 3932 33554432000 4194304 5208918 140733725557312 140733725555464 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2518/statm: 4619 3932 96 248 0 4368 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 58864

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.19 2/174 2518
/proc/meminfo: memFree=29592584/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=1483.4 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 54277 337733 0 0 180 22 147838 300 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2517] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2517/stat : 2517 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387641538 9367552 266 33554432000 4194304 5064252 140734882824576 140734882823488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2517/statm: 2287 266 226 213 0 72 0
[pid=2518] ppid=2517 vsize=21460 CPUtime=118.34 cores=1,3,5,7
/proc/2518/stat : 2518 (glucose) R 2517 2260 30487 0 -1 4202496 5201 0 0 0 11833 1 0 0 20 0 1 0 387641538 21975040 4844 33554432000 4194304 5208918 140733725557312 140733725555160 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2518/statm: 5365 4844 96 248 0 5114 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 61848

[startup+1662.3 s]
/proc/loadavg: 1.08 1.04 1.18 2/174 2525
/proc/meminfo: memFree=29598852/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=1607.11 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 55374 347219 0 0 182 23 160200 306 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2524] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2524/stat : 2524 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387653912 9367552 266 33554432000 4194304 5064252 140735919210352 140735919209264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2524/statm: 2287 266 226 213 0 72 0
[pid=2525] ppid=2524 vsize=15880 CPUtime=54.62 cores=1,3,5,7
/proc/2525/stat : 2525 (glucose) R 2524 2260 30487 0 -1 4202496 4111 0 0 0 5462 0 0 0 20 0 1 0 387653912 16261120 3390 33554432000 4194304 5208918 140737424959760 140737424957848 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2525/statm: 3970 3390 96 248 0 3719 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 56268

[startup+1722.3 s]
/proc/loadavg: 1.03 1.03 1.17 2/174 2525
/proc/meminfo: memFree=29595312/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=1607.11 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 55374 347219 0 0 182 23 160200 306 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2524] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2524/stat : 2524 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387653912 9367552 266 33554432000 4194304 5064252 140735919210352 140735919209264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2524/statm: 2287 266 226 213 0 72 0
[pid=2525] ppid=2524 vsize=20540 CPUtime=114.61 cores=1,3,5,7
/proc/2525/stat : 2525 (glucose) R 2524 2260 30487 0 -1 4202496 5019 0 0 0 11461 0 0 0 20 0 1 0 387653912 21032960 4293 33554432000 4194304 5208918 140737424959760 140737424957608 4211851 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2525/statm: 5135 4293 96 248 0 4884 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 60928

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.16 2/174 2533
/proc/meminfo: memFree=29600332/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=1732.04 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 56407 356973 0 0 184 23 172686 311 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2531] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387666408 9367552 267 33554432000 4194304 5064252 140734672800128 140734672799040 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2531/statm: 2287 267 226 213 0 72 0
[pid=2532] ppid=2531 vsize=13672 CPUtime=49.65 cores=1,3,5,7
/proc/2532/stat : 2532 (glucose) R 2531 2260 30487 0 -1 4202496 2552 0 0 0 4965 0 0 0 20 0 1 0 387666408 14000128 2921 33554432000 4194304 5208918 140736819703712 140736819701800 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2532/statm: 3418 2921 96 248 0 3167 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 54060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.07 1.03 1.16 2/174 2533
/proc/meminfo: memFree=29599524/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=1732.04 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 56407 356973 0 0 184 23 172686 311 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2531] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387666408 9367552 267 33554432000 4194304 5064252 140734672800128 140734672799040 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2531/statm: 2287 267 226 213 0 72 0
[pid=2532] ppid=2531 vsize=15348 CPUtime=68.06 cores=1,3,5,7
/proc/2532/stat : 2532 (glucose) R 2531 2260 30487 0 -1 4202496 2793 0 0 0 6806 0 0 0 20 0 1 0 387666408 15716352 3160 33554432000 4194304 5208918 140736819703712 140736819701864 4211888 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2532/statm: 3837 3160 96 248 0 3586 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 55736

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.71 s]
/proc/loadavg: 1.07 1.03 1.16 2/174 2533
/proc/meminfo: memFree=29599524/32873844 swapFree=7384/7384
[pid=2260] ppid=2258 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2260/stat : 2260 (npSolver-wbo-It) S 2258 2260 30487 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387493146 9367552 274 33554432000 4194304 5064252 140735313813552 140735313812464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2260/statm: 2287 274 233 213 0 72 0
[pid=2261] ppid=2260 vsize=22092 CPUtime=1732.04 cores=1,3,5,7
/proc/2261/stat : 2261 (npSolver-wbo) S 2260 2260 30487 0 -1 4202496 56407 356973 0 0 184 23 172686 311 20 0 1 0 387493147 22622208 4820 33554432000 4194304 6006132 140737020872752 140737020864144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2261/statm: 5523 4820 191 443 0 5076 0
[pid=2531] ppid=2261 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (satsolver.sh) S 2261 2260 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387666408 9367552 267 33554432000 4194304 5064252 140734672800128 140734672799040 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2531/statm: 2287 267 226 213 0 72 0
[pid=2532] ppid=2531 vsize=15348 CPUtime=68.06 cores=1,3,5,7
/proc/2532/stat : 2532 (glucose) R 2531 2260 30487 0 -1 4202496 2793 0 0 0 6806 0 0 0 20 0 1 0 387666408 15716352 3160 33554432000 4194304 5208918 140736819703712 140736819701864 4211888 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2532/statm: 3837 3160 96 248 0 3586 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 55736

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.14
CPU user time (s): 1796.78
CPU system time (s): 3.35749
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 88064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 3.35749
maximum resident set size= 44628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 242376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5961
involuntary context switches= 3245

runsolver used 3.20151 second user time and 7.52386 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-09 05:47:27
IDJOB=3753060
IDBENCH=79665
IDSOLVER=2336
FILE ID=node106/3753060-1339213647
RUNJOBID= node106-1339210016-32602
PBS_JOBID= 14643856
Free space on /tmp= 70988 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-dsjc125-1-5_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753060-1339213647/watcher-3753060-1339213647 -o /tmp/evaluation-result-3753060-1339213647/solver-3753060-1339213647 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753060-1339213647.wbo 2017031021 HOME HOME

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

MD5SUM BENCH= 1e03c0838cb45b8ff7a074bb8c15e2b5
RANDOM SEED=2017031021

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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:        29139152 kB
Buffers:          465340 kB
Cached:          1883684 kB
SwapCached:         2376 kB
Active:          1046324 kB
Inactive:        1740336 kB
Active(anon):     432744 kB
Inactive(anon):     5560 kB
Active(file):     613580 kB
Inactive(file):  1734776 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67100756 kB
Dirty:              8336 kB
Writeback:             0 kB
AnonPages:        443000 kB
Mapped:            10436 kB
Shmem:                 0 kB
Slab:             802280 kB
SReclaimable:     243520 kB
SUnreclaim:       558760 kB
KernelStack:        1520 kB
PageTables:         5204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     592552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 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= 71036 MiB
End job on node106 at 2012-06-09 06:17:27