Trace number 355006

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
MD5SUM474916db0f2f0be5831d97827cee8e55
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 benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
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 constraint75
Maximum length of a constraint76
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 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6214
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/355006-1176749139/instance-355006-1176749139.opb ......
0.00/0.00	c done parsing opb.
0.00/0.00	o 497
0.00/0.01	o 495
0.00/0.01	o 493
0.01/0.03	o 491
0.01/0.03	o 489
0.01/0.04	o 487
0.01/0.04	o 485
0.01/0.05	o 483
0.01/0.05	o 479
0.01/0.06	o 477
0.01/0.07	o 475
0.01/0.08	o 473
0.01/0.09	o 471
0.01/0.09	o 467
0.09/0.10	o 465
0.19/0.20	o 463
0.19/0.22	o 461
0.19/0.23	o 459
0.19/0.24	o 457
0.19/0.28	o 455
0.19/0.29	o 453
0.19/0.29	o 451
0.29/0.36	o 449
0.29/0.36	o 447
0.39/0.41	o 445
0.39/0.41	o 443
0.39/0.42	o 441
0.39/0.43	o 439
0.39/0.44	o 437
0.39/0.45	o 435
0.39/0.48	o 433
0.49/0.55	o 431
0.59/0.68	o 430
0.59/0.69	o 428
0.69/0.71	o 426
0.69/0.72	o 424
0.69/0.74	o 422
0.69/0.76	o 420
0.79/0.82	o 419
0.79/0.89	o 417
0.89/0.90	o 415
0.89/0.94	o 414
0.89/0.97	o 412
0.89/0.98	o 408
0.89/0.99	o 404
1.00/1.01	o 402
1.19/1.26	o 329
1.29/1.35	o 328
1.39/1.42	o 327
1.39/1.49	o 325
1.49/1.54	o 323
1.49/1.58	o 311
1.49/1.59	o 309
1.59/1.60	o 279
1.59/1.63	o 277
1.59/1.66	o 275
1.59/1.67	o 273
1.59/1.69	o 271
1.69/1.71	o 269
1.69/1.73	o 267
1.69/1.75	o 265
1.79/1.85	o 263
1.99/2.02	o 249
1.99/2.04	o 247
1.99/2.05	o 245
1.99/2.08	o 243
1.99/2.09	o 241
2.09/2.16	o 240
2.09/2.18	o 238
2.49/2.58	o 236
2.59/2.61	o 234
2.79/2.82	o 206
7.98/8.06	o 205
7.98/8.09	o 204
8.08/8.15	o 199
9.39/9.47	o 198
9.49/9.52	o 196
16.99/17.08	o 194
17.09/17.15	o 192
20.08/20.19	o 191
20.18/20.27	o 189
20.38/20.44	o 187
20.48/20.50	o 185
20.58/20.60	o 183
20.58/20.65	o 181
20.58/20.66	o 179
20.58/20.69	o 177
20.68/20.72	o 175
52.68/52.70	o 174
52.88/52.97	o 172
52.98/53.06	o 170
53.28/53.33	o 168
53.38/53.44	o 166
53.38/53.48	o 164
53.48/53.55	o 162
53.58/53.61	o 160
53.58/53.67	o 158
53.68/53.71	o 156
53.88/53.91	o 154
54.17/54.22	o 153
54.27/54.37	o 151
54.37/54.46	o 149
54.47/54.54	o 147
54.57/54.65	o 145
54.67/54.71	o 143
62.48/62.56	o 142
62.58/62.68	o 140
73.17/73.29	o 139
73.38/73.45	o 137
105.46/105.59	o 135
105.66/105.72	o 133
124.96/125.07	o 132
125.16/125.28	o 130
125.26/125.38	o 128
125.36/125.46	o 126
125.55/125.63	o 124
135.46/135.52	o 123
247.93/248.04	o 118
302.81/302.91	o 110
304.02/304.18	o 108
304.22/304.34	o 106
317.01/317.12	o 105
317.11/317.28	o 103
317.41/317.53	o 101
317.61/317.74	o 99
317.82/317.94	o 97
318.01/318.11	o 95
318.11/318.25	o 93
318.51/318.66	o 91
318.71/318.81	o 89
318.82/318.92	o 87
318.92/319.02	o 85
319.01/319.15	o 83
391.19/391.37	o 81
391.69/391.83	o 79
391.89/392.03	o 77
1800.05/1800.60	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/355006-1176749139/instance-355006-1176749139.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/node4/watcher-355006-1176749139 -o ROOT/results/node4/solver-355006-1176749139 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/355006-1176749139/PBS4 /tmp/evaluation/355006-1176749139/instance-355006-1176749139.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: 1.00 1.00 1.00 3/77 17400
/proc/meminfo: memFree=1723864/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=1324 CPUtime=0
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 135 0 0 0 0 0 0 0 18 0 1 0 150951629 1355776 117 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0
/proc/17400/statm: 330 119 88 219 0 107 0

