Trace number 2668755

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 NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1SAT (TO)173433800480 1800.1 1802.62

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mas76.opb
MD5SUM1a1687e6de95bc6822d45f4331f81d44
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark148070400480
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 143487941105
Optimality of the best value was proved NO
Number of variables240
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint90
Maximum length of a constraint239
Number of terms in the objective function 240
Biggest coefficient in the objective function 1934281311383406679529881600000
Number of bits for the biggest coefficient in the objective function 101
Sum of the numbers in the objective function 3868562622766813359059763201675
Number of bits of the sum of numbers in the objective function 102
Biggest number in a constraint 1208925819614629174706176000000000
Number of bits of the biggest number in a constraint 110
Biggest sum of numbers in a constraint 2417851639229258350907097073774043
Number of bits of the biggest sum of numbers111
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.00	c PB/CT 0.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.06	c constraints 13/0 clauses 0/0 units 40
0.00/0.06	c vars 240
0.00/0.06	c objective 220 + 0
0.19/0.24	c 0.227965 15.0938 1 202
0.19/0.24	o 1759218604441597355
0.19/0.25	c 0.235964 15.4492 1 266
0.19/0.25	o 879609302220797355
0.19/0.26	c 0.243962 15.4492 1 330
0.19/0.26	o 191125520383834855
0.19/0.27	c 0.250961 15.4492 1 392
0.19/0.27	o 10716744908606730
0.19/0.28	c 0.25796 15.4492 1 451
0.19/0.28	o 166392319806730
0.19/0.28	c 0.266959 15.4492 1 503
0.19/0.28	o 1973960606730
0.19/0.29	c 0.274958 15.4492 1 548
0.19/0.29	o 236424606730
0.29/0.30	c 0.282956 15.4492 1 587
0.29/0.30	o 226127006730
0.29/0.31	c 0.290955 15.4492 1 625
0.29/0.31	o 222824000480
2.10/2.18	c 2.02969 15.8242 735 2231
2.10/2.18	o 220979200480
3.49/3.57	c 3.3205 16.1953 1355 3521
3.49/3.57	o 216438403605
3.79/3.88	c 3.61645 16.3203 1532 3909
3.79/3.88	o 216397800480
3.89/3.91	c 3.63945 16.3203 1536 4000
3.89/3.91	o 216396812980
3.89/3.93	c 3.66244 16.3203 1542 4081
3.89/3.93	o 216396809855
3.89/3.94	c 3.67144 16.3203 1542 4161
3.89/3.94	o 216393600480
3.89/3.95	c 3.67844 16.3203 1542 4238
3.89/3.95	o 216392800480
3.89/3.96	c 3.68744 16.3203 1542 4313
3.89/3.96	o 216392600480
3.89/3.96	c 3.69544 16.3203 1542 4389
3.89/3.96	o 216392400480
3.89/3.97	c 3.70444 16.3203 1542 4462
3.89/3.97	o 216392325480
3.99/4.04	c 3.76243 16.3203 1554 4550
3.99/4.04	o 214476800480
3.99/4.05	c 3.77443 16.3203 1555 4620
3.99/4.05	o 214453600480
3.99/4.07	c 3.79242 16.3203 1557 4684
3.99/4.07	o 214453200480
3.99/4.08	c 3.80642 16.3203 1558 4744
3.99/4.08	o 214453150480
4.09/4.10	c 3.82242 16.3203 1560 4803
4.09/4.10	o 214453125480
4.99/5.09	c 4.76527 16.4453 1833 5717
4.99/5.09	o 210982400480
5.09/5.12	c 4.78627 16.4453 1848 5858
5.09/5.12	o 210976000480
5.19/5.26	c 4.92125 16.5703 1924 6114
5.19/5.26	o 209331200480
5.29/5.31	c 4.97124 16.5703 1963 6324
5.29/5.31	o 209318412980
5.29/5.32	c 4.98124 16.5703 1849 6426
5.29/5.32	o 209318400480
5.40/5.48	c 5.13022 16.5703 1902 6568
5.40/5.48	o 209315212980
5.40/5.49	c 5.14122 16.5703 1903 6643
5.40/5.49	o 209315200480
5.40/5.50	c 5.15522 16.5703 1910 6743
5.50/5.50	o 209314000480
5.50/5.51	c 5.16421 16.5703 1910 6811
5.50/5.51	o 209313850480
7.59/7.66	c 7.17691 16.6914 1315 7877
7.59/7.66	o 209100800480
7.59/7.68	c 7.18991 16.6914 1316 7916
7.59/7.68	o 208982400480
7.59/7.69	c 7.1989 16.6914 1316 7949
7.59/7.69	o 208982000480
7.59/7.70	c 7.2069 16.6914 1316 7979
7.59/7.70	o 208981744230
7.70/7.70	c 7.2159 16.6914 1316 8006
7.70/7.70	o 208981737980
8.80/8.81	c 8.24775 16.6914 1635 8608
8.80/8.81	o 204851200480
11.69/11.70	c 10.9673 16.8164 2063 10875
11.69/11.70	o 203552000480
32.38/32.46	c 30.3974 17.3164 1235 26600
32.38/32.46	o 203550656730
32.49/32.52	c 30.4554 17.3164 1261 26675
32.49/32.52	o 203550650480
42.88/42.93	c 40.1909 17.3164 1380 33421
42.88/42.93	o 202905600480
43.08/43.12	c 40.3809 17.3164 1445 33582
43.08/43.12	o 202752000480
43.38/43.40	c 40.6408 17.3164 1530 33886
43.38/43.40	o 202700800480
43.78/43.89	c 41.1008 17.3164 1660 34095
43.78/43.89	o 201216000480
43.89/43.90	c 41.1097 17.3164 1660 34126
43.89/43.90	o 201164806730
43.89/43.91	c 41.1187 17.3164 1660 34146
43.89/43.91	o 201164800480
43.89/43.92	c 41.1267 17.3164 1660 34171
43.89/43.92	o 201163600480
43.89/43.93	c 41.1357 17.3164 1660 34195
43.89/43.93	o 201163500480
43.89/43.93	c 41.1427 17.3164 1660 34215
43.89/43.93	o 201163456730
44.68/44.77	c 41.9306 17.3164 1931 34843
44.68/44.77	o 200985600480
44.99/45.07	c 42.2056 17.3164 2016 35001
44.99/45.07	o 200979200480
44.99/45.09	c 42.2236 17.3164 2020 35064
44.99/45.09	o 200975700480
45.88/45.98	c 43.0595 17.3164 2276 35481
45.88/45.98	o 198476800480
45.88/45.99	c 43.0675 17.3164 2276 35523
45.88/45.99	o 198470403605
45.98/46.01	c 43.0844 17.3164 2279 35590
45.98/46.01	o 198468800480
45.98/46.02	c 43.0924 17.3164 2279 35651
45.98/46.02	o 198468000480
45.98/46.03	c 43.0994 17.3164 2279 35711
45.98/46.03	o 198467600480
45.98/46.03	c 43.1084 17.3164 2279 35770
45.98/46.03	o 198467525480
46.18/46.29	c 43.3474 17.3164 2356 35906
46.18/46.29	o 198353562980
51.88/51.94	c 48.5726 17.4453 1522 38994
51.88/51.94	o 197491200480
51.88/51.96	c 48.5916 17.4453 1524 39028
51.88/51.96	o 197488350480
51.88/51.97	c 48.6036 17.4453 1525 39057
51.88/51.97	o 197488325480
53.48/53.53	c 50.0634 17.4453 1993 40401
53.48/53.53	o 196720400480
53.48/53.56	c 50.0834 17.4453 2000 40578
53.48/53.56	o 196720350480
53.48/53.56	c 50.0924 17.4453 2000 40663
53.48/53.56	o 196720325480
55.38/55.43	c 51.8381 17.4453 1404 42029
55.38/55.43	o 196403200480
55.38/55.44	c 51.8481 17.4453 1404 42058
55.38/55.44	o 196376400480
55.38/55.45	c 51.8571 17.4453 1404 42082
55.38/55.45	o 196376262980
60.38/60.46	c 56.5694 17.4453 2037 46331
60.38/60.46	o 195174400480
60.38/60.47	c 56.5814 17.4453 2038 46417
60.38/60.47	o 195171600480
60.38/60.48	c 56.5924 17.4453 2039 46496
60.38/60.48	o 195171500480
60.38/60.50	c 56.6084 17.4453 2042 46577
60.38/60.50	o 195171462980
83.58/83.64	c 78.3661 18.1875 1678 63833
83.58/83.64	o 193331200480
83.58/83.65	c 78.3821 18.1875 1679 63866
83.58/83.65	o 193126400480
83.58/83.66	c 78.3891 18.1875 1679 63893
83.58/83.66	o 193120000480
83.58/83.67	c 78.3971 18.1875 1679 63918
83.58/83.67	o 193115600480
83.58/83.68	c 78.4061 18.1875 1679 63939
83.58/83.68	o 193115456730
84.07/84.16	c 78.864 18.1875 1821 64274
84.07/84.16	o 192460800480
84.07/84.17	c 78.872 18.1875 1821 64318
84.07/84.17	o 192454400480
84.07/84.18	c 78.882 18.1875 1821 64361
84.07/84.18	o 192451200480
84.17/84.20	c 78.9 18.1875 1823 64399
84.17/84.20	o 192451000480
84.17/84.21	c 78.908 18.1875 1823 64434
84.17/84.21	o 192450900480
84.87/84.94	c 79.5929 18.1875 2002 64758
84.87/84.94	o 192089600480
84.87/84.95	c 79.6079 18.1875 2003 64786
84.87/84.95	o 192084800480
84.87/84.96	c 79.6169 18.1875 2003 64807
84.87/84.96	o 192084556730
85.47/85.57	c 80.1778 18.1875 2143 65123
85.47/85.57	o 191590400480
85.47/85.59	c 80.1928 18.1875 2144 65153
85.47/85.59	o 191542400480
85.47/85.60	c 80.2008 18.1875 2144 65177
85.57/85.60	o 191541600480
85.57/85.60	c 80.2098 18.1875 2144 65200
85.57/85.60	o 191541200480
85.57/85.61	c 80.2178 18.1875 2144 65221
85.57/85.61	o 191541050480
85.57/85.63	c 80.2338 18.1875 2145 65257
85.57/85.63	o 186060800480
85.57/85.64	c 80.2408 18.1875 2145 65282
85.57/85.64	o 186049850480
86.27/86.33	c 80.8867 18.1875 2349 65720
86.27/86.33	o 185446400480
86.27/86.34	c 80.8947 18.1875 2349 65749
86.27/86.34	o 185395200480
86.27/86.35	c 80.9027 18.1875 2349 65776
86.27/86.35	o 185388800480
86.27/86.36	c 80.9107 18.1875 2349 65802
86.27/86.36	o 185385600480
91.37/91.40	c 85.626 18.1875 1800 68904
91.37/91.40	o 185385300480
93.38/93.41	c 87.5067 18.1875 2392 70101
93.38/93.41	o 181862400480
93.38/93.42	c 87.5177 18.1875 2392 70157
93.38/93.42	o 181452800480
93.38/93.43	c 87.5267 18.1875 2392 70210
93.38/93.43	o 181324800480
93.38/93.44	c 87.5357 18.1875 2392 70262
93.38/93.44	o 181305600480
93.38/93.45	c 87.5447 18.1875 2392 70309
93.38/93.45	o 181304400480
93.38/93.45	c 87.5537 18.1875 2392 70353
93.38/93.45	o 181304250480
120.16/120.23	c 112.665 19.1758 2065 84366
120.16/120.23	o 180697600480
120.16/120.25	c 112.692 19.1758 2073 84490
120.16/120.25	o 180694400480
120.16/120.27	c 112.704 19.1758 2074 84668
120.16/120.27	o 180693600480
120.16/120.28	c 112.713 19.1758 2074 84776
120.16/120.28	o 180693200480
120.26/120.30	c 112.734 19.1758 2079 84892
120.26/120.30	o 179929603605
120.26/120.32	c 112.755 19.1758 2084 84995
120.26/120.32	o 179929600480
120.26/120.33	c 112.766 19.1758 2086 85104
120.26/120.33	o 179922400480
120.26/120.34	c 112.775 19.1758 2086 85207
120.26/120.34	o 179922000480
120.26/120.35	c 112.783 19.1758 2086 85307
120.26/120.35	o 179921900480
120.36/120.43	c 112.857 19.1758 2107 85427
120.36/120.43	o 179921850480
120.36/120.49	c 112.921 19.1758 2124 85538
120.36/120.49	o 178483200480
120.46/120.50	c 112.929 19.1758 2124 85630
120.46/120.50	o 178432000480
120.46/120.51	c 112.938 19.1758 2124 85721
120.46/120.51	o 178406400480
120.46/120.52	c 112.945 19.1758 2124 85808
120.46/120.52	o 178405600480
120.46/120.53	c 112.953 19.1758 2124 85893
120.46/120.53	o 178405000480
120.46/120.54	c 112.961 19.1758 2124 85975
120.46/120.54	o 178404925480
479.64/479.82	c 450.234 21.5312 2591 299741
479.64/479.82	o 176947400480
484.34/484.52	c 454.66 21.5312 1890 303021
484.34/484.52	o 175564800480
487.24/487.45	c 457.435 21.5312 2095 305972
487.24/487.45	o 175308806730
487.84/488.01	c 457.969 21.5312 2306 306429
487.84/488.01	o 175104006730
487.84/488.01	c 457.978 21.5312 2306 306456
487.84/488.01	o 175104000480
487.84/488.02	c 457.987 21.5312 2306 306494
487.84/488.02	o 175084800480
487.84/488.03	c 457.995 21.5312 2306 306529
487.84/488.03	o 175081800480
510.14/510.32	c 478.965 21.5312 2713 321748
510.14/510.32	o 173440000480
510.14/510.34	c 478.989 21.5312 1359 321818
510.14/510.34	o 173435200480
510.14/510.36	c 479.012 21.5312 1363 321892
510.14/510.36	o 173434000480
510.14/510.37	c 479.021 21.5312 1363 321956
510.14/510.37	o 173433800480
1800.08/1800.61	s SATISFIABLE
1800.08/1800.61	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 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240

