Trace number 3753607

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 428.775 430.281

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo
MD5SUMf1c7b8b76066043f2c00dac441c2cac6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark16.7704
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 constraints906
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 44555
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44554
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
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.13	o 741
0.00/0.13	c fallback to adder encoding
1.82/1.91	o 733
1.82/1.91	c fallback to adder encoding
3.85/3.99	o 699
3.85/3.99	c fallback to adder encoding
5.48/5.57	o 692
5.48/5.57	c fallback to adder encoding
9.35/9.44	o 658
9.35/9.44	c fallback to adder encoding
12.08/12.19	o 657
12.08/12.19	c fallback to adder encoding
13.76/13.89	o 653
13.76/13.89	c fallback to adder encoding
16.45/16.59	o 647
16.45/16.59	c fallback to adder encoding
20.12/20.26	o 642
20.12/20.26	c fallback to adder encoding
23.68/23.81	o 606
23.68/23.81	c fallback to adder encoding
26.00/26.13	o 595
26.00/26.13	c fallback to adder encoding
27.12/27.28	o 572
27.12/27.28	c fallback to adder encoding
38.63/38.78	o 571
38.63/38.78	c fallback to adder encoding
43.42/43.50	o 504
43.42/43.50	c fallback to adder encoding
44.93/45.04	o 503
44.93/45.04	c fallback to adder encoding
45.79/45.91	o 502
45.79/45.91	c fallback to adder encoding
46.70/46.83	o 501
46.70/46.83	c fallback to adder encoding
47.50/47.68	o 500
47.50/47.68	c fallback to adder encoding
48.54/48.79	o 499
48.54/48.79	c fallback to adder encoding
49.69/49.93	o 497
49.69/49.93	c fallback to adder encoding
50.76/51.00	o 494
50.76/51.00	c fallback to adder encoding
52.01/52.26	o 490
52.01/52.26	c fallback to adder encoding
53.22/53.45	o 489
53.22/53.45	c fallback to adder encoding
54.11/54.33	o 468
54.11/54.33	c fallback to adder encoding
54.96/55.23	o 467
54.96/55.23	c fallback to adder encoding
55.10/56.00	o 459
55.10/56.00	c fallback to adder encoding
57.28/57.59	o 458
57.28/57.59	c fallback to adder encoding
58.88/59.14	o 442
58.88/59.14	c fallback to adder encoding
59.38/59.72	o 436
59.38/59.72	c fallback to adder encoding
60.19/60.53	o 435
60.19/60.53	c fallback to adder encoding
61.36/61.71	o 434
61.36/61.71	c fallback to adder encoding
61.51/62.17	o 432
61.51/62.17	c fallback to adder encoding
62.98/63.31	o 414
62.98/63.31	c fallback to adder encoding
64.31/64.65	o 333
64.31/64.65	c fallback to adder encoding
66.00/66.35	o 332
66.00/66.35	c fallback to adder encoding
67.81/68.19	o 298
67.81/68.19	c fallback to adder encoding
69.16/69.50	o 293
69.16/69.50	c fallback to adder encoding
71.85/72.26	o 288
71.85/72.26	c fallback to adder encoding
73.15/73.55	o 254
73.15/73.55	c fallback to adder encoding
73.28/74.48	o 243
73.28/74.48	c fallback to adder encoding
74.99/75.43	o 242
74.99/75.43	c fallback to adder encoding
76.01/76.50	o 241
76.01/76.50	c fallback to adder encoding
76.64/77.17	o 240
76.64/77.17	c fallback to adder encoding
77.74/78.24	o 218
77.74/78.24	c fallback to adder encoding
78.81/79.30	o 215
78.81/79.30	c fallback to adder encoding
79.82/80.52	o 213
79.82/80.52	c fallback to adder encoding
80.87/81.60	o 192
80.87/81.60	c fallback to adder encoding
82.21/82.94	o 191
82.21/82.94	c fallback to adder encoding
83.72/84.40	o 174
85.41/86.10	o 170
86.69/87.87	o 166
89.44/90.75	o 165
91.99/93.31	o 163
94.96/96.21	o 152
96.62/98.31	o 151
99.03/100.36	o 150
101.05/102.39	o 149
103.15/104.43	o 141
104.38/106.21	o 137
106.27/107.74	o 136
107.48/109.29	o 135
108.93/110.73	o 131
110.78/112.24	o 130
111.97/113.76	o 124
113.98/115.50	o 119
115.29/116.74	o 118
116.27/118.03	o 114
117.78/119.52	o 113
119.11/120.86	o 107
120.58/122.31	o 106
121.87/123.39	o 97
124.63/126.33	o 93
127.16/128.64	o 81
128.32/129.94	o 78
129.03/130.63	o 72
129.59/131.17	o 71
423.29/424.92	o 1
423.29/424.92	c [SWC] exit 4
428.71/430.27	c display solution
428.71/430.27	s OPTIMUM FOUND
428.71/430.28	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-3753607-1339190709/watcher-3753607-1339190709 -o /tmp/evaluation-result-3753607-1339190709/solver-3753607-1339190709 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753607-1339190709.wbo 919275669 HOME HOME 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.99 1.97 1.98 2/179 8313
/proc/meminfo: memFree=30810228/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0

