Trace number 3715241

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 1116.9 1118.33

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo
MD5SUMebbce1c4489027f4644c8b5f9031d297
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 benchmark44.2703
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 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
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 497
0.00/0.15	c fallback to adder encoding
21.49/21.62	o 493
21.49/21.62	c fallback to adder encoding
33.94/34.09	o 465
33.94/34.09	c fallback to adder encoding
46.05/46.18	o 464
46.05/46.18	c fallback to adder encoding
58.97/59.13	o 412
58.97/59.13	c fallback to adder encoding
74.07/74.23	o 401
74.07/74.23	c fallback to adder encoding
90.74/90.92	o 400
90.74/90.92	c fallback to adder encoding
102.79/102.99	o 397
102.79/102.99	c fallback to adder encoding
116.08/116.26	o 394
116.08/116.26	c fallback to adder encoding
138.18/138.38	o 393
138.18/138.38	c fallback to adder encoding
148.74/148.96	o 392
148.74/148.96	c fallback to adder encoding
159.48/159.71	o 267
159.48/159.71	c fallback to adder encoding
191.62/191.89	o 263
191.62/191.89	c fallback to adder encoding
231.60/231.89	o 262
231.60/231.89	c fallback to adder encoding
269.72/269.90	o 259
269.72/269.90	c fallback to adder encoding
284.85/285.13	o 256
284.85/285.13	c fallback to adder encoding
300.15/300.44	o 254
300.15/300.44	c fallback to adder encoding
309.26/309.58	o 239
309.26/309.58	c fallback to adder encoding
325.26/325.59	o 238
325.26/325.59	c fallback to adder encoding
349.80/350.14	o 237
349.80/350.14	c fallback to adder encoding
365.01/365.35	o 234
365.01/365.35	c fallback to adder encoding
381.11/381.48	o 232
381.11/381.48	c fallback to adder encoding
391.90/392.26	o 220
391.90/392.26	c fallback to adder encoding
421.29/421.68	o 211
421.29/421.68	c fallback to adder encoding
433.08/433.43	o 210
433.08/433.43	c fallback to adder encoding
468.11/468.51	o 206
468.11/468.51	c fallback to adder encoding
479.99/480.43	o 205
479.99/480.43	c fallback to adder encoding
494.50/494.94	o 200
494.50/494.94	c fallback to adder encoding
506.57/507.00	o 199
506.57/507.00	c fallback to adder encoding
513.11/513.56	o 198
513.11/513.56	c fallback to adder encoding
520.02/520.49	o 194
520.02/520.49	c fallback to adder encoding
531.30/531.76	o 193
531.30/531.76	c fallback to adder encoding
540.59/541.09	o 192
540.59/541.09	c fallback to adder encoding
554.96/555.45	o 191
554.96/555.45	c fallback to adder encoding
570.33/570.82	o 186
570.33/570.82	c fallback to adder encoding
576.53/577.04	o 185
576.53/577.04	c fallback to adder encoding
605.23/605.79	o 184
605.23/605.79	c fallback to adder encoding
622.14/622.64	o 183
622.14/622.64	c fallback to adder encoding
633.23/633.78	o 182
633.23/633.78	c fallback to adder encoding
658.14/658.71	o 179
658.14/658.71	c fallback to adder encoding
668.05/668.61	o 175
668.05/668.61	c fallback to adder encoding
681.48/682.09	o 174
681.48/682.09	c fallback to adder encoding
710.57/711.19	o 173
710.57/711.19	c fallback to adder encoding
725.07/725.67	o 172
725.07/725.67	c fallback to adder encoding
740.89/741.51	o 171
740.89/741.51	c fallback to adder encoding
753.72/754.34	o 166
753.72/754.34	c fallback to adder encoding
773.45/774.07	o 165
773.45/774.07	c fallback to adder encoding
796.23/796.87	o 164
796.23/796.87	c fallback to adder encoding
808.82/809.48	o 163
808.82/809.48	c fallback to adder encoding
820.88/821.53	o 162
820.88/821.53	c fallback to adder encoding
830.90/831.56	o 159
830.90/831.56	c fallback to adder encoding
840.44/841.10	o 158
840.44/841.10	c fallback to adder encoding
864.49/865.16	o 146
864.49/865.16	c fallback to adder encoding
870.87/871.55	o 145
870.87/871.55	c fallback to adder encoding
882.37/883.05	o 144
882.37/883.05	c fallback to adder encoding
892.64/893.32	o 143
892.64/893.32	c fallback to adder encoding
904.07/904.78	o 142
904.07/904.78	c fallback to adder encoding
927.37/928.09	o 140
927.37/928.09	c fallback to adder encoding
934.58/935.30	o 139
934.58/935.30	c fallback to adder encoding
945.08/945.80	o 136
945.08/945.80	c fallback to adder encoding
973.68/974.42	o 135
973.68/974.42	c fallback to adder encoding
992.63/993.33	o 127
992.63/993.33	c fallback to adder encoding
1002.13/1002.89	o 121
1007.11/1007.87	o 116
1012.30/1013.21	o 115
1017.51/1018.62	o 114
1022.69/1023.87	o 113
1027.69/1028.94	o 112
1032.96/1034.37	o 111
1038.29/1039.71	o 104
1042.90/1044.76	o 103
1048.80/1050.20	o 102
1053.89/1055.34	o 95
1057.37/1059.17	o 88
1060.48/1062.21	o 85
1063.61/1065.09	o 84
1066.10/1067.82	o 78
1069.26/1070.94	o 72
1072.33/1073.94	o 71
1074.44/1076.06	o 70
1077.84/1079.46	o 58
1080.61/1082.14	o 57
1082.33/1083.87	o 51
1084.31/1085.73	o 50
1085.65/1087.16	o 43
1086.30/1087.77	o 41
1086.98/1088.45	o 38
1087.62/1089.06	o 37
1089.14/1090.65	o 36
1090.14/1091.66	o 35
1090.51/1092.02	o 26
1091.04/1092.56	o 24
1091.13/1093.15	o 21
1091.96/1093.45	o 18
1093.24/1094.74	o 17
1093.74/1095.21	o 16
1093.76/1095.36	o 13
1094.44/1095.92	o 12
1094.48/1096.29	o 10
1095.26/1096.76	o 9
1095.33/1097.48	o 7
1096.46/1097.94	o 5
1096.50/1098.55	o 4
1097.46/1098.94	o 3
1098.56/1100.01	o 2
1100.35/1101.85	o 1
1100.35/1101.86	c [SWC] exit 4
1116.85/1118.32	c display solution
1116.85/1118.32	s OPTIMUM FOUND
1116.85/1118.32	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-3715241-1338218902/watcher-3715241-1338218902 -o /tmp/evaluation-result-3715241-1338218902/solver-3715241-1338218902 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715241-1338218902.wbo 1710918787 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.01 2.05 2.00 2/179 20636
/proc/meminfo: memFree=29766020/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0