Verifier Data 

OK	173433800480

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668755-1276567521/watcher-2668755-1276567521 -o /tmp/evaluation-result-2668755-1276567521/solver-2668755-1276567521 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668755-1276567521.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 1.02 1.00 3/107 32743
/proc/meminfo: memFree=1861924/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=2208 CPUtime=0
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 268 0 0 0 0 0 0 0 20 0 1 0 30407862 2260992 190 1992294400 134512640 136485738 4293275888 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32743/statm: 552 190 157 482 0 68 0

[startup+0.062618 s]
/proc/loadavg: 0.93 1.02 1.00 3/107 32743
/proc/meminfo: memFree=1861924/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=3252 CPUtime=0.05
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 494 0 0 0 5 0 0 0 20 0 1 0 30407862 3330048 416 1992294400 134512640 136485738 4293275888 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 813 419 194 482 0 329 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3252

[startup+0.100619 s]
/proc/loadavg: 0.93 1.02 1.00 3/107 32743
/proc/meminfo: memFree=1861924/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=6456 CPUtime=0.09
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 1322 0 0 0 9 0 0 0 20 0 1 0 30407862 6610944 1244 1992294400 134512640 136485738 4293275888 18446744073709551615 134616373 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 1614 1245 197 482 0 1130 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6456

