Trace number 352294

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
Pueblo 1.4? (MO) 1467.35 1468.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
MD5SUM35ffbede57b8807d38d913370f4c4486
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark419
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 419
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495618
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495618
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
17.48/17.56	c starting to Solve
17.48/17.57	c #variables read: 10000 - #constraints read: 656901
23.48/23.52	o 6846
23.58/23.70	o 6826
23.78/23.86	o 6757
24.18/24.23	o 6607
24.38/24.40	o 6560
24.48/24.59	o 6545
24.68/24.75	o 6537
25.88/25.98	o 6488
26.08/26.14	o 6485
26.38/26.43	o 6435
26.47/26.59	o 6419
26.67/26.74	o 6410
26.87/26.91	o 6406
26.97/27.08	o 6391
27.17/27.24	o 6361
27.27/27.40	o 6319
27.48/27.55	o 6313
28.27/28.38	o 6292
28.48/28.56	o 6277
28.67/28.72	o 6271
28.77/28.88	o 6260
28.97/29.02	o 6254
30.97/31.08	o 6239
32.28/32.34	o 6237
32.38/32.48	o 6204
49.75/49.83	o 6150
78.74/78.86	o 5976
78.94/79.02	o 5962
79.34/79.48	o 5954
79.54/79.63	o 5940
81.24/81.31	o 5916
96.82/96.90	o 5904
96.92/97.07	o 5860
103.22/103.35	o 5854
105.53/105.67	o 5823
105.72/105.83	o 5794
108.22/108.39	o 5751
108.42/108.53	o 5750
108.62/108.73	o 5743
108.82/108.96	o 5738
113.42/113.58	o 5623
113.62/113.73	o 5575
113.82/113.91	o 5559
113.92/114.05	o 5511
197.56/197.72	o 5509
197.66/197.89	o 5470
197.86/198.05	o 5451
198.36/198.53	o 5426
198.57/198.70	o 5420
198.67/198.89	o 5400
200.76/200.90	o 5399
201.06/201.23	o 5389
201.87/202.04	o 5385
202.56/202.75	o 5375
202.76/202.99	o 5365
202.96/203.19	o 5352
203.16/203.35	o 5346
203.37/203.51	o 5336
203.86/204.07	o 5334

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/352294-1176628243/instance-352294-1176628243.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/node61/watcher-352294-1176628243 -o ROOT/results/node61/solver-352294-1176628243 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352294-1176628243/instance-352294-1176628243.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.99 0.97 0.99 3/64 1287
/proc/meminfo: memFree=1547512/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=2552 CPUtime=0
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 74787935 2613248 232 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10850007 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 638 232 193 16 0 77 0

