Trace number 351945

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
PB-clasp 2007-04-10SAT (TO)27628 1800.08 1802.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM38a2c469f9dc1120b8fe634a693ac03d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23777
Best CPU time to get the best result obtained on this benchmark1800.21
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10829
Optimality of the best value was proved NO
Number of variables548
Total number of constraints166
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints126
Minimum length of a constraint2
Maximum length of a constraint143
Number of terms in the objective function 416
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 96797
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 96797
Number of bits of the biggest sum of numbers17
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)

2.54/2.69	o 32364
5.14/5.24	o 32341
7.64/7.78	o 32328
10.24/10.32	o 31286
12.74/12.89	o 30971
15.33/15.45	o 30958
17.93/18.02	o 30651
20.42/20.59	o 30638
23.02/23.13	o 30611
25.51/25.68	o 30598
28.10/28.22	o 30596
30.62/30.77	o 30583
33.22/33.34	o 30461
35.83/35.90	o 30181
38.37/38.51	o 30126
40.87/41.08	o 30113
43.46/43.63	o 30073
45.96/46.18	o 30072
48.56/48.73	o 30064
51.04/51.28	o 30059
53.65/53.85	o 30054
56.25/56.43	o 30041
58.85/59.00	o 30028
61.33/61.55	o 30023
63.92/64.10	o 29995
66.37/66.68	o 29994
68.97/69.23	o 29966
71.57/71.80	o 29939
74.06/74.37	o 29937
76.66/76.95	o 29935
79.26/79.52	o 29926
81.71/82.09	o 29918
84.32/84.66	o 29905
86.92/87.23	o 29878
89.41/89.79	o 29868
92.00/92.36	o 29855
94.60/94.97	o 29839
97.17/97.55	o 29800
99.77/100.13	o 29787
102.28/102.70	o 29755
104.88/105.25	o 29747
107.47/107.80	o 29714
109.97/110.37	o 29701
112.56/112.95	o 29666
115.15/115.53	o 29660
117.75/118.11	o 29651
120.34/120.72	o 29629
122.93/123.32	o 29627
125.45/125.85	o 29623
128.04/128.43	o 29622
130.63/131.01	o 29611
133.24/133.61	o 29609
135.78/136.23	o 29598
138.37/138.82	o 29588
140.96/141.42	o 29585
143.47/143.99	o 29572
146.06/146.57	o 29507
148.66/149.13	o 29477
151.15/151.68	o 29469
153.75/154.26	o 29438
156.22/156.79	o 29428
158.83/159.37	o 29427
161.43/161.95	o 29417
163.91/164.46	o 29401
166.52/167.03	o 29391
169.02/169.58	o 29390
171.61/172.15	o 29383
174.22/174.72	o 29377
176.82/177.30	o 29368
179.31/179.88	o 29347
181.92/182.45	o 29318
184.51/185.01	o 29307
187.00/187.57	o 29300
189.60/190.13	o 29295
192.20/192.70	o 29282
194.70/195.29	o 29241
197.30/197.86	o 29213
199.90/200.44	o 29206
202.50/203.00	o 29198
204.99/205.55	o 29191
207.57/208.10	o 29165
210.07/210.65	o 29158
212.68/213.22	o 29126
215.17/215.79	o 29121
217.77/218.36	o 29108
220.37/220.93	o 29102
222.86/223.49	o 29093
225.35/225.96	o 29067
227.85/228.40	o 29056
230.23/230.84	o 29043
232.65/233.24	o 29041
235.22/235.84	o 29032
237.72/238.37	o 29001
240.10/240.77	o 28995
242.49/243.18	o 28991
245.08/245.72	o 28982
247.57/248.20	o 28974
249.98/250.65	o 28971
252.37/253.08	o 28970
254.86/255.57	o 28968
257.37/258.04	o 28917
259.76/260.47	o 28911
262.24/262.96	o 28898
264.72/265.44	o 28892
267.22/267.91	o 28891
269.62/270.36	o 28889
272.09/272.83	o 28886
274.58/275.31	o 28880
276.97/277.77	o 28879
279.55/280.39	o 28857
282.05/282.88	o 28851
284.54/285.31	o 28837
286.95/287.78	o 28771
289.44/290.28	o 28765
291.83/292.69	o 28760
294.52/295.30	o 28692
297.11/297.90	o 28681
299.50/300.30	o 28668
301.98/302.89	o 28665
304.49/305.33	o 28656
306.98/307.80	o 28650
309.46/310.38	o 28646
312.06/312.97	o 28637
314.54/315.49	o 28614
317.03/317.91	o 28611
319.51/320.43	o 28610
322.11/323.09	o 28588
324.62/325.59	o 28577
327.10/328.07	o 28520
329.59/330.54	o 28510
331.99/333.00	o 28504
334.50/335.42	o 28501
336.99/337.91	o 28495
339.37/340.37	o 28475
341.87/342.83	o 28465
344.36/345.35	o 28452
346.85/347.83	o 28367
349.34/350.32	o 28365
351.82/352.88	o 28335
354.33/355.32	o 28327
356.83/357.80	o 28318
359.32/360.32	o 28314
361.80/362.85	o 28307
364.19/365.28	o 28294
366.79/367.82	o 28292
369.26/370.34	o 28281
371.65/372.76	o 28254
374.06/375.18	o 28233
376.65/377.74	o 28222
379.24/380.36	o 28183
381.81/382.95	o 28133
384.31/385.48	o 28109
386.91/388.05	o 28101
389.43/390.69	o 28087
392.03/393.23	o 28084
394.41/395.65	o 28051
396.91/398.15	o 28047
399.48/400.71	o 28038
401.99/403.20	o 28032
404.38/405.66	o 28028
406.88/408.18	o 28019
409.37/410.67	o 28013
411.85/413.12	o 28004
414.25/415.59	o 27996
416.75/418.04	o 27982
419.15/420.45	o 27972
421.64/422.94	o 27971
424.13/425.41	o 27922
426.52/427.86	o 27914
429.01/430.36	o 27903
431.41/432.78	o 27892
433.92/435.25	o 27885
436.30/437.68	o 27855
438.80/440.17	o 27842
441.30/442.68	o 27841
443.79/445.13	o 27808
446.37/447.74	o 27799
448.97/450.32	o 27793
451.46/452.81	o 27780
454.05/455.44	o 27769
456.54/457.94	o 27760
459.04/460.46	o 27756
461.64/463.04	o 27734
464.20/465.66	o 27723
466.79/468.23	o 27719
469.30/470.77	o 27710
472.00/473.49	o 27707
474.68/476.12	o 27703
477.28/478.74	o 27696
479.96/481.44	o 27691
482.67/484.10	o 27670
485.35/486.81	o 27668
487.94/489.45	o 27661
490.53/492.08	o 27648
666.21/667.88	o 27643
855.09/856.83	o 27633
948.42/950.25	o 27628
1800.05/1802.41	c Somebody sent me a SIGTERM
1800.05/1802.41	s SATISFIABLE
1800.05/1802.41	v x6 x17 x25 x26 x27 x36 x47 x49 x51 x56 x75 x76 x85 x96 x99 x100 x106 x115 x127 x128 x130 x135 x147 x148 x149 x151 x154 x155 x165 x171
1800.05/1802.41	v x175 x176 x177 x180 x182 x183 x189 x192 x193 x194 x195 x203 x211 x212 x214 x215 x216 x220 x221 x222 x224 x226 x227 x228 x232 x233
1800.05/1802.41	v x235 x238 x240 x247 x260 x275 x287 x296 x302 x315 x318 x319 x328 x331 x332 x335 x336 x341 x348 x350 x355 x359 x372 x380 x381 x382
1800.05/1802.41	v x383 x386 x389 x390 x391 x398 x402 x403 x410 x418 x419 x424 x428 x429 x431 x432 x433 x434 x435 x438 x440 x445 x447 x448 x451 x452
1800.05/1802.41	v x453 x454 x456 x457 x458 x459 x460 x461 x473 x477 x478 x481 x489 x492 x495 x496 x497 x501 x504 x509 x510 x511 x512 x513 x516 x518
1800.05/1802.41	v x519 x520 x522 x523 x524 x526 x527 x528 x529 x530 x531 x532 x533 x534 x537 x538 x539 x540 x541 x542 x543 x544 x546 x548
948.51/1802.52	pb2clasp1: no process killed
948.51/1802.52	clasp-1.0: no process killed

