Trace number 354889

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.09 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_1.opb
MD5SUM7b9886d41278c23acb93039c546a310e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
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 13
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint73
Maximum length of a constraint75
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4975
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/354889-1176730806/instance-354889-1176730806.opb ......
0.00/0.00	c done parsing opb.
0.00/0.00	o 1054
0.00/0.00	o 827
0.00/0.02	o 826
0.00/0.03	o 824
0.00/0.03	o 823
0.00/0.04	o 817
0.00/0.04	o 815
0.04/0.05	o 813
0.04/0.05	o 794
0.04/0.06	o 793
0.04/0.08	o 791
0.09/0.11	o 789
0.09/0.14	o 788
0.09/0.14	o 786
0.09/0.15	o 780
0.09/0.17	o 779
0.09/0.19	o 777
0.09/0.19	o 775
0.19/0.21	o 773
0.19/0.22	o 771
0.19/0.22	o 742
0.19/0.22	o 718
0.19/0.22	o 640
0.19/0.23	o 638
0.19/0.23	o 629
0.19/0.24	o 627
0.19/0.24	o 625
0.19/0.25	o 623
0.19/0.28	o 622
0.19/0.29	o 620
0.29/0.32	o 618
0.29/0.33	o 615
0.29/0.34	o 613
0.29/0.35	o 611
0.29/0.36	o 609
0.29/0.38	o 607
0.29/0.39	o 605
0.39/0.40	o 603
0.39/0.41	o 601
0.39/0.42	o 599
0.39/0.44	o 597
0.39/0.45	o 583
0.49/0.52	o 581
0.49/0.54	o 579
0.49/0.55	o 577
0.49/0.58	o 575
0.49/0.59	o 573
0.59/0.60	o 571
0.59/0.60	o 569
0.59/0.61	o 568
0.59/0.64	o 566
0.59/0.68	o 564
0.59/0.69	o 562
0.69/0.73	o 560
0.69/0.73	o 558
0.69/0.74	o 556
0.69/0.74	o 544
0.69/0.75	o 542
0.69/0.76	o 540
0.69/0.79	o 538
0.79/0.82	o 537
0.79/0.86	o 535
0.79/0.87	o 533
0.79/0.88	o 531
0.79/0.89	o 529
0.89/0.90	o 527
0.89/0.91	o 525
0.89/0.92	o 523
0.89/0.93	o 521
0.89/0.94	o 519
0.89/0.96	o 517
0.89/0.97	o 513
0.89/0.99	o 511
0.99/1.01	o 509
0.99/1.07	o 507
0.99/1.08	o 505
0.99/1.09	o 493
1.09/1.11	o 471
1.09/1.13	o 470
1.09/1.15	o 468
1.09/1.17	o 467
1.19/1.24	o 461
1.19/1.28	o 459
1.19/1.30	o 455
1.29/1.32	o 453
1.29/1.34	o 451
1.29/1.36	o 449
1.29/1.37	o 447
1.29/1.38	o 445
1.39/1.49	o 444
1.59/1.61	o 442
1.59/1.63	o 440
1.59/1.67	o 438
1.79/1.81	o 436
1.79/1.84	o 434
1.79/1.86	o 430
1.79/1.87	o 428
1.89/1.92	o 411
1.89/1.97	o 397
2.00/2.04	o 396
2.10/2.11	o 391
2.59/2.61	o 389
2.59/2.68	o 387
2.69/2.71	o 385
2.69/2.72	o 383
2.69/2.75	o 374
2.79/2.82	o 372
2.79/2.82	o 370
2.79/2.88	o 368
2.89/2.91	o 356
2.89/2.95	o 354
2.89/2.97	o 352
2.99/3.00	o 350
2.99/3.02	o 344
2.99/3.08	o 342
3.69/3.79	o 340
3.89/3.93	o 338
6.39/6.45	o 336
10.28/10.34	o 334
13.19/13.25	o 333
14.99/15.04	o 332
15.09/15.11	o 330
15.09/15.19	o 328
15.19/15.24	o 326
15.19/15.25	o 324
15.19/15.29	o 320
15.29/15.32	o 318
15.29/15.35	o 316
15.39/15.44	o 314
15.49/15.54	o 312
15.58/15.65	o 310
15.58/15.69	o 308
15.89/15.98	o 306
15.99/16.02	o 304
15.99/16.09	o 302
16.19/16.24	o 300
16.59/16.68	o 261
16.69/16.76	o 236
17.60/17.64	o 172
17.99/18.07	o 170
18.09/18.19	o 168
18.19/18.23	o 166
49.38/49.44	o 165
49.58/49.63	o 163
77.88/77.94	o 162
85.68/85.73	o 160
85.78/85.86	o 158
85.97/86.00	o 156
86.07/86.11	o 154
86.07/86.18	o 152
86.17/86.22	o 150
86.17/86.28	o 148
86.47/86.53	o 147
86.57/86.67	o 145
86.67/86.78	o 143
186.85/186.99	o 142
187.14/187.22	o 140
187.24/187.34	o 138
199.64/199.73	o 136
199.84/199.97	o 134
199.94/200.08	o 132
200.05/200.17	o 130
200.24/200.32	o 128
211.34/211.47	o 126
211.44/211.57	o 124
236.23/236.33	o 123
238.93/239.01	o 121
277.32/277.43	o 120
278.42/278.51	o 118
283.92/284.06	o 116
284.12/284.20	o 114
284.73/284.83	o 112
286.32/286.47	o 110
286.42/286.55	o 108
286.82/286.94	o 96
615.84/616.02	o 94
616.24/616.43	o 92
616.54/616.71	o 90
948.96/949.21	o 89
1433.85/1434.30	o 87
1434.14/1434.60	o 83
1434.14/1434.69	o 81
1434.34/1434.89	o 79
1434.74/1435.22	o 77
1434.84/1435.32	o 75
1800.06/1800.61	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/354889-1176730806/instance-354889-1176730806.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/node26/watcher-354889-1176730806 -o ROOT/results/node26/solver-354889-1176730806 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354889-1176730806/PBS4 /tmp/evaluation/354889-1176730806/instance-354889-1176730806.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 2258
/proc/meminfo: memFree=1851856/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=1324 CPUtime=0
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 135 0 0 0 0 0 0 0 18 0 1 0 120997469 1355776 117 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 1 0 0
/proc/2258/statm: 331 117 87 219 0 108 0