[startup+0.0192381 s]
/proc/loadavg: 1.99 1.97 1.98 2/179 8313
/proc/meminfo: memFree=30810228/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100264 s]
/proc/loadavg: 1.99 1.97 1.98 2/179 8313
/proc/meminfo: memFree=30810228/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300227 s]
/proc/loadavg: 1.99 1.97 1.98 2/179 8313
/proc/meminfo: memFree=30810228/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70024 s]
/proc/loadavg: 1.99 1.97 1.98 2/179 8313
/proc/meminfo: memFree=30810228/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 8327
/proc/meminfo: memFree=30768860/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20760 CPUtime=0.21 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 4279 5331 0 0 12 2 6 1 20 0 1 0 385196332 21258240 4427 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8314/statm: 5190 4427 179 443 0 4743 0
[pid=8326] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8326/stat : 8326 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385196355 9367552 267 33554432000 4194304 5064252 140734730950224 140734730949136 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8326/statm: 2287 267 226 213 0 72 0
[pid=8327] ppid=8326 vsize=21124 CPUtime=1.26 cores=1,3,5,7
/proc/8327/stat : 8327 (glucose) R 8326 8313 16392 0 -1 4202496 5080 0 0 0 125 1 0 0 20 0 1 0 385196355 21630976 4690 33554432000 4194304 5208918 140733679008128 140733679006088 4211156 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8327/statm: 5281 4690 104 248 0 5030 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 60180