Verifier Data (download as text)

OK	27628

Conversion Script Data (download as text)

/tmp/evaluation/351945-1176618140/instance-351945-1176618140.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-351945-1176618140 -o ROOT/results/node72/solver-351945-1176618140 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351945-1176618140.opb /tmp/evaluation/351945-1176618140/temp 

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: 1.01 1.01 1.00 3/77 25322
/proc/meminfo: memFree=1843640/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=124 CPUtime=0
/proc/25322/stat : 25322 (pbclasp) D 25320 25322 24232 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 137852506 126976 23 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234515133833 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/25322/statm: 31 23 17 3 0 3 0

[startup+0.0944809 s]
/proc/loadavg: 1.01 1.01 1.00 3/77 25322
/proc/meminfo: memFree=1843640/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=0.03
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 616 1596 0 0 0 0 3 0 16 0 1 0 137852506 12832768 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 496 343 3 0 233 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12532

[startup+0.102477 s]
/proc/loadavg: 1.01 1.01 1.00 3/77 25322
/proc/meminfo: memFree=1843640/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=0.03
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 616 1596 0 0 0 0 3 0 16 0 1 0 137852506 12832768 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 496 343 3 0 233 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12532

[startup+0.301493 s]
/proc/loadavg: 1.01 1.01 1.00 3/77 25322
/proc/meminfo: memFree=1843640/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=0.03
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 616 1596 0 0 0 0 3 0 16 0 1 0 137852506 12832768 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 496 343 3 0 233 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12532