[startup+0.300638 s]
/proc/loadavg: 0.93 1.02 1.00 3/107 32743
/proc/meminfo: memFree=1861924/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=15816 CPUtime=0.29
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 3602 0 0 0 27 2 0 0 20 0 1 0 30407862 16195584 3517 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 3954 3517 245 482 0 3470 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15816

[startup+0.700673 s]
/proc/loadavg: 0.93 1.02 1.00 3/107 32743
/proc/meminfo: memFree=1861924/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=15944 CPUtime=0.69
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 3624 0 0 0 64 5 0 0 21 0 1 0 30407862 16326656 3537 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 3986 3537 246 482 0 3502 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15944

[startup+1.50075 s]
/proc/loadavg: 0.93 1.02 1.00 2/108 32744
/proc/meminfo: memFree=1848524/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=16072 CPUtime=1.49
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 3674 0 0 0 138 11 0 0 23 0 1 0 30407862 16457728 3587 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 4018 3587 246 482 0 3534 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16072

[startup+3.10089 s]
/proc/loadavg: 0.93 1.02 1.00 2/108 32744
/proc/meminfo: memFree=1848028/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=16452 CPUtime=3.09
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 3751 0 0 0 288 21 0 0 25 0 1 0 30407862 16846848 3663 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 4113 3663 246 482 0 3629 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16452

