Trace number 352281

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) 1595.2 1595.7

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
MD5SUMf8f4f876e372c51b5109e7995e83ce5e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark443
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 443
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 492823
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 492823
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.39/17.48	c starting to Solve
17.39/17.48	c #variables read: 10000 - #constraints read: 656901
23.48/23.56	o 7109
23.98/24.08	o 6647
24.18/24.23	o 6616
24.37/24.48	o 6569
24.57/24.64	o 6552
24.77/24.80	o 6544
46.16/46.30	o 6429
46.36/46.45	o 6409
46.56/46.61	o 6406
46.66/46.77	o 6386
46.86/46.93	o 6384
47.05/47.19	o 6374
47.26/47.36	o 6371
47.45/47.51	o 6332
47.55/47.67	o 6309
47.75/47.84	o 6308
48.55/48.64	o 6281
52.15/52.29	o 6274
52.35/52.45	o 6258
81.93/82.08	o 6239
82.13/82.28	o 6176
82.33/82.47	o 6133
82.63/82.71	o 6114
82.93/83.04	o 6111
83.13/83.24	o 6103
83.33/83.45	o 6097
83.53/83.66	o 6071
83.73/83.85	o 6034
83.93/84.09	o 6021
84.13/84.28	o 5974
84.53/84.65	o 5972
84.83/84.91	o 5932
85.13/85.25	o 5923
85.33/85.49	o 5873
99.73/99.85	o 5865
99.93/100.05	o 5864
100.13/100.23	o 5863
100.23/100.40	o 5855
100.43/100.53	o 5850
100.63/100.75	o 5845
100.72/100.90	o 5840
101.22/101.37	o 5829
101.42/101.50	o 5824
101.52/101.64	o 5813
101.62/101.78	o 5808
106.92/107.04	o 5785
107.02/107.18	o 5768
107.22/107.32	o 5740
107.32/107.46	o 5723
107.52/107.63	o 5700
107.62/107.77	o 5683
107.92/108.01	o 5671
108.02/108.15	o 5670
108.12/108.29	o 5653
108.42/108.50	o 5640
108.52/108.69	o 5575
108.72/108.83	o 5573
108.92/109.00	o 5562
109.02/109.14	o 5560
110.32/110.43	o 5557
110.72/110.82	o 5544
116.31/116.41	o 5539
116.42/116.55	o 5526
116.52/116.69	o 5513
117.21/117.32	o 5512
117.31/117.46	o 5499

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/352281-1176628025/instance-352281-1176628025.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/node74/watcher-352281-1176628025 -o ROOT/results/node74/solver-352281-1176628025 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352281-1176628025/instance-352281-1176628025.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.98 0.98 3/66 31087
/proc/meminfo: memFree=1767064/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=2552 CPUtime=0
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 110717258 2613248 232 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546924 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 638 233 193 16 0 77 0

[startup+0.0261261 s]
/proc/loadavg: 0.99 0.98 0.98 3/66 31087
/proc/meminfo: memFree=1767064/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=3216 CPUtime=0.02
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 422 0 0 0 2 0 0 0 18 0 1 0 110717258 3293184 392 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 804 392 193 16 0 243 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3216

[startup+0.101134 s]
/proc/loadavg: 0.99 0.98 0.98 3/66 31087
/proc/meminfo: memFree=1767064/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=4416 CPUtime=0.09
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 749 0 0 0 9 0 0 0 18 0 1 0 110717258 4521984 719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10223319 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 1104 719 199 16 0 543 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4416

[startup+0.301156 s]
/proc/loadavg: 0.99 0.98 0.98 3/66 31087
/proc/meminfo: memFree=1767064/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=7212 CPUtime=0.29
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 1439 0 0 0 29 0 0 0 19 0 1 0 110717258 7385088 1409 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134547134 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 1803 1409 199 16 0 1242 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7212

[startup+0.701202 s]
/proc/loadavg: 0.99 0.98 0.98 3/66 31087
/proc/meminfo: memFree=1767064/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=12540 CPUtime=0.69
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 2775 0 0 0 68 1 0 0 23 0 1 0 110717258 12840960 2745 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134543011 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 3135 2745 199 16 0 2574 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12540