[startup+0.70153 s]
/proc/loadavg: 1.01 1.01 1.00 3/77 25322
/proc/meminfo: memFree=1843640/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=0.03
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 616 1596 0 0 0 0 3 0 16 0 1 0 137852506 12832768 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 496 343 3 0 233 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12532

[startup+1.5016 s]
/proc/loadavg: 1.01 1.01 1.00 2/80 25332
/proc/meminfo: memFree=1841312/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=0.03
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 616 1596 0 0 0 0 3 0 16 0 1 0 137852506 12832768 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 496 343 3 0 233 0
[pid=25330] ppid=25322 vsize=5352 CPUtime=0
/proc/25330/stat : 25330 (sh) S 25322 25322 24232 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 137852514 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25330/statm: 1338 224 188 169 0 49 0
[pid=25332] ppid=25330 vsize=3216 CPUtime=1.41
/proc/25332/stat : 25332 (clasp-1.0) R 25330 25322 24232 0 -1 4194304 467 0 2 0 141 0 0 0 25 0 1 0 137852514 3293184 431 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784803 0 0 4096 0 0 0 0 17 1 0 0
/proc/25332/statm: 804 431 249 81 0 178 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 21100

[startup+3.10175 s]
/proc/loadavg: 1.01 1.01 1.00 2/80 25332
/proc/meminfo: memFree=1841248/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=2.66
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 754 3437 0 2 1 0 263 2 16 0 1 0 137852506 12832768 499 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 3133 499 343 3 0 233 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 12532

[startup+6.30104 s]
/proc/loadavg: 1.01 1.01 1.00 2/80 25348
/proc/meminfo: memFree=1841448/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=5.2
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 875 5276 0 2 1 0 516 3 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=25346] ppid=25322 vsize=5352 CPUtime=0
/proc/25346/stat : 25346 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137853031 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25346/statm: 1338 224 188 169 0 49 0
[pid=25348] ppid=25346 vsize=3216 CPUtime=1.04
/proc/25348/stat : 25348 (clasp-1.0) R 25346 25322 24232 0 -1 4194304 462 0 0 0 104 0 0 0 25 0 1 0 137853031 3293184 424 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782644 0 0 4096 0 0 0 0 17 1 0 0
/proc/25348/statm: 804 424 249 81 0 178 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 21100

