Trace number 357374

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
oree 0.1.2 alpha? (TO) 1801.91 1802.36

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-momentum3.opb
MD5SUM84f1974aba41ac2d1ba5ffc7a29fc60a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10842138728
Best CPU time to get the best result obtained on this benchmark1804.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10752000000
Optimality of the best value was proved NO
Number of variables93400
Total number of constraints49198
Number of constraints which are clauses6081
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints42667
Minimum length of a constraint1
Maximum length of a constraint1018
Number of terms in the objective function 87370
Biggest coefficient in the objective function 1310720000
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 13573186735
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 10240000000000000000000000000
Number of bits of the biggest number in a constraint 94
Biggest sum of numbers in a constraint 29801266744107042664773061860
Number of bits of the biggest sum of numbers95
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
49.97/50.05	c ...done
49.97/50.05	c #vars=93400 #constraints=50051 hasObjective=yes
58.57/58.68	c res. mode=mod
58.57/58.68	c VSIDS like heuristics
58.57/58.68	c complete search running
78.26/78.32	c restart after 401 decisions
79.56/79.64	c nbDecision=500 #constraints=50059
82.46/82.57	c restart after 801 decisions
86.56/86.62	c nbDecision=1000 #constraints=50064
98.06/98.14	c nbDecision=1500 #constraints=50069
99.26/99.33	c restart after 1601 decisions
104.86/104.93	c nbDecision=2000 #constraints=50073
118.66/118.77	c nbDecision=2500 #constraints=50077
131.75/131.85	c nbDecision=3000 #constraints=50081
132.95/133.00	c restart after 3201 decisions
134.85/134.98	c nbDecision=3500 #constraints=50083
138.25/138.33	c nbDecision=4000 #constraints=50087
141.95/142.09	c nbDecision=4500 #constraints=50091
150.34/150.46	c nbDecision=5000 #constraints=50094
168.94/169.09	c nbDecision=5500 #constraints=50100
171.74/171.81	c nbDecision=6000 #constraints=50102
176.74/176.88	c restart after 6401 decisions
177.24/177.39	c nbDecision=6500 #constraints=50105
180.74/180.83	c nbDecision=7000 #constraints=50108
185.23/185.36	c nbDecision=7500 #constraints=50110
198.83/199.00	c nbDecision=8000 #constraints=50113
210.53/210.64	c nbDecision=8500 #constraints=50118
213.33/213.50	c nbDecision=9000 #constraints=50120
220.82/220.94	c nbDecision=9500 #constraints=50122
224.22/224.30	c nbDecision=10000 #constraints=50124
229.52/229.70	c nbDecision=10500 #constraints=50126
232.32/232.43	c nbDecision=11000 #constraints=50128
237.62/237.74	c nbDecision=11500 #constraints=50130
254.03/254.16	c nbDecision=12000 #constraints=50134
260.72/260.81	c nbDecision=12500 #constraints=50139
262.52/262.66	c restart after 12801 decisions
263.32/263.42	c nbDecision=13000 #constraints=50140
266.62/266.74	c nbDecision=13500 #constraints=50142
271.52/271.63	c nbDecision=14000 #constraints=50144
274.92/275.00	c nbDecision=14500 #constraints=50146
277.12/277.27	c nbDecision=15000 #constraints=50147
282.51/282.62	c nbDecision=15500 #constraints=50149
288.61/288.72	c nbDecision=16000 #constraints=50151
292.91/293.09	c nbDecision=16500 #constraints=50152
295.31/295.40	c nbDecision=17000 #constraints=50154
300.80/300.90	c nbDecision=17500 #constraints=50156
313.20/313.34	c nbDecision=18000 #constraints=50158
328.71/328.86	c nbDecision=18500 #constraints=50161
336.61/336.74	c nbDecision=19000 #constraints=50164
339.10/339.27	c nbDecision=19500 #constraints=50165
343.00/343.12	c nbDecision=20000 #constraints=50167
345.20/345.37	c nbDecision=20500 #constraints=50168
348.70/348.84	c nbDecision=21000 #constraints=50171
354.40/354.59	c nbDecision=21500 #constraints=50175
356.80/356.90	c nbDecision=22000 #constraints=50176
370.39/370.55	c nbDecision=22500 #constraints=50180
374.69/374.81	c nbDecision=23000 #constraints=50182
377.29/377.50	c nbDecision=23500 #constraints=50183
379.79/379.92	c nbDecision=24000 #constraints=50185
382.29/382.47	c nbDecision=24500 #constraints=50187
386.59/386.72	c nbDecision=25000 #constraints=50191
394.38/394.57	c nbDecision=25500 #constraints=50193
394.89/395.05	c restart after 25601 decisions
399.98/400.18	c nbDecision=26000 #constraints=50194
404.88/405.08	c nbDecision=26500 #constraints=50195
414.18/414.35	c nbDecision=27000 #constraints=50199
416.38/416.50	c nbDecision=27500 #constraints=50200
418.58/418.77	c nbDecision=28000 #constraints=50201
422.08/422.20	c nbDecision=28500 #constraints=50203
424.18/424.33	c nbDecision=29000 #constraints=50204
426.58/426.70	c nbDecision=29500 #constraints=50206
429.28/429.49	c nbDecision=30000 #constraints=50208
434.98/435.14	c nbDecision=30500 #constraints=50211
439.88/440.02	c nbDecision=31000 #constraints=50212
448.17/448.33	c nbDecision=31500 #constraints=50214
450.17/450.37	c nbDecision=32000 #constraints=50215
452.27/452.50	c nbDecision=32500 #constraints=50216
455.07/455.27	c nbDecision=33000 #constraints=50218
456.97/457.13	c nbDecision=33500 #constraints=50219
460.47/460.68	c nbDecision=34000 #constraints=50221
463.47/463.60	c nbDecision=34500 #constraints=50223
476.27/476.45	c nbDecision=35000 #constraints=50225
481.46/481.62	c nbDecision=35500 #constraints=50226
487.96/488.13	c nbDecision=36000 #constraints=50227
497.06/497.28	c nbDecision=36500 #constraints=50229
503.66/503.90	c nbDecision=37000 #constraints=50230
506.76/506.92	c nbDecision=37500 #constraints=50231
510.45/510.62	c nbDecision=38000 #constraints=50233
512.56/512.71	c nbDecision=38500 #constraints=50234
514.66/514.86	c nbDecision=39000 #constraints=50235
517.05/517.21	c nbDecision=39500 #constraints=50236
520.45/520.66	c nbDecision=40000 #constraints=50238
531.15/531.40	c nbDecision=40500 #constraints=50240
535.65/535.83	c nbDecision=41000 #constraints=50242
538.65/538.83	c nbDecision=41500 #constraints=50243
540.85/541.00	c nbDecision=42000 #constraints=50244
543.05/543.20	c nbDecision=42500 #constraints=50245
545.24/545.49	c nbDecision=43000 #constraints=50246
547.94/548.18	c nbDecision=43500 #constraints=50247
554.04/554.21	c nbDecision=44000 #constraints=50249
564.75/564.92	c nbDecision=44500 #constraints=50252
574.54/574.75	c nbDecision=45000 #constraints=50255
576.94/577.18	c nbDecision=45500 #constraints=50256
579.04/579.20	c nbDecision=46000 #constraints=50257
582.64/582.83	c nbDecision=46500 #constraints=50259
587.34/587.59	c nbDecision=47000 #constraints=50260
590.14/590.38	c nbDecision=47500 #constraints=50261
604.43/604.69	c nbDecision=48000 #constraints=50265
607.23/607.44	c nbDecision=48500 #constraints=50266
610.63/610.87	c nbDecision=49000 #constraints=50267
616.33/616.53	c nbDecision=49500 #constraints=50269
619.13/619.40	c nbDecision=50000 #constraints=50270
622.13/622.39	c nbDecision=50500 #constraints=50271
624.43/624.63	c nbDecision=51000 #constraints=50272
624.93/625.19	c restart after 51201 decisions
626.63/626.88	c nbDecision=51500 #constraints=50272
629.53/629.73	c nbDecision=52000 #constraints=50273
632.52/632.74	c nbDecision=52500 #constraints=50274
634.92/635.16	c nbDecision=53000 #constraints=50275
637.12/637.39	c nbDecision=53500 #constraints=50276
640.03/640.26	c nbDecision=54000 #constraints=50277
643.12/643.32	c nbDecision=54500 #constraints=50278
645.52/645.79	c nbDecision=55000 #constraints=50279
648.82/649.06	c nbDecision=55500 #constraints=50281
651.32/651.52	c nbDecision=56000 #constraints=50282
653.92/654.19	c nbDecision=56500 #constraints=50284
658.12/658.35	c nbDecision=57000 #constraints=50285
662.92/663.13	c nbDecision=57500 #constraints=50286
669.12/669.32	c nbDecision=58000 #constraints=50289
671.93/672.17	c nbDecision=58500 #constraints=50290
673.32/673.59	c nbDecision=59000 #constraints=50290
675.72/675.97	c nbDecision=59500 #constraints=50291
679.82/680.04	c nbDecision=60000 #constraints=50292
682.82/683.04	c nbDecision=60500 #constraints=50293
685.12/685.38	c nbDecision=61000 #constraints=50294
687.22/687.45	c nbDecision=61500 #constraints=50295
690.32/690.50	c nbDecision=62000 #constraints=50297
692.62/692.85	c nbDecision=62500 #constraints=50298
704.21/704.44	c nbDecision=63000 #constraints=50301
705.61/705.86	c nbDecision=63500 #constraints=50301
708.71/708.91	c nbDecision=64000 #constraints=50302
711.01/711.24	c nbDecision=64500 #constraints=50303
713.71/713.92	c nbDecision=65000 #constraints=50305
715.61/715.88	c nbDecision=65500 #constraints=50306
720.51/720.79	c nbDecision=66000 #constraints=50307
726.60/726.80	c nbDecision=66500 #constraints=50309
732.30/732.51	c nbDecision=67000 #constraints=50311
734.80/735.01	c nbDecision=67500 #constraints=50312
737.10/737.33	c nbDecision=68000 #constraints=50313
739.40/739.62	c nbDecision=68500 #constraints=50314
742.80/743.07	c nbDecision=69000 #constraints=50315
745.00/745.28	c nbDecision=69500 #constraints=50316
747.70/747.94	c nbDecision=70000 #constraints=50317
750.10/750.37	c nbDecision=70500 #constraints=50318
752.39/752.66	c nbDecision=71000 #constraints=50319
754.59/754.83	c nbDecision=71500 #constraints=50320
756.79/757.05	c nbDecision=72000 #constraints=50321
759.29/759.56	c nbDecision=72500 #constraints=50322
761.29/761.59	c nbDecision=73000 #constraints=50323
765.59/765.82	c nbDecision=73500 #constraints=50324
771.79/772.02	c nbDecision=74000 #constraints=50325
777.29/777.52	c nbDecision=74500 #constraints=50326
787.29/787.58	c nbDecision=75000 #constraints=50328
788.79/789.03	c nbDecision=75500 #constraints=50328
796.20/796.44	c nbDecision=76000 #constraints=50330
797.59/797.85	c nbDecision=76500 #constraints=50330
802.09/802.39	c nbDecision=77000 #constraints=50331
811.48/811.73	c nbDecision=77500 #constraints=50333
820.08/820.37	c nbDecision=78000 #constraints=50335
822.98/823.24	c nbDecision=78500 #constraints=50336
825.28/825.51	c nbDecision=79000 #constraints=50337
826.68/826.91	c nbDecision=79500 #constraints=50337
830.08/830.32	c nbDecision=80000 #constraints=50338
832.88/833.13	c nbDecision=80500 #constraints=50340
834.68/834.98	c nbDecision=81000 #constraints=50341
836.68/836.90	c nbDecision=81500 #constraints=50342
838.68/838.93	c nbDecision=82000 #constraints=50343
840.67/840.99	c nbDecision=82500 #constraints=50344
843.97/844.23	c nbDecision=83000 #constraints=50345
849.08/849.32	c nbDecision=83500 #constraints=50346
853.77/854.08	c nbDecision=84000 #constraints=50347
856.67/856.91	c nbDecision=84500 #constraints=50348
861.17/861.47	c nbDecision=85000 #constraints=50349
869.36/869.65	c nbDecision=85500 #constraints=50351
881.07/881.31	c nbDecision=86000 #constraints=50353
883.27/883.59	c nbDecision=86500 #constraints=50354
885.97/886.21	c nbDecision=87000 #constraints=50355
887.97/888.28	c nbDecision=87500 #constraints=50356
890.97/891.26	c nbDecision=88000 #constraints=50357
893.27/893.55	c nbDecision=88500 #constraints=50358
907.36/907.62	c nbDecision=89000 #constraints=50362
967.34/967.66	c nbDecision=89500 #constraints=50394
1022.53/1022.88	c nbDecision=90000 #constraints=50414
1130.00/1130.30	c nbDecision=90500 #constraints=50465
1221.58/1221.93	c nbDecision=91000 #constraints=50508
1283.87/1284.26	c nbDecision=91500 #constraints=50533
1370.35/1370.72	c nbDecision=92000 #constraints=50582
1433.93/1434.40	c nbDecision=92500 #constraints=50624
1461.43/1461.83	c nbDecision=93000 #constraints=50640
1475.62/1476.00	c nbDecision=93500 #constraints=50644
1623.19/1623.60	c nbDecision=94000 #constraints=50692
1642.68/1643.12	c nbDecision=94500 #constraints=50702
1652.18/1652.62	c nbDecision=95000 #constraints=50707
1656.58/1657.00	c nbDecision=95500 #constraints=50710
1663.07/1663.56	c nbDecision=96000 #constraints=50713
1668.38/1668.88	c nbDecision=96500 #constraints=50716
1674.97/1675.41	c nbDecision=97000 #constraints=50719
1680.07/1680.59	c nbDecision=97500 #constraints=50721
1684.27/1684.78	c nbDecision=98000 #constraints=50723
1688.47/1688.92	c nbDecision=98500 #constraints=50725
1692.48/1692.95	c nbDecision=99000 #constraints=50727
1696.98/1697.41	c nbDecision=99500 #constraints=50729
1701.97/1702.46	c nbDecision=100000 #constraints=50731
1706.07/1706.56	c nbDecision=100500 #constraints=50732
1710.87/1711.33	c nbDecision=101000 #constraints=50734
1716.06/1716.58	c nbDecision=101500 #constraints=50736
1720.36/1720.90	c nbDecision=102000 #constraints=50737
1723.27/1723.76	c restart after 102401 decisions
1724.47/1724.95	c nbDecision=102500 #constraints=50738
1728.56/1729.08	c nbDecision=103000 #constraints=50739
1734.06/1734.53	c nbDecision=103500 #constraints=50741
1738.16/1738.69	c nbDecision=104000 #constraints=50742
1741.85/1742.34	c nbDecision=104500 #constraints=50743
1745.15/1745.62	c nbDecision=105000 #constraints=50744
1749.66/1750.15	c nbDecision=105500 #constraints=50746
1761.75/1762.24	c nbDecision=106000 #constraints=50752
1765.85/1766.33	c nbDecision=106500 #constraints=50753
1771.85/1772.37	c nbDecision=107000 #constraints=50755
1776.05/1776.51	c nbDecision=107500 #constraints=50756
1785.14/1785.65	c nbDecision=108000 #constraints=50761
1800.05/1800.50	Received signal 15
1801.75/1802.22	
1801.75/1802.22	s UNKNOWN
1801.75/1802.22	
1801.75/1802.22	c user time= 1800.66 s
1801.75/1802.22	c system time= 1.11183 s
1801.75/1802.22	c wall clock time=1802.22

