Trace number 3714929

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-topDownOPTIMUM 608.926 605.018

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo
MD5SUMcbb94832f8cf89251c53c05bd4717107
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark22.8045
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 constraints1788
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 89002
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 89001
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 707
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.02	c run usual solver
0.00/0.15	o 1122
0.00/0.15	c fallback to adder encoding
5.54/5.63	o 1105
5.54/5.63	c fallback to adder encoding
14.56/14.66	o 1103
14.56/14.66	c fallback to adder encoding
23.04/23.14	o 1096
23.04/23.14	c fallback to adder encoding
31.42/31.52	o 1095
31.42/31.52	c fallback to adder encoding
37.93/38.03	o 1093
37.93/38.03	c fallback to adder encoding
46.66/46.77	o 1092
46.66/46.77	c fallback to adder encoding
87.35/87.46	o 1008
87.35/87.46	c fallback to adder encoding
91.23/91.35	o 1007
91.23/91.35	c fallback to adder encoding
97.15/97.20	o 994
97.15/97.20	c fallback to adder encoding
102.34/102.48	o 990
102.34/102.48	c fallback to adder encoding
106.24/106.36	o 934
106.24/106.36	c fallback to adder encoding
113.26/113.37	o 674
113.26/113.37	c fallback to adder encoding
120.41/120.53	o 671
120.41/120.53	c fallback to adder encoding
127.61/127.73	o 669
127.61/127.73	c fallback to adder encoding
132.53/132.63	o 665
132.53/132.63	c fallback to adder encoding
138.35/138.40	o 642
138.35/138.40	c fallback to adder encoding
145.43/145.55	o 632
145.43/145.55	c fallback to adder encoding
150.20/150.31	o 631
150.20/150.31	c fallback to adder encoding
154.13/154.29	o 614
154.13/154.29	c fallback to adder encoding
163.91/164.02	o 607
163.91/164.02	c fallback to adder encoding
169.93/170.07	o 603
169.93/170.07	c fallback to adder encoding
175.43/175.55	o 602
175.43/175.55	c fallback to adder encoding
183.23/183.38	o 528
183.23/183.38	c fallback to adder encoding
193.43/193.54	o 525
193.43/193.54	c fallback to adder encoding
199.73/199.88	o 393
199.73/199.88	c fallback to adder encoding
207.01/207.14	o 392
207.01/207.14	c fallback to adder encoding
211.66/211.86	o 391
211.66/211.86	c fallback to adder encoding
216.28/216.60	o 388
216.28/216.60	c fallback to adder encoding
224.46/224.76	o 387
224.46/224.76	c fallback to adder encoding
230.65/230.99	o 355
230.65/230.99	c fallback to adder encoding
236.99/237.31	o 347
236.99/237.31	c fallback to adder encoding
249.73/250.05	o 346
249.73/250.05	c fallback to adder encoding
268.51/268.84	o 345
268.51/268.84	c fallback to adder encoding
273.34/273.68	o 344
273.34/273.68	c fallback to adder encoding
276.84/277.13	o 343
276.84/277.13	c fallback to adder encoding
283.23/283.57	o 342
283.23/283.57	c fallback to adder encoding
290.52/290.84	o 341
290.52/290.84	c fallback to adder encoding
294.91/295.24	o 328
294.91/295.24	c fallback to adder encoding
298.97/299.31	o 268
298.97/299.31	c fallback to adder encoding
304.21/304.57	o 265
304.21/304.57	c fallback to adder encoding
309.41/309.79	o 262
309.41/309.79	c fallback to adder encoding
317.77/318.11	o 261
317.77/318.11	c fallback to adder encoding
323.40/323.75	o 259
323.40/323.75	c fallback to adder encoding
331.80/332.19	o 258
331.80/332.19	c fallback to adder encoding
339.18/339.54	o 257
339.18/339.54	c fallback to adder encoding
347.36/347.72	o 255
347.36/347.72	c fallback to adder encoding
351.29/351.65	o 250
351.29/351.65	c fallback to adder encoding
355.80/356.16	o 249
355.80/356.16	c fallback to adder encoding
360.89/361.26	o 248
360.89/361.26	c fallback to adder encoding
366.06/366.42	o 247
366.06/366.42	c fallback to adder encoding
371.12/371.54	o 231
371.12/371.54	c fallback to adder encoding
375.66/376.13	o 230
375.66/376.13	c fallback to adder encoding
379.37/379.89	o 228
379.37/379.89	c fallback to adder encoding
385.35/385.84	o 227
385.35/385.84	c fallback to adder encoding
390.61/391.11	o 215
390.61/391.11	c fallback to adder encoding
393.60/394.19	o 213
393.60/394.19	c fallback to adder encoding
397.07/397.61	o 212
397.07/397.61	c fallback to adder encoding
402.99/403.54	o 204
402.99/403.54	c fallback to adder encoding
407.11/407.69	o 203
407.11/407.69	c fallback to adder encoding
407.28/412.46	o 202
407.28/412.46	c fallback to adder encoding
415.30/415.88	o 200
415.30/415.88	c fallback to adder encoding
419.48/420.03	o 196
419.48/420.03	c fallback to adder encoding
425.09/425.63	o 194
425.09/425.63	c fallback to adder encoding
429.60/430.18	o 193
429.60/430.18	c fallback to adder encoding
434.16/434.70	o 191
434.16/434.70	c fallback to adder encoding
437.79/438.35	o 188
437.79/438.35	c fallback to adder encoding
440.18/440.77	o 138
446.18/447.07	o 136
452.70/453.21	o 135
458.41/459.31	o 126
465.21/466.09	o 124
471.50/472.35	o 123
477.90/478.50	o 121
483.85/484.71	o 119
489.56/490.39	o 118
495.50/496.07	o 116
501.33/502.18	o 115
507.28/508.10	o 112
513.75/514.55	o 110
519.98/520.79	o 107
526.40/526.94	o 105
531.98/532.78	o 104
541.14/541.93	o 90
542.25/542.96	o 82
544.43/545.10	o 77
545.14/545.79	o 76
545.81/546.46	o 74
546.46/547.10	o 70
547.40/548.02	o 69
548.36/548.97	o 68
549.17/549.79	o 64
554.39/554.98	o 63
555.59/556.18	o 62
556.78/557.36	o 61
558.04/558.62	o 60
558.50/559.07	o 57
564.64/565.21	o 56
565.92/566.48	o 55
566.43/566.99	o 52
566.86/567.40	o 51
567.29/567.95	o 42
569.61/570.24	o 35
569.68/570.56	o 32
570.00/570.77	o 31
571.01/571.66	o 30
571.72/572.30	o 29
572.31/572.93	o 27
573.00/573.68	o 26
574.62/575.29	o 18
574.72/575.38	o 17
574.81/575.63	o 16
576.22/576.82	o 13
576.22/576.86	o 11
576.52/577.11	o 10
576.71/577.30	o 9
579.02/579.64	o 7
579.06/579.74	o 5
584.20/584.88	o 4
594.27/594.92	o 3
595.67/596.39	o 2
604.38/605.01	c display solution
604.38/605.01	s OPTIMUM FOUND
604.38/605.01	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	2

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-3714929-1338187378/watcher-3714929-1338187378 -o /tmp/evaluation-result-3714929-1338187378/solver-3714929-1338187378 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714929-1338187378.wbo 1168075052 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.95 1.99 1.99 4/179 12779
/proc/meminfo: memFree=30654928/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0

