Trace number 3753905

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 661.999 663.225

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
MD5SUM200f179ceb6a172fc8d81952e96f0c84
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 benchmark75.6615
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 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
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.15	o 654
0.00/0.15	c fallback to adder encoding
10.05/10.25	o 653
10.05/10.25	c fallback to adder encoding
22.05/22.26	o 526
22.05/22.26	c fallback to adder encoding
39.21/39.42	o 517
39.21/39.42	c fallback to adder encoding
73.42/73.65	o 515
73.42/73.65	c fallback to adder encoding
88.17/88.54	o 514
88.17/88.54	c fallback to adder encoding
101.90/102.28	o 512
101.90/102.28	c fallback to adder encoding
123.65/124.03	o 511
123.65/124.03	c fallback to adder encoding
129.32/129.72	o 470
129.32/129.72	c fallback to adder encoding
131.53/131.93	o 469
131.53/131.93	c fallback to adder encoding
137.36/137.61	o 468
137.36/137.61	c fallback to adder encoding
145.08/145.49	o 380
145.08/145.49	c fallback to adder encoding
157.66/158.08	o 379
157.66/158.08	c fallback to adder encoding
169.12/169.43	o 271
169.12/169.43	c fallback to adder encoding
176.57/177.02	o 268
176.57/177.02	c fallback to adder encoding
186.72/187.18	o 246
186.72/187.18	c fallback to adder encoding
195.13/195.58	o 245
195.13/195.58	c fallback to adder encoding
199.46/199.91	o 241
199.46/199.91	c fallback to adder encoding
207.59/208.05	o 186
207.59/208.05	c fallback to adder encoding
224.24/224.77	o 185
224.24/224.77	c fallback to adder encoding
234.79/235.32	o 176
234.79/235.32	c fallback to adder encoding
249.07/249.62	o 169
249.07/249.62	c fallback to adder encoding
257.89/258.30	o 168
257.89/258.30	c fallback to adder encoding
268.88/269.44	o 167
268.88/269.44	c fallback to adder encoding
276.08/276.50	o 161
276.08/276.50	c fallback to adder encoding
284.99/285.56	o 159
284.99/285.56	c fallback to adder encoding
291.36/291.80	o 158
291.36/291.80	c fallback to adder encoding
302.16/302.76	o 157
302.16/302.76	c fallback to adder encoding
311.67/312.27	o 156
311.67/312.27	c fallback to adder encoding
318.83/319.30	o 155
318.83/319.30	c fallback to adder encoding
324.53/325.13	o 154
324.53/325.13	c fallback to adder encoding
331.03/331.64	o 151
331.03/331.64	c fallback to adder encoding
343.53/344.14	o 150
343.53/344.14	c fallback to adder encoding
349.89/350.52	o 149
349.89/350.52	c fallback to adder encoding
355.91/356.50	o 147
355.91/356.50	c fallback to adder encoding
365.14/365.78	o 133
365.14/365.78	c fallback to adder encoding
373.64/374.29	o 132
373.64/374.29	c fallback to adder encoding
381.85/382.50	o 131
381.85/382.50	c fallback to adder encoding
392.27/392.94	o 129
392.27/392.94	c fallback to adder encoding
398.28/398.96	o 126
398.28/398.96	c fallback to adder encoding
403.93/404.59	o 117
403.93/404.59	c fallback to adder encoding
410.67/411.33	o 115
410.67/411.33	c fallback to adder encoding
419.70/420.38	o 114
419.70/420.38	c fallback to adder encoding
428.07/428.77	o 112
428.07/428.77	c fallback to adder encoding
436.88/437.59	o 108
436.88/437.59	c fallback to adder encoding
442.06/442.72	o 106
442.06/442.72	c fallback to adder encoding
457.51/458.31	o 92
457.51/458.31	c fallback to adder encoding
462.26/463.05	o 86
462.26/463.05	c fallback to adder encoding
474.27/475.11	o 85
474.27/475.11	c fallback to adder encoding
483.38/484.21	o 84
483.38/484.21	c fallback to adder encoding
493.66/494.48	o 83
493.66/494.48	c fallback to adder encoding
500.12/500.95	o 82
500.12/500.95	c fallback to adder encoding
505.60/506.41	o 80
505.60/506.41	c fallback to adder encoding
511.78/512.69	o 79
511.78/512.69	c fallback to adder encoding
515.96/516.89	o 78
515.96/516.89	c fallback to adder encoding
521.06/521.98	o 77
521.06/521.98	c fallback to adder encoding
526.12/527.13	o 76
526.12/527.13	c fallback to adder encoding
530.74/531.83	o 71
530.74/531.83	c fallback to adder encoding
535.40/536.51	o 70
535.40/536.51	c fallback to adder encoding
538.32/539.44	o 67
538.32/539.44	c fallback to adder encoding
542.37/543.47	o 63
542.37/543.47	c fallback to adder encoding
544.05/545.15	o 60
546.74/547.82	o 58
549.13/550.46	o 56
552.70/554.01	o 54
554.22/555.40	o 53
555.43/556.85	o 52
556.79/558.20	o 51
557.90/559.30	o 45
559.38/560.73	o 44
561.40/562.76	o 41
562.44/563.78	o 40
563.37/564.70	o 38
565.06/566.38	o 33
565.61/566.91	o 32
567.18/568.49	o 31
567.94/569.22	o 29
568.39/569.60	o 28
568.86/570.14	o 27
569.25/570.52	o 26
569.33/570.90	o 25
570.97/572.24	o 21
571.24/572.50	o 20
571.31/572.76	o 18
571.57/572.97	o 17
572.48/573.77	o 16
609.27/610.54	o 1
609.27/610.55	c [SWC] exit 4
661.94/663.22	c display solution
661.94/663.22	s OPTIMUM FOUND
661.94/663.22	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-3753905-1339198139/watcher-3753905-1339198139 -o /tmp/evaluation-result-3753905-1339198139/solver-3753905-1339198139 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753905-1339198139.wbo 1232248320 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.08 2.02 3/179 10448
/proc/meminfo: memFree=30785832/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0

