Trace number 459124

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, and are wall clock time (not CPU 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
PBS4_v2 2007-03-23SAT (TO)156 1800.04 1800.73

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 benchmark39
Best CPU time to get the best result obtained on this benchmark1802.06
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 (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/459124-1178649439/instance-459124-1178649439.opb ......
0.00/0.00	c done parsing opb.
0.00/0.00	o 948
0.00/0.00	o 830
0.00/0.00	o 700
0.00/0.01	o 698
0.09/0.16	o 696
0.09/0.19	o 695
0.19/0.22	o 694
0.19/0.23	o 693
0.19/0.25	o 692
0.19/0.26	o 691
0.19/0.29	o 690
0.29/0.30	o 689
0.29/0.32	o 688
0.29/0.38	o 687
0.29/0.38	o 686
0.29/0.40	o 684
0.39/0.43	o 683
0.39/0.44	o 682
0.39/0.46	o 681
0.49/0.53	o 680
0.49/0.58	o 679
0.59/0.63	o 678
0.59/0.65	o 677
0.69/0.74	o 676
0.69/0.78	o 675
0.79/0.88	o 674
0.89/0.99	o 672
0.99/1.05	o 670
1.09/1.14	o 669
1.09/1.17	o 668
1.09/1.19	o 667
1.19/1.21	o 666
1.19/1.22	o 665
1.19/1.24	o 663
1.29/1.30	o 662
1.29/1.32	o 661
1.29/1.34	o 660
1.29/1.35	o 659
1.29/1.37	o 657
1.29/1.38	o 656
1.39/1.40	o 653
1.39/1.49	o 651
1.49/1.54	o 650
1.58/1.62	o 646
1.58/1.62	o 642
1.58/1.63	o 630
1.58/1.65	o 617
1.69/1.71	o 616
1.69/1.75	o 615
1.79/1.81	o 614
1.79/1.85	o 613
1.79/1.87	o 612
1.89/1.90	o 611
1.89/1.94	o 610
1.89/1.96	o 609
1.89/1.99	o 608
1.99/2.09	o 597
2.69/2.76	o 595
2.79/2.84	o 594
4.19/4.23	o 593
4.19/4.27	o 592
4.19/4.29	o 591
4.29/4.39	o 590
4.39/4.42	o 589
4.39/4.43	o 545
4.39/4.43	o 543
4.49/4.51	o 541
4.49/4.55	o 540
4.49/4.58	o 539
4.59/4.60	o 538
4.59/4.64	o 537
4.68/4.74	o 523
4.99/5.09	o 520
5.09/5.15	o 515
5.19/5.23	o 514
5.29/5.38	o 406
9.29/9.31	o 405
9.29/9.39	o 404
9.49/9.53	o 402
12.98/13.01	o 396
13.29/13.39	o 394
13.59/13.63	o 393
13.68/13.71	o 392
13.68/13.75	o 391
13.78/13.85	o 390
13.88/13.91	o 388
13.98/14.01	o 386
38.78/38.84	o 384
38.87/38.92	o 383
39.18/39.29	o 374
39.38/39.42	o 373
39.49/39.57	o 372
39.59/39.65	o 371
39.68/39.74	o 370
39.78/39.85	o 369
40.08/40.10	o 367
40.18/40.29	o 365
40.28/40.39	o 364
40.38/40.48	o 363
40.68/40.72	o 362
40.98/41.00	o 360
41.48/41.53	o 359
50.48/50.54	o 357
50.58/50.66	o 356
51.98/52.07	o 350
52.18/52.27	o 349
52.38/52.48	o 348
53.77/53.81	o 347
53.87/53.92	o 346
54.28/54.36	o 337
54.38/54.46	o 335
60.77/60.80	o 326
60.87/60.95	o 325
60.97/61.02	o 324
61.07/61.11	o 322
61.27/61.31	o 321
61.27/61.33	o 320
61.27/61.34	o 318
61.27/61.35	o 316
63.78/63.82	o 315
64.07/64.10	o 314
64.27/64.30	o 313
64.37/64.41	o 312
74.06/74.14	o 310
74.16/74.27	o 307
103.76/103.84	o 306
103.86/103.98	o 305
104.06/104.14	o 304
104.36/104.43	o 303
104.46/104.53	o 302
104.56/104.63	o 301
104.96/105.08	o 299
105.06/105.15	o 298
105.86/105.99	o 297
106.05/106.16	o 296
160.84/160.97	o 257
161.44/161.54	o 253
161.94/162.07	o 252
162.14/162.21	o 251
351.68/351.89	o 250
352.07/352.27	o 249
355.18/355.31	o 231
687.17/687.47	o 230
687.47/687.79	o 229
1071.05/1071.47	o 227
1071.75/1072.12	o 226
1072.25/1072.61	o 225
1073.84/1074.25	o 223
1074.64/1075.00	o 222
1074.94/1075.31	o 221
1075.64/1076.04	o 219
1075.84/1076.22	o 218
1076.04/1076.42	o 217
1076.64/1077.09	o 216
1076.94/1077.39	o 215
1077.94/1078.36	o 213
1078.14/1078.58	o 212
1078.34/1078.75	o 211
1078.54/1079.00	o 210
1078.75/1079.18	o 209
1079.85/1080.28	o 207
1081.74/1082.19	o 206
1082.74/1083.19	o 205
1084.24/1084.60	o 203
1084.54/1084.93	o 202
1084.74/1085.14	o 200
1085.14/1085.50	o 199
1085.54/1085.92	o 198
1085.84/1086.23	o 197
1086.34/1086.71	o 196
1086.74/1087.15	o 195
1087.14/1087.57	o 194
1087.74/1088.17	o 193
1087.94/1088.39	o 192
1088.14/1088.54	o 191
1088.55/1088.91	o 189
1089.24/1089.63	o 188
1089.54/1089.99	o 187
1089.94/1090.31	o 186
1090.34/1090.71	o 185
1092.24/1092.64	o 183
1092.44/1092.86	o 182
1092.74/1093.18	o 181
1093.94/1094.36	o 179
1094.14/1094.58	o 178
1100.24/1100.62	o 177
1100.54/1100.90	o 176
1137.83/1138.26	o 174
1138.23/1138.62	o 173
1245.99/1246.48	o 172
1247.89/1248.31	o 171
1252.09/1252.56	o 169
1252.39/1252.87	o 168
1252.89/1253.37	o 167
1255.29/1255.76	o 165
1255.59/1256.08	o 164
1255.99/1256.44	o 162
1256.49/1256.96	o 161
1256.79/1257.26	o 160
1257.89/1258.34	o 159
1681.74/1682.47	o 157
1682.45/1683.14	o 156
1800.01/1800.71	s SATISFIABLE
1800.01/1800.71	v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x11 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118
1800.01/1800.71	v -x119 -x12 -x120 x121 -x122 x123 x124 -x125 -x126 -x127 -x128 x129 -x13 -x130 -x131 x132 -x133 x134 x135 x136 x137 -x138 x139
1800.01/1800.71	v x14 x140 -x141 -x142 -x143 x144 -x145 x146 x147 -x148 x149 -x15 x150 x151 -x152 -x153 x154 -x155 x156 x157 -x158 x159 -x16 x160
1800.01/1800.71	v -x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 x17 x170 x171 x172 -x173 -x174 x175 x176 -x177 -x178 x179 -x18 x180 -x181
1800.01/1800.71	v x182 x183 -x184 x185 x186 -x187 x188 x189 -x19 -x190 -x191 x192 -x193 x194 -x195 -x196 x197 -x198 -x2 -x20 x21 -x22 -x23 -x24
1800.01/1800.71	v -x25 -x26 -x27 -x28 -x29 -x3 -x30 -x31 -x32 x33 x34 x35 -x36 -x37 x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49
1800.01/1800.71	v -x5 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73
1800.01/1800.71	v -x74 -x75 -x76 -x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x9 x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98
1800.01/1800.71	v -x99

Verifier Data (download as text)

OK	156

Conversion Script Data (download as text)

/tmp/evaluation/459124-1178649439/instance-459124-1178649439.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node39/watcher-459124-1178649439 -o ROOT/results/node39/solver-459124-1178649439 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459124-1178649439/instance-459124-1178649439.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 8870
/proc/meminfo: memFree=1454472/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=1324 CPUtime=0
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 136 0 0 0 0 0 0 0 18 0 1 0 312855953 1355776 118 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 331 118 86 219 0 108 0

[startup+0.0268731 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 8870
/proc/meminfo: memFree=1454472/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=1468 CPUtime=0.02
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 179 0 0 0 2 0 0 0 18 0 1 0 312855953 1503232 161 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 367 161 102 219 0 144 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1468

[startup+0.101886 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 8870
/proc/meminfo: memFree=1454472/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=1724 CPUtime=0.09
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 248 0 0 0 9 0 0 0 18 0 1 0 312855953 1765376 230 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 431 230 102 219 0 208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1724

[startup+0.301918 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 8870
/proc/meminfo: memFree=1454472/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=2368 CPUtime=0.29
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 431 0 0 0 29 0 0 0 19 0 1 0 312855953 2424832 413 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 592 413 102 219 0 369 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2368

[startup+0.701986 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 8870
/proc/meminfo: memFree=1454472/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=5572 CPUtime=0.69
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 799 0 0 0 68 1 0 0 22 0 1 0 312855953 5705728 781 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 1393 781 102 219 0 1170 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5572

[startup+1.50112 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 8871
/proc/meminfo: memFree=1450816/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=6032 CPUtime=1.49
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 1355 0 0 0 147 2 0 0 25 0 1 0 312855953 6176768 1337 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 1508 1337 102 219 0 1285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6032

[startup+3.10139 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 8871
/proc/meminfo: memFree=1448000/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=10584 CPUtime=3.09
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 2000 0 0 0 306 3 0 0 25 0 1 0 312855953 10838016 1933 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 2646 1933 102 219 0 2423 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10584

[startup+6.30194 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 8871
/proc/meminfo: memFree=1445008/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=11372 CPUtime=6.29
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 2555 0 0 0 624 5 0 0 25 0 1 0 312855953 11644928 2391 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 2843 2391 102 219 0 2620 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11372

[startup+12.702 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 8871
/proc/meminfo: memFree=1444368/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=11928 CPUtime=12.68
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 2775 0 0 0 1262 6 0 0 25 0 1 0 312855953 12214272 2611 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 2982 2611 102 219 0 2759 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11928

[startup+25.5012 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 8871
/proc/meminfo: memFree=1439376/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=21600 CPUtime=25.49
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 4180 0 0 0 2538 11 0 0 25 0 1 0 312855953 22118400 3823 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 5400 3823 102 219 0 5177 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21600

[startup+51.1016 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 8871
/proc/meminfo: memFree=1433040/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=39168 CPUtime=51.08
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 5808 0 0 0 5092 16 0 0 25 0 1 0 312855953 40108032 5451 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 9792 5451 102 219 0 9569 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39168

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 8871
/proc/meminfo: memFree=1422480/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=42592 CPUtime=102.27
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 8755 0 0 0 10201 26 0 0 25 0 1 0 312855953 43614208 8013 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 10648 8013 102 219 0 10425 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42592

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8871
/proc/meminfo: memFree=1415312/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=44680 CPUtime=162.24
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 10540 0 0 0 16191 33 0 0 25 0 1 0 312855953 45752320 9798 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 11170 9798 102 219 0 10947 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 44680

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8871
/proc/meminfo: memFree=1407696/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=78784 CPUtime=222.22
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 12440 0 0 0 22183 39 0 0 25 0 1 0 312855953 80674816 11698 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 19696 11698 102 219 0 19473 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 78784

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8871
/proc/meminfo: memFree=1402192/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=82240 CPUtime=282.2
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 14590 0 0 0 28174 46 0 0 25 0 1 0 312855953 84213760 13079 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 20560 13079 102 219 0 20337 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 82240

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1397648/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=82948 CPUtime=342.18
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 15688 0 0 0 34166 52 0 0 25 0 1 0 312855953 84938752 14177 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 20737 14177 102 219 0 20514 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 82948

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1394832/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=84716 CPUtime=402.16
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 16385 0 0 0 40159 57 0 0 25 0 1 0 312855953 86749184 14874 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 21179 14874 102 219 0 20956 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 84716

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1394000/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=85264 CPUtime=462.14
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 16590 0 0 0 46153 61 0 0 25 0 1 0 312855953 87310336 15079 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 21316 15079 102 219 0 21093 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 85264

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1392656/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=86584 CPUtime=522.12
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 16926 0 0 0 52148 64 0 0 25 0 1 0 312855953 88662016 15415 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 21646 15415 102 219 0 21423 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 86584

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1390160/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=87900 CPUtime=582.1
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 17592 0 0 0 58142 68 0 0 25 0 1 0 312855953 90009600 16048 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 21975 16048 102 219 0 21752 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 87900

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1387152/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=88568 CPUtime=642.09
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 18343 0 0 0 64137 72 0 0 25 0 1 0 312855953 90693632 16799 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 22142 16799 102 219 0 21919 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 88568


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1372368/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=91868 CPUtime=882.01
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 22091 0 0 0 88113 88 0 0 25 0 1 0 312855953 94072832 20481 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 22967 20481 102 219 0 22744 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 91868

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1369744/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=92812 CPUtime=941.99
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 22785 0 0 0 94108 91 0 0 25 0 1 0 312855953 95039488 21142 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 23203 21142 102 219 0 22980 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 92812

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1367952/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=99916 CPUtime=1001.96
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 24755 0 0 0 100103 93 0 0 25 0 1 0 312855953 102313984 21575 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 24979 21575 102 219 0 24756 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 99916

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1366544/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=100224 CPUtime=1061.95
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 25109 0 0 0 106099 96 0 0 25 0 1 0 312855953 102629376 21929 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 25056 21929 102 219 0 24833 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 100224

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1361616/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=165888 CPUtime=1121.93
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 26383 0 0 0 112092 101 0 0 25 0 1 0 312855953 169869312 23170 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 41472 23170 102 219 0 41249 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 165888

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1361104/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=165888 CPUtime=1181.91
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 26527 0 0 0 118088 103 0 0 25 0 1 0 312855953 169869312 23314 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 41472 23314 102 219 0 41249 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 165888

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1360464/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=166608 CPUtime=1241.89
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 26738 0 0 0 124083 106 0 0 25 0 1 0 312855953 170606592 23459 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 41652 23459 102 219 0 41429 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 166608

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1359504/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=166820 CPUtime=1301.87
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 26982 0 0 0 130078 109 0 0 25 0 1 0 312855953 170823680 23703 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 41705 23703 102 219 0 41482 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 166820

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8873
/proc/meminfo: memFree=1359184/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=166948 CPUtime=1361.85
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 27100 0 0 0 136073 112 0 0 25 0 1 0 312855953 170954752 23788 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 41737 23788 102 219 0 41514 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 166948

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 8899
/proc/meminfo: memFree=1356176/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=167724 CPUtime=1421.83
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 27642 0 0 0 142067 116 0 0 25 0 1 0 312855953 171749376 24231 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 41931 24231 102 219 0 41708 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 167724

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9071
/proc/meminfo: memFree=1355000/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=168188 CPUtime=1481.71
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 28132 0 0 0 148052 119 0 0 25 0 1 0 312855953 172224512 24721 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 42047 24721 102 219 0 41824 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 168188

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9071
/proc/meminfo: memFree=1354760/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=168440 CPUtime=1541.69
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 28235 0 0 0 154047 122 0 0 25 0 1 0 312855953 172482560 24824 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 42110 24824 102 219 0 41887 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 168440

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9071
/proc/meminfo: memFree=1353544/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=169744 CPUtime=1601.67
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 28607 0 0 0 160041 126 0 0 25 0 1 0 312855953 173817856 25130 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 42436 25130 102 219 0 42213 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 169744

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9071
/proc/meminfo: memFree=1353288/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=169744 CPUtime=1661.65
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 28675 0 0 0 166036 129 0 0 25 0 1 0 312855953 173817856 25198 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 42436 25198 102 219 0 42213 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 169744

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9071
/proc/meminfo: memFree=1352776/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=170260 CPUtime=1721.63
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 28880 0 0 0 172031 132 0 0 25 0 1 0 312855953 174346240 25337 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 42565 25337 102 219 0 42342 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 170260

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9071
/proc/meminfo: memFree=1352328/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=170516 CPUtime=1781.61
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 29057 0 0 0 178027 134 0 0 25 0 1 0 312855953 174608384 25448 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 42629 25448 102 219 0 42406 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 170516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9071
/proc/meminfo: memFree=1352272/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=170516 CPUtime=1800.01
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 29082 0 0 0 179866 135 0 0 25 0 1 0 312855953 174608384 25473 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 42629 25473 102 219 0 42406 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 170516

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9071
/proc/meminfo: memFree=1352272/2055920 swapFree=4159344/4192956
[pid=8870] ppid=8868 vsize=170516 CPUtime=1800.01
/proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 29082 0 0 0 179866 135 0 0 25 0 1 0 312855953 174608384 25473 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8870/statm: 42629 25473 102 219 0 42406 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 170516

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.04
CPU user time (s): 1798.67
CPU system time (s): 1.37079
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (KiB): 170516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.37079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29085
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= 8
involuntary context switches= 10570

runsolver used 1.78573 second user time and 4.54631 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue May  8 18:37:19 UTC 2007

IDJOB= 459124
IDBENCH= 2895
IDSOLVER= 200
FILE ID= node39/459124-1178649439

PBS_JOBID= 5218348

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459124-1178649439/instance-459124-1178649439.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node39/convwatcher-459124-1178649439 -o ROOT/results/node39/conversion-459124-1178649439 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459124-1178649439/instance-459124-1178649439.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-459124-1178649439 -o ROOT/results/node39/solver-459124-1178649439 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459124-1178649439/instance-459124-1178649439.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  1d334f36842eecbe8db395477b7c6bcb

RANDOM SEED= 432916646

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.256
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.256
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1454880 kB
Buffers:         40620 kB
Cached:         415192 kB
SwapCached:      12912 kB
Active:         413716 kB
Inactive:       102716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1454880 kB
SwapTotal:     4192956 kB
SwapFree:      4159344 kB
Dirty:            2288 kB
Writeback:           0 kB
Mapped:          67700 kB
Slab:            69764 kB
Committed_AS:  5247340 kB
PageTables:       2128 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node39 on Tue May  8 19:07:22 UTC 2007