Trace number 3715236

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 1636.18 1637.08

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
MD5SUMa22634c1977478f126d9df874c90c256
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 benchmark53.3619
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 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.03	c run usual solver
0.00/0.15	o 581
0.00/0.15	c fallback to adder encoding
24.59/24.72	o 580
24.59/24.72	c fallback to adder encoding
45.22/45.34	o 579
45.22/45.34	c fallback to adder encoding
63.10/63.23	o 572
63.10/63.23	c fallback to adder encoding
164.10/164.25	o 565
164.10/164.25	c fallback to adder encoding
188.09/188.25	o 564
188.09/188.25	c fallback to adder encoding
211.60/211.77	o 539
211.60/211.77	c fallback to adder encoding
281.08/281.26	o 527
281.08/281.26	c fallback to adder encoding
302.02/302.21	o 520
302.02/302.21	c fallback to adder encoding
396.13/396.33	o 519
396.13/396.33	c fallback to adder encoding
424.42/424.64	o 517
424.42/424.64	c fallback to adder encoding
440.63/440.86	o 515
440.63/440.86	c fallback to adder encoding
478.61/478.85	o 514
478.61/478.85	c fallback to adder encoding
582.31/582.56	o 513
582.31/582.56	c fallback to adder encoding
684.84/685.12	o 512
684.84/685.12	c fallback to adder encoding
685.24/685.52	o 382
685.24/685.52	c fallback to adder encoding
698.22/698.48	o 381
698.22/698.48	c fallback to adder encoding
714.79/715.07	o 379
714.79/715.07	c fallback to adder encoding
728.29/728.58	o 374
728.29/728.58	c fallback to adder encoding
737.39/737.67	o 367
737.39/737.67	c fallback to adder encoding
754.86/755.15	o 366
754.86/755.15	c fallback to adder encoding
762.27/762.58	o 358
762.27/762.58	c fallback to adder encoding
767.88/768.19	o 333
767.88/768.19	c fallback to adder encoding
780.57/780.87	o 269
780.57/780.87	c fallback to adder encoding
792.16/792.48	o 263
792.16/792.48	c fallback to adder encoding
808.02/808.32	o 260
808.02/808.32	c fallback to adder encoding
827.11/827.43	o 259
827.11/827.43	c fallback to adder encoding
843.36/843.63	o 258
843.36/843.63	c fallback to adder encoding
860.96/861.24	o 257
860.96/861.24	c fallback to adder encoding
892.74/893.09	o 256
892.74/893.09	c fallback to adder encoding
904.34/904.67	o 254
904.34/904.67	c fallback to adder encoding
910.95/911.27	o 253
910.95/911.27	c fallback to adder encoding
920.80/921.13	o 247
920.80/921.13	c fallback to adder encoding
932.64/932.90	o 243
932.64/932.90	c fallback to adder encoding
943.67/944.02	o 241
943.67/944.02	c fallback to adder encoding
963.83/964.10	o 238
963.83/964.10	c fallback to adder encoding
976.58/976.93	o 231
976.58/976.93	c fallback to adder encoding
984.37/984.72	o 227
984.37/984.72	c fallback to adder encoding
991.49/991.89	o 226
991.49/991.89	c fallback to adder encoding
1002.09/1002.49	o 215
1002.09/1002.49	c fallback to adder encoding
1015.31/1015.70	o 212
1015.31/1015.70	c fallback to adder encoding
1026.30/1026.60	o 211
1026.30/1026.60	c fallback to adder encoding
1034.28/1034.60	o 185
1034.28/1034.60	c fallback to adder encoding
1051.76/1052.15	o 181
1051.76/1052.15	c fallback to adder encoding
1064.57/1064.96	o 180
1064.57/1064.96	c fallback to adder encoding
1074.54/1074.93	o 179
1074.54/1074.93	c fallback to adder encoding
1091.64/1092.09	o 176
1091.64/1092.09	c fallback to adder encoding
1103.59/1104.01	o 175
1103.59/1104.01	c fallback to adder encoding
1116.89/1117.31	o 174
1116.89/1117.31	c fallback to adder encoding
1127.44/1127.89	o 173
1127.44/1127.89	c fallback to adder encoding
1144.54/1144.98	o 172
1144.54/1144.98	c fallback to adder encoding
1158.43/1158.86	o 171
1158.43/1158.86	c fallback to adder encoding
1169.92/1170.36	o 169
1169.92/1170.36	c fallback to adder encoding
1184.56/1185.01	o 168
1184.56/1185.01	c fallback to adder encoding
1197.85/1198.31	o 167
1197.85/1198.31	c fallback to adder encoding
1211.38/1211.84	o 166
1211.38/1211.84	c fallback to adder encoding
1219.15/1219.61	o 164
1219.15/1219.61	c fallback to adder encoding
1227.65/1228.20	o 163
1227.65/1228.20	c fallback to adder encoding
1237.59/1238.22	o 162
1237.59/1238.22	c fallback to adder encoding
1253.33/1253.93	o 161
1253.33/1253.93	c fallback to adder encoding
1266.87/1267.51	o 160
1266.87/1267.51	c fallback to adder encoding
1281.41/1282.09	o 159
1281.41/1282.09	c fallback to adder encoding
1290.02/1290.67	o 158
1290.02/1290.67	c fallback to adder encoding
1298.12/1298.78	o 154
1298.12/1298.78	c fallback to adder encoding
1309.30/1309.97	o 152
1309.30/1309.97	c fallback to adder encoding
1320.29/1320.98	o 151
1320.29/1320.98	c fallback to adder encoding
1338.36/1339.02	o 150
1338.36/1339.02	c fallback to adder encoding
1352.45/1353.12	o 149
1352.45/1353.12	c fallback to adder encoding
1362.36/1363.04	o 146
1362.36/1363.04	c fallback to adder encoding
1374.29/1374.96	o 145
1374.29/1374.96	c fallback to adder encoding
1385.01/1385.71	o 144
1385.01/1385.71	c fallback to adder encoding
1391.88/1392.58	o 143
1391.88/1392.58	c fallback to adder encoding
1408.37/1409.03	o 142
1408.37/1409.03	c fallback to adder encoding
1418.81/1419.51	o 141
1418.81/1419.51	c fallback to adder encoding
1430.71/1431.43	o 129
1430.71/1431.43	c fallback to adder encoding
1449.82/1450.55	o 125
1449.82/1450.55	c fallback to adder encoding
1467.63/1468.33	o 124
1467.63/1468.33	c fallback to adder encoding
1475.79/1476.52	o 106
1483.20/1484.34	o 86
1485.76/1486.75	o 82
1493.13/1493.82	o 76
1494.83/1495.75	o 75
1496.75/1497.65	o 74
1498.49/1499.64	o 67
1499.56/1500.65	o 65
1500.93/1502.01	o 64
1502.18/1503.25	o 63
1503.49/1504.57	o 60
1511.90/1512.80	o 59
1530.43/1531.48	o 58
1532.86/1533.91	o 54
1546.12/1547.15	o 53
1606.99/1608.03	o 51
1607.84/1608.87	o 45
1608.47/1609.48	o 41
1609.16/1610.15	o 33
1609.57/1610.56	o 32
1610.77/1611.79	o 31
1611.68/1612.67	o 30
1612.45/1613.41	o 25
1612.50/1613.55	o 22
1612.68/1613.69	o 21
1612.78/1613.79	o 20
1612.86/1613.87	o 18
1612.97/1614.22	o 17
1613.31/1614.59	o 13
1613.69/1614.66	o 12
1613.88/1614.83	o 10
1613.92/1614.92	o 8
1613.92/1614.97	o 7
1614.05/1615.02	o 6
1614.17/1615.10	o 5
1614.17/1615.16	o 2
1615.07/1616.07	o 1
1615.07/1616.07	c [SWC] exit 4
1636.07/1637.07	c display solution
1636.07/1637.07	s OPTIMUM FOUND
1636.07/1637.07	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-3715236-1338217248/watcher-3715236-1338217248 -o /tmp/evaluation-result-3715236-1338217248/solver-3715236-1338217248 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715236-1338217248.wbo 205404013 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.98 2/180 17367
/proc/meminfo: memFree=31269180/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0