[startup+0.101091 s]
/proc/loadavg: 2.20 2.08 2.02 3/179 10448
/proc/meminfo: memFree=30785832/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200256 s]
/proc/loadavg: 2.20 2.08 2.02 3/179 10448
/proc/meminfo: memFree=30785832/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300306 s]
/proc/loadavg: 2.20 2.08 2.02 3/179 10448
/proc/meminfo: memFree=30785832/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700171 s]
/proc/loadavg: 2.20 2.08 2.02 3/179 10448
/proc/meminfo: memFree=30785832/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 2.20 2.08 2.02 3/183 10462
/proc/meminfo: memFree=30679316/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=55704 CPUtime=0.42 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 6244 5915 0 0 29 5 7 1 20 0 1 0 385939390 57040896 9957 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10449/statm: 13926 9957 179 443 0 13479 0
[pid=10461] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10461/stat : 10461 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385939435 9367552 267 33554432000 4194304 5064252 140737350981952 140737350980864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10461/statm: 2287 267 226 213 0 72 0
[pid=10462] ppid=10461 vsize=55304 CPUtime=1.03 cores=0,2,4,6
/proc/10462/stat : 10462 (glucose) R 10461 10448 16392 0 -1 4202496 12461 0 0 0 101 2 0 0 20 0 1 0 385939435 56631296 12395 33554432000 4194304 5208918 140736457552208 140736457549960 4211904 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10462/statm: 13826 12395 104 248 0 13575 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 129304

[startup+3.10036 s]
/proc/loadavg: 2.20 2.08 2.02 3/183 10462
/proc/meminfo: memFree=30677820/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=55704 CPUtime=0.42 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 6244 5915 0 0 29 5 7 1 20 0 1 0 385939390 57040896 9957 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10449/statm: 13926 9957 179 443 0 13479 0
[pid=10461] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10461/stat : 10461 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385939435 9367552 267 33554432000 4194304 5064252 140737350981952 140737350980864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10461/statm: 2287 267 226 213 0 72 0
[pid=10462] ppid=10461 vsize=55568 CPUtime=2.63 cores=0,2,4,6
/proc/10462/stat : 10462 (glucose) R 10461 10448 16392 0 -1 4202496 12620 0 0 0 261 2 0 0 20 0 1 0 385939435 56901632 12550 33554432000 4194304 5208918 140736457552208 140736457550056 4229843 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10462/statm: 13892 12550 104 248 0 13641 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 129568