[startup+0.0927199 s]
/proc/loadavg: 2.01 2.05 2.00 2/179 20636
/proc/meminfo: memFree=29766020/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100176 s]
/proc/loadavg: 2.01 2.05 2.00 2/179 20636
/proc/meminfo: memFree=29766020/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30015 s]
/proc/loadavg: 2.01 2.05 2.00 2/179 20636
/proc/meminfo: memFree=29766020/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700117 s]
/proc/loadavg: 2.01 2.05 2.00 2/179 20636
/proc/meminfo: memFree=29766020/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 20650
/proc/meminfo: memFree=29723204/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=12480 CPUtime=0.26 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 3191 5890 0 0 14 2 9 1 20 0 1 0 288014603 12779520 2625 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 3120 2625 166 439 0 2677 0
[pid=20649] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20649/stat : 20649 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288014632 9367552 266 33554432000 4194304 5064252 140735601744960 140735601743872 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20649/statm: 2287 266 226 213 0 72 0
[pid=20650] ppid=20649 vsize=27716 CPUtime=1.18 cores=0,2,4,6
/proc/20650/stat : 20650 (glucose) R 20649 20636 12592 0 -1 4202496 6844 0 0 0 118 0 0 0 20 0 1 0 288014632 28381184 6102 33554432000 4194304 5208918 140733329819568 140733329817416 4211665 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20650/statm: 6929 6102 96 248 0 6678 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 58492