[startup+0.059987 s]
/proc/loadavg: 1.95 1.99 1.99 4/179 12779
/proc/meminfo: memFree=30654928/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.1003 s]
/proc/loadavg: 1.95 1.99 1.99 4/179 12779
/proc/meminfo: memFree=30654928/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300281 s]
/proc/loadavg: 1.95 1.99 1.99 4/179 12779
/proc/meminfo: memFree=30654928/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700229 s]
/proc/loadavg: 1.95 1.99 1.99 4/179 12779
/proc/meminfo: memFree=30654928/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 1.95 1.99 1.99 4/183 12793
/proc/meminfo: memFree=30618244/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=12028 CPUtime=0.25 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 3196 5744 0 0 13 2 9 1 20 0 1 0 284862650 12316672 2491 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12780/statm: 3007 2491 166 439 0 2564 0
[pid=12792] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12792/stat : 12792 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284862677 9367552 266 33554432000 4194304 5064252 140735410929744 140735410928656 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12792/statm: 2287 266 226 213 0 72 0
[pid=12793] ppid=12792 vsize=22396 CPUtime=1.21 cores=1,3,5,7
/proc/12793/stat : 12793 (glucose) R 12792 12779 32349 0 -1 4202496 5333 0 0 0 121 0 0 0 20 0 1 0 284862678 22933504 4861 33554432000 4194304 5208918 140737314995104 140737314993064 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12793/statm: 5599 4861 104 248 0 5348 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 52720

