Trace number 352437

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) 1561.87 1562.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM6389567e651775a5f815611581d2023e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark474
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
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 494177
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 494177
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.68/18.70	c starting to Solve
18.68/18.71	c #variables read: 10000 - #constraints read: 656901
25.08/25.12	o 7098
25.28/25.33	o 7061
26.08/26.14	o 7058
27.59/27.60	o 6714
28.59/28.66	o 6695
28.79/28.85	o 6682
31.09/31.11	o 6678
31.69/31.72	o 6675
31.79/31.87	o 6662
31.99/32.04	o 6661
32.38/32.42	o 6650
32.48/32.58	o 6611
37.28/37.32	o 6585
37.78/37.90	o 6580
45.47/45.58	o 6573
45.67/45.73	o 6553
45.87/45.98	o 6494
46.08/46.12	o 6474
46.18/46.28	o 6328
46.37/46.42	o 6305
46.47/46.57	o 6285
47.28/47.38	o 6273
47.47/47.52	o 6255
47.77/47.89	o 6252
48.57/48.60	o 6211
49.27/49.32	o 6196
49.37/49.46	o 6188
49.77/49.82	o 6178
49.87/49.97	o 6170
50.47/50.58	o 6136
50.67/50.75	o 6108
50.87/50.90	o 6100
51.57/51.60	o 6098
51.67/51.75	o 6090
54.97/55.10	o 6071
55.17/55.26	o 6061
62.27/62.35	o 6060
62.47/62.51	o 6054
62.57/62.68	o 6039
62.77/62.89	o 6031
62.97/63.07	o 6013
63.17/63.24	o 5998
63.37/63.40	o 5963
63.47/63.57	o 5953
63.67/63.73	o 5948
63.87/63.90	o 5938
63.97/64.07	o 5912
64.17/64.23	o 5902
64.37/64.41	o 5897
64.47/64.57	o 5887
64.67/64.75	o 5879
66.27/66.37	o 5872
103.56/103.60	o 5871
103.66/103.74	o 5867
103.86/103.90	o 5866
112.25/112.36	o 5856
112.55/112.60	o 5855
112.95/113.05	o 5841
113.15/113.20	o 5815
113.35/113.40	o 5787
113.45/113.55	o 5786
113.85/113.94	o 5784
114.05/114.10	o 5783
114.15/114.25	o 5773
114.35/114.41	o 5772
242.71/242.87	o 5769
242.92/243.02	o 5762
243.02/243.17	o 5751
243.21/243.32	o 5746
243.31/243.46	o 5698
285.60/285.71	o 5647
285.70/285.86	o 5641
285.90/286.03	o 5628
286.00/286.17	o 5622
332.18/332.31	o 5620
542.61/542.81	o 5589
737.43/737.79	o 5577
737.84/738.18	o 5562
838.40/838.76	o 5556
840.30/840.63	o 5544
840.90/841.25	o 5538

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/352437-1176631955/instance-352437-1176631955.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/node39/watcher-352437-1176631955 -o ROOT/results/node39/solver-352437-1176631955 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352437-1176631955/instance-352437-1176631955.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.85 0.97 0.99 3/77 31593
/proc/meminfo: memFree=1492024/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=2552 CPUtime=0
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 111107632 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 638 230 193 16 0 77 0

