Trace number 41206

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.2

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gt2.opb
MD5SUMfbf213ed65afe4e66abc3948eb02a29f
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21166
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21166
Optimality of the best value was proved NO
Number of variables556
Total number of constraints180
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints178
Minimum length of a constraint2
Maximum length of a constraint48
Number of terms in the objective function 304
Biggest coefficient in the objective function 62376
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 3092598
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 62376
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 3092598
Number of bits of the biggest sum of numbers22
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/41206-1149245938/instance-41206-1149245938.opb ......
0.01	c done parsing opb.
0.01	o 286055
0.03	o 285359
0.09	o 276024
0.24	o 225858
0.40	o 224012
0.47	o 202621
0.54	o 202105
0.58	o 189335
0.67	o 189318
0.68	o 174685
0.69	o 173244
0.74	o 172781
0.86	o 172739
1.19	o 172084
1.47	o 171182
2.23	o 170983
2.64	o 170447
2.97	o 170442
3.04	o 170129
3.43	o 169952
4.11	o 169650
4.31	o 169346
4.53	o 166976
4.66	o 166789
5.28	o 166291
6.10	o 165620
7.23	o 165306
8.05	o 164398
9.08	o 164225
9.85	o 163788
10.77	o 163585
13.03	o 162848
14.03	o 162437
15.34	o 162285
16.53	o 162218
17.77	o 161674
19.25	o 160765
19.33	o 159903
19.68	o 158841
21.01	o 158508
22.84	o 158045
25.40	o 158026
27.16	o 157994
27.93	o 157705
28.93	o 157272
29.17	o 156362
30.04	o 156036
30.59	o 155360
31.61	o 155217
32.48	o 154999
34.62	o 154613
34.78	o 154593
35.39	o 154387
35.71	o 154146
36.27	o 153524
37.67	o 153385
38.06	o 152385
39.07	o 151284
40.56	o 150669
41.67	o 150068
43.11	o 149999
44.76	o 149626
45.10	o 149002
47.47	o 148536
49.29	o 148163
51.07	o 147656
52.76	o 146888
53.62	o 145864
55.42	o 145626
56.59	o 145619
58.96	o 145123
59.33	o 144719
60.71	o 144566
60.84	o 143942
62.24	o 143428
62.66	o 143344
63.58	o 143046
64.14	o 142146
65.30	o 141172
67.05	o 141036
67.08	o 139910
69.01	o 139643
70.15	o 138828
72.87	o 138653
73.49	o 137816
74.72	o 137393
78.16	o 137206
79.03	o 137162
79.56	o 136736
80.90	o 136010
81.62	o 135388
84.28	o 134698
84.83	o 134037
84.86	o 133940
86.54	o 133874
86.78	o 133753
88.56	o 133509
89.91	o 133480
90.11	o 133134
90.25	o 132723
90.77	o 132510
93.17	o 131983
94.59	o 131486
95.14	o 131116
98.27	o 130987
101.00	o 130660
104.06	o 130585
107.16	o 129643
107.32	o 129603
111.86	o 129600
113.15	o 129142
114.38	o 128825
115.23	o 128408
117.32	o 128337
119.54	o 127843
122.07	o 127685
122.72	o 126814
124.75	o 126705
124.94	o 126567
126.20	o 126258
128.91	o 126255
129.51	o 125773
129.73	o 125362
129.95	o 125125
131.52	o 124704
132.31	o 124366
136.73	o 124186
137.68	o 124174
138.18	o 124170
139.68	o 123402
140.87	o 122754
141.80	o 122736
143.06	o 122361
145.58	o 121943
147.18	o 121037
149.55	o 119823
152.47	o 119657
154.50	o 119498
155.03	o 118989
156.42	o 118696
156.76	o 117590
159.37	o 117002
161.56	o 115825
163.54	o 115323
163.73	o 115250
166.62	o 114807
166.73	o 113884
168.57	o 113318
168.65	o 113302
173.25	o 113017
176.02	o 112716
178.07	o 112574
181.60	o 112164
183.66	o 111872
185.49	o 110916
187.28	o 110081
187.68	o 109380
188.00	o 109078
188.96	o 108649
189.18	o 107928
190.94	o 107629
191.59	o 106512
192.94	o 105822
196.27	o 105762
198.25	o 104855
199.62	o 104794
203.87	o 104195
205.43	o 104128
205.64	o 104046
205.68	o 103812
206.92	o 103023
207.73	o 101930
208.73	o 101619
209.13	o 101502
209.89	o 100621
210.32	o 100584
211.42	o 100545
213.24	o 100399
214.78	o 100266
215.46	o 99756
216.44	o 99669
216.97	o 99474
217.34	o 98970
219.15	o 98955
221.62	o 98688
226.75	o 98453
227.92	o 98274
229.16	o 97858
233.03	o 97666
233.13	o 97418
235.85	o 97260
239.19	o 97248
239.61	o 96706
239.71	o 96270
241.58	o 95173
242.30	o 94937
246.53	o 94016
249.28	o 93788
251.91	o 93570
251.97	o 92394
255.12	o 92250
256.81	o 91262
258.32	o 91235
263.57	o 90931
265.62	o 90260
268.61	o 90102
268.66	o 89455
268.77	o 89247
270.91	o 89050
272.36	o 88530
273.27	o 87846
275.04	o 87235
275.27	o 86276
277.15	o 85539
277.16	o 85240
278.10	o 85206
278.85	o 84610
279.77	o 84286
281.81	o 83870
283.56	o 83540
288.36	o 83384
289.78	o 83358
290.74	o 82608
291.64	o 81974
292.79	o 81745
295.47	o 81290
296.49	o 81238
298.39	o 81144
298.96	o 81056
301.09	o 80619
301.24	o 80236
302.02	o 80057
305.36	o 79102
306.05	o 78321
313.50	o 77912
319.11	o 77861
319.66	o 77058
321.28	o 76692
321.61	o 76452
332.56	o 75946
334.87	o 75767
339.25	o 75686
342.62	o 75494
346.87	o 75255
349.13	o 75214
350.78	o 74508
351.40	o 74494
356.97	o 73460
357.22	o 73104
359.37	o 73088
360.31	o 72480
361.67	o 72068
366.60	o 71475
368.36	o 71174
371.64	o 70208
377.04	o 69821
377.78	o 69258
379.27	o 69211
379.81	o 69032
381.95	o 68793
382.76	o 68720
388.91	o 68132
394.38	o 68032
403.80	o 67490
407.85	o 67131
412.05	o 66806
416.12	o 66485
417.64	o 65824
422.85	o 65772
423.22	o 64648
426.65	o 64482
436.79	o 64225
456.49	o 63828
456.83	o 62758
459.81	o 61849
465.25	o 61724
469.76	o 61576
472.45	o 60484
473.32	o 60160
480.55	o 60060
500.91	o 59308
521.73	o 58756
527.75	o 58729
530.93	o 58654
546.95	o 58558
569.49	o 58448
580.24	o 57970
596.44	o 57808
603.91	o 57436
607.68	o 57170
612.73	o 56808
617.60	o 56632
624.26	o 55456
651.20	o 54443
680.51	o 54376
698.01	o 54322
715.66	o 54004
758.84	o 53979
791.45	o 53899
799.32	o 53669
858.12	o 53127
961.68	o 52927
979.85	o 52867
1021.35	o 51756
1036.93	o 51330
1045.76	o 50937
1079.37	o 50828
1125.68	o 49926
1173.35	o 49694
1246.28	o 49308
1355.90	o 48741
1498.41	o 48654
1668.68	o 48541

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-41206-1149245938 -o ROOT/results/node70/solver-41206-1149245938 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41206-1149245938/instance-41206-1149245938.opb 461917237 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1884912/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=1400 CPUtime=0
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 190263369 1433600 143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134615395 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 350 143 99 232 0 115 0

