Trace number 354902

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 2007-03-23No Cert. 1800.07 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM0263d0a7c5e3320bd7cce9534c14bf27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark1802.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32
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 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
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/354902-1176731342/instance-354902-1176731342.opb ......
0.00/0.00	c done parsing opb.
0.00/0.00	o 1086
0.00/0.00	o 944
0.00/0.00	o 577
0.02/0.09	o 575
0.02/0.10	o 572
0.49/0.50	o 570
0.49/0.58	o 568
1.69/1.73	o 567
1.69/1.76	o 566
1.99/2.08	o 565
2.10/2.12	o 564
2.49/2.52	o 563
2.59/2.63	o 561
2.59/2.67	o 560
2.69/2.70	o 553
2.79/2.81	o 551
2.79/2.88	o 550
2.79/2.90	o 547
2.89/2.92	o 546
2.89/2.98	o 545
2.99/3.02	o 544
2.99/3.08	o 543
3.09/3.10	o 542
3.09/3.11	o 541
3.09/3.13	o 540
3.09/3.18	o 527
3.59/3.64	o 479
4.09/4.17	o 477
4.40/4.42	o 475
4.40/4.48	o 474
4.49/4.57	o 473
4.59/4.68	o 472
4.99/5.03	o 469
4.99/5.04	o 465
4.99/5.04	o 463
5.19/5.28	o 462
6.29/6.33	o 460
6.29/6.36	o 459
6.39/6.46	o 458
6.60/6.61	o 457
6.69/6.71	o 456
6.99/7.07	o 443
7.09/7.11	o 442
7.09/7.14	o 441
7.29/7.39	o 439
8.08/8.17	o 437
8.18/8.24	o 436
12.39/12.42	o 412
13.19/13.21	o 410
13.69/13.74	o 408
13.79/13.83	o 406
13.79/13.86	o 404
17.49/17.59	o 402
17.59/17.65	o 401
17.78/17.83	o 400
17.88/17.94	o 399
21.09/21.10	o 357
35.38/35.41	o 355
36.29/36.32	o 354
36.39/36.43	o 353
36.49/36.53	o 352
40.27/40.37	o 350
40.37/40.47	o 349
41.28/41.36	o 347
41.38/41.41	o 340
41.78/41.89	o 339
41.98/42.05	o 338
46.77/46.86	o 315
59.77/59.87	o 314
59.87/59.99	o 311
60.07/60.12	o 310
60.17/60.23	o 309
67.47/67.57	o 307
67.67/67.73	o 306
70.97/71.07	o 304
71.07/71.15	o 303
71.38/71.44	o 302
71.57/71.61	o 301
72.27/72.38	o 288
72.27/72.38	o 280
72.27/72.38	o 278
120.06/120.14	o 277
120.26/120.33	o 276
128.56/128.68	o 275
128.75/128.86	o 274
234.02/234.10	o 273
234.23/234.37	o 272
252.02/252.17	o 271
252.42/252.58	o 270
252.72/252.80	o 269
252.82/252.98	o 268
258.61/258.77	o 266
258.91/259.06	o 265
259.01/259.17	o 264
259.31/259.42	o 263
282.61/282.79	o 262
284.60/284.78	o 229
287.01/287.12	o 227
289.70/289.87	o 226
293.10/293.23	o 224
293.70/293.86	o 223
294.20/294.34	o 222
294.80/294.94	o 220
295.10/295.21	o 219
295.40/295.56	o 218
295.80/295.95	o 216
296.00/296.11	o 215
296.60/296.76	o 214
296.70/296.90	o 213
302.50/302.63	o 211
305.70/305.83	o 210
306.40/306.52	o 209
338.18/338.34	o 208
338.69/338.83	o 207
384.97/385.13	o 205
485.95/486.16	o 204
486.55/486.71	o 203
487.65/487.83	o 201
488.64/488.88	o 200
489.74/489.93	o 198
489.84/490.07	o 197
490.64/490.85	o 196
490.84/491.01	o 193
490.84/491.08	o 191
774.75/775.16	o 189
776.05/776.43	o 188
776.44/776.85	o 187
776.64/777.02	o 186
776.94/777.30	o 185
777.44/777.88	o 183
777.74/778.10	o 182
777.84/778.27	o 181
778.14/778.50	o 179
778.34/778.75	o 178
779.85/780.23	o 176
780.75/781.12	o 175
781.95/782.31	o 174
782.14/782.55	o 173
905.10/905.56	o 171
905.70/906.13	o 168
906.01/906.41	o 167
906.20/906.69	o 166
906.50/906.97	o 165
906.70/907.13	o 164
1103.95/1104.41	o 162
1104.24/1104.76	o 161
1104.64/1105.11	o 160
1104.84/1105.36	o 159
1105.15/1105.62	o 158
1105.65/1106.10	o 157
1106.05/1106.59	o 155
1106.35/1106.82	o 153
1106.45/1106.98	o 152
1106.75/1107.25	o 151
1107.05/1107.53	o 150
1107.15/1107.67	o 149
1288.79/1289.39	o 148
1320.27/1320.87	o 146
1321.07/1321.60	o 145
1322.17/1322.73	o 143
1800.04/1800.71	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/354902-1176731342/instance-354902-1176731342.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-354902-1176731342 -o ROOT/results/node22/solver-354902-1176731342 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354902-1176731342/PBS4 /tmp/evaluation/354902-1176731342/instance-354902-1176731342.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.92 0.98 0.99 3/77 15285
/proc/meminfo: memFree=1750976/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=1324 CPUtime=0
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 1 0 121051890 1355776 119 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135022900 0 0 4096 0 0 0 0 17 1 0 0
/proc/15285/statm: 331 119 87 219 0 108 0