Verifier Data (download as text)

ERROR: no interpretation found !

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-357374-1176996067 -o ROOT/results/node72/solver-357374-1176996067 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357374-1176996067/instance-357374-1176996067.opb mod 

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.28 1.06 1.02 3/78 904
/proc/meminfo: memFree=1226488/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=1468 CPUtime=0
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175646386 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828864 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 367 162 127 317 0 46 0

[startup+0.100419 s]
/proc/loadavg: 1.28 1.06 1.02 3/78 904
/proc/meminfo: memFree=1226488/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=3440 CPUtime=0.09
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 836 0 0 0 9 0 0 0 18 0 1 0 175646386 3522560 591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 860 591 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.201428 s]
/proc/loadavg: 1.28 1.06 1.02 3/78 904
/proc/meminfo: memFree=1226488/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=5520 CPUtime=0.19
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 1499 0 0 0 19 0 0 0 18 0 1 0 175646386 5652480 997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 1380 997 128 317 0 1059 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5520

[startup+0.301437 s]
/proc/loadavg: 1.28 1.06 1.02 3/78 904
/proc/meminfo: memFree=1226488/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=5520 CPUtime=0.29
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 1499 0 0 0 29 0 0 0 19 0 1 0 175646386 5652480 997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 1380 997 128 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701473 s]
/proc/loadavg: 1.28 1.06 1.02 3/78 904
/proc/meminfo: memFree=1226488/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=9744 CPUtime=0.69
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 2570 0 0 0 68 1 0 0 22 0 1 0 175646386 9977856 2068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 2436 2069 131 317 0 2115 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9744