[startup+0.0985731 s]
/proc/loadavg: 2.00 2.02 1.98 2/180 17367
/proc/meminfo: memFree=31269180/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100188 s]
/proc/loadavg: 2.00 2.02 1.98 2/180 17367
/proc/meminfo: memFree=31269180/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/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: 2.00 2.02 1.98 2/180 17367
/proc/meminfo: memFree=31269180/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700103 s]
/proc/loadavg: 2.00 2.02 1.98 2/180 17367
/proc/meminfo: memFree=31269180/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50045 s]
/proc/loadavg: 2.00 2.02 1.98 3/184 17381
/proc/meminfo: memFree=31220268/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20800 CPUtime=0.3 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 3634 6554 0 0 16 3 9 2 20 0 1 0 287849166 21299200 3350 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17368/statm: 5200 3350 166 439 0 4757 0
[pid=17380] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17380/stat : 17380 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287849198 9367552 266 33554432000 4194304 5064252 140733980228704 140733980227616 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 2287 266 226 213 0 72 0
[pid=17381] ppid=17380 vsize=30120 CPUtime=1.17 cores=1,3,5,7
/proc/17381/stat : 17381 (glucose) R 17380 17367 12121 0 -1 4202496 7269 0 0 0 116 1 0 0 20 0 1 0 287849198 30842880 6521 33554432000 4194304 5208918 140735964251440 140735964249400 4229006 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17381/statm: 7530 6521 104 248 0 7279 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 69216

