Trace number 354824

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_8_70_4.opb
MD5SUM87341d3e4752b9f90faef0f8d9385430
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark1802.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
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 constraint84
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 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
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/354824-1176727450/instance-354824-1176727450.opb ......
0.00/0.00	c done parsing opb.
0.00/0.00	o 1231
0.00/0.00	o 1150
0.00/0.00	o 535
2.09/2.10	o 534
2.39/2.44	o 532
2.49/2.50	o 530
3.29/3.39	o 529
3.39/3.49	o 527
3.50/3.52	o 525
5.40/5.42	o 524
5.59/5.66	o 523
5.69/5.73	o 521
5.69/5.79	o 519
5.79/5.82	o 517
5.89/5.96	o 515
6.09/6.13	o 512
6.09/6.19	o 510
6.30/6.36	o 508
6.39/6.43	o 506
6.39/6.48	o 504
6.50/6.53	o 502
6.50/6.57	o 500
6.69/6.72	o 499
6.69/6.79	o 497
6.79/6.85	o 495
6.89/6.94	o 493
6.99/7.02	o 491
7.09/7.17	o 489
12.10/12.14	o 488
12.19/12.26	o 487
12.49/12.59	o 485
12.59/12.64	o 481
12.59/12.67	o 477
12.99/13.03	o 476
17.18/17.22	o 474
17.18/17.29	o 472
17.38/17.48	o 470
17.68/17.71	o 468
17.68/17.75	o 466
17.88/17.91	o 464
17.88/17.97	o 462
18.08/18.11	o 460
18.59/18.65	o 459
22.59/22.66	o 457
22.69/22.75	o 455
22.79/22.81	o 453
22.99/23.06	o 450
24.28/24.30	o 449
24.48/24.53	o 430
24.88/24.98	o 429
25.08/25.15	o 427
25.19/25.28	o 425
26.09/26.12	o 421
26.09/26.13	o 419
26.09/26.13	o 417
40.08/40.12	o 415
45.78/45.87	o 348
45.78/45.87	o 346
46.19/46.30	o 344
46.78/46.88	o 342
46.88/46.96	o 340
46.98/47.03	o 338
47.08/47.11	o 336
47.08/47.16	o 334
47.38/47.40	o 332
47.38/47.44	o 330
47.48/47.58	o 328
47.58/47.65	o 326
54.57/54.65	o 325
54.67/54.74	o 323
54.77/54.85	o 321
61.98/62.06	o 311
62.48/62.50	o 310
62.48/62.59	o 304
62.78/62.86	o 303
64.58/64.62	o 302
64.98/65.00	o 270
65.67/65.76	o 266
66.37/66.41	o 264
66.47/66.50	o 262
69.67/69.76	o 261
69.77/69.90	o 259
70.17/70.25	o 257
70.28/70.34	o 255
70.28/70.39	o 253
70.38/70.46	o 251
70.47/70.50	o 249
70.47/70.54	o 247
70.57/70.64	o 245
70.67/70.72	o 243
96.87/96.98	o 198
112.76/112.87	o 196
337.90/338.04	o 194
340.01/340.12	o 193
340.31/340.49	o 191
361.80/361.96	o 189
467.88/468.03	o 187
587.25/587.49	o 186
879.37/879.60	o 185
880.37/880.62	o 183
883.56/883.82	o 182
1042.06/1042.43	o 181
1043.57/1044.00	o 179
1044.26/1044.63	o 177
1044.46/1044.85	o 175
1085.13/1085.55	o 174
1086.13/1086.55	o 172
1086.34/1086.77	o 170
1086.63/1087.09	o 168
1086.93/1087.36	o 166
1150.01/1150.40	o 165
1150.61/1151.09	o 163
1151.11/1151.52	o 161
1155.51/1155.98	o 159
1156.01/1156.40	o 155
1245.80/1246.21	o 154
1800.05/1800.60	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/354824-1176727450/instance-354824-1176727450.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/node27/watcher-354824-1176727450 -o ROOT/results/node27/solver-354824-1176727450 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354824-1176727450/PBS4 /tmp/evaluation/354824-1176727450/instance-354824-1176727450.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.98 3/65 2588
/proc/meminfo: memFree=1799464/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=1324 CPUtime=0
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 1 0 85440935 1355776 119 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135022902 0 0 4096 0 0 0 0 17 1 0 0
/proc/2588/statm: 331 119 87 219 0 108 0

[startup+0.033382 s]
/proc/loadavg: 0.91 0.97 0.98 3/65 2588
/proc/meminfo: memFree=1799464/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=1468 CPUtime=0.03
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 184 0 0 0 3 0 0 0 18 0 1 0 85440935 1503232 166 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 367 166 102 219 0 144 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1468

[startup+0.101389 s]
/proc/loadavg: 0.91 0.97 0.98 3/65 2588
/proc/meminfo: memFree=1799464/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=1724 CPUtime=0.09
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 252 0 0 0 9 0 0 0 18 0 1 0 85440935 1765376 234 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 431 234 103 219 0 208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1724