[startup+3.1003 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 8334
/proc/meminfo: memFree=30765712/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20760 CPUtime=1.98 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 6241 14121 0 0 20 3 170 5 20 0 1 0 385196332 21258240 4427 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8314/statm: 5190 4427 179 443 0 4743 0
[pid=8333] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8333/stat : 8333 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385196533 9367552 267 33554432000 4194304 5064252 140734078794288 140734078793200 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8333/statm: 2287 267 226 213 0 72 0
[pid=8334] ppid=8333 vsize=20436 CPUtime=1.07 cores=1,3,5,7
/proc/8334/stat : 8334 (glucose) R 8333 8313 16392 0 -1 4202496 4485 0 0 0 107 0 0 0 20 0 1 0 385196533 20926464 4567 33554432000 4194304 5208918 140734757725120 140734757722792 4229010 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8334/statm: 5109 4567 104 248 0 4858 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 59492

[startup+6.30025 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 8341
/proc/meminfo: memFree=30765748/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20760 CPUtime=5.65 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 10165 30277 0 0 38 5 508 14 20 0 1 0 385196332 21258240 4427 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8314/statm: 5190 4427 179 443 0 4743 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 29908

[startup+12.7002 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 8362
/proc/meminfo: memFree=30766384/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20760 CPUtime=12.26 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 14089 47760 0 0 55 7 1141 23 20 0 1 0 385196332 21258240 4427 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8314/statm: 5190 4427 179 443 0 4743 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 29908

[startup+25.5004 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 8397
/proc/meminfo: memFree=30764132/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20760 CPUtime=23.84 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 21937 82552 0 0 90 11 2241 42 20 0 1 0 385196332 21258240 4427 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8314/statm: 5190 4427 179 443 0 4743 0
[pid=8396] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8396/stat : 8396 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385198723 9367552 266 33554432000 4194304 5064252 140734907702544 140734907701456 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8396/statm: 2287 266 226 213 0 72 0
[pid=8397] ppid=8396 vsize=20896 CPUtime=1.57 cores=1,3,5,7
/proc/8397/stat : 8397 (glucose) R 8396 8313 16392 0 -1 4202496 5201 0 0 0 157 0 0 0 20 0 1 0 385198723 21397504 4696 33554432000 4194304 5208918 140737149238096 140737149236056 4213165 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8397/statm: 5224 4696 105 248 0 4973 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 59952

[startup+51.1002 s]
/proc/loadavg: 1.99 1.97 1.98 3/182 8495
/proc/meminfo: memFree=30768308/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20760 CPUtime=50.91 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 43519 172173 0 0 179 21 4804 87 20 0 1 0 385196332 21258240 4428 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8314/statm: 5190 4428 179 443 0 4743 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 29908

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.98 3/184 8843
/proc/meminfo: memFree=30831028/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=37408 CPUtime=100.71 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 112186 572286 0 0 491 60 9154 366 20 0 1 0 385196332 38305792 7501 33554432000 4194304 6006132 140734823093744 140734823084624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 5 0 0
/proc/8314/statm: 9352 7501 181 443 0 8905 0
[pid=8841] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8841/stat : 8841 (cp2_post.sh) S 8314 8313 16392 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 385206527 9367552 266 33554432000 4194304 5064252 140734267965408 140734267963696 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8841/statm: 2287 266 225 213 0 72 0
[pid=8843] ppid=8841 vsize=11760 CPUtime=0.34 cores=1,3,5,7
/proc/8843/stat : 8843 (coprocessor) R 8841 8313 16392 0 -1 4202496 3427 0 0 0 21 13 0 0 20 0 1 0 385206527 12042240 2137 33554432000 4194304 6586260 140736674485760 140736674482680 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/8843/statm: 2940 2137 145 584 0 2352 0
Current children cumulated CPU time (s) 101.05
Current children cumulated vsize (KiB) 67464

[startup+162.3 s]
/proc/loadavg: 2.08 2.00 1.99 3/183 9029
/proc/meminfo: memFree=30812332/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=129.8 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 153903 910104 0 0 672 85 11519 704 20 0 1 0 385196332 21409792 4842 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4842 181 443 0 4780 0
[pid=9000] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9000/stat : 9000 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385209454 9367552 267 33554432000 4194304 5064252 140734323926128 140734323925040 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9000/statm: 2287 267 226 213 0 72 0
[pid=9001] ppid=9000 vsize=49480 CPUtime=31.06 cores=1,3,5,7
/proc/9001/stat : 9001 (glucose) R 9000 8313 16392 0 -1 4202496 9270 0 0 0 3104 2 0 0 20 0 1 0 385209454 50667520 11026 33554432000 4194304 5208918 140736370827600 140736370825544 4211792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9001/statm: 12370 11026 96 248 0 12119 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 88684

[startup+222.3 s]
/proc/loadavg: 2.03 2.00 1.99 3/183 9036
/proc/meminfo: memFree=30795684/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=129.8 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 153903 910104 0 0 672 85 11519 704 20 0 1 0 385196332 21409792 4842 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4842 181 443 0 4780 0
[pid=9000] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=129.8 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 153903 910104 0 0 672 85 11519 704 20 0 1 0 385196332 21409792 4842 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4842 181 443 0 4780 0
[pid=9000] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9000/stat : 9000 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385209454 9367552 267 33554432000 4194304 5064252 140734323926128 140734323925040 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9000/statm: 2287 267 226 213 0 72 0
[pid=9001] ppid=9000 vsize=56664 CPUtime=211.03 cores=1,3,5,7
/proc/9001/stat : 9001 (glucose) R 9000 8313 16392 0 -1 4202496 10217 0 0 0 21101 2 0 0 20 0 1 0 385209454 58023936 12998 33554432000 4194304 5208918 140736370827600 140736370825464 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9001/statm: 14166 12998 96 248 0 13915 0
Current children cumulated CPU time (s) 340.83
Current children cumulated vsize (KiB) 95868

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 9097
/proc/meminfo: memFree=30277408/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=129.8 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 153903 910104 0 0 672 85 11519 704 20 0 1 0 385196332 21409792 4842 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4842 181 443 0 4780 0
[pid=9000] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9000/stat : 9000 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385209454 9367552 267 33554432000 4194304 5064252 140734323926128 140734323925040 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9000/statm: 2287 267 226 213 0 72 0
[pid=9001] ppid=9000 vsize=98784 CPUtime=271.02 cores=1,3,5,7
/proc/9001/stat : 9001 (glucose) R 9000 8313 16392 0 -1 4202496 11314 0 0 0 27099 3 0 0 20 0 1 0 385209454 101154816 17170 33554432000 4194304 5208918 140736370827600 140736370825544 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9001/statm: 24696 17170 96 248 0 24445 0
Current children cumulated CPU time (s) 400.82
Current children cumulated vsize (KiB) 137988

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

[startup+409.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 9097
/proc/meminfo: memFree=30277392/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=129.8 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 153903 910104 0 0 672 85 11519 704 20 0 1 0 385196332 21409792 4842 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4842 181 443 0 4780 0
[pid=9000] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9000/stat : 9000 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385209454 9367552 267 33554432000 4194304 5064252 140734323926128 140734323925040 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9000/statm: 2287 267 226 213 0 72 0
[pid=9001] ppid=9000 vsize=98784 CPUtime=278.22 cores=1,3,5,7
/proc/9001/stat : 9001 (glucose) R 9000 8313 16392 0 -1 4202496 11314 0 0 0 27819 3 0 0 20 0 1 0 385209454 101154816 17170 33554432000 4194304 5208918 140736370827600 140736370825544 4211652 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9001/statm: 24696 17170 96 248 0 24445 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 137988

[startup+422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 9097
/proc/meminfo: memFree=30277140/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=129.8 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 153903 910104 0 0 672 85 11519 704 20 0 1 0 385196332 21409792 4842 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4842 181 443 0 4780 0
[pid=9000] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9000/stat : 9000 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385209454 9367552 267 33554432000 4194304 5064252 140734323926128 140734323925040 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9000/statm: 2287 267 226 213 0 72 0
[pid=9001] ppid=9000 vsize=98784 CPUtime=291.02 cores=1,3,5,7
/proc/9001/stat : 9001 (glucose) R 9000 8313 16392 0 -1 4202496 11314 0 0 0 29099 3 0 0 20 0 1 0 385209454 101154816 17170 33554432000 4194304 5208918 140736370827600 140736370825544 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9001/statm: 24696 17170 96 248 0 24445 0
Current children cumulated CPU time (s) 420.82
Current children cumulated vsize (KiB) 137988

[startup+425.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 9097
/proc/meminfo: memFree=30277140/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=423.44 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 154005 925652 0 0 672 85 40872 715 20 0 1 0 385196332 21409792 4843 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4843 182 443 0 4780 0
Current children cumulated CPU time (s) 423.44
Current children cumulated vsize (KiB) 30056

[startup+428.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 9104
/proc/meminfo: memFree=30340868/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=423.44 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 154005 925652 0 0 672 85 40872 715 20 0 1 0 385196332 21409792 4843 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4843 182 443 0 4780 0
[pid=9103] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9103/stat : 9103 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385238824 9367552 266 33554432000 4194304 5064252 140736677023712 140736677022624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9103/statm: 2287 266 226 213 0 72 0
[pid=9104] ppid=9103 vsize=14088 CPUtime=3.77 cores=1,3,5,7
/proc/9104/stat : 9104 (glucose) R 9103 8313 16392 0 -1 4202496 2685 0 0 0 377 0 0 0 20 0 1 0 385238824 14426112 2625 33554432000 4194304 5208918 140735055501728 140735055499672 4229361 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9104/statm: 3522 2625 102 248 0 3271 0
Current children cumulated CPU time (s) 427.21
Current children cumulated vsize (KiB) 53292

[startup+429.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 9104
/proc/meminfo: memFree=30338572/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=423.44 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 154005 925652 0 0 672 85 40872 715 20 0 1 0 385196332 21409792 4843 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4843 182 443 0 4780 0
[pid=9103] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9103/stat : 9103 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385238824 9367552 266 33554432000 4194304 5064252 140736677023712 140736677022624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9103/statm: 2287 266 226 213 0 72 0
[pid=9104] ppid=9103 vsize=14088 CPUtime=4.57 cores=1,3,5,7
/proc/9104/stat : 9104 (glucose) R 9103 8313 16392 0 -1 4202496 2688 0 0 0 457 0 0 0 20 0 1 0 385238824 14426112 2628 33554432000 4194304 5208918 140735055501728 140735055499672 4212871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9104/statm: 3522 2628 102 248 0 3271 0
Current children cumulated CPU time (s) 428.01
Current children cumulated vsize (KiB) 53292

[startup+429.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 9104
/proc/meminfo: memFree=30338572/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=423.44 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 154005 925652 0 0 672 85 40872 715 20 0 1 0 385196332 21409792 4843 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4843 182 443 0 4780 0
[pid=9103] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9103/stat : 9103 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385238824 9367552 266 33554432000 4194304 5064252 140736677023712 140736677022624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9103/statm: 2287 266 226 213 0 72 0
[pid=9104] ppid=9103 vsize=14088 CPUtime=4.97 cores=1,3,5,7
/proc/9104/stat : 9104 (glucose) R 9103 8313 16392 0 -1 4202496 2708 0 0 0 497 0 0 0 20 0 1 0 385238824 14426112 2648 33554432000 4194304 5208918 140735055501728 140735055499672 4213005 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9104/statm: 3522 2648 102 248 0 3271 0
Current children cumulated CPU time (s) 428.41
Current children cumulated vsize (KiB) 53292

[startup+430.106 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 9104
/proc/meminfo: memFree=30338324/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=423.44 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 154005 925652 0 0 672 85 40872 715 20 0 1 0 385196332 21409792 4843 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4843 182 443 0 4780 0
[pid=9103] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9103/stat : 9103 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385238824 9367552 266 33554432000 4194304 5064252 140736677023712 140736677022624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9103/statm: 2287 266 226 213 0 72 0
[pid=9104] ppid=9103 vsize=14088 CPUtime=5.17 cores=1,3,5,7
/proc/9104/stat : 9104 (glucose) R 9103 8313 16392 0 -1 4202496 2748 0 0 0 517 0 0 0 20 0 1 0 385238824 14426112 2687 33554432000 4194304 5208918 140735055501728 140735055499672 4229075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9104/statm: 3522 2687 102 248 0 3271 0
Current children cumulated CPU time (s) 428.61
Current children cumulated vsize (KiB) 53292

[startup+430.2 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 9104
/proc/meminfo: memFree=30338324/32873648 swapFree=7628/7628
[pid=8313] ppid=8311 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (npSolver-wbo-It) S 8311 8313 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385196331 9367552 274 33554432000 4194304 5064252 140735193121584 140735193120496 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 2287 274 233 213 0 72 0
[pid=8314] ppid=8313 vsize=20908 CPUtime=423.44 cores=1,3,5,7
/proc/8314/stat : 8314 (npSolver-wbo) S 8313 8313 16392 0 -1 4202496 154005 925652 0 0 672 85 40872 715 20 0 1 0 385196332 21409792 4843 33554432000 4194304 6006132 140734823093744 140734823085136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 7 0 0
/proc/8314/statm: 5227 4843 182 443 0 4780 0
[pid=9103] ppid=8314 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9103/stat : 9103 (satsolver.sh) S 8314 8313 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385238824 9367552 266 33554432000 4194304 5064252 140736677023712 140736677022624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9103/statm: 2287 266 226 213 0 72 0
[pid=9104] ppid=9103 vsize=14088 CPUtime=5.27 cores=1,3,5,7
/proc/9104/stat : 9104 (glucose) R 9103 8313 16392 0 -1 4202496 2748 0 0 0 527 0 0 0 20 0 1 0 385238824 14426112 2687 33554432000 4194304 5208918 140735055501728 140735055499672 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9104/statm: 3522 2687 102 248 0 3271 0
Current children cumulated CPU time (s) 428.71
Current children cumulated vsize (KiB) 53292

Child status: 0
Real time (s): 430.281
CPU time (s): 428.775
CPU user time (s): 420.741
CPU system time (s): 8.03378
CPU usage (%): 99.6501
Max. virtual memory (cumulated for all children) (KiB): 154308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 420.741
system time used= 8.03378
maximum resident set size= 82164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1086796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1034448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13326
involuntary context switches= 1413

runsolver used 0.641902 second user time and 1.71774 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-08 23:25:09
IDJOB=3753607
IDBENCH=78997
IDSOLVER=2337
FILE ID=node127/3753607-1339190709
RUNJOBID= node127-1339183476-5390
PBS_JOBID= 14643807
Free space on /tmp= 70812 MiB

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

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

MD5SUM BENCH= f1c7b8b76066043f2c00dac441c2cac6
RANDOM SEED=919275669

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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.348
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:       32873648 kB
MemFree:        30810856 kB
Buffers:          450040 kB
Cached:           634436 kB
SwapCached:         2000 kB
Active:          1138408 kB
Inactive:          29224 kB
Active(anon):      70712 kB
Inactive(anon):     8228 kB
Active(file):    1067696 kB
Inactive(file):    20996 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67103464 kB
Dirty:             20164 kB
Writeback:             0 kB
AnonPages:         92168 kB
Mapped:            11284 kB
Shmem:                92 kB
Slab:             758048 kB
SReclaimable:     201908 kB
SUnreclaim:       556140 kB
KernelStack:        1520 kB
PageTables:         4184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     205044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70712 MiB
End job on node127 at 2012-06-08 23:32:19