[startup+12.7016 s]
/proc/loadavg: 1.09 1.02 1.01 2/80 25364
/proc/meminfo: memFree=1841120/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=10.29
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 1109 8952 0 2 1 1 1021 6 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=25362] ppid=25322 vsize=5352 CPUtime=0
/proc/25362/stat : 25362 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137853540 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25362/statm: 1338 224 188 169 0 49 0
[pid=25364] ppid=25362 vsize=3332 CPUtime=2.35
/proc/25364/stat : 25364 (clasp-1.0) R 25362 25322 24232 0 -1 4194304 476 0 0 0 235 0 0 0 25 0 1 0 137853540 3411968 438 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617498 0 0 4096 0 0 0 0 17 1 0 0
/proc/25364/statm: 833 438 249 81 0 207 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 21216

[startup+25.5028 s]
/proc/loadavg: 1.07 1.02 1.00 2/80 25404
/proc/meminfo: memFree=1841184/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=23.07
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 1691 18142 0 2 1 1 2292 13 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=25402] ppid=25322 vsize=5352 CPUtime=0
/proc/25402/stat : 25402 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137854820 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25402/statm: 1338 224 188 169 0 49 0
[pid=25404] ppid=25402 vsize=3332 CPUtime=2.34
/proc/25404/stat : 25404 (clasp-1.0) R 25402 25322 24232 0 -1 4194304 476 0 0 0 234 0 0 0 25 0 1 0 137854820 3411968 438 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737587 0 0 4096 0 0 0 0 17 1 0 0
/proc/25404/statm: 833 438 249 81 0 207 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 21216

[startup+51.1021 s]
/proc/loadavg: 1.04 1.02 1.00 2/80 25484
/proc/meminfo: memFree=1841032/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=48.6
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 2856 36523 0 2 2 3 4830 25 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=25482] ppid=25322 vsize=5352 CPUtime=0
/proc/25482/stat : 25482 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137857380 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25482/statm: 1338 224 188 169 0 49 0
[pid=25484] ppid=25482 vsize=3332 CPUtime=2.34
/proc/25484/stat : 25484 (clasp-1.0) R 25482 25322 24232 0 -1 4194304 476 0 0 0 234 0 0 0 25 0 1 0 137857380 3411968 438 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784637 0 0 4096 0 0 0 0 17 1 0 0
/proc/25484/statm: 833 438 249 81 0 207 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 21216

[startup+102.307 s]
/proc/loadavg: 1.02 1.01 1.00 2/80 25644
/proc/meminfo: memFree=1840696/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=99.84
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 5182 73303 0 2 5 6 9922 51 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=25642] ppid=25322 vsize=5352 CPUtime=0
/proc/25642/stat : 25642 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137862520 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25642/statm: 1338 224 188 169 0 49 0
[pid=25644] ppid=25642 vsize=3332 CPUtime=2.15
/proc/25644/stat : 25644 (clasp-1.0) R 25642 25322 24232 0 -1 4194304 475 0 0 0 215 0 0 0 25 0 1 0 137862520 3411968 437 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0
/proc/25644/statm: 833 437 249 81 0 207 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 21216

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/80 25828
/proc/meminfo: memFree=1840448/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=161.49
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 7973 117491 0 2 7 9 16052 81 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 12532

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26020
/proc/meminfo: memFree=1840304/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=220.42
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 10641 159785 0 2 10 13 21908 111 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26018] ppid=25322 vsize=5352 CPUtime=0
/proc/26018/stat : 26018 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137874600 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26018/statm: 1338 224 188 169 0 49 0
[pid=26020] ppid=26018 vsize=3216 CPUtime=1.34
/proc/26020/stat : 26020 (clasp-1.0) R 26018 25322 24232 0 -1 4194304 468 0 0 0 134 0 0 0 25 0 1 0 137874601 3293184 430 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715254 0 0 4096 0 0 0 0 17 1 0 0
/proc/26020/statm: 804 430 249 81 0 178 0
Current children cumulated CPU time (s) 221.76
Current children cumulated vsize (KiB) 21100

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26212
/proc/meminfo: memFree=1839984/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=279.67
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 13431 204007 0 2 13 16 27795 143 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26210] ppid=25322 vsize=5352 CPUtime=0
/proc/26210/stat : 26210 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137880546 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26210/statm: 1338 224 188 169 0 49 0
[pid=26212] ppid=26210 vsize=3216 CPUtime=1.88
/proc/26212/stat : 26212 (clasp-1.0) R 26210 25322 24232 0 -1 4194304 472 0 0 0 188 0 0 0 25 0 1 0 137880546 3293184 434 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737694 0 0 4096 0 0 0 0 17 0 0 0
/proc/26212/statm: 804 434 249 81 0 178 0
Current children cumulated CPU time (s) 281.55
Current children cumulated vsize (KiB) 21100