[startup+10.0028 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1875696/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=11660 CPUtime=9.99
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 2585 0 0 0 993 6 0 0 25 0 1 0 190263369 11939840 2410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 2915 2410 108 232 0 2680 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 11660

[startup+20.0086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1871600/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=21304 CPUtime=19.99
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 3807 0 0 0 1988 11 0 0 25 0 1 0 190263369 21815296 3439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 5326 3439 108 232 0 5091 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 21304

[startup+30.0144 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1866800/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=22324 CPUtime=29.99
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 4998 0 0 0 2985 14 0 0 25 0 1 0 190263369 22859776 4630 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 5581 4630 108 232 0 5346 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 22324

[startup+40.0202 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1866096/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=22776 CPUtime=39.99
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 5177 0 0 0 3982 17 0 0 25 0 1 0 190263369 23322624 4809 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 5694 4809 108 232 0 5459 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 22776

[startup+50.026 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1865456/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=24580 CPUtime=49.99
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 5718 0 0 0 4979 20 0 0 25 0 1 0 190263369 25169920 4965 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 6145 4965 108 232 0 5910 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 24580

[startup+60.0318 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1863088/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=24904 CPUtime=60
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 6298 0 0 0 5978 22 0 0 25 0 1 0 190263369 25501696 5545 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 6226 5545 108 232 0 5991 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 24904

[startup+70.0377 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1861936/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=25424 CPUtime=70.01
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 6592 0 0 0 6975 26 0 0 25 0 1 0 190263369 26034176 5839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 6356 5839 108 232 0 6121 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 25424

[startup+80.0435 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1861104/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=26044 CPUtime=80.01
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 6799 0 0 0 7973 28 0 0 25 0 1 0 190263369 26669056 6046 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558847 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 6511 6046 108 232 0 6276 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 26044

[startup+90.0493 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1859312/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=42936 CPUtime=90.01
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 7235 0 0 0 8970 31 0 0 25 0 1 0 190263369 43966464 6482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 10734 6482 108 232 0 10499 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 42936

[startup+100.055 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1856240/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=43092 CPUtime=100.01
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 8007 0 0 0 9966 35 0 0 25 0 1 0 190263369 44126208 7254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 10773 7254 108 232 0 10538 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 43092

[startup+110.061 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1855920/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=43372 CPUtime=110.01
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 8095 0 0 0 10964 37 0 0 25 0 1 0 190263369 44412928 7342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 10843 7342 108 232 0 10608 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 43372

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31070
/proc/meminfo: memFree=1855472/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=43656 CPUtime=120.01
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 8207 0 0 0 11962 39 0 0 25 0 1 0 190263369 44703744 7454 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 10914 7454 108 232 0 10679 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 43656

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 31141
/proc/meminfo: memFree=1853432/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=46920 CPUtime=129.99
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9050 0 0 0 12956 43 0 0 25 0 1 0 190263369 48046080 7528 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 11730 7528 108 232 0 11495 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 46920

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31265
/proc/meminfo: memFree=1853672/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=47368 CPUtime=139.99
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9206 0 0 0 13952 47 0 0 25 0 1 0 190263369 48504832 7684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 11842 7684 108 232 0 11607 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 47368

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31265
/proc/meminfo: memFree=1853040/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=47532 CPUtime=149.98
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9406 0 0 0 14949 49 0 0 25 0 1 0 190263369 48672768 7884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 11883 7884 108 232 0 11648 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 47532

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31265
/proc/meminfo: memFree=1852656/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=47852 CPUtime=159.99
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9495 0 0 0 15946 53 0 0 25 0 1 0 190263369 49000448 7973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 11963 7973 108 232 0 11728 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 47852

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31265
/proc/meminfo: memFree=1852208/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=48040 CPUtime=169.99
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9609 0 0 0 16943 56 0 0 25 0 1 0 190263369 49192960 8087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 12010 8087 108 232 0 11775 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 48040

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31265
/proc/meminfo: memFree=1851888/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=48184 CPUtime=180
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 9688 0 0 0 17942 58 0 0 25 0 1 0 190263369 49340416 8166 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 12046 8166 108 232 0 11811 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 48184

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31265
/proc/meminfo: memFree=1849648/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=48728 CPUtime=190
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 10241 0 0 0 18940 60 0 0 25 0 1 0 190263369 49897472 8719 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 12182 8719 108 232 0 11947 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 48728

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31265
/proc/meminfo: memFree=1848688/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=49328 CPUtime=200
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 10492 0 0 0 19937 63 0 0 25 0 1 0 190263369 50511872 8970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 12332 8970 108 232 0 12097 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 49328

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31265
/proc/meminfo: memFree=1847984/2055920 swapFree=4182232/4192956

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

/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 46962 0 0 0 177660 479 0 0 25 0 1 0 190263369 178958336 34685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34685 108 232 0 43456 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 174764

[startup+1783.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1745328/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1782.4
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 46967 0 0 0 177761 479 0 0 25 0 1 0 190263369 178958336 34690 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34690 108 232 0 43456 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (Kb) 174764

[startup+1784.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1745200/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1783.4
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 46987 0 0 0 177861 479 0 0 25 0 1 0 190263369 178958336 34710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34710 108 232 0 43456 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (Kb) 174764

[startup+1785.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1745200/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1784.4
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 46993 0 0 0 177961 479 0 0 25 0 1 0 190263369 178958336 34716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34716 108 232 0 43456 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 174764

[startup+1786.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1745136/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1785.41
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47002 0 0 0 178062 479 0 0 25 0 1 0 190263369 178958336 34725 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34725 108 232 0 43456 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (Kb) 174764

[startup+1787.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1745136/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1786.41
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47005 0 0 0 178162 479 0 0 25 0 1 0 190263369 178958336 34728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34728 108 232 0 43456 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 174764

[startup+1788.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1745136/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1787.42
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47010 0 0 0 178262 480 0 0 25 0 1 0 190263369 178958336 34733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552051 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34733 108 232 0 43456 0
Current children cumulated CPU time (s) 1787.42
Current children cumulated vsize (Kb) 174764

[startup+1789.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1745072/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1788.42
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47020 0 0 0 178362 480 0 0 25 0 1 0 190263369 178958336 34743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34743 108 232 0 43456 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 174764

[startup+1790.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1745072/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1789.42
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47031 0 0 0 178462 480 0 0 25 0 1 0 190263369 178958336 34754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34754 108 232 0 43456 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (Kb) 174764

[startup+1791.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744944/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1790.43
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47060 0 0 0 178562 481 0 0 25 0 1 0 190263369 178958336 34783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34783 108 232 0 43456 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 174764

[startup+1792.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744880/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1791.43
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47073 0 0 0 178662 481 0 0 25 0 1 0 190263369 178958336 34796 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34796 108 232 0 43456 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 174764

[startup+1793.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744816/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1792.45
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47077 0 0 0 178763 482 0 0 25 0 1 0 190263369 178958336 34800 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34800 108 232 0 43456 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (Kb) 174764

[startup+1794.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744816/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1793.45
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47085 0 0 0 178863 482 0 0 25 0 1 0 190263369 178958336 34808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34808 108 232 0 43456 0
Current children cumulated CPU time (s) 1793.45
Current children cumulated vsize (Kb) 174764

[startup+1795.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744816/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1794.45
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47090 0 0 0 178963 482 0 0 25 0 1 0 190263369 178958336 34813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34813 108 232 0 43456 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 174764

[startup+1796.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744752/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1795.45
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47096 0 0 0 179063 482 0 0 25 0 1 0 190263369 178958336 34819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34819 108 232 0 43456 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (Kb) 174764

[startup+1797.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744624/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1796.46
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47137 0 0 0 179163 483 0 0 25 0 1 0 190263369 178958336 34860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34860 108 232 0 43456 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (Kb) 174764

[startup+1798.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744560/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1797.47
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47142 0 0 0 179264 483 0 0 25 0 1 0 190263369 178958336 34865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34865 108 232 0 43456 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (Kb) 174764

[startup+1799.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744560/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1798.47
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47144 0 0 0 179364 483 0 0 25 0 1 0 190263369 178958336 34867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34867 108 232 0 43456 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (Kb) 174764

[startup+1800.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744560/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1799.47
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47145 0 0 0 179464 483 0 0 25 0 1 0 190263369 178958336 34868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34868 108 232 0 43456 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (Kb) 174764

[startup+1801.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744496/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1800.48
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47170 0 0 0 179565 483 0 0 25 0 1 0 190263369 178958336 34893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34893 108 232 0 43456 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 174764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 31265
/proc/meminfo: memFree=1744496/2055920 swapFree=4182232/4192956
[pid=31070] ppid=31068 vsize=174764 CPUtime=1800.48
/proc/31070/stat : 31070 (PBS4L) R 31068 31070 31024 0 -1 4194304 47170 0 0 0 179565 483 0 0 25 0 1 0 190263369 178958336 34893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/31070/statm: 43691 34893 108 232 0 43456 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 174764

Sending SIGTERM to -31070
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.2
CPU time (s): 1800.52
CPU user time (s): 1795.65
CPU system time (s): 4.86126
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (Kb): 174764
The end

Launcher Data (download as text)

Begin job on node70 on Fri Jun  2 10:58:58 UTC 2006


FILE ID= 41206-1149245938

PBS_JOBID= 297735

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  fbf213ed65afe4e66abc3948eb02a29f

RANDOM SEED= 461917237


/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:       1885120 kB
Buffers:         14180 kB
Cached:          85524 kB
SwapCached:       2364 kB
Active:          23176 kB
Inactive:        85204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1885120 kB
SwapTotal:     4192956 kB
SwapFree:      4182232 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          15404 kB
Slab:            48532 kB
Committed_AS:   190932 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 11:28:59 UTC 2006