[startup+6.30037 s]
/proc/loadavg: 2.18 2.08 2.02 3/183 10462
/proc/meminfo: memFree=30675220/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=55704 CPUtime=0.42 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 6244 5915 0 0 29 5 7 1 20 0 1 0 385939390 57040896 9957 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10449/statm: 13926 9957 179 443 0 13479 0
[pid=10461] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10461/stat : 10461 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385939435 9367552 267 33554432000 4194304 5064252 140737350981952 140737350980864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10461/statm: 2287 267 226 213 0 72 0
[pid=10462] ppid=10461 vsize=63620 CPUtime=5.83 cores=0,2,4,6
/proc/10462/stat : 10462 (glucose) R 10461 10448 16392 0 -1 4202496 12946 0 0 0 581 2 0 0 20 0 1 0 385939435 65146880 12860 33554432000 4194304 5208918 140736457552208 140736457550360 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10462/statm: 15905 12860 104 248 0 15654 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 137620

[startup+12.7002 s]
/proc/loadavg: 2.17 2.07 2.02 3/183 10469
/proc/meminfo: memFree=30687380/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=39324 CPUtime=10.52 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 10300 23373 0 0 56 9 975 12 20 0 1 0 385939390 40267776 5895 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10449/statm: 9831 5895 180 443 0 9384 0
[pid=10468] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10468/stat : 10468 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385940445 9367552 266 33554432000 4194304 5064252 140734824808688 140734824807600 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10468/statm: 2287 266 226 213 0 72 0
[pid=10469] ppid=10468 vsize=55456 CPUtime=2.13 cores=0,2,4,6
/proc/10469/stat : 10469 (glucose) R 10468 10448 16392 0 -1 4202496 11735 0 0 0 212 1 0 0 20 0 1 0 385940445 56786944 12442 33554432000 4194304 5208918 140737284297680 140737284295640 4211176 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10469/statm: 13864 12442 104 248 0 13613 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 113076

[startup+25.5003 s]
/proc/loadavg: 2.13 2.07 2.02 3/183 10483
/proc/meminfo: memFree=30679568/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=53820 CPUtime=22.53 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 14663 39399 0 0 82 13 2135 23 20 0 1 0 385939390 55111680 9487 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10449/statm: 13455 9487 180 443 0 13008 0
[pid=10482] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10482/stat : 10482 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385941646 9367552 267 33554432000 4194304 5064252 140733683542672 140733683541584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10482/statm: 2287 267 226 213 0 72 0
[pid=10483] ppid=10482 vsize=55060 CPUtime=2.92 cores=0,2,4,6
/proc/10483/stat : 10483 (glucose) R 10482 10448 16392 0 -1 4202496 12845 0 0 0 289 3 0 0 20 0 1 0 385941646 56381440 12273 33554432000 4194304 5208918 140737221703392 140737221701352 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10483/statm: 13765 12273 104 248 0 13514 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 127176

[startup+51.1004 s]
/proc/loadavg: 2.15 2.08 2.02 3/183 10532
/proc/meminfo: memFree=30724412/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=53820 CPUtime=39.68 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 17493 57494 0 0 108 16 3809 35 20 0 1 0 385939390 55111680 9487 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10449/statm: 13455 9487 180 443 0 13008 0
[pid=10517] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10517/stat : 10517 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 385943361 9367552 266 33554432000 4194304 5064252 140736938168224 140736938167136 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10517/statm: 2287 266 226 213 0 72 0
[pid=10518] ppid=10517 vsize=54776 CPUtime=11.36 cores=0,2,4,6
/proc/10518/stat : 10518 (glucose) R 10517 10448 16392 0 -1 4202496 12631 0 0 0 1134 2 0 0 20 0 1 0 385943362 56090624 12120 33554432000 4194304 5208918 140736324531696 140736324529448 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10518/statm: 13694 12120 104 248 0 13443 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 126892

[startup+102.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/182 10624
/proc/meminfo: memFree=30798348/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=21052 CPUtime=102.09 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) R 10448 10448 16392 0 -1 4202496 23640 109015 0 0 164 23 9952 70 20 0 1 0 385939390 21557248 4891 33554432000 4194304 6006132 140735460784544 140735460776512 4537521 0 0 4096 0 0 0 0 17 4 0 0 13 0 0
/proc/10449/statm: 5263 4891 180 443 0 4816 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 30200