[startup+0.301409 s]
/proc/loadavg: 0.91 0.97 0.98 3/65 2588
/proc/meminfo: memFree=1799464/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=2236 CPUtime=0.29
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 436 0 0 0 29 0 0 0 19 0 1 0 85440935 2289664 418 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 559 418 103 219 0 336 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2236

[startup+0.701451 s]
/proc/loadavg: 0.91 0.97 0.98 3/65 2588
/proc/meminfo: memFree=1799464/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=3464 CPUtime=0.69
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 742 0 0 0 69 0 0 0 22 0 1 0 85440935 3547136 724 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 866 724 103 219 0 643 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3464

[startup+1.50153 s]
/proc/loadavg: 0.91 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1796000/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=5708 CPUtime=1.5
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 1280 0 0 0 149 1 0 0 25 0 1 0 85440935 5844992 1262 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 1427 1262 103 219 0 1204 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 5708

[startup+3.10169 s]
/proc/loadavg: 0.91 0.97 0.98 3/66 2589
/proc/meminfo: memFree=1793440/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=10664 CPUtime=3.09
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 2075 0 0 0 307 2 0 0 25 0 1 0 85440935 10919936 2008 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 2666 2008 104 219 0 2443 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10664

[startup+6.30202 s]
/proc/loadavg: 0.92 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1789152/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=19916 CPUtime=6.3
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 2986 0 0 0 625 5 0 0 25 0 1 0 85440935 20393984 2822 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 4979 2822 104 219 0 4756 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 19916

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1785248/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=20356 CPUtime=12.69
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 3834 0 0 0 1262 7 0 0 25 0 1 0 85440935 20844544 3670 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 5089 3670 104 219 0 4866 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20356

[startup+25.502 s]
/proc/loadavg: 0.94 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1782240/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=21684 CPUtime=25.49
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 4702 0 0 0 2538 11 0 0 25 0 1 0 85440935 22204416 4345 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 5421 4345 104 219 0 5198 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21684

[startup+51.1016 s]
/proc/loadavg: 0.96 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1775968/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=39116 CPUtime=51.08
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 6253 0 0 0 5092 16 0 0 25 0 1 0 85440935 40054784 5896 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 9779 5896 104 219 0 9556 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39116

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1774048/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=41972 CPUtime=102.27
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 7118 0 0 0 10204 23 0 0 25 0 1 0 85440935 42979328 6376 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 10493 6376 104 219 0 10270 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41972

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1770720/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=43708 CPUtime=162.25
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 7923 0 0 0 16194 31 0 0 25 0 1 0 85440935 44756992 7181 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 10927 7181 104 219 0 10704 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 43708

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1764256/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=48032 CPUtime=222.24
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 10301 0 0 0 22185 39 0 0 25 0 1 0 85440935 49184768 8790 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 12008 8790 104 219 0 11785 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 48032

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1760736/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=49260 CPUtime=282.22
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 11181 0 0 0 28178 44 0 0 25 0 1 0 85440935 50442240 9670 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 12315 9670 104 219 0 12092 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49260

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1755360/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=50648 CPUtime=342.21
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 12508 0 0 0 34171 50 0 0 25 0 1 0 85440935 51863552 10997 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 12662 10997 104 219 0 12439 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 50648

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1752608/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=51516 CPUtime=402.19
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 13224 0 0 0 40164 55 0 0 25 0 1 0 85440935 52752384 11713 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 12879 11713 104 219 0 12656 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 51516

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1748256/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=85024 CPUtime=462.17
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 14272 0 0 0 46157 60 0 0 25 0 1 0 85440935 87064576 12761 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 21256 12761 104 219 0 21033 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 85024

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1747040/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=85216 CPUtime=522.16
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 14628 0 0 0 52152 64 0 0 25 0 1 0 85440935 87261184 13117 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 21304 13117 104 219 0 21081 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 85216

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 2589
/proc/meminfo: memFree=1743968/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=86344 CPUtime=582.14
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 15341 0 0 0 58146 68 0 0 25 0 1 0 85440935 88416256 13830 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 21586 13830 104 219 0 21363 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 86344

[startup+642.302 s]
/proc/loadavg: 1.04 0.99 0.99 2/66 2589
/proc/meminfo: memFree=1742560/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=86828 CPUtime=642.14
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 15688 0 0 0 64142 72 0 0 25 0 1 0 85440935 88911872 14177 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 21707 14177 104 219 0 21484 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 86828


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