[startup+3.10039 s]
/proc/loadavg: 2.00 2.02 1.98 3/184 17381
/proc/meminfo: memFree=31219508/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20800 CPUtime=0.3 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 3634 6554 0 0 16 3 9 2 20 0 1 0 287849166 21299200 3350 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17368/statm: 5200 3350 166 439 0 4757 0
[pid=17380] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17380/stat : 17380 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287849198 9367552 266 33554432000 4194304 5064252 140733980228704 140733980227616 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 2287 266 226 213 0 72 0
[pid=17381] ppid=17380 vsize=30264 CPUtime=2.77 cores=1,3,5,7
/proc/17381/stat : 17381 (glucose) R 17380 17367 12121 0 -1 4202496 7317 0 0 0 276 1 0 0 20 0 1 0 287849198 30990336 6568 33554432000 4194304 5208918 140735964251440 140735964249192 4229021 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17381/statm: 7566 6568 104 248 0 7315 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 69360

[startup+6.30043 s]
/proc/loadavg: 2.00 2.02 1.98 3/184 17381
/proc/meminfo: memFree=31217780/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20800 CPUtime=0.3 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 3634 6554 0 0 16 3 9 2 20 0 1 0 287849166 21299200 3350 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17368/statm: 5200 3350 166 439 0 4757 0
[pid=17380] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17380/stat : 17380 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287849198 9367552 266 33554432000 4194304 5064252 140733980228704 140733980227616 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 2287 266 226 213 0 72 0
[pid=17381] ppid=17380 vsize=30660 CPUtime=5.97 cores=1,3,5,7
/proc/17381/stat : 17381 (glucose) R 17380 17367 12121 0 -1 4202496 7462 0 0 0 596 1 0 0 20 0 1 0 287849198 31395840 6703 33554432000 4194304 5208918 140735964251440 140735964249288 4211712 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17381/statm: 7665 6703 105 248 0 7414 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 69756

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 1.98 3/184 17388
/proc/meminfo: memFree=31217000/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20800 CPUtime=0.3 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 3634 6554 0 0 16 3 9 2 20 0 1 0 287849166 21299200 3350 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17368/statm: 5200 3350 166 439 0 4757 0
[pid=17380] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17380/stat : 17380 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287849198 9367552 266 33554432000 4194304 5064252 140733980228704 140733980227616 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17380/statm: 2287 266 226 213 0 72 0
[pid=17381] ppid=17380 vsize=31256 CPUtime=12.37 cores=1,3,5,7
/proc/17381/stat : 17381 (glucose) R 17380 17367 12121 0 -1 4202496 7959 0 0 0 1235 2 0 0 20 0 1 0 287849198 32006144 7196 33554432000 4194304 5208918 140735964251440 140735964249288 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17381/statm: 7814 7196 105 248 0 7563 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 70352

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 1.98 3/184 17425
/proc/meminfo: memFree=31204140/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=37056 CPUtime=24.85 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 6226 19588 0 0 30 5 2440 10 20 0 1 0 287849166 37945344 7412 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17368/statm: 9264 7412 166 439 0 8821 0
[pid=17424] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17424/stat : 17424 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287851654 9367552 267 33554432000 4194304 5064252 140734370746704 140734370745616 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17424/statm: 2287 267 226 213 0 72 0
[pid=17425] ppid=17424 vsize=30112 CPUtime=0.6 cores=1,3,5,7
/proc/17425/stat : 17425 (glucose) R 17424 17367 12121 0 -1 4202496 6492 0 0 0 59 1 0 0 20 0 1 0 287851654 30834688 6840 33554432000 4194304 5208918 140737268035232 140737268033192 4211176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17425/statm: 7528 6840 104 248 0 7277 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 85464

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.98 3/184 17439
/proc/meminfo: memFree=31199600/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=37056 CPUtime=45.48 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 8819 31206 0 0 43 8 4479 18 20 0 1 0 287849166 37945344 7412 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17368/statm: 9264 7412 166 439 0 8821 0
[pid=17438] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17438/stat : 17438 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287853717 9367552 267 33554432000 4194304 5064252 140736349904528 140736349903440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17438/statm: 2287 267 226 213 0 72 0
[pid=17439] ppid=17438 vsize=30244 CPUtime=5.58 cores=1,3,5,7
/proc/17439/stat : 17439 (glucose) R 17438 17367 12121 0 -1 4202496 6279 0 0 0 557 1 0 0 20 0 1 0 287853717 30969856 6756 33554432000 4194304 5208918 140736741604304 140736741602264 4211623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17439/statm: 7561 6756 96 248 0 7310 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 85596

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 1.98 3/183 17475
/proc/meminfo: memFree=31196492/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=37056 CPUtime=63.35 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 11417 41959 0 0 57 10 6244 24 20 0 1 0 287849166 37945344 7412 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17368/statm: 9264 7412 166 439 0 8821 0
[pid=17452] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17452/stat : 17452 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287855505 9367552 267 33554432000 4194304 5064252 140733806471392 140733806470304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17452/statm: 2287 267 226 213 0 72 0
[pid=17453] ppid=17452 vsize=41684 CPUtime=38.89 cores=1,3,5,7
/proc/17453/stat : 17453 (glucose) R 17452 17367 12121 0 -1 4202496 8271 0 0 0 3887 2 0 0 20 0 1 0 287855505 42684416 8553 33554432000 4194304 5208918 140736355930976 140736355929128 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17453/statm: 10421 8553 96 248 0 10170 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 97036

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/183 17559
/proc/meminfo: memFree=31155660/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=37056 CPUtime=63.35 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 11417 41959 0 0 57 10 6244 24 20 0 1 0 287849166 37945344 7412 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17368/statm: 9264 7412 166 439 0 8821 0
[pid=17452] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20092 CPUtime=1533.07 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 198040 989659 0 0 987 124 151552 644 20 0 1 0 287849166 20574208 4344 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/17368/statm: 5023 4344 166 439 0 4580 0
[pid=18878] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18878/stat : 18878 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288002562 9367552 267 33554432000 4194304 5064252 140737077694736 140737077693648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18878/statm: 2287 267 226 213 0 72 0
[pid=18879] ppid=18878 vsize=28608 CPUtime=8.32 cores=1,3,5,7
/proc/18879/stat : 18879 (glucose) R 18878 17367 12121 0 -1 4202496 6098 0 0 0 831 1 0 0 20 0 1 0 288002562 29294592 5861 33554432000 4194304 5208918 140733802857584 140733802855544 4211570 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18879/statm: 7152 5861 96 248 0 6901 0
Current children cumulated CPU time (s) 1541.39
Current children cumulated vsize (KiB) 66996