[startup+0.0293051 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15285
/proc/meminfo: memFree=1750976/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=1468 CPUtime=0.02
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 175 0 0 0 2 0 0 0 18 0 1 0 121051890 1503232 157 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 367 157 102 219 0 144 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1468

[startup+0.101317 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15285
/proc/meminfo: memFree=1750976/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=1468 CPUtime=0.1
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 214 0 0 0 10 0 0 0 18 0 1 0 121051890 1503232 196 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 367 196 102 219 0 144 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1468

[startup+0.301345 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15285
/proc/meminfo: memFree=1750976/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=2236 CPUtime=0.29
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 391 0 0 0 29 0 0 0 19 0 1 0 121051890 2289664 373 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 559 373 103 219 0 336 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2236

[startup+0.701407 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15285
/proc/meminfo: memFree=1750976/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=3460 CPUtime=0.69
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 701 0 0 0 69 0 0 0 23 0 1 0 121051890 3543040 683 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 865 683 103 219 0 642 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3460

[startup+1.50153 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1747768/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=5840 CPUtime=1.49
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 1161 0 0 0 149 0 0 0 25 0 1 0 121051890 5980160 1143 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 1460 1143 103 219 0 1237 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5840

[startup+3.10177 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1745336/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=10660 CPUtime=3.09
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 1930 0 0 0 308 1 0 0 25 0 1 0 121051890 10915840 1863 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 2665 1863 104 219 0 2442 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10660

[startup+6.30126 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1740984/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=11588 CPUtime=6.29
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 2807 0 0 0 625 4 0 0 25 0 1 0 121051890 11866112 2643 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 2897 2643 104 219 0 2674 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11588

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1737272/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=20324 CPUtime=12.69
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 3605 0 0 0 1263 6 0 0 25 0 1 0 121051890 20811776 3441 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 5081 3441 104 219 0 4858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20324

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1733944/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=21804 CPUtime=25.49
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 4617 0 0 0 2539 10 0 0 25 0 1 0 121051890 22327296 4260 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 5451 4260 104 219 0 5228 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21804

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1729656/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=22696 CPUtime=51.07
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 5687 0 0 0 5092 15 0 0 25 0 1 0 121051890 23240704 5330 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 5674 5330 104 219 0 5451 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22696

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1721912/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=42272 CPUtime=102.27
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 8001 0 0 0 10201 26 0 0 25 0 1 0 121051890 43286528 7259 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549580 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 10568 7259 104 219 0 10345 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42272

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1718648/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=43524 CPUtime=162.25
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 8845 0 0 0 16191 34 0 0 25 0 1 0 121051890 44568576 8103 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 10881 8103 104 219 0 10658 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 43524

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1710584/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=48640 CPUtime=222.23
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 11591 0 0 0 22181 42 0 0 25 0 1 0 121051890 49807360 10080 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 12160 10080 104 219 0 11937 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 48640

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1704312/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=82404 CPUtime=282.2
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 13157 0 0 0 28171 49 0 0 25 0 1 0 121051890 84381696 11646 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 20601 11646 104 219 0 20378 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 82404

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1698488/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=83456 CPUtime=342.19
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 14606 0 0 0 34163 56 0 0 25 0 1 0 121051890 85458944 13095 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 20864 13095 104 219 0 20641 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 83456

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1697208/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=84436 CPUtime=402.17
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 14914 0 0 0 40157 60 0 0 25 0 1 0 121051890 86462464 13403 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 21109 13403 104 219 0 20886 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 84436

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1696504/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=84884 CPUtime=462.15
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 15093 0 0 0 46150 65 0 0 25 0 1 0 121051890 86921216 13582 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 21221 13582 104 219 0 20998 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 84884

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1693560/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=85268 CPUtime=522.13
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 15844 0 0 0 52144 69 0 0 25 0 1 0 121051890 87314432 14333 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 21317 14333 104 219 0 21094 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 85268

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1690552/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=86088 CPUtime=582.12
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 16597 0 0 0 58138 74 0 0 25 0 1 0 121051890 88154112 15086 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 21522 15086 104 219 0 21299 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 86088

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15286
/proc/meminfo: memFree=1686776/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=87272 CPUtime=642.09
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 17546 0 0 0 64131 78 0 0 25 0 1 0 121051890 89366528 16002 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 21818 16002 104 219 0 21595 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 87272


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

[startup+882.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1673144/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=98256 CPUtime=881.91
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 22469 0 0 0 88094 97 0 0 25 0 1 0 121051890 100614144 19355 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 24564 19355 104 219 0 24341 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 98256

[startup+942.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 15484
/proc/meminfo: memFree=1672248/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=99060 CPUtime=941.89
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 22687 0 0 0 94088 101 0 0 25 0 1 0 121051890 101437440 19573 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 24765 19573 104 219 0 24542 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 99060

[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 15484
/proc/meminfo: memFree=1671480/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=99324 CPUtime=1001.88
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 22879 0 0 0 100083 105 0 0 25 0 1 0 121051890 101707776 19765 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 24831 19765 104 219 0 24608 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 99324

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1671096/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=99752 CPUtime=1061.86
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 22973 0 0 0 106077 109 0 0 25 0 1 0 121051890 102146048 19859 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 24938 19859 104 219 0 24715 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 99752

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1670392/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=100012 CPUtime=1121.84
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 23144 0 0 0 112071 113 0 0 25 0 1 0 121051890 102412288 20030 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 25003 20030 104 219 0 24780 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 100012

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1669816/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=100656 CPUtime=1181.82
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 23312 0 0 0 118065 117 0 0 25 0 1 0 121051890 103071744 20198 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 25164 20198 104 219 0 24941 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 100656

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1669432/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=100656 CPUtime=1241.8
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 23401 0 0 0 124060 120 0 0 25 0 1 0 121051890 103071744 20287 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 25164 20287 104 219 0 24941 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 100656

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1668664/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=101576 CPUtime=1301.79
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 23629 0 0 0 130054 125 0 0 25 0 1 0 121051890 104013824 20515 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 25394 20515 104 219 0 25171 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 101576

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1667512/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=102584 CPUtime=1361.76
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 23936 0 0 0 136049 127 0 0 25 0 1 0 121051890 105046016 20789 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134535127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 25646 20789 104 219 0 25423 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 102584

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1667256/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=102584 CPUtime=1421.75
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 24015 0 0 0 142043 132 0 0 25 0 1 0 121051890 105046016 20868 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 25646 20868 104 219 0 25423 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 102584

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1666872/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=102716 CPUtime=1481.73
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 24111 0 0 0 148037 136 0 0 25 0 1 0 121051890 105181184 20964 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 25679 20964 104 219 0 25456 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 102716

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1666488/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=103224 CPUtime=1541.71
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 24202 0 0 0 154032 139 0 0 25 0 1 0 121051890 105701376 21055 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 25806 21055 104 219 0 25583 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 103224

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1665720/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=104004 CPUtime=1601.69
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 24440 0 0 0 160028 141 0 0 25 0 1 0 121051890 106500096 21227 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 26001 21227 104 219 0 25778 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 104004

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1663032/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=105044 CPUtime=1661.67
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 25241 0 0 0 166022 145 0 0 25 0 1 0 121051890 107565056 21929 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 26261 21929 104 219 0 26038 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 105044

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1662008/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=106096 CPUtime=1721.66
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 25528 0 0 0 172017 149 0 0 25 0 1 0 121051890 108642304 22150 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552810 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 26524 22150 104 219 0 26301 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 106096

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1660984/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=107296 CPUtime=1781.63
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 25881 0 0 0 178012 151 0 0 25 0 1 0 121051890 109871104 22404 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 26824 22404 104 219 0 26601 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 107296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1660920/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=107296 CPUtime=1800.04
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 25923 0 0 0 179851 153 0 0 25 0 1 0 121051890 109871104 22446 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 26824 22446 104 219 0 26601 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 107296

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: 1.00 1.00 1.00 2/78 15484
/proc/meminfo: memFree=1660920/2055920 swapFree=4168688/4192956
[pid=15285] ppid=15283 vsize=107296 CPUtime=1800.04
/proc/15285/stat : 15285 (PBS4) R 15283 15285 14324 0 -1 4194304 25923 0 0 0 179851 153 0 0 25 0 1 0 121051890 109871104 22446 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15285/statm: 26824 22446 104 219 0 26601 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 107296

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.07
CPU user time (s): 1798.52
CPU system time (s): 1.54876
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 107296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.54876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25924
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= 37359

runsolver used 2.07268 second user time and 4.45032 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Mon Apr 16 13:49:02 UTC 2007

IDJOB= 354902
IDBENCH= 2920
IDSOLVER= 157
FILE ID= node22/354902-1176731342

PBS_JOBID= 4559505

Free space on /tmp= 66554 MiB

SOLVER NAME= PBS4 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_1.opb
COMMAND LINE= /tmp/evaluation/354902-1176731342/PBS4 /tmp/evaluation/354902-1176731342/instance-354902-1176731342.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-354902-1176731342 -o ROOT/results/node22/conversion-354902-1176731342 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354902-1176731342/instance-354902-1176731342.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-354902-1176731342 -o ROOT/results/node22/solver-354902-1176731342 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/354902-1176731342/PBS4 /tmp/evaluation/354902-1176731342/instance-354902-1176731342.opb            

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  0263d0a7c5e3320bd7cce9534c14bf27

RANDOM SEED= 955340538

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1751320 kB
Buffers:         60968 kB
Cached:         149664 kB
SwapCached:       2412 kB
Active:          85892 kB
Inactive:       150152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751320 kB
SwapTotal:     4192956 kB
SwapFree:      4168688 kB
Dirty:            1252 kB
Writeback:           0 kB
Mapped:          31484 kB
Slab:            54136 kB
Committed_AS:  1685712 kB
PageTables:       1680 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= 66554 MiB

End job on node22 on Mon Apr 16 14:19:05 UTC 2007