[startup+6.30118 s]
/proc/loadavg: 0.93 1.02 1.00 2/108 32744
/proc/meminfo: memFree=1847160/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=16964 CPUtime=6.29
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 3907 0 0 0 590 39 0 0 25 0 1 0 30407862 17371136 3796 1992294400 134512640 136485738 4293275888 18446744073709551615 135180198 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 4241 3796 246 482 0 3757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16964

[startup+12.7008 s]
/proc/loadavg: 0.94 1.02 1.00 2/108 32744
/proc/meminfo: memFree=1846788/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=17340 CPUtime=12.69
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 4002 0 0 0 1189 80 0 0 25 0 1 0 30407862 17756160 3884 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 4335 3884 246 482 0 3851 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17340

[startup+25.5009 s]
/proc/loadavg: 0.95 1.02 1.00 2/108 32744
/proc/meminfo: memFree=1846664/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=17340 CPUtime=25.49
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 4023 0 0 0 2387 162 0 0 25 0 1 0 30407862 17756160 3905 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 4335 3905 246 482 0 3851 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17340

[startup+51.1012 s]
/proc/loadavg: 0.97 1.02 1.00 2/108 32744
/proc/meminfo: memFree=1846292/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=17860 CPUtime=51.08
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 4155 0 0 0 4778 330 0 0 25 0 1 0 30407862 18288640 4016 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 4465 4016 246 482 0 3981 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17860

