Trace number 352450

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) 1699.63 1700.09

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM99680d01aa100bfba038606e315bf03d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark431
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 431
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 497468
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 497468
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
18.69/18.77	c starting to Solve
18.69/18.77	c #variables read: 10000 - #constraints read: 656901
25.49/25.56	o 6442
25.69/25.72	o 6386
25.79/25.88	o 6358
25.99/26.03	o 6302
27.69/27.79	o 6290
27.89/27.94	o 6252
51.96/52.09	o 6240
52.16/52.28	o 6180
52.56/52.63	o 6029
52.67/52.78	o 6026
52.86/52.93	o 5963
53.36/53.40	o 5929
53.96/54.01	o 5901
54.87/54.95	o 5897
55.16/55.24	o 5886
55.26/55.39	o 5840
55.96/56.07	o 5832
56.66/56.75	o 5827
57.46/57.52	o 5813
57.66/57.71	o 5808
58.06/58.17	o 5772
58.26/58.32	o 5746
67.45/67.54	o 5729
446.96/447.13	o 5720
447.66/447.86	o 5691
447.86/448.03	o 5682
448.06/448.28	o 5677
448.36/448.55	o 5659
448.56/448.71	o 5649
448.76/448.92	o 5596
451.45/451.64	o 5590
451.65/451.81	o 5581
459.16/459.32	o 5554
461.86/462.06	o 5549
462.05/462.27	o 5535
462.25/462.44	o 5521
462.85/463.01	o 5520
462.95/463.19	o 5509
463.15/463.36	o 5465
465.45/465.61	o 5461
518.74/518.93	o 5458
518.84/519.10	o 5455
522.73/522.97	o 5454
995.22/995.50	o 5450
995.32/995.64	o 5439
1113.79/1114.20	o 5437
1124.48/1124.82	o 5432
1129.29/1129.66	o 5427
1131.59/1131.94	o 5423
1131.68/1132.08	o 5412
1131.88/1132.23	o 5411
1132.18/1132.53	o 5398
1134.38/1134.74	o 5363
1151.57/1151.94	o 5361
1162.97/1163.36	o 5359
1238.05/1238.47	o 5354
1247.65/1248.00	o 5346
1247.74/1248.15	o 5334
1249.65/1250.04	o 5332
1257.54/1257.99	o 5324
1262.35/1262.71	o 5304
1291.14/1291.53	o 5297
1291.24/1291.67	o 5286
1300.14/1300.50	o 5282
1300.24/1300.64	o 5271
1302.04/1302.47	o 5267
1302.24/1302.61	o 5256
1376.31/1376.80	o 5252
1408.41/1408.84	o 5250
1492.78/1493.21	o 5248
1492.98/1493.46	o 5234
1561.97/1562.49	o 5229
1573.76/1574.29	o 5206
1575.77/1576.20	o 5175

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/352450-1176632364/instance-352450-1176632364.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/node19/watcher-352450-1176632364 -o ROOT/results/node19/solver-352450-1176632364 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352450-1176632364/instance-352450-1176632364.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.78 0.95 0.98 3/77 22879
/proc/meminfo: memFree=1848848/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=2552 CPUtime=0
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 111153846 2613248 228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7943962 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 638 228 193 16 0 77 0

