Trace number 2682376

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.1 fixedSAT (TO)42 1800.05 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
MD5SUM1d334f36842eecbe8db395477b7c6bcb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1791.89
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6340
Number of bits of the biggest sum of numbers13
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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 16/0 clauses 0/0 units 0
0.00/0.00	c vars 198
0.00/0.00	c objective 128 + 0
0.09/0.14	c 0.12598 9.05078 255 635
0.09/0.14	o 1946
0.09/0.14	c 0.12898 9.20703 256 750
0.09/0.14	o 1843
0.09/0.15	c 0.131979 9.20703 259 868
0.09/0.15	o 1799
0.09/0.15	c 0.134979 9.20703 277 1003
0.09/0.15	o 1701
0.09/0.16	c 0.143978 9.20703 316 1143
0.09/0.16	o 1700
0.09/0.20	c 0.176973 9.20703 452 1482
0.09/0.20	o 591
0.19/0.20	c 0.181972 9.20703 474 1624
0.19/0.20	o 589
0.19/0.23	c 0.204968 9.33203 554 1777
0.19/0.23	o 587
0.19/0.23	c 0.209968 9.33203 562 1887
0.19/0.23	o 531
0.19/0.26	c 0.235964 9.33203 666 2204
0.19/0.26	o 529
0.19/0.27	c 0.237963 9.33203 667 2321
0.19/0.27	o 525
0.19/0.27	c 0.238963 9.33203 669 2434
0.19/0.27	o 523
0.19/0.28	c 0.246962 9.33203 693 2595
0.19/0.28	o 507
0.19/0.29	c 0.255961 9.46094 732 2749
0.19/0.29	o 478
0.29/0.32	c 0.277957 9.46094 845 3098
0.29/0.32	o 471
0.29/0.32	c 0.285956 9.46094 878 3217
0.29/0.32	o 465
0.29/0.33	c 0.288956 9.46094 878 3319
0.29/0.33	o 464
0.29/0.33	c 0.292955 9.46094 887 3479
0.29/0.33	o 338
0.29/0.34	c 0.298954 9.46094 911 3646
0.29/0.34	o 336
0.29/0.35	c 0.304953 9.46094 930 3753
0.29/0.35	o 315
0.29/0.36	c 0.316951 9.58984 958 3945
0.29/0.36	o 313
0.39/0.40	c 0.349946 9.58984 554 4259
0.39/0.40	o 311
0.39/0.40	c 0.354946 9.58984 561 4353
0.39/0.40	o 290
0.39/0.43	c 0.384941 9.58984 673 4668
0.39/0.43	o 289
0.39/0.48	c 0.426935 9.58984 810 5051
0.39/0.48	o 276
0.39/0.48	c 0.431934 9.58984 820 5152
0.39/0.48	o 200
0.49/0.56	c 0.502923 9.58984 1087 5730
0.49/0.56	o 196
0.79/0.81	c 0.733888 9.58984 843 7323
0.79/0.81	o 186
0.79/0.83	c 0.745886 9.58984 902 7497
0.79/0.83	o 172
0.79/0.83	c 0.750885 9.58984 914 7609
0.79/0.83	o 170
0.79/0.86	c 0.776881 9.58984 1030 7917
0.79/0.86	o 168
2.39/2.45	c 2.18267 10.0938 1919 15641
2.39/2.45	o 166
2.50/2.59	c 2.30865 10.0938 928 16709
2.50/2.59	o 133
2.69/2.72	c 2.43463 10.0938 810 17550
2.69/2.72	o 113
5.89/5.91	c 5.30319 10.0938 1016 33375
5.89/5.91	o 111
6.60/6.62	c 5.95109 10.3438 1235 37053
6.60/6.62	o 108
12.19/12.25	c 11.0873 10.4688 1049 64474
12.19/12.25	o 71
12.49/12.58	c 11.3923 10.4688 818 66237
12.49/12.58	o 69
12.49/12.59	c 11.4003 10.4688 837 66332
12.49/12.59	o 67
67.27/67.32	c 60.8977 11.7344 2038 307689
67.27/67.32	o 65
83.36/83.48	c 75.6235 11.7344 1042 370222
83.36/83.48	o 64
113.56/113.68	c 103.324 11.8555 1383 508235
113.56/113.68	o 63
573.21/573.40	c 525.207 13.6953 1526 2488383
573.21/573.40	o 61
723.05/723.32	c 662.687 13.6953 1344 3139289
723.05/723.32	o 59
723.05/723.37	c 662.73 13.6953 835 3139645
723.05/723.37	o 57
760.04/760.34	c 696.691 13.6953 1241 3305086
760.04/760.34	o 56
760.04/760.35	c 696.709 13.6953 703 3305270
760.04/760.35	o 54
760.04/760.36	c 696.717 13.6953 724 3305357
760.04/760.36	o 52
760.04/760.37	c 696.722 13.6953 733 3305425
760.04/760.37	o 50
1747.63/1748.25	c 1602.54 14.5 2046 7543368
1747.63/1748.25	o 44
1747.63/1748.26	c 1602.55 14.5 1043 7543493
1747.63/1748.26	o 42
1800.03/1800.61	s SATISFIABLE
1800.03/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