[startup+0.0177879 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17400
/proc/meminfo: memFree=1723864/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=1320 CPUtime=0.01
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 167 0 0 0 1 0 0 0 18 0 1 0 150951629 1351680 149 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 330 149 102 219 0 107 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1320

[startup+0.101795 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17400
/proc/meminfo: memFree=1723864/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=1708 CPUtime=0.09
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 260 0 0 0 9 0 0 0 18 0 1 0 150951629 1748992 242 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 427 242 103 219 0 204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1708

[startup+0.301814 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17400
/proc/meminfo: memFree=1723864/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=3376 CPUtime=0.29
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 472 0 0 0 29 0 0 0 19 0 1 0 150951629 3457024 454 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 844 454 103 219 0 621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3376

[startup+0.701852 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17400
/proc/meminfo: memFree=1723864/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=5752 CPUtime=0.69
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 803 0 0 0 69 0 0 0 23 0 1 0 150951629 5890048 785 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 1438 785 103 219 0 1215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5752

[startup+1.50193 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1720336/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=6016 CPUtime=1.49
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 1266 0 0 0 148 1 0 0 25 0 1 0 150951629 6160384 1248 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 1504 1248 103 219 0 1281 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6016

[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1717968/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=10700 CPUtime=3.08
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 1743 0 0 0 306 2 0 0 25 0 1 0 150951629 10956800 1676 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 2675 1676 104 219 0 2452 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10700

[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1716560/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=11360 CPUtime=6.29
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 2037 0 0 0 626 3 0 0 25 0 1 0 150951629 11632640 1873 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 2840 1873 104 219 0 2617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11360

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1714768/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=11764 CPUtime=12.69
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 2564 0 0 0 1263 6 0 0 25 0 1 0 150951629 12046336 2400 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552753 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 2941 2400 104 219 0 2718 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11764

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1712016/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=21568 CPUtime=25.48
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 3378 0 0 0 2539 9 0 0 25 0 1 0 150951629 22085632 3021 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 5392 3021 104 219 0 5169 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21568

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1705104/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=23000 CPUtime=51.07
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 5116 0 0 0 5092 15 0 0 25 0 1 0 150951629 23552000 4759 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 5750 4759 104 219 0 5527 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23000

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1698320/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=42728 CPUtime=102.27
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 7181 0 0 0 10203 24 0 0 25 0 1 0 150951629 43753472 6439 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551799 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 10682 6439 104 219 0 10459 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42728

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1696400/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=44360 CPUtime=162.25
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 7655 0 0 0 16194 31 0 0 25 0 1 0 150951629 45424640 6913 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 11090 6913 104 219 0 10867 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 44360

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1688912/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=45524 CPUtime=222.23
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 9498 0 0 0 22185 38 0 0 25 0 1 0 150951629 46616576 8756 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 11381 8756 104 219 0 11158 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 45524

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1683216/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=50008 CPUtime=282.22
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 11695 0 0 0 28178 44 0 0 25 0 1 0 150951629 51208192 10184 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 12502 10184 104 219 0 12279 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 50008

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1677840/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=82968 CPUtime=342.2
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 13034 0 0 0 34171 49 0 0 25 0 1 0 150951629 84959232 11523 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 20742 11523 104 219 0 20519 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 82968

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1672016/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=84388 CPUtime=402.19
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 14476 0 0 0 40165 54 0 0 25 0 1 0 150951629 86413312 12965 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 21097 12965 104 219 0 20874 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 84388

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 17401
/proc/meminfo: memFree=1669712/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=86124 CPUtime=462.17
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 15040 0 0 0 46158 59 0 0 25 0 1 0 150951629 88190976 13529 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 21531 13529 104 219 0 21308 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 86124

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1666256/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=87180 CPUtime=522.16
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 15917 0 0 0 52153 63 0 0 25 0 1 0 150951629 89272320 14406 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 21795 14406 104 219 0 21572 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 87180

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1662992/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=88768 CPUtime=582.15
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 16808 0 0 0 58147 68 0 0 25 0 1 0 150951629 90898432 15231 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 22192 15231 104 219 0 21969 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 88768

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1660368/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=89440 CPUtime=642.13
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 17463 0 0 0 64142 71 0 0 25 0 1 0 150951629 91586560 15853 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 22360 15853 104 219 0 22137 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 89440


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1654992/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=91104 CPUtime=822.09
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 18829 0 0 0 82127 82 0 0 25 0 1 0 150951629 93290496 17219 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549626 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 22776 17219 104 219 0 22553 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 91104

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17401
/proc/meminfo: memFree=1653008/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=91844 CPUtime=882.07
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 19333 0 0 0 88121 86 0 0 25 0 1 0 150951629 94048256 17690 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 22961 17690 104 219 0 22738 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 91844

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 17517
/proc/meminfo: memFree=1651168/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=98216 CPUtime=942
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 21007 0 0 0 94109 91 0 0 25 0 1 0 150951629 100573184 17827 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 24554 17827 104 219 0 24331 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 98216

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17599
/proc/meminfo: memFree=1651792/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=98460 CPUtime=1001.95
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 21127 0 0 0 100099 96 0 0 25 0 1 0 150951629 100823040 17947 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 24615 17947 104 219 0 24392 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 98460

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17599
/proc/meminfo: memFree=1651344/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=98852 CPUtime=1061.92
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 21325 0 0 0 106093 99 0 0 25 0 1 0 150951629 101224448 18112 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 24713 18112 104 219 0 24490 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 98852

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17599
/proc/meminfo: memFree=1650576/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=99504 CPUtime=1121.91
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 21540 0 0 0 112088 103 0 0 25 0 1 0 150951629 101892096 18294 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 24876 18294 104 219 0 24653 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 99504

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17599
/proc/meminfo: memFree=1648400/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=99504 CPUtime=1181.89
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 22097 0 0 0 118083 106 0 0 25 0 1 0 150951629 101892096 18851 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 24876 18851 104 219 0 24653 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 99504

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17599
/proc/meminfo: memFree=1645328/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=99632 CPUtime=1241.88
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 22890 0 0 0 124077 111 0 0 25 0 1 0 150951629 102023168 19611 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 24908 19611 104 219 0 24685 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 99632

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17599
/proc/meminfo: memFree=1642832/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=100948 CPUtime=1301.88
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 23563 0 0 0 130074 114 0 0 25 0 1 0 150951629 103370752 20218 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 25237 20218 104 219 0 25014 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 100948

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17599
/proc/meminfo: memFree=1642064/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=101500 CPUtime=1361.85
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 23794 0 0 0 136069 116 0 0 25 0 1 0 150951629 103936000 20416 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 25375 20416 104 219 0 25152 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 101500

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 17599
/proc/meminfo: memFree=1641616/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=101888 CPUtime=1421.84
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 23945 0 0 0 142065 119 0 0 25 0 1 0 150951629 104333312 20534 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134549615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 25472 20534 104 219 0 25249 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 101888

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17599
/proc/meminfo: memFree=1640656/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=102532 CPUtime=1481.83
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 24246 0 0 0 148060 123 0 0 25 0 1 0 150951629 104992768 20736 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 25633 20736 104 219 0 25410 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 102532

[startup+1542.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/78 17599
/proc/meminfo: memFree=1638288/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=102792 CPUtime=1541.81
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 24853 0 0 0 154056 125 0 0 25 0 1 0 150951629 105259008 21343 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 25698 21343 104 219 0 25475 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 102792

[startup+1602.3 s]
/proc/loadavg: 1.17 1.05 1.01 2/78 17599
/proc/meminfo: memFree=1635728/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=103304 CPUtime=1601.79
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 25639 0 0 0 160051 128 0 0 25 0 1 0 150951629 105783296 21997 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 25826 21997 104 219 0 25603 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 103304

[startup+1662.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/78 17599
/proc/meminfo: memFree=1633168/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=103560 CPUtime=1661.78
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 26344 0 0 0 166046 132 0 0 25 0 1 0 150951629 106045440 22636 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 25890 22636 104 219 0 25667 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 103560

[startup+1722.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 17599
/proc/meminfo: memFree=1630416/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=103560 CPUtime=1721.77
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 27035 0 0 0 172041 136 0 0 25 0 1 0 150951629 106045440 23327 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 25890 23327 104 219 0 25667 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 103560

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 17599
/proc/meminfo: memFree=1627408/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=169096 CPUtime=1781.75
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 27774 0 0 0 178036 139 0 0 25 0 1 0 150951629 173154304 24066 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 42274 24066 104 219 0 42051 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 169096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 17599
/proc/meminfo: memFree=1626064/2055920 swapFree=4153892/4192956
[pid=17400] ppid=17398 vsize=169744 CPUtime=1800.05
/proc/17400/stat : 17400 (PBS4) R 17398 17400 16898 0 -1 4194304 28147 0 0 0 179865 140 0 0 25 0 1 0 150951629 173817856 24406 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17400/statm: 42436 24406 104 219 0 42213 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 169744

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.08
CPU user time (s): 1798.66
CPU system time (s): 1.42178
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 169744

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

runsolver used 2.11368 second user time and 4.42233 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Mon Apr 16 18:45:39 UTC 2007

IDJOB= 355006
IDBENCH= 2932
IDSOLVER= 157
FILE ID= node4/355006-1176749139

PBS_JOBID= 4580697

Free space on /tmp= 66518 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_3.opb
COMMAND LINE= /tmp/evaluation/355006-1176749139/PBS4 /tmp/evaluation/355006-1176749139/instance-355006-1176749139.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-355006-1176749139 -o ROOT/results/node4/conversion-355006-1176749139 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/355006-1176749139/instance-355006-1176749139.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  474916db0f2f0be5831d97827cee8e55

RANDOM SEED= 831674114

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1724336 kB
Buffers:         34312 kB
Cached:         219908 kB
SwapCached:       2616 kB
Active:          67856 kB
Inactive:       211956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1724336 kB
SwapTotal:     4192956 kB
SwapFree:      4153892 kB
Dirty:            1224 kB
Writeback:           0 kB
Mapped:          32864 kB
Slab:            37264 kB
Committed_AS:  5191012 kB
PageTables:       1824 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= 66518 MiB

End job on node4 on Mon Apr 16 19:15:42 UTC 2007