[startup+1.50154 s]
/proc/loadavg: 1.28 1.06 1.02 2/79 905
/proc/meminfo: memFree=1214896/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=17484 CPUtime=1.49
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 4486 0 0 0 146 3 0 0 25 0 1 0 175646386 17903616 3984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 4371 3984 131 317 0 4050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17484

[startup+3.10169 s]
/proc/loadavg: 1.33 1.08 1.02 2/79 905
/proc/meminfo: memFree=1205552/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=31444 CPUtime=3.09
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 7977 0 0 0 303 6 0 0 25 0 1 0 175646386 32198656 7475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 7861 7475 131 317 0 7540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31444

[startup+6.30198 s]
/proc/loadavg: 1.33 1.08 1.02 2/79 905
/proc/meminfo: memFree=1174256/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=59596 CPUtime=6.29
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 15024 0 0 0 618 11 0 0 25 0 1 0 175646386 61026304 14522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 14899 14524 131 317 0 14578 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59596

[startup+12.7016 s]
/proc/loadavg: 1.67 1.16 1.05 2/79 905
/proc/meminfo: memFree=1120560/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=113916 CPUtime=12.69
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 28606 0 0 0 1247 22 0 0 25 0 1 0 175646386 116649984 28104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 28479 28104 131 317 0 28158 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113916

