Trace number 353248

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PBS4 2007-03-23No Cert. 1800.05 1800.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
MD5SUMb7796d84094d982e45331121511974b4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2297
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2297
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints10000
Number of constraints which are clauses10000
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 constraint3
Maximum length of a constraint5
Number of terms in the objective function 10000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10000
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10000
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/353248-1176660237/instance-353248-1176660237.opb ......
1.10/1.12	c done parsing opb.
1.10/1.12	o 10000
1.59/1.61	o 9999
1.99/2.09	o 9998
2.49/2.57	o 9997
2.99/3.05	o 9996
3.49/3.54	o 9995
3.99/4.05	o 9994
4.49/4.54	o 9993
4.99/5.02	o 9992
5.49/5.50	o 9991
5.89/5.98	o 9990
6.38/6.46	o 9989
6.89/6.95	o 9988
7.39/7.43	o 9987
7.89/7.91	o 9986
8.29/8.40	o 9985
8.80/8.88	o 9984
9.28/9.37	o 9983
9.79/9.86	o 9982
10.29/10.34	o 9981
10.79/10.83	o 9980
11.29/11.31	o 9979
11.79/11.80	o 9978
12.19/12.29	o 9977
12.68/12.77	o 9976
13.19/13.26	o 9975
13.68/13.75	o 9974
14.19/14.23	o 9973
14.68/14.72	o 9972
15.18/15.20	o 9971
15.59/15.69	o 9970
16.09/16.18	o 9969
16.58/16.66	o 9968
17.09/17.15	o 9967
17.59/17.64	o 9966
18.09/18.12	o 9965
18.59/18.60	o 9964
18.99/19.09	o 9963
19.49/19.57	o 9962
19.98/20.05	o 9961
20.48/20.53	o 9960
20.99/21.02	o 9959
21.48/21.50	o 9958
21.89/21.98	o 9957
22.39/22.46	o 9956
22.88/22.95	o 9955
23.39/23.43	o 9954
23.89/23.91	o 9953
24.28/24.39	o 9952
24.78/24.88	o 9951
25.29/25.36	o 9950
25.78/25.84	o 9949
26.28/26.32	o 9948
26.78/26.80	o 9947
27.19/27.29	o 9946
27.68/27.77	o 9945
28.19/28.25	o 9944
28.69/28.74	o 9943
29.18/29.23	o 9942
29.69/29.71	o 9941
30.19/30.20	o 9940
30.58/30.68	o 9939
31.08/31.17	o 9938
31.59/31.66	o 9937
32.08/32.14	o 9936
32.59/32.63	o 9935
33.08/33.11	o 9934
33.59/33.60	o 9933
33.98/34.09	o 9932
34.48/34.57	o 9931
34.98/35.06	o 9930
35.48/35.54	o 9929
35.98/36.03	o 9928
36.48/36.52	o 9927
36.98/37.00	o 9926
37.39/37.49	o 9925
37.88/37.98	o 9924
38.39/38.46	o 9923
38.88/38.94	o 9922
39.38/39.42	o 9921
39.88/39.91	o 9920
40.27/40.39	o 9919
40.78/40.87	o 9918
41.28/41.35	o 9917
41.79/41.83	o 9916
42.28/42.32	o 9915
42.68/42.80	o 9914
43.18/43.28	o 9913
43.68/43.76	o 9912
44.18/44.25	o 9911
44.68/44.73	o 9910
45.18/45.21	o 9909
45.58/45.69	o 9908
46.08/46.17	o 9907
46.58/46.66	o 9906
47.08/47.14	o 9905
47.58/47.62	o 9904
48.08/48.10	o 9903
48.48/48.59	o 9902
48.98/49.08	o 9901
49.48/49.56	o 9900
49.97/50.05	o 9899
50.48/50.53	o 9898
50.98/51.05	o 9897
51.18/51.29	o 3336
51.37/51.46	o 3335
51.58/51.63	o 3334
51.68/51.79	o 3333
51.87/51.96	o 3332
52.28/52.34	o 3331
1800.01/1800.50	s SATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 31275
/proc/meminfo: memFree=1830192/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=2704 CPUtime=0
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 456 0 0 0 0 0 0 0 18 0 1 0 142062128 2768896 438 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0
/proc/31275/statm: 676 438 86 219 0 453 0