[startup+1.5013 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1752784/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=23064 CPUtime=1.49
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 5390 0 0 0 147 2 0 0 25 0 1 0 110717258 23617536 5360 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10217247 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 5766 5360 199 16 0 5205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23064

[startup+3.10149 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1738448/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=43448 CPUtime=3.09
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 10499 0 0 0 305 4 0 0 25 0 1 0 110717258 44490752 10469 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10217172 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 10862 10469 199 16 0 10301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43448

[startup+6.30185 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1696272/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=83428 CPUtime=6.29
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 20367 0 0 0 619 10 0 0 25 0 1 0 110717258 85430272 20337 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532452 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 20857 20337 204 16 0 20296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83428

[startup+12.7016 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1684888/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=85476 CPUtime=12.68
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 20771 0 0 0 1258 10 0 0 25 0 1 0 110717258 87527424 20741 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532442 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 21369 20741 204 16 0 20808 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85476

[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1675864/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=95448 CPUtime=25.47
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 23016 0 0 0 2536 11 0 0 25 0 1 0 110717258 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 23862 22986 206 16 0 23301 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 95448

[startup+51.102 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1675736/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=95448 CPUtime=51.05
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 23016 0 0 0 5093 12 0 0 25 0 1 0 110717258 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 23862 22986 206 16 0 23301 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 95448

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1627544/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=143932 CPUtime=102.23
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 35131 0 0 0 10203 20 0 0 25 0 1 0 110717258 147386368 35101 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 0 0 0
/proc/31087/statm: 35983 35101 206 16 0 35422 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 143932

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1529944/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=242200 CPUtime=162.18
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 59683 0 0 0 16184 34 0 0 25 0 1 0 110717258 248012800 59653 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 60550 59653 206 16 0 59989 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 242200

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1445080/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=326404 CPUtime=222.16
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 80694 0 0 0 22169 47 0 0 25 0 1 0 110717258 334237696 80664 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10192507 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 81601 80664 206 16 0 81040 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 326404

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1356696/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=414824 CPUtime=282.14
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 102815 0 0 0 28151 63 0 0 25 0 1 0 110717258 424779776 102785 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 103706 102785 206 16 0 103145 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 414824

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1275608/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=496144 CPUtime=342.13
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 123012 0 0 0 34135 78 0 0 25 0 1 0 110717258 508051456 122982 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 124036 122982 206 16 0 123475 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 496144

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1197464/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=575000 CPUtime=402.12
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 142764 0 0 0 40120 92 0 0 25 0 1 0 110717258 588800000 142734 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528580 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 143750 142734 206 16 0 143189 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 575000

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1112280/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=658644 CPUtime=462.1
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 163706 0 0 0 46103 107 0 0 25 0 1 0 110717258 674451456 163676 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 164661 163676 206 16 0 164100 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 658644

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=1030872/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=741048 CPUtime=522.08
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 184325 0 0 0 52090 118 0 0 25 0 1 0 110717258 758833152 184295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 185262 184295 206 16 0 184701 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 741048

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=979288/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=791556 CPUtime=582.07
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 196940 0 0 0 58082 125 0 0 25 0 1 0 110717258 810553344 196906 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 197889 196906 206 16 0 197328 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 791556

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=947928/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=822340 CPUtime=642.05
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 204641 0 0 0 64077 128 0 0 25 0 1 0 110717258 842076160 204606 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 205585 204606 206 16 0 205024 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 822340

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=919512/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=851040 CPUtime=702.03
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 211847 0 0 0 70071 132 0 0 25 0 1 0 110717258 871464960 211811 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 212760 211811 206 16 0 212199 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 851040

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=850392/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=919632 CPUtime=762.02
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 228989 0 0 0 76058 144 0 0 25 0 1 0 110717258 941703168 228953 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 229908 228953 206 16 0 229347 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 919632

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=782360/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=989020 CPUtime=822.01
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 246107 0 0 0 82047 154 0 0 25 0 1 0 110717258 1012756480 246071 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 247255 246071 206 16 0 246694 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 989020

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=713432/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1057416 CPUtime=881.99
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 263201 0 0 0 88034 165 0 0 25 0 1 0 110717258 1082793984 263164 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 264354 263164 206 16 0 263793 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 1057416

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=648152/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1123332 CPUtime=941.97
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 279656 0 0 0 94022 175 0 0 25 0 1 0 110717258 1150291968 279619 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 280833 279619 206 16 0 280272 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1123332

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=574616/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1196128 CPUtime=1001.96
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 297863 0 0 0 100011 185 0 0 25 0 1 0 110717258 1224835072 297826 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 299032 297826 206 16 0 298471 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 1196128

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=499800/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1271364 CPUtime=1061.94
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 316695 0 0 0 105998 196 0 0 25 0 1 0 110717258 1301876736 316658 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 317841 316658 206 16 0 317280 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1271364

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=428248/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1342116 CPUtime=1121.92
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 334388 0 0 0 111986 206 0 0 25 0 1 0 110717258 1374326784 334350 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 335529 334350 206 16 0 334968 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1342116

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=362264/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1408736 CPUtime=1181.9
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 351042 0 0 0 117973 217 0 0 25 0 1 0 110717258 1442545664 351004 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 352184 351004 206 16 0 351623 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1408736

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=291224/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1478896 CPUtime=1241.89
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 368594 0 0 0 123960 229 0 0 25 0 1 0 110717258 1514389504 368556 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 369724 368556 206 16 0 369163 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1478896

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=224984/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1544400 CPUtime=1301.88
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 384985 0 0 0 129949 239 0 0 25 0 1 0 110717258 1581465600 384947 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 386100 384947 206 16 0 385539 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1544400

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=160600/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1609216 CPUtime=1361.85
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 401211 0 0 0 135937 248 0 0 25 0 1 0 110717258 1647837184 401173 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 402304 401173 206 16 0 401743 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1609216

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=92312/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1676836 CPUtime=1421.85
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 418109 0 0 0 141927 258 0 0 25 0 1 0 110717258 1717080064 418071 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 419209 418071 206 16 0 418648 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1676836

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=31960/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1737396 CPUtime=1481.82
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 433262 0 0 0 147915 267 0 0 25 0 1 0 110717258 1779093504 433224 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 434349 433224 206 16 0 433788 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1737396

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/67 31088
/proc/meminfo: memFree=15448/2055920 swapFree=4191892/4192956
[pid=31087] ppid=31085 vsize=1792304 CPUtime=1541.81
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 446979 0 0 0 153904 277 0 0 25 0 1 0 110717258 1835319296 446941 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 448076 446941 206 16 0 447515 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1792304



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1595.4 s]
/proc/loadavg: 1.03 1.00 0.99 2/67 31088
/proc/meminfo: memFree=15704/2055920 swapFree=4183824/4192956
[pid=31087] ppid=31085 vsize=1843420 CPUtime=1594.9
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4194304 459755 0 0 0 159203 287 0 0 25 0 1 0 110717258 1887662080 459717 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 460855 459717 206 16 0 460294 0
Current children cumulated CPU time (s) 1594.9
Current children cumulated vsize (KiB) 1843420

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

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

[startup+1595.6 s]
/proc/loadavg: 1.03 1.00 0.99 2/67 31088
/proc/meminfo: memFree=15704/2055920 swapFree=4183824/4192956
[pid=31087] ppid=31085 vsize=0 CPUtime=1595.09
/proc/31087/stat : 31087 (Pueblo) R 31085 31087 30263 0 -1 4195332 459755 0 0 0 159203 306 0 0 25 0 1 0 110717258 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/31087/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1595.09
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1595.7
CPU time (s): 1595.2
CPU user time (s): 1592.04
CPU system time (s): 3.15952
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1843440

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

runsolver used 1.71874 second user time and 3.65044 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Sun Apr 15 09:07:05 UTC 2007

IDJOB= 352281
IDBENCH= 1963
IDSOLVER= 165
FILE ID= node74/352281-1176628025

PBS_JOBID= 4557069

Free space on /tmp= 103226 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_11.opb.PB06.opb
COMMAND LINE= Pueblo /tmp/evaluation/352281-1176628025/instance-352281-1176628025.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-352281-1176628025 -o ROOT/results/node74/conversion-352281-1176628025 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352281-1176628025/instance-352281-1176628025.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  f8f4f876e372c51b5109e7995e83ce5e

RANDOM SEED= 18325277

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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:       1767536 kB
Buffers:         18000 kB
Cached:         153576 kB
SwapCached:        396 kB
Active:          57876 kB
Inactive:       130964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767536 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:           19104 kB
Writeback:           0 kB
Mapped:          26264 kB
Slab:            85404 kB
Committed_AS:  1462076 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103226 MiB

End job on node74 on Sun Apr 15 09:33:43 UTC 2007