[startup+3.10035 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 12800
/proc/meminfo: memFree=30675604/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=12028 CPUtime=0.25 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 3196 5744 0 0 13 2 9 1 20 0 1 0 284862650 12316672 2491 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12780/statm: 3007 2491 166 439 0 2564 0
[pid=12792] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12792/stat : 12792 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284862677 9367552 266 33554432000 4194304 5064252 140735410929744 140735410928656 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12792/statm: 2287 266 226 213 0 72 0
[pid=12793] ppid=12792 vsize=22964 CPUtime=2.81 cores=1,3,5,7
/proc/12793/stat : 12793 (glucose) R 12792 12779 32349 0 -1 4202496 5583 0 0 0 281 0 0 0 20 0 1 0 284862678 23515136 5102 33554432000 4194304 5208918 140737314995104 140737314993064 4228975 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12793/statm: 5741 5102 105 248 0 5490 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 53288

[startup+6.30027 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 12800
/proc/meminfo: memFree=30620400/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20092 CPUtime=5.72 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 5426 14946 0 0 23 3 540 6 20 0 1 0 284862650 20574208 4483 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12780/statm: 5023 4483 166 439 0 4580 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 29240

[startup+12.7004 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 12814
/proc/meminfo: memFree=30611648/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20092 CPUtime=5.72 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 5426 14946 0 0 23 3 540 6 20 0 1 0 284862650 20574208 4483 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12780/statm: 5023 4483 166 439 0 4580 0
[pid=12806] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12806/stat : 12806 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284863225 9367552 267 33554432000 4194304 5064252 140736260285472 140736260284384 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12806/statm: 2287 267 226 213 0 72 0
[pid=12807] ppid=12806 vsize=25784 CPUtime=6.94 cores=1,3,5,7
/proc/12807/stat : 12807 (glucose) R 12806 12779 32349 0 -1 4202496 4980 0 0 0 693 1 0 0 20 0 1 0 284863226 26402816 5691 33554432000 4194304 5208918 140733809913296 140733809911144 4211904 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12807/statm: 6446 5691 105 248 0 6195 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 64172

[startup+25.5004 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 12849
/proc/meminfo: memFree=30677028/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20092 CPUtime=23.24 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 9888 32271 0 0 44 7 2257 16 20 0 1 0 284862650 20574208 4483 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12780/statm: 5023 4483 166 439 0 4580 0
[pid=12841] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12841/stat : 12841 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284864976 9367552 265 33554432000 4194304 5064252 140736216392544 140736216391456 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12841/statm: 2287 265 226 213 0 72 0
[pid=12842] ppid=12841 vsize=22780 CPUtime=2.23 cores=1,3,5,7
/proc/12842/stat : 12842 (glucose) R 12841 12779 32349 0 -1 4202496 5391 0 0 0 222 1 0 0 20 0 1 0 284864976 23326720 5005 33554432000 4194304 5208918 140735523900432 140735523898264 4211488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12842/statm: 5695 5005 104 248 0 5444 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 61168

[startup+51.1003 s]
/proc/loadavg: 1.98 1.99 1.99 3/183 12905
/proc/meminfo: memFree=30651956/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20092 CPUtime=46.85 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 16581 60649 0 0 74 11 4570 30 20 0 1 0 284862650 20574208 4483 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12780/statm: 5023 4483 166 439 0 4580 0
[pid=12897] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12897/stat : 12897 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284867339 9367552 267 33554432000 4194304 5064252 140734083501344 140734083500256 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12897/statm: 2287 267 226 213 0 72 0
[pid=12898] ppid=12897 vsize=25372 CPUtime=4.2 cores=1,3,5,7
/proc/12898/stat : 12898 (glucose) R 12897 12779 32349 0 -1 4202496 5620 0 0 0 419 1 0 0 20 0 1 0 284867339 25980928 5544 33554432000 4194304 5208918 140734612534640 140734612532792 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12898/statm: 6343 5544 96 248 0 6092 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 63760

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 13031
/proc/meminfo: memFree=30684740/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20092 CPUtime=97.26 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 23274 89708 0 0 101 16 9562 47 20 0 1 0 284862650 20574208 4483 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12780/statm: 5023 4483 166 439 0 4580 0
[pid=13023] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13023/stat : 13023 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284872381 9367552 267 33554432000 4194304 5064252 140733349545152 140733349544064 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13023/statm: 2287 267 226 213 0 72 0
[pid=13024] ppid=13023 vsize=21292 CPUtime=4.99 cores=1,3,5,7
/proc/13024/stat : 13024 (glucose) R 13023 12779 32349 0 -1 4202496 5955 0 0 0 498 1 0 0 20 0 1 0 284872381 21803008 4856 33554432000 4194304 5208918 140736982749792 140736982747544 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13024/statm: 5323 4856 105 248 0 5072 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 59680

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 13459
/proc/meminfo: memFree=30689944/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20092 CPUtime=154.35 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 45584 177328 0 0 194 31 15114 96 20 0 1 0 284862650 20574208 4483 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12780/statm: 5023 4483 166 439 0 4580 0
[pid=13458] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13458/stat : 13458 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284878090 9367552 267 33554432000 4194304 5064252 140733594035584 140733594034496 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13458/statm: 2287 267 226 213 0 72 0
[pid=13459] ppid=13458 vsize=24736 CPUtime=7.89 cores=1,3,5,7
/proc/13459/stat : 13459 (glucose) R 13458 12779 32349 0 -1 4202496 5027 0 0 0 788 1 0 0 20 0 1 0 284878090 25329664 5711 33554432000 4194304 5208918 140735267624560 140735267622312 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13459/statm: 6184 5711 105 248 0 5933 0
Current children cumulated CPU time (s) 162.24

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

/proc/14318/statm: 13241 12034 95 248 0 12990 0
Current children cumulated CPU time (s) 521.8
Current children cumulated vsize (KiB) 91356

[startup+582.3 s]
/proc/loadavg: 2.19 2.10 2.03 3/183 14641
/proc/meminfo: memFree=30708760/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20096 CPUtime=579.15 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 220645 1116209 0 0 807 126 56195 787 20 0 1 0 284862650 20578304 4541 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 4 0 0
/proc/12780/statm: 5024 4541 166 439 0 4581 0
[pid=14640] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14640/stat : 14640 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284920625 9367552 267 33554432000 4194304 5064252 140736340069040 140736340067952 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14640/statm: 2287 267 226 213 0 72 0
[pid=14641] ppid=14640 vsize=10308 CPUtime=2.55 cores=1,3,5,7
/proc/14641/stat : 14641 (glucose) R 14640 12779 32349 0 -1 4202496 2561 0 0 0 255 0 0 0 20 0 1 0 284920625 10555392 1971 33554432000 4194304 5208918 140737399236080 140737399234024 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14641/statm: 2577 1971 96 248 0 2326 0
Current children cumulated CPU time (s) 581.7
Current children cumulated vsize (KiB) 48700

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

[startup+588.7 s]
/proc/loadavg: 2.16 2.09 2.03 3/183 14648
/proc/meminfo: memFree=30697600/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20096 CPUtime=584.27 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 220755 1122867 0 0 808 126 56704 789 20 0 1 0 284862650 20578304 4541 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 4 0 0
/proc/12780/statm: 5024 4541 166 439 0 4581 0
[pid=14647] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14647/stat : 14647 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284921139 9367552 267 33554432000 4194304 5064252 140735052879808 140735052878720 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14647/statm: 2287 267 226 213 0 72 0
[pid=14648] ppid=14647 vsize=8808 CPUtime=3.8 cores=1,3,5,7
/proc/14648/stat : 14648 (glucose) R 14647 12779 32349 0 -1 4202496 2144 0 0 0 380 0 0 0 20 0 1 0 284921139 9019392 1689 33554432000 4194304 5208918 140735316508848 140735316506792 4229541 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14648/statm: 2202 1689 102 248 0 1951 0
Current children cumulated CPU time (s) 588.07
Current children cumulated vsize (KiB) 47200

[startup+595.107 s]
/proc/loadavg: 2.15 2.09 2.03 3/183 14655
/proc/meminfo: memFree=30700776/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20096 CPUtime=594.31 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 220865 1128956 0 0 808 126 57707 790 20 0 1 0 284862650 20578304 4541 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 4 0 0
/proc/12780/statm: 5024 4541 166 439 0 4581 0
[pid=14654] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14654/stat : 14654 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284922143 9367552 267 33554432000 4194304 5064252 140736710827888 140736710826800 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14654/statm: 2287 267 226 213 0 72 0
[pid=14655] ppid=14654 vsize=3768 CPUtime=0.17 cores=1,3,5,7
/proc/14655/stat : 14655 (glucose) R 14654 12779 32349 0 -1 4202496 607 0 0 0 17 0 0 0 20 0 1 0 284922143 3858432 518 33554432000 4194304 5208918 140733318273120 140733318271208 4211075 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14655/statm: 942 518 101 248 0 691 0
Current children cumulated CPU time (s) 594.48
Current children cumulated vsize (KiB) 42160

[startup+601.5 s]
/proc/loadavg: 2.13 2.09 2.02 3/183 14662
/proc/meminfo: memFree=30696924/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20096 CPUtime=595.78 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 220969 1133620 0 0 808 126 57853 791 20 0 1 0 284862650 20578304 4541 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 4 0 0
/proc/12780/statm: 5024 4541 166 439 0 4581 0
[pid=14661] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14661/stat : 14661 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284922290 9367552 267 33554432000 4194304 5064252 140733379086864 140733379085776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14661/statm: 2287 267 226 213 0 72 0
[pid=14662] ppid=14661 vsize=12072 CPUtime=5.09 cores=1,3,5,7
/proc/14662/stat : 14662 (glucose) R 14661 12779 32349 0 -1 4202496 2779 0 0 0 509 0 0 0 20 0 1 0 284922290 12361728 2238 33554432000 4194304 5208918 140734213638432 140734213636296 4229344 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14662/statm: 3018 2238 103 248 0 2767 0
Current children cumulated CPU time (s) 600.87
Current children cumulated vsize (KiB) 50464

[startup+603.1 s]
/proc/loadavg: 2.13 2.09 2.02 3/183 14662
/proc/meminfo: memFree=30693824/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20096 CPUtime=595.78 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 220969 1133620 0 0 808 126 57853 791 20 0 1 0 284862650 20578304 4541 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 4 0 0
/proc/12780/statm: 5024 4541 166 439 0 4581 0
[pid=14661] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14661/stat : 14661 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284922290 9367552 267 33554432000 4194304 5064252 140733379086864 140733379085776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14661/statm: 2287 267 226 213 0 72 0
[pid=14662] ppid=14661 vsize=12072 CPUtime=6.69 cores=1,3,5,7
/proc/14662/stat : 14662 (glucose) R 14661 12779 32349 0 -1 4202496 2846 0 0 0 669 0 0 0 20 0 1 0 284922290 12361728 2303 33554432000 4194304 5208918 140734213638432 140734213636296 4229307 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14662/statm: 3018 2303 103 248 0 2767 0
Current children cumulated CPU time (s) 602.47
Current children cumulated vsize (KiB) 50464

[startup+603.907 s]
/proc/loadavg: 2.12 2.09 2.02 3/183 14662
/proc/meminfo: memFree=30693700/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20096 CPUtime=595.78 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 220969 1133620 0 0 808 126 57853 791 20 0 1 0 284862650 20578304 4541 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 4 0 0
/proc/12780/statm: 5024 4541 166 439 0 4581 0
[pid=14661] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14661/stat : 14661 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284922290 9367552 267 33554432000 4194304 5064252 140733379086864 140733379085776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14661/statm: 2287 267 226 213 0 72 0
[pid=14662] ppid=14661 vsize=12072 CPUtime=7.49 cores=1,3,5,7
/proc/14662/stat : 14662 (glucose) R 14661 12779 32349 0 -1 4202496 2846 0 0 0 749 0 0 0 20 0 1 0 284922290 12361728 2303 33554432000 4194304 5208918 140734213638432 140734213636296 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14662/statm: 3018 2303 103 248 0 2767 0
Current children cumulated CPU time (s) 603.27
Current children cumulated vsize (KiB) 50464

[startup+604.7 s]
/proc/loadavg: 2.12 2.09 2.02 3/183 14662
/proc/meminfo: memFree=30693700/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20096 CPUtime=595.78 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 220969 1133620 0 0 808 126 57853 791 20 0 1 0 284862650 20578304 4541 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 4 0 0
/proc/12780/statm: 5024 4541 166 439 0 4581 0
[pid=14661] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14661/stat : 14661 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284922290 9367552 267 33554432000 4194304 5064252 140733379086864 140733379085776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14661/statm: 2287 267 226 213 0 72 0
[pid=14662] ppid=14661 vsize=12072 CPUtime=8.29 cores=1,3,5,7
/proc/14662/stat : 14662 (glucose) R 14661 12779 32349 0 -1 4202496 2978 0 0 0 829 0 0 0 20 0 1 0 284922290 12361728 2430 33554432000 4194304 5208918 140734213638432 140734213636296 4229688 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14662/statm: 3018 2430 103 248 0 2767 0
Current children cumulated CPU time (s) 604.07
Current children cumulated vsize (KiB) 50464

[startup+604.9 s]
/proc/loadavg: 2.12 2.09 2.02 3/183 14662
/proc/meminfo: memFree=30692956/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20096 CPUtime=595.78 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 220969 1133620 0 0 808 126 57853 791 20 0 1 0 284862650 20578304 4541 33554432000 4194304 5990268 140735484670624 140735484662048 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 4 0 0
/proc/12780/statm: 5024 4541 166 439 0 4581 0
[pid=14661] ppid=12780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14661/stat : 14661 (satsolver.sh) S 12780 12779 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284922290 9367552 267 33554432000 4194304 5064252 140733379086864 140733379085776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14661/statm: 2287 267 226 213 0 72 0
[pid=14662] ppid=14661 vsize=12072 CPUtime=8.49 cores=1,3,5,7
/proc/14662/stat : 14662 (glucose) R 14661 12779 32349 0 -1 4202496 2978 0 0 0 849 0 0 0 20 0 1 0 284922290 12361728 2430 33554432000 4194304 5208918 140734213638432 140734213636296 4215351 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14662/statm: 3018 2430 103 248 0 2767 0
Current children cumulated CPU time (s) 604.27
Current children cumulated vsize (KiB) 50464

[startup+605.007 s]
/proc/loadavg: 2.12 2.09 2.02 3/183 14662
/proc/meminfo: memFree=30692956/32873844 swapFree=6600/6600
[pid=12779] ppid=12777 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12779/stat : 12779 (npSolver-wbo-It) S 12777 12779 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284862650 9367552 274 33554432000 4194304 5064252 140733565124432 140733565123344 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12779/statm: 2287 274 233 213 0 72 0
[pid=12780] ppid=12779 vsize=20096 CPUtime=604.38 cores=1,3,5,7
/proc/12780/stat : 12780 (npSolver-wbo) S 12779 12779 32349 0 -1 4202496 220979 1137203 0 0 808 126 58712 792 20 0 1 0 284862650 20578304 4541 33554432000 4194304 5990268 140735484670624 140735484661536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 4 0 0
/proc/12780/statm: 5024 4541 166 439 0 4581 0
Current children cumulated CPU time (s) 604.38
Current children cumulated vsize (KiB) 29244

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 4.51001
#  lost CPU user time (s): 4.5
#  lost CPU system time (s): 0.00999999

Real time (s): 605.018
CPU time (s): 608.926
CPU user time (s): 599.715
CPU system time (s): 9.2116
CPU usage (%): 100.646
Max. virtual memory (cumulated for all children) (KiB): 129112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 595.215
system time used= 9.2016
maximum resident set size= 68388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1361390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1152744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12506
involuntary context switches= 2000

runsolver used 1.39079 second user time and 3.58645 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-28 08:42:58
IDJOB=3714929
IDBENCH=78958
IDSOLVER=2296
FILE ID=node140/3714929-1338187378
RUNJOBID= node140-1338159152-32366
PBS_JOBID= 14624551
Free space on /tmp= 71316 MiB

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

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

MD5SUM BENCH= cbb94832f8cf89251c53c05bd4717107
RANDOM SEED=1168075052

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30655308 kB
Buffers:          454544 kB
Cached:           768016 kB
SwapCached:         1488 kB
Active:          1055384 kB
Inactive:         292652 kB
Active(anon):     117116 kB
Inactive(anon):     8604 kB
Active(file):     938268 kB
Inactive(file):   284048 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105304 kB
Dirty:             19160 kB
Writeback:             0 kB
AnonPages:        145352 kB
Mapped:            12600 kB
Shmem:                 8 kB
Slab:             730740 kB
SReclaimable:     172284 kB
SUnreclaim:       558456 kB
KernelStack:        1520 kB
PageTables:         4596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     248292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71316 MiB
End job on node140 at 2012-05-28 08:53:03