[startup+25.5017 s]
/proc/loadavg: 1.64 1.17 1.05 2/78 905
/proc/meminfo: memFree=1010936/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=225852 CPUtime=25.48
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 56522 0 0 0 2506 42 0 0 25 0 1 0 175646386 231272448 56020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 56463 56020 131 317 0 56142 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 225852

[startup+51.1011 s]
/proc/loadavg: 1.42 1.15 1.05 2/78 905
/proc/meminfo: memFree=769656/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=474108 CPUtime=51.07
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 118540 0 0 0 5025 82 0 0 25 0 1 0 175646386 485486592 118005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 118527 118005 137 317 0 118206 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 474108

[startup+102.302 s]
/proc/loadavg: 1.17 1.12 1.04 2/78 905
/proc/meminfo: memFree=668536/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=569900 CPUtime=102.26
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 141969 0 0 0 10135 91 0 0 25 0 1 0 175646386 583577600 141091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 142475 141091 139 317 0 142154 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 569900

[startup+162.301 s]
/proc/loadavg: 1.06 1.10 1.04 2/78 905
/proc/meminfo: memFree=668600/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=569900 CPUtime=162.24
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 141969 0 0 0 16133 91 0 0 25 0 1 0 175646386 583577600 141091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 142475 141091 139 317 0 142154 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 569900