[startup+162.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/183 10668
/proc/meminfo: memFree=30719784/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=38980 CPUtime=158.07 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 43130 201688 0 0 326 43 15306 132 20 0 1 0 385939390 39915520 9166 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/10449/statm: 9745 9166 180 443 0 9298 0
[pid=10667] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10667/stat : 10667 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385955224 9367552 267 33554432000 4194304 5064252 140736851368480 140736851367392 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10667/statm: 2287 267 226 213 0 72 0
[pid=10668] ppid=10667 vsize=52608 CPUtime=3.94 cores=0,2,4,6
/proc/10668/stat : 10668 (glucose) R 10667 10448 16392 0 -1 4202496 11142 0 0 0 392 2 0 0 20 0 1 0 385955224 53870592 11567 33554432000 4194304 5208918 140733684893744 140733684891640 4212492 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10668/statm: 13152 11567 104 248 0 12901 0
Current children cumulated CPU time (s) 162.01

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

/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=38496 CPUtime=457.83 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 147572 674982 0 0 1010 131 44205 437 20 0 1 0 385939390 39419904 8142 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/10449/statm: 9624 8142 180 443 0 9177 0
[pid=10906] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385985240 9367552 266 33554432000 4194304 5064252 140733941448128 140733941447040 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10906/statm: 2287 266 226 213 0 72 0
[pid=10907] ppid=10906 vsize=40604 CPUtime=3.79 cores=0,2,4,6
/proc/10907/stat : 10907 (glucose) R 10906 10448 16392 0 -1 4202496 9136 0 0 0 377 2 0 0 20 0 1 0 385985240 41578496 8191 33554432000 4194304 5208918 140734340626656 140734340624504 4211904 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10907/statm: 10151 8191 104 248 0 9900 0
Current children cumulated CPU time (s) 461.62
Current children cumulated vsize (KiB) 97396

[startup+522.3 s]
/proc/loadavg: 2.21 2.12 2.03 3/183 10964
/proc/meminfo: memFree=30694896/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=38220 CPUtime=521.31 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 175202 781935 0 0 1141 150 50340 500 20 0 1 0 385939390 39137280 7630 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 15 0 0
/proc/10449/statm: 9555 7630 180 443 0 9108 0
Current children cumulated CPU time (s) 521.31
Current children cumulated vsize (KiB) 47368

[startup+582.3 s]
/proc/loadavg: 2.04 2.09 2.03 3/183 11181
/proc/meminfo: memFree=30729400/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=21672 CPUtime=572.57 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 203191 1071390 0 0 1294 168 55081 714 20 0 1 0 385939390 22192128 5070 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/10449/statm: 5418 5070 181 443 0 4971 0
[pid=11180] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385996768 9367552 266 33554432000 4194304 5064252 140733198076672 140733198075584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11180/statm: 2287 266 226 213 0 72 0
[pid=11181] ppid=11180 vsize=15880 CPUtime=8.5 cores=0,2,4,6
/proc/11181/stat : 11181 (glucose) R 11180 10448 16392 0 -1 4202496 3787 0 0 0 850 0 0 0 20 0 1 0 385996768 16261120 3356 33554432000 4194304 5208918 140734749797376 140734749795320 4211635 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11181/statm: 3970 3356 96 248 0 3719 0
Current children cumulated CPU time (s) 581.07
Current children cumulated vsize (KiB) 55848

[startup+642.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/183 11188
/proc/meminfo: memFree=30691476/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=21672 CPUtime=609.32 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 203370 1081247 0 0 1294 168 58753 717 20 0 1 0 385939390 22192128 5071 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/10449/statm: 5418 5071 182 443 0 4971 0
[pid=11187] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386000444 9367552 266 33554432000 4194304 5064252 140733432738000 140733432736912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11187/statm: 2287 266 226 213 0 72 0
[pid=11188] ppid=11187 vsize=22316 CPUtime=31.72 cores=0,2,4,6
/proc/11188/stat : 11188 (glucose) R 11187 10448 16392 0 -1 4202496 4362 0 0 0 3172 0 0 0 20 0 1 0 386000445 22851584 5155 33554432000 4194304 5208918 140734116098912 140734116095224 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11188/statm: 5579 5155 105 248 0 5328 0
Current children cumulated CPU time (s) 641.04
Current children cumulated vsize (KiB) 62284

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

[startup+652.8 s]
/proc/loadavg: 2.01 2.07 2.02 3/183 11188
/proc/meminfo: memFree=30718296/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=21672 CPUtime=609.32 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 203370 1081247 0 0 1294 168 58753 717 20 0 1 0 385939390 22192128 5071 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/10449/statm: 5418 5071 182 443 0 4971 0
[pid=11187] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386000444 9367552 266 33554432000 4194304 5064252 140733432738000 140733432736912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11187/statm: 2287 266 226 213 0 72 0
[pid=11188] ppid=11187 vsize=29200 CPUtime=42.23 cores=0,2,4,6
/proc/11188/stat : 11188 (glucose) R 11187 10448 16392 0 -1 4202496 5208 0 0 0 4222 1 0 0 20 0 1 0 386000445 29900800 6475 33554432000 4194304 5208918 140734116098912 140734116096760 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11188/statm: 7300 6475 105 248 0 7049 0
Current children cumulated CPU time (s) 651.55
Current children cumulated vsize (KiB) 69168

[startup+659.2 s]
/proc/loadavg: 2.01 2.07 2.02 3/183 11188
/proc/meminfo: memFree=30714692/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=21672 CPUtime=609.32 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 203370 1081247 0 0 1294 168 58753 717 20 0 1 0 385939390 22192128 5071 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/10449/statm: 5418 5071 182 443 0 4971 0
[pid=11187] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386000444 9367552 266 33554432000 4194304 5064252 140733432738000 140733432736912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11187/statm: 2287 266 226 213 0 72 0
[pid=11188] ppid=11187 vsize=29200 CPUtime=48.62 cores=0,2,4,6
/proc/11188/stat : 11188 (glucose) R 11187 10448 16392 0 -1 4202496 5763 0 0 0 4861 1 0 0 20 0 1 0 386000445 29900800 6881 33554432000 4194304 5208918 140734116098912 140734116097000 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11188/statm: 7300 6881 105 248 0 7049 0
Current children cumulated CPU time (s) 657.94
Current children cumulated vsize (KiB) 69168

[startup+660.8 s]
/proc/loadavg: 2.01 2.07 2.02 3/183 11188
/proc/meminfo: memFree=30714696/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=21672 CPUtime=609.32 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 203370 1081247 0 0 1294 168 58753 717 20 0 1 0 385939390 22192128 5071 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/10449/statm: 5418 5071 182 443 0 4971 0
[pid=11187] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386000444 9367552 266 33554432000 4194304 5064252 140733432738000 140733432736912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11187/statm: 2287 266 226 213 0 72 0
[pid=11188] ppid=11187 vsize=29200 CPUtime=50.22 cores=0,2,4,6
/proc/11188/stat : 11188 (glucose) R 11187 10448 16392 0 -1 4202496 5763 0 0 0 5021 1 0 0 20 0 1 0 386000445 29900800 6881 33554432000 4194304 5208918 140734116098912 140734116097000 4211641 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11188/statm: 7300 6881 105 248 0 7049 0
Current children cumulated CPU time (s) 659.54
Current children cumulated vsize (KiB) 69168

[startup+662.4 s]
/proc/loadavg: 2.01 2.07 2.02 3/184 11191
/proc/meminfo: memFree=30714044/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=21672 CPUtime=609.32 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 203370 1081247 0 0 1294 168 58753 717 20 0 1 0 385939390 22192128 5071 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/10449/statm: 5418 5071 182 443 0 4971 0
[pid=11187] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386000444 9367552 266 33554432000 4194304 5064252 140733432738000 140733432736912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11187/statm: 2287 266 226 213 0 72 0
[pid=11188] ppid=11187 vsize=29200 CPUtime=51.82 cores=0,2,4,6
/proc/11188/stat : 11188 (glucose) R 11187 10448 16392 0 -1 4202496 5763 0 0 0 5181 1 0 0 20 0 1 0 386000445 29900800 6881 33554432000 4194304 5208918 140734116098912 140734116097000 4229688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11188/statm: 7300 6881 105 248 0 7049 0
Current children cumulated CPU time (s) 661.14
Current children cumulated vsize (KiB) 69168

[startup+662.8 s]
/proc/loadavg: 2.01 2.07 2.02 3/184 11191
/proc/meminfo: memFree=30714044/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=21672 CPUtime=609.32 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 203370 1081247 0 0 1294 168 58753 717 20 0 1 0 385939390 22192128 5071 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/10449/statm: 5418 5071 182 443 0 4971 0
[pid=11187] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386000444 9367552 266 33554432000 4194304 5064252 140733432738000 140733432736912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11187/statm: 2287 266 226 213 0 72 0
[pid=11188] ppid=11187 vsize=29200 CPUtime=52.22 cores=0,2,4,6
/proc/11188/stat : 11188 (glucose) R 11187 10448 16392 0 -1 4202496 5763 0 0 0 5221 1 0 0 20 0 1 0 386000445 29900800 6881 33554432000 4194304 5208918 140734116098912 140734116097000 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11188/statm: 7300 6881 105 248 0 7049 0
Current children cumulated CPU time (s) 661.54
Current children cumulated vsize (KiB) 69168

[startup+663.2 s]
/proc/loadavg: 2.01 2.07 2.02 3/184 11191
/proc/meminfo: memFree=30714044/32873648 swapFree=7628/7628
[pid=10448] ppid=10446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (npSolver-wbo-It) S 10446 10448 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385939389 9367552 275 33554432000 4194304 5064252 140736436173248 140736436172160 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=21672 CPUtime=609.32 cores=0,2,4,6
/proc/10449/stat : 10449 (npSolver-wbo) S 10448 10448 16392 0 -1 4202496 203370 1081247 0 0 1294 168 58753 717 20 0 1 0 385939390 22192128 5071 33554432000 4194304 6006132 140735460784544 140735460775936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 17 0 0
/proc/10449/statm: 5418 5071 182 443 0 4971 0
[pid=11187] ppid=10449 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11187/stat : 11187 (satsolver.sh) S 10449 10448 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386000444 9367552 266 33554432000 4194304 5064252 140733432738000 140733432736912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11187/statm: 2287 266 226 213 0 72 0
[pid=11188] ppid=11187 vsize=29200 CPUtime=52.62 cores=0,2,4,6
/proc/11188/stat : 11188 (glucose) R 11187 10448 16392 0 -1 4202496 5763 0 0 0 5261 1 0 0 20 0 1 0 386000445 29900800 6881 33554432000 4194304 5208918 140734116098912 140734116097000 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11188/statm: 7300 6881 105 248 0 7049 0
Current children cumulated CPU time (s) 661.94
Current children cumulated vsize (KiB) 69168

Child status: 0
Real time (s): 663.225
CPU time (s): 661.999
CPU user time (s): 653.114
CPU system time (s): 8.88565
CPU usage (%): 99.8153
Max. virtual memory (cumulated for all children) (KiB): 143912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 653.114
system time used= 8.88565
maximum resident set size= 64124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1294273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1804768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12190
involuntary context switches= 3043

runsolver used 2.32265 second user time and 6.32004 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-09 01:28:59
IDJOB=3753905
IDBENCH=79267
IDSOLVER=2337
FILE ID=node127/3753905-1339198139
RUNJOBID= node127-1339183476-5389
PBS_JOBID= 14643807
Free space on /tmp= 70808 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006--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-3753905-1339198139/watcher-3753905-1339198139 -o /tmp/evaluation-result-3753905-1339198139/solver-3753905-1339198139 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3753905-1339198139.wbo 1232248320 HOME HOME

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

MD5SUM BENCH= 200f179ceb6a172fc8d81952e96f0c84
RANDOM SEED=1232248320

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:        30786800 kB
Buffers:          456252 kB
Cached:           639444 kB
SwapCached:         2000 kB
Active:          1157380 kB
Inactive:          33996 kB
Active(anon):      83308 kB
Inactive(anon):     8228 kB
Active(file):    1074072 kB
Inactive(file):    25768 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67103464 kB
Dirty:             23508 kB
Writeback:             0 kB
AnonPages:        214100 kB
Mapped:            11180 kB
Shmem:                92 kB
Slab:             758316 kB
SReclaimable:     202184 kB
SUnreclaim:       556132 kB
KernelStack:        1520 kB
PageTables:         3576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     215044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 70812 MiB
End job on node127 at 2012-06-09 01:40:03