Trace number 41237

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
PBS 4.1L? (TO) 1800.52 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb
MD5SUMeacfeaf84791543db8ee3be1e77f11f6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark1800.56
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved YES
Number of variables8959
Total number of constraints323
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints323
Minimum length of a constraint31
Maximum length of a constraint510
Number of terms in the objective function 8959
Biggest coefficient in the objective function 1746
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 531501
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531501
Number of bits of the biggest sum of numbers20
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	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node70/41237-1149251358/instance-41237-1149251358.opb ......
0.75	c done parsing opb.
0.75	o 183
0.81	o 160
0.87	o 159
0.93	o 158
0.99	o 157
1.05	o 156
1.11	o 155
1.17	o 154
1.23	o 153
1.29	o 152
1.34	o 151
1.40	o 150
1.46	o 149
1.52	o 148
1.58	o 147
1.64	o 146
1.70	o 145
1.76	o 144
1.81	o 143
1.87	o 142
1.93	o 141
1.99	o 140
2.04	o 139
2.10	o 138
2.16	o 137
2.22	o 136
2.27	o 135
2.33	o 134
2.39	o 133
2.45	o 132
2.50	o 131
2.56	o 130
2.62	o 129
2.67	o 128
2.73	o 127
2.78	o 126
2.84	o 125
2.90	o 124
2.95	o 123
3.01	o 122
3.06	o 121
3.12	o 120
3.17	o 119
3.23	o 118
3.28	o 117
3.34	o 116
3.39	o 115
3.45	o 114
3.50	o 113
3.56	o 112
3.61	o 111
3.66	o 110
3.72	o 109
3.77	o 108
3.83	o 107
3.88	o 106
3.93	o 105
3.99	o 104
4.04	o 103
4.09	o 102
4.14	o 101
4.20	o 100
4.25	o 99
4.30	o 98
4.35	o 97
4.41	o 96
4.46	o 95
4.51	o 94
4.56	o 93
4.61	o 92
4.67	o 91
4.72	o 90
4.77	o 89
4.82	o 88
4.87	o 87
4.92	o 86
4.97	o 85
5.02	o 84
5.07	o 83
5.12	o 82
5.18	o 81
5.23	o 80
5.28	o 79
5.33	o 78
5.38	o 77
5.43	o 76
5.47	o 75
5.52	o 74
5.57	o 73
5.62	o 72
5.67	o 71
5.72	o 70
5.77	o 69
5.82	o 68
5.87	o 67
5.92	o 66
5.97	o 65
6.01	o 64
6.06	o 63
6.11	o 62
6.16	o 61
6.21	o 60
6.25	o 59
6.30	o 58
6.35	o 57
6.40	o 56
6.44	o 55
6.49	o 54
6.54	o 53
6.58	o 52
6.63	o 51
6.67	o 50
6.72	o 49
6.76	o 48
6.81	o 47
6.85	o 46
6.89	o 45
6.94	o 44
6.98	o 43
7.02	o 42
7.07	o 41
7.11	o 40
7.15	o 39
7.20	o 38
7.24	o 37
7.28	o 36
602.96	o 35

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node70/watcher-41237-1149251358 -o ROOT/results/node70/solver-41237-1149251358 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41237-1149251358/instance-41237-1149251358.opb 721467506 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.91 3/64 31645
/proc/meminfo: memFree=1869080/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=2244 CPUtime=0
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 190805363 2297856 183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 561 185 90 232 0 326 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1863784/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=7576 CPUtime=9.99
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 1997 0 0 0 984 15 0 0 25 0 1 0 190805363 7757824 1429 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 1894 1429 108 232 0 1659 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 7576

[startup+20.0084 s]
/proc/loadavg: 0.94 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1860072/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=13720 CPUtime=20
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 2944 0 0 0 1983 17 0 0 25 0 1 0 190805363 14049280 2376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 3430 2376 108 232 0 3195 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 13720

[startup+30.0143 s]
/proc/loadavg: 0.95 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1857576/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=13876 CPUtime=30
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 3586 0 0 0 2982 18 0 0 25 0 1 0 190805363 14209024 3018 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 3469 3018 108 232 0 3234 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 13876

[startup+40.0201 s]
/proc/loadavg: 0.96 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1855912/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=22068 CPUtime=39.99
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 3988 0 0 0 3981 18 0 0 25 0 1 0 190805363 22597632 3420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 5517 3420 108 232 0 5282 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 22068

[startup+50.0259 s]
/proc/loadavg: 0.96 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1853992/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=22264 CPUtime=50
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 4496 0 0 0 4981 19 0 0 25 0 1 0 190805363 22798336 3928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 5566 3928 108 232 0 5331 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 22264