[startup+222.306 s]
/proc/loadavg: 1.02 1.08 1.03 2/78 905
/proc/meminfo: memFree=668088/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=570472 CPUtime=222.23
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142116 0 0 0 22132 91 0 0 25 0 1 0 175646386 584163328 141238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 142618 141238 139 317 0 142297 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 570472

[startup+282.301 s]
/proc/loadavg: 1.01 1.06 1.03 2/78 905
/proc/meminfo: memFree=667448/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=571108 CPUtime=282.21
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142260 0 0 0 28129 92 0 0 25 0 1 0 175646386 584814592 141382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 142777 141382 139 317 0 142456 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 571108

[startup+342.302 s]
/proc/loadavg: 1.00 1.05 1.02 2/78 905
/proc/meminfo: memFree=666616/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=571804 CPUtime=342.2
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142446 0 0 0 34127 93 0 0 25 0 1 0 175646386 585527296 141568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 142951 141568 139 317 0 142630 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 571804

[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.02 2/78 905
/proc/meminfo: memFree=666104/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=572480 CPUtime=402.18
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142622 0 0 0 40125 93 0 0 25 0 1 0 175646386 586219520 141744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746922 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 143120 141744 139 317 0 142799 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 572480

[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/78 905
/proc/meminfo: memFree=665464/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=573016 CPUtime=462.17
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142754 0 0 0 46123 94 0 0 25 0 1 0 175646386 586768384 141876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 143254 141876 139 317 0 142933 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 573016

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 905
/proc/meminfo: memFree=664696/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=573812 CPUtime=522.15
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 142960 0 0 0 52121 94 0 0 25 0 1 0 175646386 587583488 142082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 143453 142082 139 317 0 143132 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 573812

[startup+582.302 s]
/proc/loadavg: 1.05 1.03 1.00 2/78 905
/proc/meminfo: memFree=664120/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=574416 CPUtime=582.14
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 143081 0 0 0 58119 95 0 0 25 0 1 0 175646386 588201984 142203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 143604 142203 139 317 0 143283 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 574416

[startup+642.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 907
/proc/meminfo: memFree=663608/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=574832 CPUtime=642.12
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 143186 0 0 0 64117 95 0 0 25 0 1 0 175646386 588627968 142308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 143708 142308 139 317 0 143387 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 574832


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

[startup+1002.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 907
/proc/meminfo: memFree=657848/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=580768 CPUtime=1002.04
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 144603 0 0 0 100105 99 0 0 25 0 1 0 175646386 594706432 143725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 145192 143725 139 317 0 144871 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 580768

[startup+1062.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 907
/proc/meminfo: memFree=655032/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=584064 CPUtime=1062.02
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 145360 0 0 0 106103 99 0 0 25 0 1 0 175646386 598081536 144482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 146016 144482 139 317 0 145695 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 584064

[startup+1122.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 907
/proc/meminfo: memFree=652344/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=586760 CPUtime=1122.01
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 146018 0 0 0 112101 100 0 0 25 0 1 0 175646386 600842240 145140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 146690 145140 170 317 0 146369 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 586760

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 907
/proc/meminfo: memFree=649528/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=589824 CPUtime=1181.99
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 146711 0 0 0 118098 101 0 0 25 0 1 0 175646386 603979776 145833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 147456 145833 170 317 0 147135 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 589824

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=645880/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=593652 CPUtime=1241.98
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 147597 0 0 0 124097 101 0 0 25 0 1 0 175646386 607899648 146719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 148413 146719 170 317 0 148092 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 593652

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=642296/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=597408 CPUtime=1301.96
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 148500 0 0 0 130094 102 0 0 25 0 1 0 175646386 611745792 147605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 149352 147605 170 317 0 149031 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 597408

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=636728/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=603520 CPUtime=1361.95
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 149995 0 0 0 136092 103 0 0 25 0 1 0 175646386 618004480 148976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 150880 148976 170 317 0 150559 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 603520

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=633144/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=607676 CPUtime=1421.94
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 151025 0 0 0 142090 104 0 0 25 0 1 0 175646386 622260224 149880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718010 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 151919 149880 170 317 0 151598 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 607676

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=627384/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=613748 CPUtime=1481.92
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 152458 0 0 0 148087 105 0 0 25 0 1 0 175646386 628477952 151313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 153437 151313 170 317 0 153116 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 613748

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=616248/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=625752 CPUtime=1541.91
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 156801 0 0 0 154084 107 0 0 25 0 1 0 175646386 640770048 154020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 156438 154020 170 317 0 156117 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 625752

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=613752/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=629212 CPUtime=1601.9
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 158305 0 0 0 160081 109 0 0 25 0 1 0 175646386 644313088 154696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 157303 154696 170 317 0 156982 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 629212

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=612216/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=631292 CPUtime=1661.87
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159113 0 0 0 166078 109 0 0 25 0 1 0 175646386 646443008 155069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 157823 155069 170 317 0 157502 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 631292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=611064/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=632708 CPUtime=1721.86
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159408 0 0 0 172076 110 0 0 25 0 1 0 175646386 647892992 155364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277211 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 158177 155364 170 317 0 157856 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 632708

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=610040/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=633884 CPUtime=1781.84
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159644 0 0 0 178074 110 0 0 25 0 1 0 175646386 649097216 155600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 158471 155600 170 317 0 158150 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 633884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 907
/proc/meminfo: memFree=609784/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=634184 CPUtime=1800.05
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159711 0 0 0 179894 111 0 0 25 0 1 0 175646386 649404416 155667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284121 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 158546 155667 170 317 0 158225 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 634184

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

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 3/79 908
/proc/meminfo: memFree=609776/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=634184 CPUtime=1801.05
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159711 0 0 0 179994 111 0 0 25 0 1 0 175646386 649404416 155667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 158546 155667 170 317 0 158225 0
Current children cumulated CPU time (s) 1801.05
Current children cumulated vsize (KiB) 634184

[startup+1801.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 908
/proc/meminfo: memFree=609776/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=634184 CPUtime=1801.45
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194304 159711 0 0 0 180034 111 0 0 25 0 1 0 175646386 649404416 155667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 158546 155667 170 317 0 158225 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 634184

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 908
/proc/meminfo: memFree=609776/2055920 swapFree=4157116/4192956
[pid=904] ppid=902 vsize=0 CPUtime=1801.85
/proc/904/stat : 904 (oree) R 902 904 31677 0 -1 4194308 159727 0 0 0 180070 115 0 0 25 0 1 0 175646386 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/904/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1802.36
CPU time (s): 1801.91
CPU user time (s): 1800.7
CPU system time (s): 1.20982
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 634184

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

runsolver used 2.09368 second user time and 4.43832 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Thu Apr 19 15:21:19 UTC 2007

IDJOB= 357374
IDBENCH= 2494
IDSOLVER= 172
FILE ID= node72/357374-1176996067

PBS_JOBID= 4630418

Free space on /tmp= 66154 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb
COMMAND LINE= oree /tmp/evaluation/357374-1176996067/instance-357374-1176996067.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-357374-1176996067 -o ROOT/results/node72/solver-357374-1176996067 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357374-1176996067/instance-357374-1176996067.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  84f1974aba41ac2d1ba5ffc7a29fc60a

RANDOM SEED= 740647055

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:       1227024 kB
Buffers:         31388 kB
Cached:         710104 kB
SwapCached:      16912 kB
Active:         348708 kB
Inactive:       416764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1227024 kB
SwapTotal:     4192956 kB
SwapFree:      4157116 kB
Dirty:          247496 kB
Writeback:          20 kB
Mapped:          30980 kB
Slab:            49008 kB
Committed_AS:  2770948 kB
PageTables:       1796 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= 66154 MiB

End job on node72 on Thu Apr 19 15:51:22 UTC 2007