Trace number 3753926

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 (fixed)OPTIMUM 769.558 769.963

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo
MD5SUM85ba7bcc847457eeeb822d6fc8af8950
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark48.2377
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 138262
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 138261
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 641
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.16	o 363
0.00/0.16	c fallback to adder encoding
6.16/6.34	o 321
6.16/6.34	c fallback to adder encoding
14.79/14.99	o 320
14.79/14.99	c fallback to adder encoding
34.55/34.74	o 318
34.55/34.74	c fallback to adder encoding
51.78/51.98	o 314
51.78/51.98	c fallback to adder encoding
65.66/65.70	o 301
65.66/65.70	c fallback to adder encoding
84.83/85.04	o 300
84.83/85.04	c fallback to adder encoding
98.58/98.78	o 299
98.58/98.78	c fallback to adder encoding
124.15/124.26	o 291
124.15/124.26	c fallback to adder encoding
124.80/125.01	o 220
124.80/125.01	c fallback to adder encoding
136.81/137.01	o 217
136.81/137.01	c fallback to adder encoding
145.49/145.71	o 216
145.49/145.71	c fallback to adder encoding
153.07/153.27	o 215
153.07/153.27	c fallback to adder encoding
162.36/162.56	o 214
162.36/162.56	c fallback to adder encoding
171.10/171.31	o 213
171.10/171.31	c fallback to adder encoding
185.78/186.01	o 209
185.78/186.01	c fallback to adder encoding
198.52/198.73	o 208
198.52/198.73	c fallback to adder encoding
205.62/205.73	o 201
205.62/205.73	c fallback to adder encoding
212.60/212.83	o 199
212.60/212.83	c fallback to adder encoding
224.20/224.33	o 198
224.20/224.33	c fallback to adder encoding
233.84/234.06	o 178
233.84/234.06	c fallback to adder encoding
234.55/234.77	o 77
234.55/234.77	c fallback to adder encoding
241.34/241.53	o 76
241.34/241.53	c fallback to adder encoding
246.21/246.37	o 75
246.21/246.37	c fallback to adder encoding
252.52/252.77	o 73
252.52/252.77	c fallback to adder encoding
258.26/258.49	o 70
258.26/258.49	c fallback to adder encoding
263.65/263.86	o 69
263.65/263.86	c fallback to adder encoding
271.26/271.56	o 68
271.26/271.56	c fallback to adder encoding
276.55/276.88	o 67
276.55/276.88	c fallback to adder encoding
281.42/281.87	o 66
281.42/281.87	c fallback to adder encoding
285.53/285.93	o 65
285.53/285.93	c fallback to adder encoding
288.33/288.78	o 64
288.33/288.78	c fallback to adder encoding
290.63/291.07	o 63
290.63/291.07	c fallback to adder encoding
293.12/293.57	o 60
297.82/298.27	o 59
302.13/302.78	o 58
763.22/763.95	o 1
763.22/763.95	c [SWC] exit 4
769.46/769.95	c display solution
769.46/769.95	s OPTIMUM FOUND
769.46/769.95	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231

Verifier Data 

OK	1

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-3753926-1339198536/watcher-3753926-1339198536 -o /tmp/evaluation-result-3753926-1339198536/solver-3753926-1339198536 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753926-1339198536.wbo 2113878498 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.09 2.05 2.00 3/179 29418
/proc/meminfo: memFree=30700812/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0

[startup+0.090481 s]
/proc/loadavg: 2.09 2.05 2.00 3/179 29418
/proc/meminfo: memFree=30700812/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100325 s]
/proc/loadavg: 2.09 2.05 2.00 3/179 29418
/proc/meminfo: memFree=30700812/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300298 s]
/proc/loadavg: 2.09 2.05 2.00 3/179 29418
/proc/meminfo: memFree=30700812/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700307 s]
/proc/loadavg: 2.09 2.05 2.00 3/179 29418
/proc/meminfo: memFree=30700812/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50039 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 29432
/proc/meminfo: memFree=30601392/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=38980 CPUtime=0.41 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 5625 5910 0 0 27 6 8 0 20 0 1 0 385978473 39915520 9351 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29419/statm: 9745 9351 178 443 0 9298 0
[pid=29431] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29431/stat : 29431 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385978516 9367552 267 33554432000 4194304 5064252 140736838438416 140736838437328 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29431/statm: 2287 267 226 213 0 72 0
[pid=29432] ppid=29431 vsize=52112 CPUtime=1.06 cores=1,3,5,7
/proc/29432/stat : 29432 (glucose) R 29431 29418 24017 0 -1 4202496 10451 0 0 0 103 3 0 0 20 0 1 0 385978517 53362688 11167 33554432000 4194304 5208918 140734596053840 140734596051800 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29432/statm: 13028 11167 104 248 0 12777 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 109388