[startup+342.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/80 26404
/proc/meminfo: memFree=1839984/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=339.47
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 16215 248230 0 2 17 18 33738 174 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0

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

Current children cumulated CPU time (s) 1420.18
Current children cumulated vsize (KiB) 23884

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26910
/proc/meminfo: memFree=1835944/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=948.51
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26908] ppid=25322 vsize=5352 CPUtime=0
/proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26908/statm: 1338 224 188 169 0 49 0
[pid=26910] ppid=26908 vsize=6000 CPUtime=531.63
/proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1151 0 0 0 53161 2 0 0 25 0 1 0 137947533 6144000 1113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 0 0 0
/proc/26910/statm: 1500 1113 249 81 0 874 0
Current children cumulated CPU time (s) 1480.14
Current children cumulated vsize (KiB) 23884

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26910
/proc/meminfo: memFree=1835880/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=948.51
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26908] ppid=25322 vsize=5352 CPUtime=0
/proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26908/statm: 1338 224 188 169 0 49 0
[pid=26910] ppid=26908 vsize=6000 CPUtime=591.6
/proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1151 0 0 0 59158 2 0 0 25 0 1 0 137947533 6144000 1113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 0 0 0
/proc/26910/statm: 1500 1113 249 81 0 874 0
Current children cumulated CPU time (s) 1540.11
Current children cumulated vsize (KiB) 23884

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26910
/proc/meminfo: memFree=1835304/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=948.51
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26908] ppid=25322 vsize=5352 CPUtime=0
/proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26908/statm: 1338 224 188 169 0 49 0
[pid=26910] ppid=26908 vsize=6676 CPUtime=651.56
/proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1298 0 0 0 65154 2 0 0 25 0 1 0 137947533 6836224 1260 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 2969128 0 0 4096 0 0 0 0 17 1 0 0
/proc/26910/statm: 1669 1260 249 81 0 1043 0
Current children cumulated CPU time (s) 1600.07
Current children cumulated vsize (KiB) 24560

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26910
/proc/meminfo: memFree=1835048/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=948.51
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26908] ppid=25322 vsize=5352 CPUtime=0
/proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26908/statm: 1338 224 188 169 0 49 0
[pid=26910] ppid=26908 vsize=6808 CPUtime=711.52
/proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1347 0 0 0 71150 2 0 0 25 0 1 0 137947533 6971392 1309 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 2969427 0 0 4096 0 0 0 0 17 0 0 0
/proc/26910/statm: 1702 1309 249 81 0 1076 0
Current children cumulated CPU time (s) 1660.03
Current children cumulated vsize (KiB) 24692

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26910
/proc/meminfo: memFree=1834664/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=948.51
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26908] ppid=25322 vsize=5352 CPUtime=0
/proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26908/statm: 1338 224 188 169 0 49 0
[pid=26910] ppid=26908 vsize=7104 CPUtime=771.49
/proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1427 0 0 0 77147 2 0 0 25 0 1 0 137947533 7274496 1389 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784634 0 0 4096 0 0 0 0 17 0 0 0
/proc/26910/statm: 1776 1389 249 81 0 1150 0
Current children cumulated CPU time (s) 1720
Current children cumulated vsize (KiB) 24988

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26910
/proc/meminfo: memFree=1834536/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=948.51
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26908] ppid=25322 vsize=5352 CPUtime=0
/proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26908/statm: 1338 224 188 169 0 49 0
[pid=26910] ppid=26908 vsize=7104 CPUtime=831.46
/proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1434 0 0 0 83144 2 0 0 25 0 1 0 137947533 7274496 1396 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616320 0 0 4096 0 0 0 0 17 0 0 0
/proc/26910/statm: 1776 1396 249 81 0 1150 0
Current children cumulated CPU time (s) 1779.97
Current children cumulated vsize (KiB) 24988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26910
/proc/meminfo: memFree=1834472/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=948.51
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26908] ppid=25322 vsize=5352 CPUtime=0
/proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26908/statm: 1338 224 188 169 0 49 0
[pid=26910] ppid=26908 vsize=7104 CPUtime=851.54
/proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1434 0 0 0 85152 2 0 0 25 0 1 0 137947533 7274496 1396 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 0 0 0
/proc/26910/statm: 1776 1396 249 81 0 1150 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 24988

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

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26910
/proc/meminfo: memFree=1834472/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=948.51
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26908] ppid=25322 vsize=5352 CPUtime=0
/proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26908/statm: 1338 224 188 169 0 49 0
[pid=26910] ppid=26908 vsize=7104 CPUtime=851.54
/proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1434 0 0 0 85152 2 0 0 25 0 1 0 137947533 7274496 1396 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 0 0 0
/proc/26910/statm: 1776 1396 249 81 0 1150 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 24988