Verifier Data 

OK	42

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682376-1277491901/watcher-2682376-1277491901 -o /tmp/evaluation-result-2682376-1277491901/solver-2682376-1277491901 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682376-1277491901.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: 1.00 1.00 0.94 3/105 30235
/proc/meminfo: memFree=1859388/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=3312 CPUtime=0
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 542 0 0 0 0 0 0 0 25 0 1 0 90483774 3391488 461 1992294400 134512640 136421960 4288203440 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 828 463 193 467 0 359 0

[startup+0.05435 s]
/proc/loadavg: 1.00 1.00 0.94 3/105 30235
/proc/meminfo: memFree=1859388/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=7304 CPUtime=0.04
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 1517 0 0 0 4 0 0 0 25 0 1 0 90483774 7479296 1436 1992294400 134512640 136421960 4288203440 18446744073709551615 134730122 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 1826 1441 194 467 0 1357 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7304

[startup+0.101355 s]
/proc/loadavg: 1.00 1.00 0.94 3/105 30235
/proc/meminfo: memFree=1859388/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=9136 CPUtime=0.09
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 1997 0 0 0 9 0 0 0 25 0 1 0 90483774 9355264 1916 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 2284 1916 213 467 0 1815 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9136

[startup+0.301377 s]
/proc/loadavg: 1.00 1.00 0.94 3/105 30235
/proc/meminfo: memFree=1859388/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=9684 CPUtime=0.29
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2132 0 0 0 26 3 0 0 25 0 1 0 90483774 9916416 2037 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 2421 2037 236 467 0 1952 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9684

[startup+0.701421 s]
/proc/loadavg: 1.00 1.00 0.94 3/105 30235
/proc/meminfo: memFree=1859388/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=9816 CPUtime=0.69
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2201 0 0 0 63 6 0 0 25 0 1 0 90483774 10051584 2093 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 2454 2093 236 467 0 1985 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9816