[startup+3.10049 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 29432
/proc/meminfo: memFree=30600772/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=38980 CPUtime=0.41 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 5625 5910 0 0 27 6 8 0 20 0 1 0 385978473 39915520 9351 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29419/statm: 9745 9351 178 443 0 9298 0
[pid=29431] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29431/stat : 29431 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385978516 9367552 267 33554432000 4194304 5064252 140736838438416 140736838437328 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29431/statm: 2287 267 226 213 0 72 0
[pid=29432] ppid=29431 vsize=52516 CPUtime=2.66 cores=1,3,5,7
/proc/29432/stat : 29432 (glucose) R 29431 29418 24017 0 -1 4202496 10597 0 0 0 263 3 0 0 20 0 1 0 385978517 53776384 11311 33554432000 4194304 5208918 140734596053840 140734596051592 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29432/statm: 13129 11311 105 248 0 12878 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 109792

[startup+6.30032 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 29439
/proc/meminfo: memFree=30630700/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=38980 CPUtime=6.16 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 5632 17360 0 0 27 6 579 4 20 0 1 0 385978473 39915520 9351 33554432000 4194304 6006132 140733500725408 140733500716288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29419/statm: 9745 9351 178 443 0 9298 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 48128

[startup+12.7004 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 29446
/proc/meminfo: memFree=30615432/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=38980 CPUtime=6.58 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 8597 20498 0 0 50 8 588 12 20 0 1 0 385978473 39915520 9067 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29419/statm: 9745 9067 179 443 0 9298 0
[pid=29445] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29445/stat : 29445 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385979134 9367552 267 33554432000 4194304 5064252 140733753124848 140733753123760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29445/statm: 2287 267 226 213 0 72 0
[pid=29446] ppid=29445 vsize=52676 CPUtime=6.08 cores=1,3,5,7
/proc/29446/stat : 29446 (glucose) R 29445 29418 24017 0 -1 4202496 11223 0 0 0 605 3 0 0 20 0 1 0 385979135 53940224 11408 33554432000 4194304 5208918 140735840504640 140735840502488 4211488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29446/statm: 13169 11408 104 248 0 12918 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 109952

[startup+25.5004 s]
/proc/loadavg: 2.12 2.06 2.01 3/183 29453
/proc/meminfo: memFree=30610904/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=38980 CPUtime=15.24 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 11570 36248 0 0 75 11 1413 25 20 0 1 0 385978473 39915520 9068 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29419/statm: 9745 9068 180 443 0 9298 0
[pid=29452] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29452/stat : 29452 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385979999 9367552 267 33554432000 4194304 5064252 140734004533872 140734004532784 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29452/statm: 2287 267 226 213 0 72 0
[pid=29453] ppid=29452 vsize=53004 CPUtime=10.23 cores=1,3,5,7
/proc/29453/stat : 29453 (glucose) R 29452 29418 24017 0 -1 4202496 10855 0 0 0 1020 3 0 0 20 0 1 0 385980000 54276096 11732 33554432000 4194304 5208918 140733558845952 140733558843912 4228978 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29453/statm: 13251 11732 104 248 0 13000 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 110280

[startup+51.1005 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 29467
/proc/meminfo: memFree=30621676/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=38980 CPUtime=34.99 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 14542 51244 0 0 98 15 3349 37 20 0 1 0 385978473 39915520 9068 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29419/statm: 9745 9068 180 443 0 9298 0
[pid=29459] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29459/stat : 29459 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385981974 9367552 267 33554432000 4194304 5064252 140733226670208 140733226669120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29459/statm: 2287 267 226 213 0 72 0
[pid=29460] ppid=29459 vsize=60380 CPUtime=16.06 cores=1,3,5,7
/proc/29460/stat : 29460 (glucose) R 29459 29418 24017 0 -1 4202496 11777 0 0 0 1603 3 0 0 20 0 1 0 385981975 61829120 11978 33554432000 4194304 5208918 140735289596608 140735289594760 4211501 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29460/statm: 15095 11978 105 248 0 14844 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 117656

[startup+102.307 s]
/proc/loadavg: 2.07 2.06 2.00 3/183 29503
/proc/meminfo: memFree=30613292/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=38980 CPUtime=99.02 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 26430 114173 0 0 194 28 9599 81 20 0 1 0 385978473 39915520 9068 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29419/statm: 9745 9068 180 443 0 9298 0
[pid=29502] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29502/stat : 29502 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385988379 9367552 267 33554432000 4194304 5064252 140736844040640 140736844039552 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29502/statm: 2287 267 226 213 0 72 0
[pid=29503] ppid=29502 vsize=52536 CPUtime=3.23 cores=1,3,5,7
/proc/29503/stat : 29503 (glucose) R 29502 29418 24017 0 -1 4202496 11511 0 0 0 321 2 0 0 20 0 1 0 385988379 53796864 11704 33554432000 4194304 5208918 140733747349424 140733747347096 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29503/statm: 13134 11704 104 248 0 12883 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 109812

[startup+162.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 29545
/proc/meminfo: memFree=30615900/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=38980 CPUtime=153.46 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 41130 186322 0 0 302 43 14866 135 20 0 1 0 385978473 39915520 9028 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29419/statm: 9745 9028 180 443 0 9298 0
[pid=29544] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29544/stat : 29544 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385993824 9367552 267 33554432000 4194304 5064252 140734775436752 140734775435664 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29544/statm: 2287 267 226 213 0 72 0
[pid=29545] ppid=29544 vsize=46992 CPUtime=8.77 cores=1,3,5,7
/proc/29545/stat : 29545 (glucose) R 29544 29418 24017 0 -1 4202496 9879 0 0 0 874 3 0 0 20 0 1 0 385993825 48119808 10812 33554432000 4194304 5208918 140733454973520 140733454971192 4211027 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29545/statm: 11748 10812 104 248 0 11497 0
Current children cumulated CPU time (s) 162.23

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

/proc/29729/statm: 2287 266 226 213 0 72 0
[pid=29730] ppid=29729 vsize=71376 CPUtime=219.38 cores=1,3,5,7
/proc/29730/stat : 29730 (glucose) R 29729 29418 24017 0 -1 4202496 13697 0 0 0 21934 4 0 0 20 0 1 0 386008761 73089024 17155 33554432000 4194304 5208918 140736840087744 140736840085832 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29730/statm: 17844 17155 96 248 0 17593 0
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (KiB) 111284

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 29781
/proc/meminfo: memFree=30618496/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=21612 CPUtime=302.52 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 102829 468808 0 0 643 89 29186 334 20 0 1 0 385978473 22130688 4954 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/29419/statm: 5403 4954 181 443 0 4956 0
[pid=29729] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29729/stat : 29729 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386008760 9367552 266 33554432000 4194304 5064252 140735717626688 140735717625600 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29729/statm: 2287 266 226 213 0 72 0
[pid=29730] ppid=29729 vsize=71376 CPUtime=279.37 cores=1,3,5,7
/proc/29730/stat : 29730 (glucose) R 29729 29418 24017 0 -1 4202496 13697 0 0 0 27933 4 0 0 20 0 1 0 386008761 73089024 17155 33554432000 4194304 5208918 140736840087744 140736840085832 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29730/statm: 17844 17155 96 248 0 17593 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 111284

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 29788
/proc/meminfo: memFree=30602308/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=21612 CPUtime=302.52 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 102829 468808 0 0 643 89 29186 334 20 0 1 0 385978473 22130688 4954 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/29419/statm: 5403 4954 181 443 0 4956 0
[pid=29729] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29729/stat : 29729 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386008760 9367552 266 33554432000 4194304 5064252 140735717626688 140735717625600 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29729/statm: 2287 266 226 213 0 72 0
[pid=29730] ppid=29729 vsize=101724 CPUtime=339.37 cores=1,3,5,7
/proc/29730/stat : 29730 (glucose) R 29729 29418 24017 0 -1 4202496 13782 0 0 0 33933 4 0 0 20 0 1 0 386008761 104165376 19283 33554432000 4194304 5208918 140736840087744 140736840085688 4211537 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29730/statm: 25431 19283 96 248 0 25180 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 141632

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29848
/proc/meminfo: memFree=30263472/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=21612 CPUtime=302.52 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 102829 468808 0 0 643 89 29186 334 20 0 1 0 385978473 22130688 4954 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/29419/statm: 5403 4954 181 443 0 4956 0
[pid=29729] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29729/stat : 29729 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386008760 9367552 266 33554432000 4194304 5064252 140735717626688 140735717625600 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29729/statm: 2287 266 226 213 0 72 0
[pid=29730] ppid=29729 vsize=101724 CPUtime=399.35 cores=1,3,5,7
/proc/29730/stat : 29730 (glucose) R 29729 29418 24017 0 -1 4202496 13790 0 0 0 39931 4 0 0 20 0 1 0 386008761 104165376 23379 33554432000 4194304 5208918 140736840087744 140736840085688 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29730/statm: 25431 23379 96 248 0 25180 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 141632

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29848
/proc/meminfo: memFree=30251576/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=21612 CPUtime=302.52 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 102829 468808 0 0 643 89 29186 334 20 0 1 0 385978473 22130688 4954 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/29419/statm: 5403 4954 181 443 0 4956 0
[pid=29729] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29729/stat : 29729 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386008760 9367552 266 33554432000 4194304 5064252 140735717626688 140735717625600 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29729/statm: 2287 266 226 213 0 72 0
[pid=29730] ppid=29729 vsize=101724 CPUtime=459.35 cores=1,3,5,7
/proc/29730/stat : 29730 (glucose) R 29729 29418 24017 0 -1 4202496 14130 0 0 0 45931 4 0 0 20 0 1 0 386008761 104165376 24230 33554432000 4194304 5208918 140736840087744 140736840085688 4211834 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29730/statm: 25431 24230 96 248 0 25180 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 141632

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

[startup+764.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29855
/proc/meminfo: memFree=30351660/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=21612 CPUtime=763.52 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 103019 487546 0 0 643 89 75267 353 20 0 1 0 385978473 22130688 4955 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/29419/statm: 5403 4955 182 443 0 4956 0
[pid=29854] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29854/stat : 29854 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386054868 9367552 266 33554432000 4194304 5064252 140735029625040 140735029623952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29854/statm: 2287 266 226 213 0 72 0
[pid=29855] ppid=29854 vsize=7408 CPUtime=0.74 cores=1,3,5,7
/proc/29855/stat : 29855 (glucose) R 29854 29418 24017 0 -1 4202496 1590 0 0 0 74 0 0 0 20 0 1 0 386054868 7585792 1072 33554432000 4194304 5208918 140736567485248 140736567483432 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29855/statm: 1852 1072 96 248 0 1601 0
Current children cumulated CPU time (s) 764.26
Current children cumulated vsize (KiB) 47316

[startup+767.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29855
/proc/meminfo: memFree=30348312/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=21612 CPUtime=763.52 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 103019 487546 0 0 643 89 75267 353 20 0 1 0 385978473 22130688 4955 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/29419/statm: 5403 4955 182 443 0 4956 0
[pid=29854] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29854/stat : 29854 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386054868 9367552 266 33554432000 4194304 5064252 140735029625040 140735029623952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29854/statm: 2287 266 226 213 0 72 0
[pid=29855] ppid=29854 vsize=9152 CPUtime=3.94 cores=1,3,5,7
/proc/29855/stat : 29855 (glucose) R 29854 29418 24017 0 -1 4202496 2236 0 0 0 394 0 0 0 20 0 1 0 386054868 9371648 1700 33554432000 4194304 5208918 140736567485248 140736567483192 4229843 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29855/statm: 2288 1700 102 248 0 2037 0
Current children cumulated CPU time (s) 767.46
Current children cumulated vsize (KiB) 49060

[startup+768.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29855
/proc/meminfo: memFree=30348312/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=21612 CPUtime=763.52 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 103019 487546 0 0 643 89 75267 353 20 0 1 0 385978473 22130688 4955 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/29419/statm: 5403 4955 182 443 0 4956 0
[pid=29854] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29854/stat : 29854 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386054868 9367552 266 33554432000 4194304 5064252 140735029625040 140735029623952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29854/statm: 2287 266 226 213 0 72 0
[pid=29855] ppid=29854 vsize=10140 CPUtime=4.74 cores=1,3,5,7
/proc/29855/stat : 29855 (glucose) R 29854 29418 24017 0 -1 4202496 2509 0 0 0 474 0 0 0 20 0 1 0 386054868 10383360 1953 33554432000 4194304 5208918 140736567485248 140736567483192 4205192 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29855/statm: 2535 1953 102 248 0 2284 0
Current children cumulated CPU time (s) 768.26
Current children cumulated vsize (KiB) 50048

[startup+769.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29855
/proc/meminfo: memFree=30347568/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=21612 CPUtime=763.52 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 103019 487546 0 0 643 89 75267 353 20 0 1 0 385978473 22130688 4955 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/29419/statm: 5403 4955 182 443 0 4956 0
[pid=29854] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29854/stat : 29854 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386054868 9367552 266 33554432000 4194304 5064252 140735029625040 140735029623952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29854/statm: 2287 266 226 213 0 72 0
[pid=29855] ppid=29854 vsize=13620 CPUtime=5.54 cores=1,3,5,7
/proc/29855/stat : 29855 (glucose) R 29854 29418 24017 0 -1 4202496 3139 0 0 0 554 0 0 0 20 0 1 0 386054868 13946880 2575 33554432000 4194304 5208918 140736567485248 140736567483112 4215353 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29855/statm: 3405 2575 102 248 0 3154 0
Current children cumulated CPU time (s) 769.06
Current children cumulated vsize (KiB) 53528

[startup+769.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29855
/proc/meminfo: memFree=30345088/32873844 swapFree=7632/7632
[pid=29418] ppid=29416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (npSolver-wbo-It) S 29416 29418 24017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385978473 9367552 275 33554432000 4194304 5064252 140734528842960 140734528841872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29418/statm: 2287 275 233 213 0 72 0
[pid=29419] ppid=29418 vsize=21612 CPUtime=763.52 cores=1,3,5,7
/proc/29419/stat : 29419 (npSolver-wbo) S 29418 29418 24017 0 -1 4202496 103019 487546 0 0 643 89 75267 353 20 0 1 0 385978473 22130688 4955 33554432000 4194304 6006132 140733500725408 140733500716800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/29419/statm: 5403 4955 182 443 0 4956 0
[pid=29854] ppid=29419 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29854/stat : 29854 (satsolver.sh) S 29419 29418 24017 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386054868 9367552 266 33554432000 4194304 5064252 140735029625040 140735029623952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29854/statm: 2287 266 226 213 0 72 0
[pid=29855] ppid=29854 vsize=13620 CPUtime=5.94 cores=1,3,5,7
/proc/29855/stat : 29855 (glucose) R 29854 29418 24017 0 -1 4202496 3139 0 0 0 594 0 0 0 20 0 1 0 386054868 13946880 2575 33554432000 4194304 5208918 140736567485248 140736567483112 4229541 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29855/statm: 3405 2575 102 248 0 3154 0
Current children cumulated CPU time (s) 769.46
Current children cumulated vsize (KiB) 53528

Child status: 0
Real time (s): 769.963
CPU time (s): 769.558
CPU user time (s): 765.105
CPU system time (s): 4.45332
CPU usage (%): 99.9474
Max. virtual memory (cumulated for all children) (KiB): 141636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 765.105
system time used= 4.45332
maximum resident set size= 96952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 867248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5396
involuntary context switches= 1202

runsolver used 1.64275 second user time and 4.65329 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-09 01:35:36
IDJOB=3753926
IDBENCH=79290
IDSOLVER=2337
FILE ID=node144/3753926-1339198536
RUNJOBID= node144-1339184649-25749
PBS_JOBID= 14643804
Free space on /tmp= 68964 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753926-1339198536/watcher-3753926-1339198536 -o /tmp/evaluation-result-3753926-1339198536/solver-3753926-1339198536 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3753926-1339198536.wbo 2113878498 HOME HOME

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

MD5SUM BENCH= 85ba7bcc847457eeeb822d6fc8af8950
RANDOM SEED=2113878498

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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:        30701076 kB
Buffers:         1075956 kB
Cached:           112928 kB
SwapCached:          460 kB
Active:          1189116 kB
Inactive:          69892 kB
Active(anon):      53776 kB
Inactive(anon):    12104 kB
Active(file):    1135340 kB
Inactive(file):    57788 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108396 kB
Dirty:              8504 kB
Writeback:             8 kB
AnonPages:         76484 kB
Mapped:            11620 kB
Shmem:               172 kB
Slab:             767044 kB
SReclaimable:     208536 kB
SUnreclaim:       558508 kB
KernelStack:        1488 kB
PageTables:         4244 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     191636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 68880 MiB
End job on node144 at 2012-06-09 01:48:26