[startup+822.302 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 2589
/proc/meminfo: memFree=1731744/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=93924 CPUtime=822.09
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 19938 0 0 0 82125 84 0 0 25 0 1 0 85440935 96178176 16890 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 23481 16890 104 219 0 23258 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 93924

[startup+882.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/66 2589
/proc/meminfo: memFree=1728288/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=94320 CPUtime=882.06
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 20772 0 0 0 88118 88 0 0 25 0 1 0 85440935 96583680 17724 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 23580 17724 104 219 0 23357 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 94320

[startup+942.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 2589
/proc/meminfo: memFree=1724832/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=95756 CPUtime=942.06
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 21636 0 0 0 94114 92 0 0 25 0 1 0 85440935 98054144 18588 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 23939 18588 104 219 0 23716 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 95756

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2589
/proc/meminfo: memFree=1721824/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=96548 CPUtime=1002.04
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 22378 0 0 0 100109 95 0 0 25 0 1 0 85440935 98865152 19330 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 24137 19330 104 219 0 23914 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 96548

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 2767
/proc/meminfo: memFree=1718560/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=98004 CPUtime=1061.94
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 22842 0 0 0 106091 103 0 0 25 0 1 0 85440935 100356096 19794 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2588/statm: 24501 19794 104 219 0 24278 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 98004

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2787
/proc/meminfo: memFree=1719328/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=98136 CPUtime=1121.92
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 22932 0 0 0 112086 106 0 0 25 0 1 0 85440935 100491264 19884 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 24534 19884 104 219 0 24311 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 98136

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1716192/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=100136 CPUtime=1181.9
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 23825 0 0 0 118079 111 0 0 25 0 1 0 85440935 102539264 20678 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 25034 20678 104 219 0 24811 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 100136

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1715680/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=100580 CPUtime=1241.89
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 23938 0 0 0 124074 115 0 0 25 0 1 0 85440935 102993920 20791 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 25145 20791 104 219 0 24922 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 100580

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1714784/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=101236 CPUtime=1301.88
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 24159 0 0 0 130070 118 0 0 25 0 1 0 85440935 103665664 21012 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 25309 21012 104 219 0 25086 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 101236

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1714400/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=101832 CPUtime=1361.86
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 24266 0 0 0 136065 121 0 0 25 0 1 0 85440935 104275968 21119 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 25458 21119 104 219 0 25235 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 101832

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1713760/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=102228 CPUtime=1421.85
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 24420 0 0 0 142062 123 0 0 25 0 1 0 85440935 104681472 21273 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 25557 21273 104 219 0 25334 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 102228

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1712032/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=102492 CPUtime=1481.83
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 24867 0 0 0 148058 125 0 0 25 0 1 0 85440935 104951808 21720 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 25623 21720 104 219 0 25400 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 102492

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1709472/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=102880 CPUtime=1541.81
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 25566 0 0 0 154053 128 0 0 25 0 1 0 85440935 105349120 22353 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 25720 22353 104 219 0 25497 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 102880

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1708192/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=104140 CPUtime=1601.8
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 25967 0 0 0 160050 130 0 0 25 0 1 0 85440935 106639360 22655 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 26035 22655 104 219 0 25812 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 104140

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1706976/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=104516 CPUtime=1661.79
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 26267 0 0 0 166046 133 0 0 25 0 1 0 85440935 107024384 22955 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 26129 22955 104 219 0 25906 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 104516

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1705888/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=105172 CPUtime=1721.76
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 26575 0 0 0 172040 136 0 0 25 0 1 0 85440935 107696128 23230 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 26293 23230 104 219 0 26070 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 105172

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1705184/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=105572 CPUtime=1781.76
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 26740 0 0 0 178036 140 0 0 25 0 1 0 85440935 108105728 23395 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 26393 23395 104 219 0 26170 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 105572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2787
/proc/meminfo: memFree=1705120/2055920 swapFree=4184636/4192956
[pid=2588] ppid=2586 vsize=105572 CPUtime=1800.05
/proc/2588/stat : 2588 (PBS4) R 2586 2588 1893 0 -1 4194304 26760 0 0 0 179865 140 0 0 25 0 1 0 85440935 108105728 23415 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2588/statm: 26393 23415 104 219 0 26170 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 105572

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.42578
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 105572

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

runsolver used 1.65375 second user time and 3.71743 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Mon Apr 16 12:44:10 UTC 2007

IDJOB= 354824
IDBENCH= 2904
IDSOLVER= 157
FILE ID= node27/354824-1176727450

PBS_JOBID= 4559489

Free space on /tmp= 66517 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_4.opb
COMMAND LINE= /tmp/evaluation/354824-1176727450/PBS4 /tmp/evaluation/354824-1176727450/instance-354824-1176727450.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node27/convwatcher-354824-1176727450 -o ROOT/results/node27/conversion-354824-1176727450 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354824-1176727450/instance-354824-1176727450.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  87341d3e4752b9f90faef0f8d9385430

RANDOM SEED= 290242990

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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	: 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.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:       1799872 kB
Buffers:         18580 kB
Cached:         170480 kB
SwapCached:       2904 kB
Active:          49988 kB
Inactive:       151088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799872 kB
SwapTotal:     4192956 kB
SwapFree:      4184636 kB
Dirty:            1140 kB
Writeback:           0 kB
Mapped:          18452 kB
Slab:            40988 kB
Committed_AS:  1568524 kB
PageTables:       1412 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= 66517 MiB

End job on node27 on Mon Apr 16 13:14:13 UTC 2007