[startup+60.0317 s]
/proc/loadavg: 0.97 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1852584/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=22264 CPUtime=60
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 4839 0 0 0 5979 21 0 0 25 0 1 0 190805363 22798336 4271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 5566 4271 108 232 0 5331 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 22264

[startup+70.0375 s]
/proc/loadavg: 0.97 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1851304/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=22264 CPUtime=70
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 5163 0 0 0 6979 21 0 0 25 0 1 0 190805363 22798336 4595 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551910 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 5566 4595 108 232 0 5331 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 22264

[startup+80.0433 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1848552/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=38884 CPUtime=80.01
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 5837 0 0 0 7977 24 0 0 25 0 1 0 190805363 39817216 5269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 9721 5269 108 232 0 9486 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 38884

[startup+90.0492 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1845160/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=39476 CPUtime=90
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 6739 0 0 0 8973 27 0 0 25 0 1 0 190805363 40423424 6122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 9869 6122 108 232 0 9634 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 39476

[startup+100.055 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1844904/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=39656 CPUtime=100.01
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 6803 0 0 0 9971 30 0 0 25 0 1 0 190805363 40607744 6186 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 9914 6186 108 232 0 9679 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 39656

[startup+110.061 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1843880/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=40000 CPUtime=110.01
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7060 0 0 0 10968 33 0 0 25 0 1 0 190805363 40960000 6443 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 10000 6443 108 232 0 9765 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 40000

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1843432/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=40696 CPUtime=120.02
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7243 0 0 0 11966 36 0 0 25 0 1 0 190805363 41672704 6529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 10174 6529 108 232 0 9939 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 40696

[startup+130.072 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1843240/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=40888 CPUtime=130.01
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7308 0 0 0 12963 38 0 0 25 0 1 0 190805363 41869312 6594 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 10222 6594 108 232 0 9987 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 40888

[startup+140.078 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1842984/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=41072 CPUtime=140.02
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7370 0 0 0 13961 41 0 0 25 0 1 0 190805363 42057728 6656 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 10268 6656 108 232 0 10033 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 41072

[startup+150.084 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1842792/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=41204 CPUtime=150.02
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7415 0 0 0 14959 43 0 0 25 0 1 0 190805363 42192896 6701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 10301 6701 108 232 0 10066 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 41204

[startup+160.09 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1842472/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=41468 CPUtime=160.02
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7492 0 0 0 15957 45 0 0 25 0 1 0 190805363 42463232 6778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 10367 6778 108 232 0 10132 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 41468

[startup+170.096 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1842280/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=41668 CPUtime=170.03
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7551 0 0 0 16955 48 0 0 25 0 1 0 190805363 42668032 6837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 10417 6837 108 232 0 10182 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 41668

[startup+180.103 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1842088/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=41764 CPUtime=180.03
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7597 0 0 0 17953 50 0 0 25 0 1 0 190805363 42766336 6883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 10441 6883 108 232 0 10206 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 41764

[startup+190.109 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1841768/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=42756 CPUtime=190.03
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7862 0 0 0 18951 52 0 0 25 0 1 0 190805363 43782144 6955 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 10689 6955 108 232 0 10454 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 42756

[startup+200.115 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1841512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=42880 CPUtime=200.04
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7919 0 0 0 19950 54 0 0 25 0 1 0 190805363 43909120 7012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 10720 7012 108 232 0 10485 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 42880

[startup+210.121 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 31645
/proc/meminfo: memFree=1839592/2055920 swapFree=4182232/4192956

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

/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22919 0 0 0 177872 269 0 0 25 0 1 0 190805363 92323840 20858 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558856 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20858 108 232 0 22305 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 90160

[startup+1783.06 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785640/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1782.41
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22919 0 0 0 177972 269 0 0 25 0 1 0 190805363 92323840 20858 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20858 108 232 0 22305 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (Kb) 90160

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1783.42
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22921 0 0 0 178073 269 0 0 25 0 1 0 190805363 92323840 20860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20860 108 232 0 22305 0
Current children cumulated CPU time (s) 1783.42
Current children cumulated vsize (Kb) 90160

[startup+1785.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1784.42
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22925 0 0 0 178173 269 0 0 25 0 1 0 190805363 92323840 20864 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20864 108 232 0 22305 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (Kb) 90160

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1785.42
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22926 0 0 0 178273 269 0 0 25 0 1 0 190805363 92323840 20865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20865 108 232 0 22305 0
Current children cumulated CPU time (s) 1785.42
Current children cumulated vsize (Kb) 90160

[startup+1787.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1786.43
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22929 0 0 0 178374 269 0 0 25 0 1 0 190805363 92323840 20868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20868 108 232 0 22305 0
Current children cumulated CPU time (s) 1786.43
Current children cumulated vsize (Kb) 90160

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1787.44
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22930 0 0 0 178474 270 0 0 25 0 1 0 190805363 92323840 20869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20869 108 232 0 22305 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (Kb) 90160

[startup+1789.09 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1788.44
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22931 0 0 0 178574 270 0 0 25 0 1 0 190805363 92323840 20870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20870 108 232 0 22305 0
Current children cumulated CPU time (s) 1788.44
Current children cumulated vsize (Kb) 90160

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1789.45
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22934 0 0 0 178675 270 0 0 25 0 1 0 190805363 92323840 20873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20873 108 232 0 22305 0
Current children cumulated CPU time (s) 1789.45
Current children cumulated vsize (Kb) 90160

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1790.45
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22937 0 0 0 178775 270 0 0 25 0 1 0 190805363 92323840 20876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20876 108 232 0 22305 0
Current children cumulated CPU time (s) 1790.45
Current children cumulated vsize (Kb) 90160

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1791.45
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22937 0 0 0 178875 270 0 0 25 0 1 0 190805363 92323840 20876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20876 108 232 0 22305 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (Kb) 90160

[startup+1793.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1792.46
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22938 0 0 0 178976 270 0 0 25 0 1 0 190805363 92323840 20877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20877 108 232 0 22305 0
Current children cumulated CPU time (s) 1792.46
Current children cumulated vsize (Kb) 90160

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1793.46
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22939 0 0 0 179076 270 0 0 25 0 1 0 190805363 92323840 20878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20878 108 232 0 22305 0
Current children cumulated CPU time (s) 1793.46
Current children cumulated vsize (Kb) 90160

[startup+1795.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1794.47
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22939 0 0 0 179177 270 0 0 25 0 1 0 190805363 92323840 20878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20878 108 232 0 22305 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (Kb) 90160

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1795.47
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22944 0 0 0 179277 270 0 0 25 0 1 0 190805363 92323840 20883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20883 108 232 0 22305 0
Current children cumulated CPU time (s) 1795.47
Current children cumulated vsize (Kb) 90160

[startup+1797.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1796.47
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22944 0 0 0 179377 270 0 0 25 0 1 0 190805363 92323840 20883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20883 108 232 0 22305 0
Current children cumulated CPU time (s) 1796.47
Current children cumulated vsize (Kb) 90160

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1797.48
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22945 0 0 0 179478 270 0 0 25 0 1 0 190805363 92323840 20884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20884 108 232 0 22305 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (Kb) 90160

[startup+1799.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1798.48
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22946 0 0 0 179578 270 0 0 25 0 1 0 190805363 92323840 20885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20885 108 232 0 22305 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (Kb) 90160

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1799.49
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22946 0 0 0 179679 270 0 0 25 0 1 0 190805363 92323840 20885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20885 108 232 0 22305 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (Kb) 90160

[startup+1801.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1800.49
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22947 0 0 0 179779 270 0 0 25 0 1 0 190805363 92323840 20886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20886 108 232 0 22305 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (Kb) 90160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 31647
/proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956
[pid=31645] ppid=31643 vsize=90160 CPUtime=1800.49
/proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22947 0 0 0 179779 270 0 0 25 0 1 0 190805363 92323840 20886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31645/statm: 22540 20886 108 232 0 22305 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (Kb) 90160

Sending SIGTERM to -31645
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.52
CPU user time (s): 1797.8
CPU system time (s): 2.72458
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (Kb): 90160
The end

Launcher Data (download as text)

Begin job on node70 on Fri Jun  2 12:29:18 UTC 2006


FILE ID= 41237-1149251358

PBS_JOBID= 298104

BENCH NAME= ROOT/tmp/node70/41237-1149251358/instance-41237-1149251358.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41237-1149251358/instance-41237-1149251358.opb 721467506
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-41237-1149251358 -o ROOT/results/node70/solver-41237-1149251358 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41237-1149251358/instance-41237-1149251358.opb 721467506

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  eacfeaf84791543db8ee3be1e77f11f6

RANDOM SEED= 721467506


/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.265
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.265
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:       1869288 kB
Buffers:         15516 kB
Cached:          99760 kB
SwapCached:       2364 kB
Active:          26320 kB
Inactive:        97608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869288 kB
SwapTotal:     4192956 kB
SwapFree:      4182232 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          15404 kB
Slab:            48788 kB
Committed_AS:   191680 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node70 on Fri Jun  2 12:59:19 UTC 2006