[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/183 18886
/proc/meminfo: memFree=31139692/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20092 CPUtime=1546.29 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 199600 1000342 0 0 990 124 152862 653 20 0 1 0 287849166 20574208 4344 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/17368/statm: 5023 4344 166 439 0 4580 0
[pid=18885] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18885/stat : 18885 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288003885 9367552 266 33554432000 4194304 5064252 140736343957888 140736343956800 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18885/statm: 2287 266 226 213 0 72 0
[pid=18886] ppid=18885 vsize=41592 CPUtime=55.09 cores=1,3,5,7
/proc/18886/stat : 18886 (glucose) R 18885 17367 12121 0 -1 4202496 8160 0 0 0 5507 2 0 0 20 0 1 0 288003885 42590208 9597 33554432000 4194304 5208918 140733216476976 140733216474840 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18886/statm: 10398 9597 96 248 0 10147 0
Current children cumulated CPU time (s) 1601.38
Current children cumulated vsize (KiB) 79980

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

[startup+1612.7 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 18928
/proc/meminfo: memFree=31170712/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20092 CPUtime=1611.76 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 205726 1055249 0 0 1003 126 159362 685 20 0 1 0 287849166 20574208 4344 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/17368/statm: 5023 4344 166 439 0 4580 0
Current children cumulated CPU time (s) 1611.76
Current children cumulated vsize (KiB) 29240

[startup+1625.5 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 19041
/proc/meminfo: memFree=31169452/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20092 CPUtime=1615.16 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 209209 1120569 0 0 1008 128 159673 707 20 0 1 0 287849166 20574208 4344 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/17368/statm: 5023 4344 166 439 0 4580 0
[pid=19039] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288010773 9367552 267 33554432000 4194304 5064252 140737152394928 140737152393840 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19039/statm: 2287 267 226 213 0 72 0
[pid=19040] ppid=19039 vsize=15020 CPUtime=9.41 cores=1,3,5,7
/proc/19040/stat : 19040 (glucose) R 19039 17367 12121 0 -1 4202496 3479 0 0 0 941 0 0 0 20 0 1 0 288010773 15380480 2929 33554432000 4194304 5208918 140736020446448 140736020444312 4229538 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19040/statm: 3755 2929 103 248 0 3504 0
Current children cumulated CPU time (s) 1624.57
Current children cumulated vsize (KiB) 53408

[startup+1631.9 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 19048
/proc/meminfo: memFree=31225088/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20092 CPUtime=1615.16 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 209209 1120569 0 0 1008 128 159673 707 20 0 1 0 287849166 20574208 4344 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/17368/statm: 5023 4344 166 439 0 4580 0
[pid=19039] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288010773 9367552 267 33554432000 4194304 5064252 140737152394928 140737152393840 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19039/statm: 2287 267 226 213 0 72 0
[pid=19040] ppid=19039 vsize=17700 CPUtime=15.81 cores=1,3,5,7
/proc/19040/stat : 19040 (glucose) R 19039 17367 12121 0 -1 4202496 4574 0 0 0 1581 0 0 0 20 0 1 0 288010773 18124800 3968 33554432000 4194304 5208918 140736020446448 140736020442760 4229717 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19040/statm: 4425 3968 103 248 0 4174 0
Current children cumulated CPU time (s) 1630.97
Current children cumulated vsize (KiB) 56088

[startup+1635.1 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 19048
/proc/meminfo: memFree=31206416/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20092 CPUtime=1615.16 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 209209 1120569 0 0 1008 128 159673 707 20 0 1 0 287849166 20574208 4344 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/17368/statm: 5023 4344 166 439 0 4580 0
[pid=19039] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288010773 9367552 267 33554432000 4194304 5064252 140737152394928 140737152393840 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19039/statm: 2287 267 226 213 0 72 0
[pid=19040] ppid=19039 vsize=13344 CPUtime=19.01 cores=1,3,5,7
/proc/19040/stat : 19040 (glucose) R 19039 17367 12121 0 -1 4202496 5520 0 0 0 1901 0 0 0 20 0 1 0 288010773 13664256 2777 33554432000 4194304 5208918 140736020446448 140736020444392 4229745 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19040/statm: 3336 2777 103 248 0 3085 0
Current children cumulated CPU time (s) 1634.17
Current children cumulated vsize (KiB) 51732

[startup+1635.9 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 19048
/proc/meminfo: memFree=31203440/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20092 CPUtime=1615.16 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 209209 1120569 0 0 1008 128 159673 707 20 0 1 0 287849166 20574208 4344 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/17368/statm: 5023 4344 166 439 0 4580 0
[pid=19039] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288010773 9367552 267 33554432000 4194304 5064252 140737152394928 140737152393840 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19039/statm: 2287 267 226 213 0 72 0
[pid=19040] ppid=19039 vsize=16024 CPUtime=19.81 cores=1,3,5,7
/proc/19040/stat : 19040 (glucose) R 19039 17367 12121 0 -1 4202496 6270 0 0 0 1981 0 0 0 20 0 1 0 288010773 16408576 3488 33554432000 4194304 5208918 140736020446448 140736020444392 4229748 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19040/statm: 4006 3488 103 248 0 3755 0
Current children cumulated CPU time (s) 1634.97
Current children cumulated vsize (KiB) 54412

[startup+1636.7 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 19048
/proc/meminfo: memFree=31202944/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20092 CPUtime=1615.16 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 209209 1120569 0 0 1008 128 159673 707 20 0 1 0 287849166 20574208 4344 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/17368/statm: 5023 4344 166 439 0 4580 0
[pid=19039] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288010773 9367552 267 33554432000 4194304 5064252 140737152394928 140737152393840 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19039/statm: 2287 267 226 213 0 72 0
[pid=19040] ppid=19039 vsize=16024 CPUtime=20.62 cores=1,3,5,7
/proc/19040/stat : 19040 (glucose) R 19039 17367 12121 0 -1 4202496 6293 0 0 0 2062 0 0 0 20 0 1 0 288010773 16408576 3508 33554432000 4194304 5208918 140736020446448 140736020444296 4229517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19040/statm: 4006 3508 103 248 0 3755 0
Current children cumulated CPU time (s) 1635.78
Current children cumulated vsize (KiB) 54412

[startup+1636.9 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 19048
/proc/meminfo: memFree=31202944/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20092 CPUtime=1615.16 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 209209 1120569 0 0 1008 128 159673 707 20 0 1 0 287849166 20574208 4344 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/17368/statm: 5023 4344 166 439 0 4580 0
[pid=19039] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288010773 9367552 267 33554432000 4194304 5064252 140737152394928 140737152393840 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19039/statm: 2287 267 226 213 0 72 0
[pid=19040] ppid=19039 vsize=16024 CPUtime=20.81 cores=1,3,5,7
/proc/19040/stat : 19040 (glucose) R 19039 17367 12121 0 -1 4202496 6311 0 0 0 2081 0 0 0 20 0 1 0 288010773 16408576 3524 33554432000 4194304 5208918 140736020446448 140736020444296 4229456 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19040/statm: 4006 3524 103 248 0 3755 0
Current children cumulated CPU time (s) 1635.97
Current children cumulated vsize (KiB) 54412

[startup+1637 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 19048
/proc/meminfo: memFree=31202944/32873844 swapFree=7632/7632
[pid=17367] ppid=17365 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17367/stat : 17367 (npSolver-wbo-It) S 17365 17367 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849166 9367552 274 33554432000 4194304 5064252 140736281144960 140736281143872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17367/statm: 2287 274 233 213 0 72 0
[pid=17368] ppid=17367 vsize=20092 CPUtime=1615.16 cores=1,3,5,7
/proc/17368/stat : 17368 (npSolver-wbo) S 17367 17367 12121 0 -1 4202496 209209 1120569 0 0 1008 128 159673 707 20 0 1 0 287849166 20574208 4344 33554432000 4194304 5990268 140737190907568 140737190898992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/17368/statm: 5023 4344 166 439 0 4580 0
[pid=19039] ppid=17368 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19039/stat : 19039 (satsolver.sh) S 17368 17367 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288010773 9367552 267 33554432000 4194304 5064252 140737152394928 140737152393840 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19039/statm: 2287 267 226 213 0 72 0
[pid=19040] ppid=19039 vsize=16024 CPUtime=20.91 cores=1,3,5,7
/proc/19040/stat : 19040 (glucose) R 19039 17367 12121 0 -1 4202496 6311 0 0 0 2091 0 0 0 20 0 1 0 288010773 16408576 3524 33554432000 4194304 5208918 140736020446448 140736020444296 4229504 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19040/statm: 4006 3524 103 248 0 3755 0
Current children cumulated CPU time (s) 1636.07
Current children cumulated vsize (KiB) 54412

Child status: 0
Real time (s): 1637.08
CPU time (s): 1636.18
CPU user time (s): 1627.8
CPU system time (s): 8.37773
CPU usage (%): 99.9451
Max. virtual memory (cumulated for all children) (KiB): 136604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1627.8
system time used= 8.37773
maximum resident set size= 74616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1340487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1384480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10510
involuntary context switches= 4216

runsolver used 3.76143 second user time and 9.67353 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-28 17:00:48
IDJOB=3715236
IDBENCH=79275
IDSOLVER=2296
FILE ID=node141/3715236-1338217248
RUNJOBID= node141-1338210956-15179
PBS_JOBID= 14624602
Free space on /tmp= 71516 MiB

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

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

MD5SUM BENCH= a22634c1977478f126d9df874c90c256
RANDOM SEED=205404013

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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:        31269428 kB
Buffers:          297276 kB
Cached:           414692 kB
SwapCached:          220 kB
Active:           291856 kB
Inactive:         474032 kB
Active(anon):      44004 kB
Inactive(anon):    11292 kB
Active(file):     247852 kB
Inactive(file):   462740 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:             14960 kB
Writeback:             0 kB
AnonPages:         73840 kB
Mapped:            11616 kB
Shmem:               172 kB
Slab:             699156 kB
SReclaimable:     141040 kB
SUnreclaim:       558116 kB
KernelStack:        1560 kB
PageTables:         4024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     172792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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= 71504 MiB
End job on node141 at 2012-05-28 17:28:05