[startup+102.308 s]
/proc/loadavg: 0.98 1.01 1.00 2/108 32746
/proc/meminfo: memFree=1844184/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=19632 CPUtime=102.27
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 4666 0 0 0 9588 639 0 0 25 0 1 0 30407862 20103168 4483 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 4908 4483 246 482 0 4424 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19632

[startup+162.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/108 32748
/proc/meminfo: memFree=1844060/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=19632 CPUtime=162.24
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 4683 0 0 0 15223 1001 0 0 25 0 1 0 30407862 20103168 4484 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 4908 4484 246 482 0 4424 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 19632

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 32750
/proc/meminfo: memFree=1843688/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=20128 CPUtime=222.22
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 4795 0 0 0 20856 1366 0 0 25 0 1 0 30407862 20611072 4596 1992294400 134512640 136485738 4293275888 18446744073709551615 134878465 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5032 4596 246 482 0 4548 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 20128

[startup+282.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 32750
/proc/meminfo: memFree=1842944/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=20892 CPUtime=282.2
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 4979 0 0 0 26488 1732 0 0 25 0 1 0 30407862 21393408 4780 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5223 4780 246 482 0 4739 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 20892

[startup+342.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/108 32752
/proc/meminfo: memFree=1842952/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=20892 CPUtime=342.19
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 4981 0 0 0 32124 2095 0 0 25 0 1 0 30407862 21393408 4782 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5223 4782 246 482 0 4739 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 20892

[startup+402.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/108 32754
/proc/meminfo: memFree=1841836/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=22044 CPUtime=402.17
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5279 0 0 0 37745 2472 0 0 25 0 1 0 30407862 22573056 5080 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5511 5080 246 482 0 5027 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22044

[startup+462.301 s]
/proc/loadavg: 1.05 1.04 1.00 2/108 32756
/proc/meminfo: memFree=1841712/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=22044 CPUtime=462.15
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5279 0 0 0 43375 2840 0 0 25 0 1 0 30407862 22573056 5080 1992294400 134512640 136485738 4293275888 18446744073709551615 135173233 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5511 5080 246 482 0 5027 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 22044

[startup+522.301 s]
/proc/loadavg: 1.05 1.04 1.00 2/108 32758
/proc/meminfo: memFree=1841588/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=22044 CPUtime=522.13
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5290 0 0 0 49024 3189 0 0 25 0 1 0 30407862 22573056 5080 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5511 5080 246 482 0 5027 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 22044

[startup+582.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/108 32758
/proc/meminfo: memFree=1841464/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=22044 CPUtime=582.12
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5290 0 0 0 54704 3508 0 0 25 0 1 0 30407862 22573056 5080 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5511 5080 246 482 0 5027 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 22044

[startup+642.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 32760
/proc/meminfo: memFree=1841464/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=22044 CPUtime=642.11
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5290 0 0 0 60345 3866 0 0 25 0 1 0 30407862 22573056 5080 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5511 5080 246 482 0 5027 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 22044

[startup+702.301 s]

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

/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5762 0 0 0 94144 6055 0 0 25 0 1 0 30407862 24567808 5552 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5998 5552 246 482 0 5514 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 23992

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 304
/proc/meminfo: memFree=1839232/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=23992 CPUtime=1061.98
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5762 0 0 0 99794 6404 0 0 25 0 1 0 30407862 24567808 5552 1992294400 134512640 136485738 4293275888 18446744073709551615 135256246 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5998 5552 246 482 0 5514 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 23992

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 306
/proc/meminfo: memFree=1839108/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=23992 CPUtime=1121.96
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5762 0 0 0 105450 6746 0 0 25 0 1 0 30407862 24567808 5552 1992294400 134512640 136485738 4293275888 18446744073709551615 135039583 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5998 5552 246 482 0 5514 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 23992

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 306
/proc/meminfo: memFree=1838984/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=23992 CPUtime=1181.94
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5762 0 0 0 111068 7126 0 0 25 0 1 0 30407862 24567808 5552 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 5998 5552 246 482 0 5514 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 23992

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 308
/proc/meminfo: memFree=1838860/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24248 CPUtime=1241.93
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5818 0 0 0 116700 7493 0 0 25 0 1 0 30407862 24829952 5608 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6062 5608 246 482 0 5578 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 24248

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 310
/proc/meminfo: memFree=1838612/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24184 CPUtime=1301.92
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5818 0 0 0 122415 7777 0 0 25 0 1 0 30407862 24764416 5608 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6046 5608 246 482 0 5562 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 24184

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 312
/proc/meminfo: memFree=1838612/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24184 CPUtime=1361.9
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5818 0 0 0 128137 8053 0 0 25 0 1 0 30407862 24764416 5608 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6046 5608 246 482 0 5562 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 24184

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 314
/proc/meminfo: memFree=1838612/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24184 CPUtime=1421.88
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5818 0 0 0 133811 8377 0 0 25 0 1 0 30407862 24764416 5608 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6046 5608 246 482 0 5562 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 24184

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 314
/proc/meminfo: memFree=1838612/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24184 CPUtime=1481.86
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5818 0 0 0 139432 8754 0 0 25 0 1 0 30407862 24764416 5608 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6046 5608 246 482 0 5562 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 24184

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 316
/proc/meminfo: memFree=1838488/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24184 CPUtime=1541.85
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5818 0 0 0 145071 9114 0 0 25 0 1 0 30407862 24764416 5608 1992294400 134512640 136485738 4293275888 18446744073709551615 135192884 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6046 5608 246 482 0 5562 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 24184

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 318
/proc/meminfo: memFree=1837992/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24648 CPUtime=1601.83
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 5935 0 0 0 150836 9347 0 0 25 0 1 0 30407862 25239552 5725 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6162 5725 246 482 0 5678 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 24648

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 320
/proc/meminfo: memFree=1837744/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=25032 CPUtime=1661.82
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 6019 0 0 0 156640 9542 0 0 25 0 1 0 30407862 25632768 5809 1992294400 134512640 136485738 4293275888 18446744073709551615 135047024 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6258 5809 246 482 0 5774 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 25032

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 322
/proc/meminfo: memFree=1837496/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24984 CPUtime=1721.8
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 6036 0 0 0 162418 9762 0 0 25 0 1 0 30407862 25583616 5823 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6246 5823 246 482 0 5762 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 24984

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 322
/proc/meminfo: memFree=1837248/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24984 CPUtime=1781.77
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 6036 0 0 0 168047 10130 0 0 25 0 1 0 30407862 25583616 5823 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6246 5823 246 482 0 5762 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 24984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 324
/proc/meminfo: memFree=1837248/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24984 CPUtime=1800.08
/proc/32743/stat : 32743 (pbct) R 32741 32743 31726 0 -1 4202496 6036 0 0 0 169770 10238 0 0 25 0 1 0 30407862 25583616 5823 1992294400 134512640 136485738 4293275888 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/32743/statm: 6246 5823 246 482 0 5762 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 24984

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -32743

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 324
/proc/meminfo: memFree=1837248/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24984 CPUtime=1800.08
/proc/32743/stat : 32743 (pbct) S 32741 32743 31726 0 -1 4194304 6036 0 0 0 169770 10238 0 0 25 0 1 0 30407862 25583616 5823 1992294400 134512640 136485738 4293275888 18446744073709551615 135319262 0 16384 4096 16387 18446604437815772992 0 0 17 1 0 0 0
/proc/32743/statm: 6246 5823 246 482 0 5762 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 24984

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 1/109 325
/proc/meminfo: memFree=1837240/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24984 CPUtime=1800.08
/proc/32743/stat : 32743 (pbct) S 32741 32743 31726 0 -1 4194304 6036 0 0 0 169770 10238 0 0 25 0 1 0 30407862 25583616 5823 1992294400 134512640 136485738 4293275888 18446744073709551615 135319262 0 16384 4096 16387 18446604437815772992 0 0 17 1 0 0 0
/proc/32743/statm: 6246 5823 246 482 0 5762 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 24984

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 1/109 325
/proc/meminfo: memFree=1837240/2059040 swapFree=4140072/4192956
[pid=32743] ppid=32741 vsize=24984 CPUtime=1800.08
/proc/32743/stat : 32743 (pbct) S 32741 32743 31726 0 -1 4194304 6036 0 0 0 169770 10238 0 0 25 0 1 0 30407862 25583616 5823 1992294400 134512640 136485738 4293275888 18446744073709551615 135319262 0 16384 4096 16387 18446604437815772992 0 0 17 1 0 0 0
/proc/32743/statm: 6246 5823 246 482 0 5762 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 24984

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1800.1
CPU user time (s): 1697.71
CPU system time (s): 102.391
CPU usage (%): 99.8601
Max. virtual memory (cumulated for all children) (KiB): 25112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1697.71
system time used= 102.391
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 8540

runsolver used 2.98055 second user time and 8.5167 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-15 04:05:21
IDJOB=2668755
IDBENCH=2510
IDSOLVER=1170
FILE ID=node025/2668755-1276567521
PBS_JOBID= 11173506
Free space on /tmp= 62580 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668755-1276567521/watcher-2668755-1276567521 -o /tmp/evaluation-result-2668755-1276567521/solver-2668755-1276567521 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668755-1276567521.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1a1687e6de95bc6822d45f4331f81d44
RANDOM SEED=1157126073

node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1862328 kB
Buffers:         15200 kB
Cached:          94272 kB
SwapCached:       6308 kB
Active:          71408 kB
Inactive:        50908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1862328 kB
SwapTotal:     4192956 kB
SwapFree:      4140072 kB
Dirty:            2000 kB
Writeback:           0 kB
AnonPages:       10968 kB
Mapped:          12884 kB
Slab:            52544 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node025 at 2010-06-15 04:35:24