[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30236
/proc/meminfo: memFree=1851692/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=9944 CPUtime=1.5
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2235 0 0 0 133 17 0 0 25 0 1 0 90483774 10182656 2123 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 2486 2123 236 467 0 2017 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9944

[startup+3.10169 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30236
/proc/meminfo: memFree=1851196/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=10332 CPUtime=3.09
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2312 0 0 0 276 33 0 0 25 0 1 0 90483774 10579968 2197 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 2583 2197 236 467 0 2114 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10332

[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30236
/proc/meminfo: memFree=1850948/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=10588 CPUtime=6.29
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2380 0 0 0 565 64 0 0 25 0 1 0 90483774 10842112 2264 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 2647 2264 236 467 0 2178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10588

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 0.94 2/106 30236
/proc/meminfo: memFree=1850452/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=10716 CPUtime=12.69
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2439 0 0 0 1149 120 0 0 25 0 1 0 90483774 10973184 2319 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 2679 2319 236 467 0 2210 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10716

[startup+25.5012 s]
/proc/loadavg: 1.07 1.02 0.94 2/106 30236
/proc/meminfo: memFree=1849956/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=11228 CPUtime=25.48
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2560 0 0 0 2309 239 0 0 25 0 1 0 90483774 11497472 2440 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 2807 2440 236 467 0 2338 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11228

[startup+51.101 s]
/proc/loadavg: 1.05 1.01 0.94 2/106 30236
/proc/meminfo: memFree=1849584/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=11752 CPUtime=51.08
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2683 0 0 0 4626 482 0 0 25 0 1 0 90483774 12034048 2563 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 2938 2563 236 467 0 2469 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11752

[startup+102.309 s]
/proc/loadavg: 1.07 1.02 0.95 2/106 30238
/proc/meminfo: memFree=1848964/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=12136 CPUtime=102.27
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2771 0 0 0 9287 940 0 0 25 0 1 0 90483774 12427264 2649 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3034 2649 236 467 0 2565 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12136

[startup+162.301 s]
/proc/loadavg: 1.07 1.03 0.95 2/106 30240
/proc/meminfo: memFree=1848592/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=12312 CPUtime=162.24
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2854 0 0 0 14792 1432 0 0 25 0 1 0 90483774 12607488 2721 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3078 2721 236 467 0 2609 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 12312

[startup+222.301 s]
/proc/loadavg: 1.06 1.04 0.96 2/106 30242
/proc/meminfo: memFree=1848220/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=12692 CPUtime=222.22
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2946 0 0 0 20297 1925 0 0 25 0 1 0 90483774 12996608 2813 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3173 2813 236 467 0 2704 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 12692

[startup+282.302 s]
/proc/loadavg: 1.06 1.04 0.96 2/106 30244
/proc/meminfo: memFree=1847972/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=12820 CPUtime=282.21
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2981 0 0 0 25801 2420 0 0 25 0 1 0 90483774 13127680 2848 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3205 2848 236 467 0 2736 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 12820

[startup+342.301 s]
/proc/loadavg: 1.06 1.05 0.97 2/106 30244
/proc/meminfo: memFree=1847600/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=13172 CPUtime=342.19
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3068 0 0 0 31302 2917 0 0 25 0 1 0 90483774 13488128 2932 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3293 2932 236 467 0 2824 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 13172

[startup+402.301 s]
/proc/loadavg: 1.06 1.05 0.97 2/106 30246
/proc/meminfo: memFree=1847600/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=13304 CPUtime=402.17
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3078 0 0 0 36809 3408 0 0 25 0 1 0 90483774 13623296 2942 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3326 2942 236 467 0 2857 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 13304

[startup+462.302 s]
/proc/loadavg: 1.12 1.07 0.98 2/106 30248
/proc/meminfo: memFree=1847476/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=13408 CPUtime=462.15
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3125 0 0 0 42323 3892 0 0 25 0 1 0 90483774 13729792 2989 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3352 2989 236 467 0 2883 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 13408

[startup+522.301 s]
/proc/loadavg: 1.12 1.07 0.99 3/106 30250
/proc/meminfo: memFree=1847228/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=13624 CPUtime=522.13
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3177 0 0 0 47833 4380 0 0 25 0 1 0 90483774 13950976 3036 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3406 3036 236 467 0 2937 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 13624

[startup+582.301 s]
/proc/loadavg: 1.10 1.07 1.00 2/106 30261
/proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14020 CPUtime=582.09
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3264 0 0 0 53335 4874 0 0 25 0 1 0 90483774 14356480 3122 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3505 3122 236 467 0 3036 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 14020

[startup+642.301 s]
/proc/loadavg: 1.09 1.07 1.00 2/106 30261
/proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14020 CPUtime=642.09
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3265 0 0 0 58827 5382 0 0 25 0 1 0 90483774 14356480 3123 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3505 3123 236 467 0 3036 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 14020

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.11 1.08 1.01 2/106 30267
/proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14020 CPUtime=822.02
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3291 0 0 0 75351 6851 0 0 25 0 1 0 90483774 14356480 3143 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3505 3143 236 467 0 3036 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 14020

[startup+882.301 s]
/proc/loadavg: 1.08 1.08 1.01 2/106 30269
/proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14128 CPUtime=882
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3300 0 0 0 80866 7334 0 0 25 0 1 0 90483774 14467072 3152 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3532 3152 236 467 0 3063 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 14128

[startup+942.302 s]
/proc/loadavg: 1.11 1.09 1.01 2/106 30269
/proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14128 CPUtime=941.98
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3301 0 0 0 86358 7840 0 0 25 0 1 0 90483774 14467072 3153 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3532 3153 236 467 0 3063 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 14128

[startup+1002.3 s]
/proc/loadavg: 1.04 1.07 1.01 2/106 30271
/proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14128 CPUtime=1001.96
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3303 0 0 0 91870 8326 0 0 25 0 1 0 90483774 14467072 3155 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3532 3155 236 467 0 3063 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 14128

[startup+1062.3 s]
/proc/loadavg: 1.01 1.06 1.00 2/106 30273
/proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14128 CPUtime=1061.95
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3318 0 0 0 97349 8846 0 0 25 0 1 0 90483774 14467072 3170 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3532 3170 236 467 0 3063 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 14128

[startup+1122.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/106 30275
/proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14260 CPUtime=1121.93
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3333 0 0 0 102851 9342 0 0 25 0 1 0 90483774 14602240 3185 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3565 3185 236 467 0 3096 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 14260

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 30277
/proc/meminfo: memFree=1846112/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14260 CPUtime=1181.91
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3338 0 0 0 108365 9826 0 0 25 0 1 0 90483774 14602240 3190 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3565 3190 236 467 0 3096 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 14260

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 30277
/proc/meminfo: memFree=1845988/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14260 CPUtime=1241.89
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3347 0 0 0 113861 10328 0 0 25 0 1 0 90483774 14602240 3199 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3565 3199 236 467 0 3096 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 14260

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 30279
/proc/meminfo: memFree=1845740/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14448 CPUtime=1301.88
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3364 0 0 0 119332 10856 0 0 25 0 1 0 90483774 14794752 3216 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3612 3216 236 467 0 3143 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 14448

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 30281
/proc/meminfo: memFree=1845616/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14448 CPUtime=1361.85
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3382 0 0 0 124819 11366 0 0 25 0 1 0 90483774 14794752 3234 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3612 3234 236 467 0 3143 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 14448

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 30283
/proc/meminfo: memFree=1845616/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14448 CPUtime=1421.85
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3397 0 0 0 130335 11850 0 0 25 0 1 0 90483774 14794752 3249 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3612 3249 236 467 0 3143 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 14448

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30285
/proc/meminfo: memFree=1845368/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14712 CPUtime=1481.82
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3434 0 0 0 135835 12347 0 0 25 0 1 0 90483774 15065088 3286 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3678 3286 236 467 0 3209 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 14712

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30285
/proc/meminfo: memFree=1845368/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14712 CPUtime=1541.8
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3447 0 0 0 141334 12846 0 0 25 0 1 0 90483774 15065088 3299 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3678 3299 236 467 0 3209 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 14712

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30287
/proc/meminfo: memFree=1845244/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14844 CPUtime=1601.78
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3474 0 0 0 146839 13339 0 0 25 0 1 0 90483774 15200256 3326 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3711 3326 236 467 0 3242 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 14844

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30289
/proc/meminfo: memFree=1845120/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14844 CPUtime=1661.76
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3491 0 0 0 152349 13827 0 0 25 0 1 0 90483774 15200256 3343 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3711 3343 236 467 0 3242 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 14844

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30291
/proc/meminfo: memFree=1845120/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14844 CPUtime=1721.75
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3497 0 0 0 157870 14305 0 0 25 0 1 0 90483774 15200256 3349 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3711 3349 236 467 0 3242 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 14844

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30293
/proc/meminfo: memFree=1844872/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14980 CPUtime=1781.72
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3508 0 0 0 163372 14800 0 0 25 0 1 0 90483774 15339520 3358 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3745 3358 236 467 0 3276 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 14980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30293
/proc/meminfo: memFree=1844872/2059040 swapFree=4135840/4192956
[pid=30235] ppid=30233 vsize=14980 CPUtime=1800.03
/proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3510 0 0 0 165046 14957 0 0 25 0 1 0 90483774 15339520 3360 1992294400 134512640 136421960 4288203440 18446744073709551615 135028324 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30235/statm: 3745 3360 236 467 0 3276 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 14980

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.05
CPU user time (s): 1650.47
CPU system time (s): 149.579
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 14980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1650.47
system time used= 149.579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3511
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= 1
involuntary context switches= 11729

runsolver used 3.04454 second user time and 8.44072 second system time

The end

Launcher Data 

Begin job on node086 at 2010-06-25 20:51:41
IDJOB=2682376
IDBENCH=2895
IDSOLVER=1192
FILE ID=node086/2682376-1277491901
PBS_JOBID= 11190546
Free space on /tmp= 62340 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682376-1277491901/watcher-2682376-1277491901 -o /tmp/evaluation-result-2682376-1277491901/solver-2682376-1277491901 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2682376-1277491901.opb

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

MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb
RANDOM SEED=2064597816

node086.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.244
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.244
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1859916 kB
Buffers:         12916 kB
Cached:          99768 kB
SwapCached:       9936 kB
Active:          69660 kB
Inactive:        55896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1859916 kB
SwapTotal:     4192956 kB
SwapFree:      4135840 kB
Dirty:            1868 kB
Writeback:           0 kB
AnonPages:       11340 kB
Mapped:           8292 kB
Slab:            51752 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182032 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= 62340 MiB
End job on node086 at 2010-06-25 21:21:43