[startup+3.1003 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 20650
/proc/meminfo: memFree=29722584/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=12480 CPUtime=0.26 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 3191 5890 0 0 14 2 9 1 20 0 1 0 288014603 12779520 2625 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 3120 2625 166 439 0 2677 0
[pid=20649] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20649/stat : 20649 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288014632 9367552 266 33554432000 4194304 5064252 140735601744960 140735601743872 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20649/statm: 2287 266 226 213 0 72 0
[pid=20650] ppid=20649 vsize=27716 CPUtime=2.78 cores=0,2,4,6
/proc/20650/stat : 20650 (glucose) R 20649 20636 12592 0 -1 4202496 6881 0 0 0 278 0 0 0 20 0 1 0 288014632 28381184 6139 33554432000 4194304 5208918 140733329819568 140733329817416 4211635 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20650/statm: 6929 6139 96 248 0 6678 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 58492

[startup+6.30034 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 20650
/proc/meminfo: memFree=29719172/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=12480 CPUtime=0.26 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 3191 5890 0 0 14 2 9 1 20 0 1 0 288014603 12779520 2625 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 3120 2625 166 439 0 2677 0
[pid=20649] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20649/stat : 20649 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288014632 9367552 266 33554432000 4194304 5064252 140735601744960 140735601743872 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20649/statm: 2287 266 226 213 0 72 0
[pid=20650] ppid=20649 vsize=32308 CPUtime=5.98 cores=0,2,4,6
/proc/20650/stat : 20650 (glucose) R 20649 20636 12592 0 -1 4202496 7135 0 0 0 598 0 0 0 20 0 1 0 288014632 33083392 6392 33554432000 4194304 5208918 140733329819568 140733329817720 4211635 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20650/statm: 8077 6392 96 248 0 7826 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 63084

[startup+12.7004 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 20650
/proc/meminfo: memFree=29717216/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=12480 CPUtime=0.26 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 3191 5890 0 0 14 2 9 1 20 0 1 0 288014603 12779520 2625 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 3120 2625 166 439 0 2677 0
[pid=20649] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20649/stat : 20649 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288014632 9367552 266 33554432000 4194304 5064252 140735601744960 140735601743872 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20649/statm: 2287 266 226 213 0 72 0
[pid=20650] ppid=20649 vsize=32308 CPUtime=12.38 cores=0,2,4,6
/proc/20650/stat : 20650 (glucose) R 20649 20636 12592 0 -1 4202496 7400 0 0 0 1238 0 0 0 20 0 1 0 288014632 33083392 7165 33554432000 4194304 5208918 140733329819568 140733329817720 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20650/statm: 8077 7165 96 248 0 7826 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 63084

[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 20664
/proc/meminfo: memFree=29730364/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20544 CPUtime=21.71 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 5542 17697 0 0 26 4 2135 6 20 0 1 0 288014603 21037056 4613 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 5136 4613 166 439 0 4693 0
[pid=20663] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20663/stat : 20663 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288016778 9367552 267 33554432000 4194304 5064252 140734099457104 140734099456016 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20663/statm: 2287 267 226 213 0 72 0
[pid=20664] ppid=20663 vsize=28460 CPUtime=3.72 cores=0,2,4,6
/proc/20664/stat : 20664 (glucose) R 20663 20636 12592 0 -1 4202496 6285 0 0 0 372 0 0 0 20 0 1 0 288016778 29143040 6209 33554432000 4194304 5208918 140737246459856 140737246457688 4211141 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20664/statm: 7115 6209 104 248 0 6864 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 67300

[startup+51.1004 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 20692
/proc/meminfo: memFree=29728308/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20544 CPUtime=46.26 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 10244 38157 0 0 50 7 4552 17 20 0 1 0 288014603 21037056 4613 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 5136 4613 166 439 0 4693 0
[pid=20684] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20684/stat : 20684 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288019235 9367552 267 33554432000 4194304 5064252 140735991781760 140735991780672 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20684/statm: 2287 267 226 213 0 72 0
[pid=20685] ppid=20684 vsize=28648 CPUtime=4.76 cores=0,2,4,6
/proc/20685/stat : 20685 (glucose) R 20684 20636 12592 0 -1 4202496 7074 0 0 0 475 1 0 0 20 0 1 0 288019235 29335552 6333 33554432000 4194304 5208918 140733720973936 140733720971784 4211166 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20685/statm: 7162 6333 105 248 0 6911 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 67488

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/184 20745
/proc/meminfo: memFree=29740444/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20544 CPUtime=90.97 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 17298 70459 0 0 86 12 8965 34 20 0 1 0 288014603 21037056 4613 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 5136 4613 166 439 0 4693 0
[pid=20734] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20734/stat : 20734 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288023709 9367552 267 33554432000 4194304 5064252 140734626391936 140734626390848 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20734/statm: 2287 267 226 213 0 72 0
[pid=20735] ppid=20734 vsize=29060 CPUtime=11.22 cores=0,2,4,6
/proc/20735/stat : 20735 (glucose) R 20734 20636 12592 0 -1 4202496 6570 0 0 0 1121 1 0 0 20 0 1 0 288023709 29757440 6509 33554432000 4194304 5208918 140736696154688 140736696152648 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20735/statm: 7265 6509 105 248 0 7014 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 67900

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20808
/proc/meminfo: memFree=29727844/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20544 CPUtime=159.7 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 29054 125633 0 0 146 20 15740 64 20 0 1 0 288014603 21037056 4613 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 5136 4613 166 439 0 4693 0
[pid=20807] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22135
/proc/meminfo: memFree=29207976/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20148 CPUtime=1060.91 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) R 20636 20636 12592 0 -1 4202496 176397 947427 0 0 852 116 104469 654 20 0 1 0 288014603 20631552 4498 33554432000 4194304 5990268 140734361502560 140734361496664 4604908 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/20637/statm: 5037 4498 166 439 0 4594 0
Current children cumulated CPU time (s) 1060.91
Current children cumulated vsize (KiB) 29296

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

[startup+1075.2 s]
/proc/loadavg: 1.93 2.00 1.99 3/183 22170
/proc/meminfo: memFree=29228544/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20148 CPUtime=1072.63 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 185338 1011893 0 0 881 121 105542 719 20 0 1 0 288014603 20631552 4502 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20637/statm: 5037 4502 166 439 0 4594 0
[pid=22169] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22169/stat : 22169 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288122004 9367552 266 33554432000 4194304 5064252 140734362137360 140734362136272 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22169/statm: 2287 266 226 213 0 72 0
[pid=22170] ppid=22169 vsize=44164 CPUtime=1.17 cores=0,2,4,6
/proc/22170/stat : 22170 (glucose) R 22169 20636 12592 0 -1 4202496 8811 0 0 0 116 1 0 0 20 0 1 0 288122004 45223936 8677 33554432000 4194304 5208918 140737006726912 140737006725320 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22170/statm: 11041 8677 95 248 0 10790 0
Current children cumulated CPU time (s) 1073.8
Current children cumulated vsize (KiB) 82608

[startup+1100.8 s]
/proc/loadavg: 1.95 2.00 1.99 4/184 22348
/proc/meminfo: memFree=29265424/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20148 CPUtime=1098.57 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 203792 1185232 0 0 918 127 107989 823 20 0 1 0 288014603 20631552 4503 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20637/statm: 5037 4503 166 439 0 4594 0
Current children cumulated CPU time (s) 1098.57
Current children cumulated vsize (KiB) 29296

[startup+1107.2 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 22359
/proc/meminfo: memFree=29258240/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20148 CPUtime=1100.42 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 203917 1190506 0 0 918 127 108173 824 20 0 1 0 288014603 20631552 4503 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20637/statm: 5037 4503 166 439 0 4594 0
[pid=22358] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22358/stat : 22358 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288124789 9367552 266 33554432000 4194304 5064252 140736669110848 140736669109760 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22358/statm: 2287 266 226 213 0 72 0
[pid=22359] ppid=22358 vsize=10576 CPUtime=5.32 cores=0,2,4,6
/proc/22359/stat : 22359 (glucose) R 22358 20636 12592 0 -1 4202496 2587 0 0 0 532 0 0 0 20 0 1 0 288124789 10829824 2143 33554432000 4194304 5208918 140736002124048 140736002120424 4229734 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22359/statm: 2644 2143 102 248 0 2393 0
Current children cumulated CPU time (s) 1105.74
Current children cumulated vsize (KiB) 49020

[startup+1113.6 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 22359
/proc/meminfo: memFree=29254756/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20148 CPUtime=1100.42 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 203917 1190506 0 0 918 127 108173 824 20 0 1 0 288014603 20631552 4503 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20637/statm: 5037 4503 166 439 0 4594 0
[pid=22358] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22358/stat : 22358 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288124789 9367552 266 33554432000 4194304 5064252 140736669110848 140736669109760 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22358/statm: 2287 266 226 213 0 72 0
[pid=22359] ppid=22358 vsize=15176 CPUtime=11.73 cores=0,2,4,6
/proc/22359/stat : 22359 (glucose) R 22358 20636 12592 0 -1 4202496 3559 0 0 0 1172 1 0 0 20 0 1 0 288124789 15540224 3072 33554432000 4194304 5208918 140736002124048 140736002121912 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22359/statm: 3794 3072 102 248 0 3543 0
Current children cumulated CPU time (s) 1112.15
Current children cumulated vsize (KiB) 53620

[startup+1116.8 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 22359
/proc/meminfo: memFree=29250228/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20148 CPUtime=1100.42 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 203917 1190506 0 0 918 127 108173 824 20 0 1 0 288014603 20631552 4503 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20637/statm: 5037 4503 166 439 0 4594 0
[pid=22358] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22358/stat : 22358 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288124789 9367552 266 33554432000 4194304 5064252 140736669110848 140736669109760 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22358/statm: 2287 266 226 213 0 72 0
[pid=22359] ppid=22358 vsize=19528 CPUtime=14.93 cores=0,2,4,6
/proc/22359/stat : 22359 (glucose) R 22358 20636 12592 0 -1 4202496 4102 0 0 0 1492 1 0 0 20 0 1 0 288124789 19996672 4100 33554432000 4194304 5208918 140736002124048 140736002121896 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22359/statm: 4882 4100 102 248 0 4631 0
Current children cumulated CPU time (s) 1115.35
Current children cumulated vsize (KiB) 57972

[startup+1117.6 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 22359
/proc/meminfo: memFree=29256244/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20148 CPUtime=1100.42 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 203917 1190506 0 0 918 127 108173 824 20 0 1 0 288014603 20631552 4503 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20637/statm: 5037 4503 166 439 0 4594 0
[pid=22358] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22358/stat : 22358 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288124789 9367552 266 33554432000 4194304 5064252 140736669110848 140736669109760 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22358/statm: 2287 266 226 213 0 72 0
[pid=22359] ppid=22358 vsize=12472 CPUtime=15.73 cores=0,2,4,6
/proc/22359/stat : 22359 (glucose) R 22358 20636 12592 0 -1 4202496 4493 0 0 0 1572 1 0 0 20 0 1 0 288124789 12771328 2648 33554432000 4194304 5208918 140736002124048 140736002121896 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22359/statm: 3118 2648 102 248 0 2867 0
Current children cumulated CPU time (s) 1116.15
Current children cumulated vsize (KiB) 50916

[startup+1118 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 22359
/proc/meminfo: memFree=29256244/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20148 CPUtime=1100.42 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 203917 1190506 0 0 918 127 108173 824 20 0 1 0 288014603 20631552 4503 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20637/statm: 5037 4503 166 439 0 4594 0
[pid=22358] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22358/stat : 22358 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288124789 9367552 266 33554432000 4194304 5064252 140736669110848 140736669109760 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22358/statm: 2287 266 226 213 0 72 0
[pid=22359] ppid=22358 vsize=12472 CPUtime=16.13 cores=0,2,4,6
/proc/22359/stat : 22359 (glucose) R 22358 20636 12592 0 -1 4202496 4506 0 0 0 1612 1 0 0 20 0 1 0 288124789 12771328 2660 33554432000 4194304 5208918 140736002124048 140736002121896 4229431 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22359/statm: 3118 2660 102 248 0 2867 0
Current children cumulated CPU time (s) 1116.55
Current children cumulated vsize (KiB) 50916

[startup+1118.2 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 22359
/proc/meminfo: memFree=29256244/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20148 CPUtime=1100.42 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 203917 1190506 0 0 918 127 108173 824 20 0 1 0 288014603 20631552 4503 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20637/statm: 5037 4503 166 439 0 4594 0
[pid=22358] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22358/stat : 22358 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288124789 9367552 266 33554432000 4194304 5064252 140736669110848 140736669109760 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22358/statm: 2287 266 226 213 0 72 0
[pid=22359] ppid=22358 vsize=12472 CPUtime=16.33 cores=0,2,4,6
/proc/22359/stat : 22359 (glucose) R 22358 20636 12592 0 -1 4202496 4506 0 0 0 1632 1 0 0 20 0 1 0 288124789 12771328 2660 33554432000 4194304 5208918 140736002124048 140736002121896 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22359/statm: 3118 2660 102 248 0 2867 0
Current children cumulated CPU time (s) 1116.75
Current children cumulated vsize (KiB) 50916

[startup+1118.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 22359
/proc/meminfo: memFree=29256244/32873844 swapFree=7628/7628
[pid=20636] ppid=20634 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20636/stat : 20636 (npSolver-wbo-It) S 20634 20636 12592 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288014603 9367552 275 33554432000 4194304 5064252 140736143025328 140736143024240 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20636/statm: 2287 275 233 213 0 72 0
[pid=20637] ppid=20636 vsize=20148 CPUtime=1100.42 cores=0,2,4,6
/proc/20637/stat : 20637 (npSolver-wbo) S 20636 20636 12592 0 -1 4202496 203917 1190506 0 0 918 127 108173 824 20 0 1 0 288014603 20631552 4503 33554432000 4194304 5990268 140734361502560 140734361493984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20637/statm: 5037 4503 166 439 0 4594 0
[pid=22358] ppid=20637 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22358/stat : 22358 (satsolver.sh) S 20637 20636 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288124789 9367552 266 33554432000 4194304 5064252 140736669110848 140736669109760 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22358/statm: 2287 266 226 213 0 72 0
[pid=22359] ppid=22358 vsize=12472 CPUtime=16.43 cores=0,2,4,6
/proc/22359/stat : 22359 (glucose) R 22358 20636 12592 0 -1 4202496 4506 0 0 0 1642 1 0 0 20 0 1 0 288124789 12771328 2660 33554432000 4194304 5208918 140736002124048 140736002121896 4229335 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22359/statm: 3118 2660 102 248 0 2867 0
Current children cumulated CPU time (s) 1116.85
Current children cumulated vsize (KiB) 50916

Child status: 0
Real time (s): 1118.33
CPU time (s): 1116.9
CPU user time (s): 1107.36
CPU system time (s): 9.54455
CPU usage (%): 99.8724
Max. virtual memory (cumulated for all children) (KiB): 152400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1107.36
system time used= 9.54455
maximum resident set size= 84860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1403266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1345952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13785
involuntary context switches= 3578

runsolver used 2.34064 second user time and 6.566 second system time

The end

Launcher Data 

Begin job on node145 at 2012-05-28 17:28:22
IDJOB=3715241
IDBENCH=79305
IDSOLVER=2296
FILE ID=node145/3715241-1338218902
RUNJOBID= node145-1338210676-15245
PBS_JOBID= 14624578
Free space on /tmp= 71540 MiB

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

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

MD5SUM BENCH= ebbce1c4489027f4644c8b5f9031d297
RANDOM SEED=1710918787

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29766640 kB
Buffers:          342548 kB
Cached:          1876380 kB
SwapCached:            0 kB
Active:           784068 kB
Inactive:        1501892 kB
Active(anon):      58088 kB
Inactive(anon):    10912 kB
Active(file):     725980 kB
Inactive(file):  1490980 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17004 kB
Writeback:             0 kB
AnonPages:         79676 kB
Mapped:            15060 kB
Shmem:               200 kB
Slab:             680152 kB
SReclaimable:     121656 kB
SUnreclaim:       558496 kB
KernelStack:        1528 kB
PageTables:         4012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     191920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71412 MiB
End job on node145 at 2012-05-28 17:47:01