# WARNING:
# current cumulated CPU time (948.51 s) is less than in the last sample (1800.05 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (851.54 s) to the 'lost time'.

[startup+1802.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26910
/proc/meminfo: memFree=1834472/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=948.51
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23602 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526650466 0 16384 4230 16384 18446744071563648864 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26908] ppid=25322 vsize=0 CPUtime=0
/proc/26908/stat : 26908 (sh) Z 25322 25322 24232 0 -1 4195340 287 121 0 0 0 0 0 0 16 0 1 0 137947533 0 0 18446744073709551615 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 1 0 0
/proc/26908/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 948.51
Current children cumulated vsize (KiB) 12532

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

[startup+1802.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 26910
/proc/meminfo: memFree=1834472/2055920 swapFree=4171824/4192956
[pid=25322] ppid=25320 vsize=12532 CPUtime=948.51
/proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23602 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526650466 0 16384 4230 16384 18446744071563648864 0 0 17 0 0 0
/proc/25322/statm: 3133 500 343 3 0 233 0
[pid=26908] ppid=25322 vsize=0 CPUtime=0
/proc/26908/stat : 26908 (sh) Z 25322 25322 24232 0 -1 4195340 287 121 0 0 0 0 0 0 16 0 1 0 137947533 0 0 18446744073709551615 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 1 0 0
/proc/26908/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 948.51
Current children cumulated vsize (KiB) 12532

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 851.54
#  lost CPU user time (s): 851.52
#  lost CPU system time (s): 0.02

Real time (s): 1802.54
CPU time (s): 1800.08
CPU user time (s): 1797.23
CPU system time (s): 2.85057
CPU usage (%): 99.8632
Max. virtual memory (cumulated for all children) (KiB): 25832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 945.705
system time used= 2.83057
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390783
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11840
involuntary context switches= 17794

runsolver used 1.65475 second user time and 4.92925 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Sun Apr 15 06:22:21 UTC 2007

IDJOB= 351945
IDBENCH= 1866
IDSOLVER= 167
FILE ID= node72/351945-1176618140

PBS_JOBID= 4557058

Free space on /tmp= 66564 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
COMMAND LINE= pbclasp instance-351945-1176618140.opb /tmp/evaluation/351945-1176618140/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-351945-1176618140 -o ROOT/results/node72/conversion-351945-1176618140 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351945-1176618140/instance-351945-1176618140.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  38a2c469f9dc1120b8fe634a693ac03d

RANDOM SEED= 614815797

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:       1844048 kB
Buffers:         22832 kB
Cached:          87956 kB
SwapCached:       2160 kB
Active:          55280 kB
Inactive:        79104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1844048 kB
SwapTotal:     4192956 kB
SwapFree:      4171824 kB
Dirty:             516 kB
Writeback:           0 kB
Mapped:          38824 kB
Slab:            62968 kB
Committed_AS:  1926328 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= 66564 MiB

End job on node72 on Sun Apr 15 06:52:25 UTC 2007