[startup+0.0543139 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1287
/proc/meminfo: memFree=1547512/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=3748 CPUtime=0.05
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 583 0 0 0 5 0 0 0 18 0 1 0 74787935 3837952 553 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10649196 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 937 553 199 16 0 376 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3748

[startup+0.101318 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1287
/proc/meminfo: memFree=1547512/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=4416 CPUtime=0.09
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 749 0 0 0 9 0 0 0 18 0 1 0 74787935 4521984 719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10782381 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 1104 719 199 16 0 543 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4416

[startup+0.301338 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1287
/proc/meminfo: memFree=1547512/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=7212 CPUtime=0.29
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 1437 0 0 0 29 0 0 0 19 0 1 0 74787935 7385088 1407 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10850007 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 1803 1407 199 16 0 1242 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7212

[startup+0.701375 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1287
/proc/meminfo: memFree=1547512/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=12540 CPUtime=0.69
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 2779 0 0 0 68 1 0 0 23 0 1 0 74787935 12840960 2749 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 3135 2749 199 16 0 2574 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12540

[startup+1.50145 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1533296/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=23064 CPUtime=1.49
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 5412 0 0 0 147 2 0 0 25 0 1 0 74787935 23617536 5382 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134543098 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 5766 5382 199 16 0 5205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23064

[startup+3.10161 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1518896/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=43712 CPUtime=3.09
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 10558 0 0 0 304 5 0 0 25 0 1 0 74787935 44761088 10528 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 10928 10528 199 16 0 10367 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43712

[startup+6.30191 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1476528/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=83428 CPUtime=6.29
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 20367 0 0 0 618 11 0 0 25 0 1 0 74787935 85430272 20337 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532451 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 20857 20337 204 16 0 20296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83428

[startup+12.7015 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1465400/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=85476 CPUtime=12.68
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 20770 0 0 0 1257 11 0 0 25 0 1 0 74787935 87527424 20740 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 21369 20740 204 16 0 20808 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85476

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1456376/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=95448 CPUtime=25.48
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 23016 0 0 0 2536 12 0 0 25 0 1 0 74787935 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 23862 22986 206 16 0 23301 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95448

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1456248/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=95448 CPUtime=51.05
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 23016 0 0 0 5091 14 0 0 25 0 1 0 74787935 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 23862 22986 206 16 0 23301 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 95448

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1418168/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=133768 CPUtime=102.22
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 32593 0 0 0 10203 19 0 0 25 0 1 0 74787935 136978432 32563 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 33442 32563 206 16 0 32881 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 133768

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1352184/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=200384 CPUtime=162.19
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 49225 0 0 0 16190 29 0 0 25 0 1 0 74787935 205193216 49195 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 50096 49195 206 16 0 49535 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 200384

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1257912/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=294076 CPUtime=222.15
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 72652 0 0 0 22171 44 0 0 25 0 1 0 74787935 301133824 72622 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 73519 72622 206 16 0 72958 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 294076

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1169720/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=383456 CPUtime=282.12
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 94958 0 0 0 28154 58 0 0 25 0 1 0 74787935 392658944 94928 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 95864 94928 206 16 0 95303 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 383456

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=1076408/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=475228 CPUtime=342.08
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 117942 0 0 0 34136 72 0 0 25 0 1 0 74787935 486633472 117912 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 118807 117912 206 16 0 118246 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 475228

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=986360/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=566636 CPUtime=402.04
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 140682 0 0 0 40114 90 0 0 25 0 1 0 74787935 580235264 140652 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 141659 140652 206 16 0 141098 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 566636

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=890104/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=661740 CPUtime=462.01
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 164466 0 0 0 46093 108 0 0 25 0 1 0 74787935 677621760 164436 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 165435 164436 206 16 0 164874 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 661740

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=803896/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=748860 CPUtime=521.97
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 186288 0 0 0 52073 124 0 0 25 0 1 0 74787935 766832640 186258 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517887 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 187215 186258 206 16 0 186654 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 748860

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=706744/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=845484 CPUtime=581.93
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 210207 0 0 0 58054 139 0 0 25 0 1 0 74787935 865775616 210177 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517913 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 211371 210177 206 16 0 210810 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 845484

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=616376/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=935104 CPUtime=641.9
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 232603 0 0 0 64035 155 0 0 25 0 1 0 74787935 957546496 232573 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 233776 232573 206 16 0 233215 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 935104

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=527736/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1024512 CPUtime=701.86
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 254981 0 0 0 70010 176 0 0 25 0 1 0 74787935 1049100288 254951 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 256128 254951 206 16 0 255567 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 1024512

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=437112/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1114004 CPUtime=761.83
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 277358 0 0 0 75988 195 0 0 25 0 1 0 74787935 1140740096 277328 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 278501 277328 206 16 0 277940 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 1114004

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=367288/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1184652 CPUtime=821.79
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 295018 0 0 0 81971 208 0 0 25 0 1 0 74787935 1213083648 294987 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 296163 294987 206 16 0 295602 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 1184652

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=305784/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1245076 CPUtime=881.75
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 310145 0 0 0 87957 218 0 0 25 0 1 0 74787935 1274957824 310108 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 311269 310108 206 16 0 310708 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 1245076

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=241592/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1310528 CPUtime=941.71
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 326457 0 0 0 93940 231 0 0 25 0 1 0 74787935 1341980672 326419 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528574 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 327632 326419 206 16 0 327071 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 1310528

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=169016/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1381844 CPUtime=1001.67
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 344314 0 0 0 99923 244 0 0 25 0 1 0 74787935 1415008256 344276 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 345461 344276 206 16 0 344900 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 1381844

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1288
/proc/meminfo: memFree=103800/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1447080 CPUtime=1061.64
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 360609 0 0 0 105905 259 0 0 25 0 1 0 74787935 1481809920 360571 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/1287/statm: 361770 360571 206 16 0 361209 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 1447080

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1290
/proc/meminfo: memFree=48440/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1504484 CPUtime=1121.59
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 374403 0 0 0 111890 269 0 0 25 0 1 0 74787935 1540591616 374365 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 376121 374365 206 16 0 375560 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 1504484

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1290
/proc/meminfo: memFree=14840/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1563256 CPUtime=1181.48
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 389120 0 0 0 117870 278 0 0 25 0 1 0 74787935 1600774144 389082 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/1287/statm: 390814 389082 206 16 0 390253 0
Current children cumulated CPU time (s) 1181.48
Current children cumulated vsize (KiB) 1563256

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1290
/proc/meminfo: memFree=15416/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1622384 CPUtime=1241.39
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 403924 0 0 0 123852 287 0 0 25 0 1 0 74787935 1661321216 403886 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 405596 403886 206 16 0 405035 0
Current children cumulated CPU time (s) 1241.39
Current children cumulated vsize (KiB) 1622384

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1290
/proc/meminfo: memFree=14968/2055920 swapFree=4191892/4192956
[pid=1287] ppid=1285 vsize=1684164 CPUtime=1301.35
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 419370 0 0 0 129836 299 0 0 25 0 1 0 74787935 1724583936 419332 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559383 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 421041 419332 206 16 0 420480 0
Current children cumulated CPU time (s) 1301.35
Current children cumulated vsize (KiB) 1684164

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1290
/proc/meminfo: memFree=15032/2055920 swapFree=4184896/4192956
[pid=1287] ppid=1285 vsize=1749124 CPUtime=1361.31
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 435577 0 0 0 135820 311 0 0 25 0 1 0 74787935 1791102976 435539 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 437281 435539 206 16 0 436720 0
Current children cumulated CPU time (s) 1361.31
Current children cumulated vsize (KiB) 1749124

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1290
/proc/meminfo: memFree=16056/2055920 swapFree=4184896/4192956
[pid=1287] ppid=1285 vsize=1802556 CPUtime=1421.29
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 448940 0 0 0 141810 319 0 0 25 0 1 0 74787935 1845817344 448902 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 450639 448902 206 16 0 450078 0
Current children cumulated CPU time (s) 1421.29
Current children cumulated vsize (KiB) 1802556



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1468.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1290
/proc/meminfo: memFree=16312/2055920 swapFree=4184896/4192956
[pid=1287] ppid=1285 vsize=1843212 CPUtime=1467.06
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4194304 459091 0 0 0 146381 325 0 0 25 0 1 0 74787935 1887449088 459053 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 460803 459053 206 16 0 460242 0
Current children cumulated CPU time (s) 1467.06
Current children cumulated vsize (KiB) 1843212

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

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

[startup+1468.21 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1290
/proc/meminfo: memFree=16312/2055920 swapFree=4184896/4192956
[pid=1287] ppid=1285 vsize=0 CPUtime=1467.17
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4195332 459091 0 0 0 146382 335 0 0 25 0 1 0 74787935 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1467.17
Current children cumulated vsize (KiB) 0

[startup+1468.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1290
/proc/meminfo: memFree=16312/2055920 swapFree=4184896/4192956
[pid=1287] ppid=1285 vsize=0 CPUtime=1467.27
/proc/1287/stat : 1287 (Pueblo) R 1285 1287 634 0 -1 4195332 459091 0 0 0 146382 345 0 0 25 0 1 0 74787935 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/1287/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1467.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1468.38
CPU time (s): 1467.35
CPU user time (s): 1463.82
CPU system time (s): 3.52846
CPU usage (%): 99.9298
Max. virtual memory (cumulated for all children) (KiB): 1843212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1463.82
system time used= 3.52846
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459091
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= 11
involuntary context switches= 4382

runsolver used 1.41078 second user time and 3.9484 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Sun Apr 15 09:10:43 UTC 2007

IDJOB= 352294
IDBENCH= 1964
IDSOLVER= 165
FILE ID= node61/352294-1176628243

PBS_JOBID= 4559798

Free space on /tmp= 66546 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
COMMAND LINE= Pueblo /tmp/evaluation/352294-1176628243/instance-352294-1176628243.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-352294-1176628243 -o ROOT/results/node61/conversion-352294-1176628243 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352294-1176628243/instance-352294-1176628243.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-352294-1176628243 -o ROOT/results/node61/solver-352294-1176628243 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/352294-1176628243/instance-352294-1176628243.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  35ffbede57b8807d38d913370f4c4486

RANDOM SEED= 760412490

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1547984 kB
Buffers:         17840 kB
Cached:         374124 kB
SwapCached:        396 kB
Active:         168672 kB
Inactive:       238284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1547984 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:           19104 kB
Writeback:           0 kB
Mapped:          23768 kB
Slab:            87168 kB
Committed_AS:   134620 kB
PageTables:       1388 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= 66546 MiB

End job on node61 on Sun Apr 15 09:35:13 UTC 2007