[startup+0.0135319 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 31593
/proc/meminfo: memFree=1492024/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=2816 CPUtime=0.01
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 322 0 0 0 1 0 0 0 18 0 1 0 111107632 2883584 292 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 704 292 193 16 0 143 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2816

[startup+0.101547 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 31593
/proc/meminfo: memFree=1492024/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=4416 CPUtime=0.09
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 728 0 0 0 9 0 0 0 18 0 1 0 111107632 4521984 698 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 1104 698 199 16 0 543 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4416

[startup+0.301579 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 31593
/proc/meminfo: memFree=1492024/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=6948 CPUtime=0.29
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 1374 0 0 0 29 0 0 0 19 0 1 0 111107632 7114752 1344 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 1737 1344 199 16 0 1176 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6948

[startup+0.701647 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 31593
/proc/meminfo: memFree=1492024/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=12008 CPUtime=0.69
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 2622 0 0 0 68 1 0 0 23 0 1 0 111107632 12296192 2592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 3002 2592 199 16 0 2441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12008

[startup+1.50178 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 31594
/proc/meminfo: memFree=1478704/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=21732 CPUtime=1.49
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 5071 0 0 0 147 2 0 0 25 0 1 0 111107632 22253568 5041 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 5433 5041 199 16 0 4872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21732

[startup+3.10106 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 31594
/proc/meminfo: memFree=1465328/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=40784 CPUtime=3.09
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 9823 0 0 0 305 4 0 0 25 0 1 0 111107632 41762816 9793 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 10196 9793 199 16 0 9635 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40784

[startup+6.30159 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 31594
/proc/meminfo: memFree=1425968/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=78748 CPUtime=6.29
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 19332 0 0 0 619 10 0 0 25 0 1 0 111107632 80637952 19302 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 19687 19302 199 16 0 19126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78748

[startup+12.7017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 31594
/proc/meminfo: memFree=1410096/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=85476 CPUtime=12.69
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 20724 0 0 0 1258 11 0 0 25 0 1 0 111107632 87527424 20694 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532452 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 21369 20694 204 16 0 20808 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85476

[startup+25.5018 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 31594
/proc/meminfo: memFree=1400880/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=95448 CPUtime=25.48
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 23016 0 0 0 2537 11 0 0 25 0 1 0 111107632 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/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.97 0.98 0.99 2/78 31594
/proc/meminfo: memFree=1400880/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=95448 CPUtime=51.07
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 23016 0 0 0 5095 12 0 0 25 0 1 0 111107632 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 23862 22986 206 16 0 23301 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95448

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=1365552/2055920 swapFree=4154220/4192956
[pid=31593] ppid=31591 vsize=130848 CPUtime=102.26
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 31851 0 0 0 10206 20 0 0 25 0 1 0 111107632 133988352 31821 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 32712 31821 206 16 0 32151 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 130848

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=1294128/2055920 swapFree=4154288/4192956
[pid=31593] ppid=31591 vsize=203268 CPUtime=162.23
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 49952 0 0 0 16191 32 0 0 25 0 1 0 111107632 208146432 49922 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 50817 49922 206 16 0 50256 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 203268

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=1198512/2055920 swapFree=4154288/4192956
[pid=31593] ppid=31591 vsize=297860 CPUtime=222.22
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 73556 0 0 0 22174 48 0 0 25 0 1 0 111107632 305008640 73526 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134558763 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 74465 73526 206 16 0 73904 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 297860

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=1136560/2055920 swapFree=4154352/4192956
[pid=31593] ppid=31591 vsize=360224 CPUtime=282.19
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 89163 0 0 0 28161 58 0 0 25 0 1 0 111107632 368869376 89133 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 90056 89133 206 16 0 89495 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 360224

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=1071344/2055920 swapFree=4154352/4192956
[pid=31593] ppid=31591 vsize=424940 CPUtime=342.18
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 105347 0 0 0 34149 69 0 0 25 0 1 0 111107632 435138560 105317 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 106235 105317 206 16 0 105674 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 424940

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=1004656/2055920 swapFree=4154352/4192956
[pid=31593] ppid=31591 vsize=491896 CPUtime=402.15
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 122100 0 0 0 40137 78 0 0 25 0 1 0 111107632 503701504 122070 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11527803 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 122974 122070 206 16 0 122413 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 491896

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=936688/2055920 swapFree=4154416/4192956
[pid=31593] ppid=31591 vsize=559152 CPUtime=462.13
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 138893 0 0 0 46126 87 0 0 25 0 1 0 111107632 572571648 138863 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 139788 138863 206 16 0 139227 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 559152

[startup+522.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=869104/2055920 swapFree=4154416/4192956
[pid=31593] ppid=31591 vsize=627108 CPUtime=522.11
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 155897 0 0 0 52115 96 0 0 25 0 1 0 111107632 642158592 155867 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 156777 155867 206 16 0 156216 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 627108

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=793008/2055920 swapFree=4154480/4192956
[pid=31593] ppid=31591 vsize=703328 CPUtime=582.09
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 174841 0 0 0 58101 108 0 0 25 0 1 0 111107632 720207872 174810 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 175832 174810 206 16 0 175271 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 703328

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=714672/2055920 swapFree=4154480/4192956
[pid=31593] ppid=31591 vsize=780668 CPUtime=642.07
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 194206 0 0 0 64086 121 0 0 25 0 1 0 111107632 799404032 194175 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11527803 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 195167 194175 206 16 0 194606 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 780668

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=652272/2055920 swapFree=4154480/4192956
[pid=31593] ppid=31591 vsize=843496 CPUtime=702.05
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 209904 0 0 0 70073 132 0 0 25 0 1 0 111107632 863739904 209873 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 210874 209873 206 16 0 210313 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 843496

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=587056/2055920 swapFree=4154544/4192956
[pid=31593] ppid=31591 vsize=908120 CPUtime=762.03
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 226052 0 0 0 76062 141 0 0 25 0 1 0 111107632 929914880 226021 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 227030 226021 206 16 0 226469 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 908120

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=516592/2055920 swapFree=4154544/4192956
[pid=31593] ppid=31591 vsize=979160 CPUtime=822
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 243828 0 0 0 82050 150 0 0 25 0 1 0 111107632 1002659840 243797 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 244790 243797 206 16 0 244229 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 979160

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=447728/2055920 swapFree=4154608/4192956
[pid=31593] ppid=31591 vsize=1047172 CPUtime=881.98
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 260822 0 0 0 88038 160 0 0 25 0 1 0 111107632 1072304128 260791 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 261793 260791 206 16 0 261232 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 1047172

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=379376/2055920 swapFree=4154608/4192956
[pid=31593] ppid=31591 vsize=1115916 CPUtime=941.97
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 278026 0 0 0 94024 173 0 0 25 0 1 0 111107632 1142697984 277995 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 278979 277995 206 16 0 278418 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1115916

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=321072/2055920 swapFree=4154608/4192956
[pid=31593] ppid=31591 vsize=1173536 CPUtime=1001.95
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 292450 0 0 0 100012 183 0 0 25 0 1 0 111107632 1201700864 292419 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11527803 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 293384 292419 206 16 0 292823 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1173536

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=266928/2055920 swapFree=4154672/4192956
[pid=31593] ppid=31591 vsize=1228304 CPUtime=1061.92
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 306124 0 0 0 106001 191 0 0 25 0 1 0 111107632 1257783296 306093 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134563800 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 307076 306093 206 16 0 306515 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1228304

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=193776/2055920 swapFree=4154672/4192956
[pid=31593] ppid=31591 vsize=1300864 CPUtime=1121.9
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 324294 0 0 0 111986 204 0 0 25 0 1 0 111107632 1332084736 324263 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 325216 324263 206 16 0 324655 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1300864

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=111984/2055920 swapFree=4154736/4192956
[pid=31593] ppid=31591 vsize=1384404 CPUtime=1181.88
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 344929 0 0 0 117967 221 0 0 25 0 1 0 111107632 1417629696 344898 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 346101 344898 206 16 0 345540 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1384404

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=25008/2055920 swapFree=4154736/4192956
[pid=31593] ppid=31591 vsize=1470316 CPUtime=1241.86
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 366427 0 0 0 123947 239 0 0 25 0 1 0 111107632 1505603584 366396 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 367579 366396 206 16 0 367018 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1470316

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=14832/2055920 swapFree=4154736/4192956
[pid=31593] ppid=31591 vsize=1548140 CPUtime=1301.84
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 385921 0 0 0 129928 256 0 0 25 0 1 0 111107632 1585295360 385890 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 387035 385890 206 16 0 386474 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1548140

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=15728/2055920 swapFree=4154800/4192956
[pid=31593] ppid=31591 vsize=1617020 CPUtime=1361.82
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 403128 0 0 0 135909 273 0 0 25 0 1 0 111107632 1655828480 403097 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 404255 403097 206 16 0 403694 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1617020

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=16048/2055920 swapFree=4154804/4192956
[pid=31593] ppid=31591 vsize=1685500 CPUtime=1421.8
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 420232 0 0 0 141893 287 0 0 25 0 1 0 111107632 1725952000 420201 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 421375 420201 206 16 0 420814 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1685500

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31594
/proc/meminfo: memFree=15472/2055920 swapFree=4154868/4192956
[pid=31593] ppid=31591 vsize=1751228 CPUtime=1481.78
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 436694 0 0 0 147878 300 0 0 25 0 1 0 111107632 1793257472 436663 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 437807 436663 206 16 0 437246 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1751228

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31596
/proc/meminfo: memFree=15024/2055920 swapFree=4154868/4192956
[pid=31593] ppid=31591 vsize=1822832 CPUtime=1541.76
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 454570 0 0 0 153859 317 0 0 25 0 1 0 111107632 1866579968 454539 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 455708 454539 206 16 0 455147 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1822832



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1562.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31596
/proc/meminfo: memFree=15152/2055920 swapFree=4137856/4192956
[pid=31593] ppid=31591 vsize=1843296 CPUtime=1561.56
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 459644 0 0 0 155835 321 0 0 25 0 1 0 111107632 1887535104 456914 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 460824 456914 200 16 0 460263 0
Current children cumulated CPU time (s) 1561.56
Current children cumulated vsize (KiB) 1843296

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

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

[startup+1562.22 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31596
/proc/meminfo: memFree=15152/2055920 swapFree=4137856/4192956
[pid=31593] ppid=31591 vsize=0 CPUtime=1561.67
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4195332 459647 0 0 0 155836 331 0 0 25 0 1 0 111107632 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1561.67
Current children cumulated vsize (KiB) 0

[startup+1562.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31596
/proc/meminfo: memFree=15152/2055920 swapFree=4137856/4192956
[pid=31593] ppid=31591 vsize=0 CPUtime=1561.85
/proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4195332 459647 0 0 0 155836 349 0 0 25 0 1 0 111107632 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/31593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1561.85
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1562.41
CPU time (s): 1561.87
CPU user time (s): 1558.36
CPU system time (s): 3.50647
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 1843296

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

runsolver used 1.77673 second user time and 3.79142 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Sun Apr 15 10:12:36 UTC 2007

IDJOB= 352437
IDBENCH= 1975
IDSOLVER= 165
FILE ID= node39/352437-1176631955

PBS_JOBID= 4559799

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_5.opb.PB06.opb
COMMAND LINE= Pueblo /tmp/evaluation/352437-1176631955/instance-352437-1176631955.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node39/convwatcher-352437-1176631955 -o ROOT/results/node39/conversion-352437-1176631955 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352437-1176631955/instance-352437-1176631955.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  6389567e651775a5f815611581d2023e

RANDOM SEED= 845902616

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1492496 kB
Buffers:         58244 kB
Cached:         287380 kB
SwapCached:       2740 kB
Active:         169112 kB
Inactive:       307908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1492496 kB
SwapTotal:     4192956 kB
SwapFree:      4154220 kB
Dirty:           19180 kB
Writeback:           0 kB
Mapped:         145180 kB
Slab:            71752 kB
Committed_AS:  1053512 kB
PageTables:       2016 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 node39 on Sun Apr 15 10:38:41 UTC 2007