[startup+0.0157361 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 31275
/proc/meminfo: memFree=1830192/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=2864 CPUtime=0.01
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 502 0 0 0 1 0 0 0 18 0 1 0 142062128 2932736 484 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0
/proc/31275/statm: 716 484 86 219 0 493 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2864

[startup+0.102745 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 31275
/proc/meminfo: memFree=1830192/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=3300 CPUtime=0.09
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 612 0 0 0 9 0 0 0 18 0 1 0 142062128 3379200 594 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588362 0 0 4096 0 0 0 0 17 1 0 0
/proc/31275/statm: 825 594 87 219 0 602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3300

[startup+0.301768 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 31275
/proc/meminfo: memFree=1830192/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=3300 CPUtime=0.29
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 612 0 0 0 29 0 0 0 19 0 1 0 142062128 3379200 594 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588365 0 0 4096 0 0 0 0 17 1 0 0
/proc/31275/statm: 825 594 87 219 0 602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3300

[startup+0.701799 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 31275
/proc/meminfo: memFree=1830192/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=4124 CPUtime=0.69
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 895 0 0 0 69 0 0 0 22 0 1 0 142062128 4222976 833 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134596339 0 0 4096 0 0 0 0 17 1 0 0
/proc/31275/statm: 1031 833 89 219 0 808 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4124

[startup+1.50187 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1826920/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=4296 CPUtime=1.49
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1018 0 0 0 148 1 0 0 25 0 1 0 142062128 4399104 887 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 1074 887 104 219 0 851 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4296

[startup+3.10202 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1826792/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=4296 CPUtime=3.09
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1018 0 0 0 305 4 0 0 25 0 1 0 142062128 4399104 887 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 1074 887 104 219 0 851 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4296

[startup+6.30131 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1826736/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=4296 CPUtime=6.29
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1018 0 0 0 621 8 0 0 25 0 1 0 142062128 4399104 887 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 1074 887 104 219 0 851 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4296

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1826672/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=4296 CPUtime=12.68
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1018 0 0 0 1251 17 0 0 25 0 1 0 142062128 4399104 887 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 1074 887 104 219 0 851 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4296

[startup+25.5021 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1826672/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=4296 CPUtime=25.48
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1018 0 0 0 2511 37 0 0 25 0 1 0 142062128 4399104 887 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 1074 887 104 219 0 851 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4296

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1826672/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=5120 CPUtime=51.08
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1173 0 0 0 5034 74 0 0 25 0 1 0 142062128 5242880 1042 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134557748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 1280 1042 104 219 0 1057 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5120

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1813040/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=20936 CPUtime=102.26
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 4439 0 0 0 10145 81 0 0 25 0 1 0 142062128 21438464 4308 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 5234 4308 104 219 0 5011 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20936

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1797488/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=37516 CPUtime=162.25
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 8337 0 0 0 16141 84 0 0 25 0 1 0 142062128 38416384 8206 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 9379 8206 104 219 0 9156 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37516

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1782128/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=70560 CPUtime=222.23
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 12181 0 0 0 22137 86 0 0 25 0 1 0 142062128 72253440 12050 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 17640 12050 104 219 0 17417 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 70560

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1767152/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=70560 CPUtime=282.21
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 15952 0 0 0 28132 89 0 0 25 0 1 0 142062128 72253440 15821 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563282 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 17640 15821 104 219 0 17417 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 70560

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1752560/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=136096 CPUtime=342.2
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 19565 0 0 0 34129 91 0 0 25 0 1 0 142062128 139362304 19434 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 34024 19434 104 219 0 33801 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 136096

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1737968/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=136096 CPUtime=402.18
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 23237 0 0 0 40125 93 0 0 25 0 1 0 142062128 139362304 23106 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 34024 23106 104 219 0 33801 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 136096

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1722992/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=136096 CPUtime=462.17
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 26948 0 0 0 46121 96 0 0 25 0 1 0 142062128 139362304 26817 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 34024 26817 104 219 0 33801 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 136096

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1707888/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=136216 CPUtime=522.14
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 30767 0 0 0 52116 98 0 0 25 0 1 0 142062128 139485184 30636 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559469 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 34054 30636 104 219 0 33831 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 136216

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1692784/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=267288 CPUtime=582.13
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 34417 0 0 0 58111 102 0 0 25 0 1 0 142062128 273702912 34286 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 66822 34286 104 219 0 66599 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 267288

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1677744/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=267288 CPUtime=642.12
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 38150 0 0 0 64108 104 0 0 25 0 1 0 142062128 273702912 38019 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 66822 38019 104 219 0 66599 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 267288


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1644208/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268376 CPUtime=882.05
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 46581 0 0 0 88089 116 0 0 25 0 1 0 142062128 274817024 46353 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67094 46353 104 219 0 66871 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 268376

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1643504/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268376 CPUtime=942.04
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 46738 0 0 0 94086 118 0 0 25 0 1 0 142062128 274817024 46510 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67094 46510 104 219 0 66871 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 268376

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1642736/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268508 CPUtime=1002.02
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 46918 0 0 0 100081 121 0 0 25 0 1 0 142062128 274952192 46690 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67127 46690 104 219 0 66904 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 268508

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1642096/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268652 CPUtime=1062.01
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47077 0 0 0 106078 123 0 0 25 0 1 0 142062128 275099648 46849 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563269 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67163 46849 104 219 0 66940 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 268652

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1641584/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268652 CPUtime=1121.99
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47215 0 0 0 112074 125 0 0 25 0 1 0 142062128 275099648 46987 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67163 46987 104 219 0 66940 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 268652

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1640944/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268652 CPUtime=1181.97
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47369 0 0 0 118072 125 0 0 25 0 1 0 142062128 275099648 47141 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67163 47141 104 219 0 66940 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 268652

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1640304/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268780 CPUtime=1241.96
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47526 0 0 0 124068 128 0 0 25 0 1 0 142062128 275230720 47298 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67195 47298 104 219 0 66972 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 268780

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31276
/proc/meminfo: memFree=1639600/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268908 CPUtime=1301.95
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47698 0 0 0 130064 131 0 0 25 0 1 0 142062128 275361792 47470 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67227 47470 104 219 0 67004 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 268908

[startup+1362.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 31276
/proc/meminfo: memFree=1638896/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268908 CPUtime=1361.92
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47862 0 0 0 136059 133 0 0 25 0 1 0 142062128 275361792 47634 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67227 47634 104 219 0 67004 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 268908

[startup+1422.31 s]
/proc/loadavg: 1.08 1.01 1.00 2/78 31276
/proc/meminfo: memFree=1638192/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268908 CPUtime=1421.91
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48054 0 0 0 142055 136 0 0 25 0 1 0 142062128 275361792 47826 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67227 47826 104 219 0 67004 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 268908

[startup+1482.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 31276
/proc/meminfo: memFree=1637552/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=268908 CPUtime=1481.89
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48217 0 0 0 148051 138 0 0 25 0 1 0 142062128 275361792 47989 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559816 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67227 47989 104 219 0 67004 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 268908

[startup+1542.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 31276
/proc/meminfo: memFree=1636848/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=269036 CPUtime=1541.87
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48378 0 0 0 154047 140 0 0 25 0 1 0 142062128 275492864 48150 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67259 48150 104 219 0 67036 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 269036

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 31276
/proc/meminfo: memFree=1636208/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=269036 CPUtime=1601.86
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48545 0 0 0 160044 142 0 0 25 0 1 0 142062128 275492864 48317 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67259 48317 104 219 0 67036 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 269036

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 31278
/proc/meminfo: memFree=1635440/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=269036 CPUtime=1661.85
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48714 0 0 0 166041 144 0 0 25 0 1 0 142062128 275492864 48486 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67259 48486 104 219 0 67036 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 269036

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31278
/proc/meminfo: memFree=1634864/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=269036 CPUtime=1721.83
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48862 0 0 0 172038 145 0 0 25 0 1 0 142062128 275492864 48634 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67259 48634 104 219 0 67036 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 269036

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31278
/proc/meminfo: memFree=1634352/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=269148 CPUtime=1781.82
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48983 0 0 0 178036 146 0 0 25 0 1 0 142062128 275607552 48755 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67287 48755 104 219 0 67064 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 269148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31278
/proc/meminfo: memFree=1634224/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=269148 CPUtime=1800.01
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 49016 0 0 0 179855 146 0 0 25 0 1 0 142062128 275607552 48788 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67287 48788 104 219 0 67064 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 269148

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31278
/proc/meminfo: memFree=1634224/2055920 swapFree=4171824/4192956
[pid=31275] ppid=31273 vsize=269148 CPUtime=1800.01
/proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 49016 0 0 0 179855 146 0 0 25 0 1 0 142062128 275607552 48788 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31275/statm: 67287 48788 104 219 0 67064 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 269148

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.05
CPU user time (s): 1798.56
CPU system time (s): 1.49477
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 269148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.49477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49017
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 4314

runsolver used 2.10968 second user time and 4.41933 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Sun Apr 15 18:03:57 UTC 2007

IDJOB= 353248
IDBENCH= 2218
IDSOLVER= 157
FILE ID= node72/353248-1176660237

PBS_JOBID= 4559897

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g100x100.opb
COMMAND LINE= /tmp/evaluation/353248-1176660237/PBS4 /tmp/evaluation/353248-1176660237/instance-353248-1176660237.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-353248-1176660237 -o ROOT/results/node72/conversion-353248-1176660237 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353248-1176660237/instance-353248-1176660237.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f
MD5SUM BENCH=  b7796d84094d982e45331121511974b4

RANDOM SEED= 816208381

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
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:       1830600 kB
Buffers:         27412 kB
Cached:         105072 kB
SwapCached:       2224 kB
Active:          62952 kB
Inactive:        93272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1830600 kB
SwapTotal:     4192956 kB
SwapFree:      4171824 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:          38888 kB
Slab:            54608 kB
Committed_AS:  1946776 kB
PageTables:       1792 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= 66562 MiB

End job on node72 on Sun Apr 15 18:33:59 UTC 2007