[startup+0.0502159 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 2258
/proc/meminfo: memFree=1851856/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=1452 CPUtime=0.04
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 200 0 0 0 4 0 0 0 18 0 1 0 120997469 1486848 182 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 363 182 102 219 0 140 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1452

[startup+0.101222 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 2258
/proc/meminfo: memFree=1851856/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=1708 CPUtime=0.09
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 255 0 0 0 9 0 0 0 18 0 1 0 120997469 1748992 237 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 427 237 103 219 0 204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1708

[startup+0.30124 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 2258
/proc/meminfo: memFree=1851856/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=3376 CPUtime=0.29
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 470 0 0 0 29 0 0 0 19 0 1 0 120997469 3457024 452 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 844 452 103 219 0 621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3376

[startup+0.701277 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 2258
/proc/meminfo: memFree=1851856/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=5752 CPUtime=0.69
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 829 0 0 0 68 1 0 0 22 0 1 0 120997469 5890048 811 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 1438 811 103 219 0 1215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5752

[startup+1.50135 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1848392/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=6016 CPUtime=1.49
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 1281 0 0 0 147 2 0 0 25 0 1 0 120997469 6160384 1263 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 1504 1263 103 219 0 1281 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6016

[startup+3.1015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1846920/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=10568 CPUtime=3.09
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 1588 0 0 0 306 3 0 0 25 0 1 0 120997469 10821632 1521 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 2642 1521 104 219 0 2419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10568

[startup+6.3018 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1844872/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=11360 CPUtime=6.29
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 2103 0 0 0 625 4 0 0 25 0 1 0 120997469 11632640 1939 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 2840 1939 104 219 0 2617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11360

[startup+12.7014 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1841928/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=11936 CPUtime=12.69
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 2768 0 0 0 1263 6 0 0 25 0 1 0 120997469 12222464 2604 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134596339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 2984 2604 104 219 0 2761 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11936

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1837832/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=21760 CPUtime=25.48
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 3955 0 0 0 2538 10 0 0 25 0 1 0 120997469 22282240 3598 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 5440 3598 104 219 0 5217 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21760

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1833352/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=22880 CPUtime=51.07
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 5063 0 0 0 5092 15 0 0 25 0 1 0 120997469 23429120 4706 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 5720 4706 104 219 0 5497 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22880

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1828424/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=26160 CPUtime=102.27
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 6631 0 0 0 10202 25 0 0 25 0 1 0 120997469 26787840 5889 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 6540 5889 104 219 0 6317 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26160

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1824072/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=43828 CPUtime=162.26
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 7722 0 0 0 16194 32 0 0 25 0 1 0 120997469 44879872 6980 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 10957 6980 104 219 0 10734 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 43828

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1817032/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=48656 CPUtime=222.24
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 10215 0 0 0 22184 40 0 0 25 0 1 0 120997469 49823744 8704 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551796 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 12164 8704 104 219 0 11941 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 48656

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1816264/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=49204 CPUtime=282.22
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 10445 0 0 0 28177 45 0 0 25 0 1 0 120997469 50384896 8934 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 12301 8934 104 219 0 12078 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49204

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1814856/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=50104 CPUtime=342.21
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 10777 0 0 0 34170 51 0 0 25 0 1 0 120997469 51306496 9266 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 12526 9266 104 219 0 12303 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 50104

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1808904/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=51600 CPUtime=402.19
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 12294 0 0 0 40163 56 0 0 25 0 1 0 120997469 52838400 10783 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 12900 10783 104 219 0 12677 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 51600

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1804552/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=52112 CPUtime=462.18
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 13355 0 0 0 46155 63 0 0 25 0 1 0 120997469 53362688 11844 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 13028 11844 104 219 0 12805 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 52112

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1802184/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=53092 CPUtime=522.16
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 13956 0 0 0 52149 67 0 0 25 0 1 0 120997469 54366208 12445 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 13273 12445 104 219 0 13050 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 53092

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1798920/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=86864 CPUtime=582.15
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 14748 0 0 0 58142 73 0 0 25 0 1 0 120997469 88948736 13237 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 21716 13237 104 219 0 21493 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 86864

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 2259
/proc/meminfo: memFree=1795336/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=88012 CPUtime=642.14
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 15621 0 0 0 64136 78 0 0 25 0 1 0 120997469 90124288 14110 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 22003 14110 104 219 0 21780 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 88012


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1787144/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=97672 CPUtime=822.09
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 19205 0 0 0 82117 92 0 0 25 0 1 0 120997469 100016128 16157 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 24418 16157 104 219 0 24195 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 97672

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1785608/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=98068 CPUtime=882.08
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 19590 0 0 0 88112 96 0 0 25 0 1 0 120997469 100421632 16509 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 24517 16509 104 219 0 24294 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 98068

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1780680/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=98844 CPUtime=942.05
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 20951 0 0 0 94104 101 0 0 25 0 1 0 120997469 101216256 17738 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 24711 17738 104 219 0 24488 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 98844

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1776328/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=100016 CPUtime=1002.04
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 22088 0 0 0 100098 106 0 0 25 0 1 0 120997469 102416384 18809 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 25004 18809 104 219 0 24781 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 100016

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1772808/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=101052 CPUtime=1062.03
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 23115 0 0 0 106093 110 0 0 25 0 1 0 120997469 103477248 19704 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 25263 19704 104 219 0 25040 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 101052

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 2259
/proc/meminfo: memFree=1769992/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=101696 CPUtime=1122.02
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 23892 0 0 0 112088 114 0 0 25 0 1 0 120997469 104136704 20382 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 25424 20382 104 219 0 25201 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 101696

[startup+1182.3 s]
/proc/loadavg: 1.11 1.02 1.01 2/78 2259
/proc/meminfo: memFree=1768136/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=102108 CPUtime=1182
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 24371 0 0 0 118083 117 0 0 25 0 1 0 120997469 104558592 20828 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 25527 20828 104 219 0 25304 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 102108

[startup+1242.3 s]
/proc/loadavg: 1.17 1.04 1.01 2/78 2259
/proc/meminfo: memFree=1765832/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=102496 CPUtime=1241.98
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 24951 0 0 0 124077 121 0 0 25 0 1 0 120997469 104955904 21375 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 25624 21375 104 219 0 25401 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 102496

[startup+1302.3 s]
/proc/loadavg: 1.11 1.05 1.01 2/84 2433
/proc/meminfo: memFree=1761664/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=102496 CPUtime=1301.89
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 25597 0 0 0 130064 125 0 0 25 0 1 0 120997469 104955904 22021 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 25624 22021 104 219 0 25401 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 102496

[startup+1362.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/78 2459
/proc/meminfo: memFree=1761032/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=102880 CPUtime=1361.86
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 26159 0 0 0 136057 129 0 0 25 0 1 0 120997469 105349120 22484 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134585924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 25720 22484 104 219 0 25497 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 102880

[startup+1422.31 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 2459
/proc/meminfo: memFree=1758792/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=103964 CPUtime=1421.85
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 26720 0 0 0 142052 133 0 0 25 0 1 0 120997469 106459136 23045 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 25991 23045 104 219 0 25768 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 103964

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 2459
/proc/meminfo: memFree=1756104/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=105516 CPUtime=1481.82
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 27539 0 0 0 148046 136 0 0 25 0 1 0 120997469 108048384 23732 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 26379 23732 104 219 0 26156 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 105516

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 2459
/proc/meminfo: memFree=1753288/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=106028 CPUtime=1541.81
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 28353 0 0 0 154041 140 0 0 25 0 1 0 120997469 108572672 24414 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 26507 24414 104 219 0 26284 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 106028

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2459
/proc/meminfo: memFree=1751304/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=172208 CPUtime=1601.8
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 28941 0 0 0 160037 143 0 0 25 0 1 0 120997469 176340992 24903 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 43052 24903 104 219 0 42829 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 172208

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2459
/proc/meminfo: memFree=1749768/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=172528 CPUtime=1661.78
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 29316 0 0 0 166032 146 0 0 25 0 1 0 120997469 176668672 25278 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 43132 25278 104 219 0 42909 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 172528

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2459
/proc/meminfo: memFree=1746888/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=173044 CPUtime=1721.77
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 30103 0 0 0 172029 148 0 0 25 0 1 0 120997469 177197056 25999 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 43261 25999 104 219 0 43038 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 173044

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2459
/proc/meminfo: memFree=1744200/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=173300 CPUtime=1781.76
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 30801 0 0 0 178025 151 0 0 25 0 1 0 120997469 177459200 26631 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 43325 26631 104 219 0 43102 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 173300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2459
/proc/meminfo: memFree=1743624/2055920 swapFree=4170260/4192956
[pid=2258] ppid=2256 vsize=173428 CPUtime=1800.06
/proc/2258/stat : 2258 (PBS4) R 2256 2258 1493 0 -1 4194304 30976 0 0 0 179855 151 0 0 25 0 1 0 120997469 177590272 26773 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2258/statm: 43357 26773 104 219 0 43134 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 173428

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.63
CPU time (s): 1800.09
CPU user time (s): 1798.55
CPU system time (s): 1.53577
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 173428

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

runsolver used 2.02169 second user time and 4.52931 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Mon Apr 16 13:40:07 UTC 2007

IDJOB= 354889
IDBENCH= 2918
IDSOLVER= 157
FILE ID= node26/354889-1176730806

PBS_JOBID= 4559503

Free space on /tmp= 66523 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_7_60_1.opb
COMMAND LINE= /tmp/evaluation/354889-1176730806/PBS4 /tmp/evaluation/354889-1176730806/instance-354889-1176730806.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node26/convwatcher-354889-1176730806 -o ROOT/results/node26/conversion-354889-1176730806 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354889-1176730806/instance-354889-1176730806.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  7b9886d41278c23acb93039c546a310e

RANDOM SEED= 616962070

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1852456 kB
Buffers:         22744 kB
Cached:         104092 kB
SwapCached:       3384 kB
Active:          89148 kB
Inactive:        61684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852456 kB
SwapTotal:     4192956 kB
SwapFree:      4170260 kB
Dirty:            1232 kB
Writeback:           0 kB
Mapped:          31320 kB
Slab:            38276 kB
Committed_AS:   949228 kB
PageTables:       1720 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= 66523 MiB

End job on node26 on Mon Apr 16 14:10:09 UTC 2007