[startup+0.055843 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 22879
/proc/meminfo: memFree=1848848/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=3748 CPUtime=0.05
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 573 0 0 0 5 0 0 0 18 0 1 0 111153846 3837952 543 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 937 543 199 16 0 376 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3748

[startup+0.101848 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 22879
/proc/meminfo: memFree=1848848/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=4416 CPUtime=0.09
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 724 0 0 0 9 0 0 0 18 0 1 0 111153846 4521984 694 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 1104 694 199 16 0 543 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4416

[startup+0.30187 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 22879
/proc/meminfo: memFree=1848848/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=6948 CPUtime=0.29
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 1370 0 0 0 29 0 0 0 19 0 1 0 111153846 7114752 1340 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 1737 1340 199 16 0 1176 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6948

[startup+0.701913 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 22879
/proc/meminfo: memFree=1848848/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=11876 CPUtime=0.69
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 2618 0 0 0 69 0 0 0 23 0 1 0 111153846 12161024 2588 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 2969 2588 199 16 0 2408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11876

[startup+1.502 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 22880
/proc/meminfo: memFree=1835528/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=21732 CPUtime=1.49
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 5066 0 0 0 147 2 0 0 25 0 1 0 111153846 22253568 5037 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 5433 5037 199 16 0 4872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21732

[startup+3.10117 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 22880
/proc/meminfo: memFree=1822088/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=40784 CPUtime=3.09
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 9837 0 0 0 306 3 0 0 25 0 1 0 111153846 41762816 9807 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 10196 9807 199 16 0 9635 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40784

[startup+6.30152 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 22880
/proc/meminfo: memFree=1782864/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=78748 CPUtime=6.29
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 19313 0 0 0 619 10 0 0 25 0 1 0 111153846 80637952 19283 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 19687 19283 199 16 0 19126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78748

[startup+12.7012 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 22880
/proc/meminfo: memFree=1766864/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=85476 CPUtime=12.69
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 20723 0 0 0 1258 11 0 0 25 0 1 0 111153846 87527424 20693 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 21369 20693 204 16 0 20808 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85476

[startup+25.5016 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 22880
/proc/meminfo: memFree=1757648/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=95448 CPUtime=25.49
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 23016 0 0 0 2536 13 0 0 25 0 1 0 111153846 97738752 22986 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134530538 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 23862 22986 206 16 0 23301 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95448

[startup+51.1014 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 22880
/proc/meminfo: memFree=1757712/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=95448 CPUtime=51.06
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 23016 0 0 0 5092 14 0 0 25 0 1 0 111153846 97738752 22986 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 23862 22986 206 16 0 23301 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 95448

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 22880
/proc/meminfo: memFree=1721168/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=132136 CPUtime=102.25
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 32168 0 0 0 10204 21 0 0 25 0 1 0 111153846 135307264 32138 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 33034 32138 206 16 0 32473 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 132136

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 22880
/proc/meminfo: memFree=1643024/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=211188 CPUtime=162.24
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 51918 0 0 0 16190 34 0 0 25 0 1 0 111153846 216256512 51888 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 52797 51888 206 16 0 52236 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 211188

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=1563472/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=289584 CPUtime=222.22
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 71540 0 0 0 22177 45 0 0 25 0 1 0 111153846 296534016 71510 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 72396 71510 206 16 0 71835 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 289584

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=1506704/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=346776 CPUtime=282.2
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 85803 0 0 0 28167 53 0 0 25 0 1 0 111153846 355098624 85773 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 86694 85773 206 16 0 86133 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 346776

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=1452816/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=400328 CPUtime=342.19
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 99158 0 0 0 34159 60 0 0 25 0 1 0 111153846 409935872 99128 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 100082 99128 206 16 0 99521 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 400328

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=1398992/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=454356 CPUtime=402.17
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 112692 0 0 0 40150 67 0 0 25 0 1 0 111153846 465260544 112662 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 113589 112662 206 16 0 113028 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 454356

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=1337488/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=514952 CPUtime=462.15
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 127853 0 0 0 46137 78 0 0 25 0 1 0 111153846 527310848 127823 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134531555 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 128738 127823 206 16 0 128177 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 514952

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=1266704/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=586852 CPUtime=522.13
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 145846 0 0 0 52125 88 0 0 25 0 1 0 111153846 600936448 145816 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 146713 145816 206 16 0 146152 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 586852

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=1194704/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=657608 CPUtime=582.12
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 163531 0 0 0 58114 98 0 0 25 0 1 0 111153846 673390592 163501 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 164402 163501 206 16 0 163841 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 657608

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=1127760/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=724572 CPUtime=642.11
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 180151 0 0 0 64104 107 0 0 25 0 1 0 111153846 741961728 180121 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 181143 180121 206 16 0 180582 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 724572


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

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=1010832/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=841216 CPUtime=762.08
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 209303 0 0 0 76084 124 0 0 25 0 1 0 111153846 861405184 209271 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 210304 209271 206 16 0 209743 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 841216

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=920912/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=931808 CPUtime=822.06
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 231995 0 0 0 82068 138 0 0 25 0 1 0 111153846 954171392 231963 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 232952 231963 206 16 0 232391 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 931808

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=844176/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1007384 CPUtime=882.05
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 250877 0 0 0 88054 151 0 0 25 0 1 0 111153846 1031561216 250845 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 251846 250845 206 16 0 251285 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1007384

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=769104/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1083116 CPUtime=942.03
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 269831 0 0 0 94039 164 0 0 25 0 1 0 111153846 1109110784 269799 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 270779 269799 206 16 0 270218 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1083116

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=689552/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1161872 CPUtime=1002.01
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 289571 0 0 0 100024 177 0 0 25 0 1 0 111153846 1189756928 289539 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 290468 289539 206 16 0 289907 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1161872

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22880
/proc/meminfo: memFree=614672/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1238108 CPUtime=1062
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 308358 0 0 0 106011 189 0 0 25 0 1 0 111153846 1267822592 308326 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7922637 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 309527 308327 206 16 0 308966 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1238108

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=538320/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1313716 CPUtime=1121.99
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 327282 0 0 0 111997 202 0 0 25 0 1 0 111153846 1345245184 327250 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 328429 327250 206 16 0 327868 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1313716

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=467600/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1384520 CPUtime=1181.97
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 344952 0 0 0 117983 214 0 0 25 0 1 0 111153846 1417748480 344920 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 346130 344920 206 16 0 345569 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1384520

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=402000/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1449648 CPUtime=1241.95
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 361216 0 0 0 123969 226 0 0 25 0 1 0 111153846 1484439552 361184 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 362412 361184 206 16 0 361851 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1449648

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=342224/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1508700 CPUtime=1301.94
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 376028 0 0 0 129956 238 0 0 25 0 1 0 111153846 1544908800 375996 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 377175 375996 206 16 0 376614 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1508700

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=284816/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1566464 CPUtime=1361.92
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 390473 0 0 0 135942 250 0 0 25 0 1 0 111153846 1604059136 390441 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 391616 390441 206 16 0 391055 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1566464

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=230928/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1620080 CPUtime=1421.91
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 403844 0 0 0 141930 261 0 0 25 0 1 0 111153846 1658961920 403812 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 405020 403812 206 16 0 404459 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1620080

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=181456/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1669948 CPUtime=1481.89
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 416303 0 0 0 147918 271 0 0 25 0 1 0 111153846 1710026752 416271 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 417487 416271 206 16 0 416926 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1669948

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=128080/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1722696 CPUtime=1541.88
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 429491 0 0 0 153905 283 0 0 25 0 1 0 111153846 1764040704 429459 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 430674 429459 206 16 0 430113 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1722696

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=80272/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1771004 CPUtime=1601.85
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 441524 0 0 0 159892 293 0 0 25 0 1 0 111153846 1813508096 441492 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 442751 441492 206 16 0 442190 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1771004

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=33680/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1817048 CPUtime=1661.84
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 453044 0 0 0 165882 302 0 0 25 0 1 0 111153846 1860657152 453012 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 454262 453012 206 16 0 453701 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1817048



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1699.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=14864/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=1843240 CPUtime=1699.34
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4194304 459586 0 0 0 169629 305 0 0 25 0 1 0 111153846 1887477760 459554 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 460810 459554 206 16 0 460249 0
Current children cumulated CPU time (s) 1699.34
Current children cumulated vsize (KiB) 1843240

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

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

[startup+1700 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22882
/proc/meminfo: memFree=14864/2055920 swapFree=4159528/4192956
[pid=22879] ppid=22877 vsize=0 CPUtime=1699.53
/proc/22879/stat : 22879 (Pueblo) R 22877 22879 22805 0 -1 4195332 459586 0 0 0 169629 324 0 0 25 0 1 0 111153846 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/22879/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1699.53
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1700.09
CPU time (s): 1699.63
CPU user time (s): 1696.29
CPU system time (s): 3.33849
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1843240

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

runsolver used 2.06868 second user time and 4.01439 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sun Apr 15 10:19:25 UTC 2007

IDJOB= 352450
IDBENCH= 1976
IDSOLVER= 165
FILE ID= node19/352450-1176632364

PBS_JOBID= 4556859

Free space on /tmp= 66526 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_13.opb.PB06.opb
COMMAND LINE= Pueblo /tmp/evaluation/352450-1176632364/instance-352450-1176632364.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-352450-1176632364 -o ROOT/results/node19/conversion-352450-1176632364 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352450-1176632364/instance-352450-1176632364.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  99680d01aa100bfba038606e315bf03d

RANDOM SEED= 673191372

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1849256 kB
Buffers:         24636 kB
Cached:         107764 kB
SwapCached:       2172 kB
Active:          52768 kB
Inactive:       102192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849256 kB
SwapTotal:     4192956 kB
SwapFree:      4159528 kB
Dirty:           19304 kB
Writeback:           0 kB
Mapped:          30704 kB
Slab:            37240 kB
Committed_AS:  2869404 kB
PageTables:       1784 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= 66526 MiB

End job on node19 on Sun Apr 15 10:47:47 UTC 2007