Trace number 357017

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) 1800.34 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb
MD5SUMc786421e3b1e46216a72d93f7d7302a0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36105
Total number of constraints16727
Number of constraints which are clauses5133
Number of constraints which are cardinality constraints (but not clauses)579
Number of constraints which are nor clauses,nor cardinality constraints11015
Minimum length of a constraint1
Maximum length of a constraint1209
Number of terms in the objective function 7440
Biggest coefficient in the objective function 16499
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 531697
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531697
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/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...
0.69/0.73	c ...done
0.69/0.73	c #vars=36105 #constraints=21029 hasObjective=yes
1.10/1.19	c res. mode=mod
1.10/1.19	c VSIDS like heuristics
1.10/1.19	c complete search running
2.69/2.73	c restart after 401 decisions
2.79/2.86	c nbDecision=500 #constraints=21313
4.29/4.35	c restart after 801 decisions
4.89/4.95	c nbDecision=1000 #constraints=21689
7.49/7.59	c nbDecision=1500 #constraints=22177
8.09/8.16	c restart after 1601 decisions
9.90/9.97	c nbDecision=2000 #constraints=22570
12.89/12.95	c nbDecision=2500 #constraints=23065
15.99/16.01	c nbDecision=3000 #constraints=23562
17.39/17.42	c restart after 3201 decisions
18.79/18.89	c nbDecision=3500 #constraints=23947
22.39/22.43	c nbDecision=4000 #constraints=24444
26.19/26.30	c nbDecision=4500 #constraints=24941
30.28/30.33	c nbDecision=5000 #constraints=25440
35.18/35.22	c nbDecision=5500 #constraints=25938
40.48/40.50	c nbDecision=6000 #constraints=26434
44.48/44.53	c restart after 6401 decisions
44.58/44.70	c nbDecision=6500 #constraints=26829
50.98/51.03	c nbDecision=7000 #constraints=27316
57.78/57.83	c nbDecision=7500 #constraints=27815
64.78/64.82	c nbDecision=8000 #constraints=28308
71.58/71.69	c nbDecision=8500 #constraints=28808
78.67/78.75	c nbDecision=9000 #constraints=29304
86.67/86.73	c nbDecision=9500 #constraints=29799
94.27/94.39	c nbDecision=10000 #constraints=30299
101.86/101.92	c nbDecision=10500 #constraints=30798
110.87/110.91	c nbDecision=11000 #constraints=31260
119.57/119.67	c nbDecision=11500 #constraints=31730
129.86/129.94	c nbDecision=12000 #constraints=32225
141.16/141.21	c nbDecision=12500 #constraints=32712
147.36/147.45	c restart after 12801 decisions
149.65/149.70	c nbDecision=13000 #constraints=33100
161.75/161.81	c nbDecision=13500 #constraints=33590
175.65/175.75	c nbDecision=14000 #constraints=34088
188.75/188.86	c nbDecision=14500 #constraints=34588
203.54/203.61	c nbDecision=15000 #constraints=35085
219.04/219.13	c nbDecision=15500 #constraints=35580
235.04/235.15	c nbDecision=16000 #constraints=36074
251.33/251.41	c nbDecision=16500 #constraints=36572
268.03/268.19	c nbDecision=17000 #constraints=37069
284.83/284.99	c nbDecision=17500 #constraints=37569
302.32/302.41	c nbDecision=18000 #constraints=38070
312.42/312.59	c nbDecision=18500 #constraints=38500
315.12/315.22	c nbDecision=19000 #constraints=39000
317.92/318.02	c nbDecision=19500 #constraints=39500
320.92/321.04	c nbDecision=20000 #constraints=39999
324.21/324.30	c nbDecision=20500 #constraints=40498
327.51/327.66	c nbDecision=21000 #constraints=40995
331.11/331.22	c nbDecision=21500 #constraints=41497
334.81/334.96	c nbDecision=22000 #constraints=41990
337.41/337.54	c nbDecision=22500 #constraints=42482
340.11/340.26	c nbDecision=23000 #constraints=42976
342.90/343.07	c nbDecision=23500 #constraints=43472
345.81/346.00	c nbDecision=24000 #constraints=43971
349.01/349.17	c nbDecision=24500 #constraints=44470
352.41/352.56	c nbDecision=25000 #constraints=44970
355.81/355.95	c nbDecision=25500 #constraints=45469
356.51/356.68	c restart after 25601 decisions
360.21/360.37	c nbDecision=26000 #constraints=45827
367.31/367.45	c nbDecision=26500 #constraints=46324
373.10/373.21	c nbDecision=27000 #constraints=46825
379.30/379.47	c nbDecision=27500 #constraints=47323
384.10/384.29	c nbDecision=28000 #constraints=47801
388.70/388.88	c nbDecision=28500 #constraints=48270
395.50/395.68	c nbDecision=29000 #constraints=48766
402.00/402.12	c nbDecision=29500 #constraints=49244
409.89/410.01	c nbDecision=30000 #constraints=49740
414.29/414.48	c nbDecision=30500 #constraints=50162
416.99/417.11	c nbDecision=31000 #constraints=50626
419.10/419.25	c nbDecision=31500 #constraints=50934
421.50/421.62	c nbDecision=32000 #constraints=51285
423.99/424.18	c nbDecision=32500 #constraints=51687
426.79/426.91	c nbDecision=33000 #constraints=52101
429.49/429.60	c nbDecision=33500 #constraints=52476
431.59/431.77	c nbDecision=34000 #constraints=52708
434.69/434.86	c nbDecision=34500 #constraints=53121
437.69/437.86	c nbDecision=35000 #constraints=53461
440.99/441.17	c nbDecision=35500 #constraints=53805
444.49/444.63	c nbDecision=36000 #constraints=54217
447.99/448.17	c nbDecision=36500 #constraints=54693
450.49/450.65	c nbDecision=37000 #constraints=55140
452.89/453.10	c nbDecision=37500 #constraints=55532
456.08/456.28	c nbDecision=38000 #constraints=56018
460.38/460.56	c nbDecision=38500 #constraints=56516
463.08/463.22	c nbDecision=39000 #constraints=56903
465.48/465.63	c nbDecision=39500 #constraints=57254
468.28/468.44	c nbDecision=40000 #constraints=57669
471.38/471.51	c nbDecision=40500 #constraints=58040
474.18/474.33	c nbDecision=41000 #constraints=58412
476.78/476.92	c nbDecision=41500 #constraints=58644
478.98/479.13	c nbDecision=42000 #constraints=58858
480.58/480.77	c nbDecision=42500 #constraints=58978
483.28/483.43	c nbDecision=43000 #constraints=59329
485.78/485.90	c nbDecision=43500 #constraints=59546
489.17/489.31	c nbDecision=44000 #constraints=59841
495.58/495.70	c nbDecision=44500 #constraints=60283
500.77/500.93	c nbDecision=45000 #constraints=60773
504.77/504.96	c nbDecision=45500 #constraints=61223
509.17/509.31	c nbDecision=46000 #constraints=61567
514.86/515.03	c nbDecision=46500 #constraints=61950
520.07/520.29	c nbDecision=47000 #constraints=62320
525.47/525.62	c nbDecision=47500 #constraints=62642
530.76/530.91	c nbDecision=48000 #constraints=63017
537.06/537.21	c nbDecision=48500 #constraints=63336
543.26/543.42	c nbDecision=49000 #constraints=63703
550.46/550.66	c nbDecision=49500 #constraints=64030
557.56/557.75	c nbDecision=50000 #constraints=64505
562.06/562.26	c nbDecision=50500 #constraints=64967
566.45/566.63	c nbDecision=51000 #constraints=65465
568.25/568.47	c restart after 51201 decisions
579.05/579.28	c nbDecision=51500 #constraints=65852
595.65/595.87	c nbDecision=52000 #constraints=66286
602.85/603.07	c nbDecision=52500 #constraints=66788
610.65/610.89	c nbDecision=53000 #constraints=67282
616.74/616.93	c nbDecision=53500 #constraints=67617
620.44/620.65	c nbDecision=54000 #constraints=67814
624.84/625.04	c nbDecision=54500 #constraints=68018
629.04/629.20	c nbDecision=55000 #constraints=68221
633.94/634.10	c nbDecision=55500 #constraints=68491
638.73/638.90	c nbDecision=56000 #constraints=68690
647.44/647.69	c nbDecision=56500 #constraints=69186
657.34/657.58	c nbDecision=57000 #constraints=69686
665.24/665.42	c nbDecision=57500 #constraints=70174
668.23/668.42	c nbDecision=58000 #constraints=70552
678.33/678.58	c nbDecision=58500 #constraints=70996
688.52/688.78	c nbDecision=59000 #constraints=71494
699.33/699.51	c nbDecision=59500 #constraints=71993
710.12/710.30	c nbDecision=60000 #constraints=72496
720.72/720.98	c nbDecision=60500 #constraints=72993
728.72/728.97	c nbDecision=61000 #constraints=73456
734.11/734.34	c nbDecision=61500 #constraints=73902
738.51/738.79	c nbDecision=62000 #constraints=74315
746.71/746.95	c nbDecision=62500 #constraints=74714
760.51/760.76	c nbDecision=63000 #constraints=75213
776.00/776.22	c nbDecision=63500 #constraints=75709
789.00/789.22	c nbDecision=64000 #constraints=76206
796.29/796.57	c nbDecision=64500 #constraints=76659
801.09/801.35	c nbDecision=65000 #constraints=77113
805.10/805.31	c nbDecision=65500 #constraints=77463
808.60/808.84	c nbDecision=66000 #constraints=77789
812.99/813.24	c nbDecision=66500 #constraints=78229
817.69/817.90	c nbDecision=67000 #constraints=78652
822.59/822.80	c nbDecision=67500 #constraints=79054
826.69/826.97	c nbDecision=68000 #constraints=79338
832.59/832.90	c nbDecision=68500 #constraints=79769
838.58/838.85	c nbDecision=69000 #constraints=80229
853.69/853.94	c nbDecision=69500 #constraints=80686
864.18/864.49	c nbDecision=70000 #constraints=81155
870.28/870.58	c nbDecision=70500 #constraints=81652
876.27/876.60	c nbDecision=71000 #constraints=82151
882.47/882.73	c nbDecision=71500 #constraints=82549
890.78/891.06	c nbDecision=72000 #constraints=82969
895.98/896.24	c nbDecision=72500 #constraints=83302
898.97/899.20	c nbDecision=73000 #constraints=83410
911.47/911.72	c nbDecision=73500 #constraints=83792
926.97/927.23	c nbDecision=74000 #constraints=84226
944.06/944.36	c nbDecision=74500 #constraints=84726
955.25/955.52	c nbDecision=75000 #constraints=85156
963.66/963.92	c nbDecision=75500 #constraints=85532
968.46/968.70	c nbDecision=76000 #constraints=85858
980.25/980.51	c nbDecision=76500 #constraints=86170
1003.05/1003.30	c nbDecision=77000 #constraints=86668
1020.64/1020.99	c nbDecision=77500 #constraints=87165
1038.64/1038.98	c nbDecision=78000 #constraints=87655
1052.44/1052.78	c nbDecision=78500 #constraints=88076
1056.64/1056.95	c nbDecision=79000 #constraints=88298
1066.03/1066.38	c nbDecision=79500 #constraints=88527
1078.23/1078.58	c nbDecision=80000 #constraints=88897
1088.02/1088.31	c nbDecision=80500 #constraints=89187
1098.02/1098.32	c nbDecision=81000 #constraints=89484
1105.03/1105.33	c nbDecision=81500 #constraints=89835
1112.32/1112.67	c nbDecision=82000 #constraints=90278
1120.62/1120.94	c nbDecision=82500 #constraints=90627
1129.82/1130.14	c nbDecision=83000 #constraints=91111
1138.22/1138.54	c nbDecision=83500 #constraints=91570
1147.31/1147.65	c nbDecision=84000 #constraints=91969
1156.91/1157.23	c nbDecision=84500 #constraints=92312
1166.61/1166.95	c nbDecision=85000 #constraints=92746
1179.81/1180.11	c nbDecision=85500 #constraints=93115
1192.70/1193.06	c nbDecision=86000 #constraints=93580
1205.40/1205.73	c nbDecision=86500 #constraints=94061
1218.49/1218.82	c nbDecision=87000 #constraints=94467
1232.59/1233.00	c nbDecision=87500 #constraints=94958
1246.69/1247.00	c nbDecision=88000 #constraints=95445
1258.68/1259.09	c nbDecision=88500 #constraints=95927
1269.58/1269.97	c nbDecision=89000 #constraints=96321
1289.17/1289.59	c nbDecision=89500 #constraints=96719
1299.37/1299.72	c nbDecision=90000 #constraints=97012
1317.77/1318.14	c nbDecision=90500 #constraints=97384
1325.37/1325.79	c nbDecision=91000 #constraints=97791
1336.86/1337.20	c nbDecision=91500 #constraints=98248
1349.76/1350.15	c nbDecision=92000 #constraints=98744
1363.06/1363.46	c nbDecision=92500 #constraints=99245
1376.86/1377.27	c nbDecision=93000 #constraints=99739
1389.65/1390.00	c nbDecision=93500 #constraints=100239
1402.65/1403.04	c nbDecision=94000 #constraints=100735
1416.64/1417.03	c nbDecision=94500 #constraints=101233
1429.75/1430.12	c nbDecision=95000 #constraints=101730
1443.84/1444.26	c nbDecision=95500 #constraints=102229
1457.74/1458.17	c nbDecision=96000 #constraints=102730
1470.73/1471.15	c nbDecision=96500 #constraints=103226
1484.23/1484.65	c nbDecision=97000 #constraints=103724
1497.52/1497.96	c nbDecision=97500 #constraints=104222
1514.33/1514.72	c nbDecision=98000 #constraints=104717
1533.62/1534.00	c nbDecision=98500 #constraints=105216
1552.81/1553.24	c nbDecision=99000 #constraints=105717
1571.80/1572.23	c nbDecision=99500 #constraints=106216
1591.21/1591.62	c nbDecision=100000 #constraints=106711
1609.80/1610.25	c nbDecision=100500 #constraints=107212
1629.19/1629.68	c nbDecision=101000 #constraints=107711
1650.89/1651.30	c nbDecision=101500 #constraints=108211
1670.49/1670.92	c nbDecision=102000 #constraints=108711
1685.48/1685.93	c restart after 102401 decisions
1685.98/1686.40	c nbDecision=102500 #constraints=109111
1700.58/1701.08	c nbDecision=103000 #constraints=109476
1716.07/1716.52	c nbDecision=103500 #constraints=109978
1745.77/1746.22	c nbDecision=104000 #constraints=110406
1788.65/1789.10	c nbDecision=104500 #constraints=110898
1800.05/1800.50	Received signal 15
1800.25/1800.73	
1800.25/1800.73	s UNKNOWN
1800.25/1800.73	
1800.25/1800.73	c user time= 1799.92 s
1800.25/1800.73	c system time= 0.378942 s
1800.25/1800.73	c wall clock time=1800.74

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/node43/watcher-357017-1176851666 -o ROOT/results/node43/solver-357017-1176851666 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357017-1176851666/instance-357017-1176851666.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: 0.91 0.95 0.96 3/77 23898
/proc/meminfo: memFree=1316304/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=1620 CPUtime=0
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 133078389 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 405 175 126 317 0 84 0

[startup+0.064275 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 23898
/proc/meminfo: memFree=1316304/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=2412 CPUtime=0.06
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 396 0 0 0 6 0 0 0 18 0 1 0 133078389 2469888 378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 603 378 131 317 0 282 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2412

[startup+0.101278 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 23898
/proc/meminfo: memFree=1316304/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=2940 CPUtime=0.09
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 543 0 0 0 9 0 0 0 18 0 1 0 133078389 3010560 525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 735 525 131 317 0 414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2940

[startup+0.301295 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 23898
/proc/meminfo: memFree=1316304/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=6136 CPUtime=0.29
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 1356 0 0 0 28 1 0 0 19 0 1 0 133078389 6283264 1338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 1534 1338 131 317 0 1213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6136

[startup+0.70133 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 23898
/proc/meminfo: memFree=1316304/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=13536 CPUtime=0.69
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 3181 0 0 0 67 2 0 0 22 0 1 0 133078389 13860864 3163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 3384 3164 131 317 0 3063 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13536

[startup+1.5014 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 23899
/proc/meminfo: memFree=1297480/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=22240 CPUtime=1.49
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 5352 0 0 0 146 3 0 0 25 0 1 0 133078389 22773760 5190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 5560 5190 139 317 0 5239 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22240

[startup+3.10254 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 23899
/proc/meminfo: memFree=1295688/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=22240 CPUtime=3.09
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 5354 0 0 0 306 3 0 0 25 0 1 0 133078389 22773760 5192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 5560 5192 139 317 0 5239 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22240

[startup+6.30182 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 23899
/proc/meminfo: memFree=1295496/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=22240 CPUtime=6.29
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 5379 0 0 0 626 3 0 0 25 0 1 0 133078389 22773760 5217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562672 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 5560 5217 139 317 0 5239 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22240

[startup+12.7014 s]
/proc/loadavg: 0.93 0.96 0.96 2/78 23899
/proc/meminfo: memFree=1294728/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=23172 CPUtime=12.69
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 5607 0 0 0 1265 4 0 0 25 0 1 0 133078389 23728128 5445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 5793 5445 139 317 0 5472 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23172

[startup+25.5015 s]
/proc/loadavg: 0.94 0.96 0.96 2/78 23899
/proc/meminfo: memFree=1293192/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=24668 CPUtime=25.49
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 5996 0 0 0 2545 4 0 0 25 0 1 0 133078389 25260032 5834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 6167 5834 139 317 0 5846 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24668

[startup+51.1017 s]
/proc/loadavg: 0.96 0.96 0.96 2/78 23899
/proc/meminfo: memFree=1291080/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=26936 CPUtime=51.08
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 6541 0 0 0 5103 5 0 0 25 0 1 0 133078389 27582464 6379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 6734 6379 139 317 0 6413 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26936

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/78 23899
/proc/meminfo: memFree=1287944/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=30140 CPUtime=102.27
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 7310 0 0 0 10222 5 0 0 25 0 1 0 133078389 30863360 7148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 7535 7148 139 317 0 7214 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30140

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23899
/proc/meminfo: memFree=1285640/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=32524 CPUtime=162.25
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 7922 0 0 0 16219 6 0 0 25 0 1 0 133078389 33304576 7727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 8131 7727 139 317 0 7810 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32524

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23899
/proc/meminfo: memFree=1283784/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=34348 CPUtime=222.24
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 8385 0 0 0 22216 8 0 0 25 0 1 0 133078389 35172352 8190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 8587 8190 139 317 0 8266 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 34348

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23899
/proc/meminfo: memFree=1282120/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=35980 CPUtime=282.22
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 8794 0 0 0 28213 9 0 0 25 0 1 0 133078389 36843520 8599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563315 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 8995 8599 139 317 0 8674 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 35980

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23899
/proc/meminfo: memFree=1276744/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=42576 CPUtime=342.21
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 10485 0 0 0 34211 10 0 0 25 0 1 0 133078389 43597824 9904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 10644 9904 139 317 0 10323 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 42576

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23899
/proc/meminfo: memFree=1271752/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=47744 CPUtime=402.19
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 11770 0 0 0 40207 12 0 0 25 0 1 0 133078389 48889856 11189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 11936 11189 139 317 0 11615 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 47744

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23899
/proc/meminfo: memFree=1263688/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=55712 CPUtime=462.18
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 13795 0 0 0 46204 14 0 0 25 0 1 0 133078389 57049088 13214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 13928 13214 139 317 0 13607 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 55712

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23899
/proc/meminfo: memFree=1257288/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=62096 CPUtime=522.17
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 15402 0 0 0 52200 17 0 0 25 0 1 0 133078389 63586304 14821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 15524 14821 139 317 0 15203 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 62096

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23899
/proc/meminfo: memFree=1252936/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=66452 CPUtime=582.16
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 16508 0 0 0 58197 19 0 0 25 0 1 0 133078389 68046848 15862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 16613 15862 139 317 0 16292 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 66452

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 23899
/proc/meminfo: memFree=1250184/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=69152 CPUtime=642.14
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 17198 0 0 0 64194 20 0 0 25 0 1 0 133078389 70811648 16552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 17288 16552 139 317 0 16967 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 69152


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

[startup+942.301 s]
/proc/loadavg: 1.04 0.99 0.97 2/78 23899
/proc/meminfo: memFree=1233416/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=88056 CPUtime=942.06
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 21934 0 0 0 94181 25 0 0 25 0 1 0 133078389 90169344 20717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 22014 20717 139 317 0 21693 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 88056

[startup+1002.3 s]
/proc/loadavg: 1.10 1.02 0.98 2/78 23899
/proc/meminfo: memFree=1232904/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=88584 CPUtime=1002.05
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 22081 0 0 0 100179 26 0 0 25 0 1 0 133078389 90710016 20864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718354 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 22146 20864 139 317 0 21825 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 88584

[startup+1062.3 s]
/proc/loadavg: 1.03 1.01 0.98 2/78 23899
/proc/meminfo: memFree=1231240/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=90228 CPUtime=1062.03
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 22501 0 0 0 106176 27 0 0 25 0 1 0 133078389 92393472 21284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604488 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 22557 21284 139 317 0 22236 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 90228

[startup+1122.3 s]
/proc/loadavg: 1.06 1.02 0.98 2/78 23899
/proc/meminfo: memFree=1229000/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=92528 CPUtime=1122.02
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 23066 0 0 0 112174 28 0 0 25 0 1 0 133078389 94748672 21849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 23132 21849 139 317 0 22811 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 92528

[startup+1182.3 s]
/proc/loadavg: 1.02 1.02 0.98 2/78 23899
/proc/meminfo: memFree=1225736/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=95876 CPUtime=1182.01
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 23883 0 0 0 118172 29 0 0 25 0 1 0 133078389 98177024 22666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 23969 22666 139 317 0 23648 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 95876

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 0.98 2/78 23899
/proc/meminfo: memFree=1222344/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=99560 CPUtime=1241.99
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 24720 0 0 0 124169 30 0 0 25 0 1 0 133078389 101949440 23503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 24890 23503 139 317 0 24569 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 99560

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 23899
/proc/meminfo: memFree=1220360/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=101648 CPUtime=1301.98
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 25210 0 0 0 130167 31 0 0 25 0 1 0 133078389 104087552 23993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 25412 23993 139 317 0 25091 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 101648

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 23899
/proc/meminfo: memFree=1218440/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=103500 CPUtime=1361.95
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 25697 0 0 0 136164 31 0 0 25 0 1 0 133078389 105984000 24480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 25875 24480 139 317 0 25554 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 103500

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 23899
/proc/meminfo: memFree=1216328/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=105684 CPUtime=1421.94
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 26221 0 0 0 142162 32 0 0 25 0 1 0 133078389 108220416 25004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 26421 25004 139 317 0 26100 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 105684

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 23901
/proc/meminfo: memFree=1214408/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=107560 CPUtime=1481.93
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 26707 0 0 0 148160 33 0 0 25 0 1 0 133078389 110141440 25490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 26890 25490 139 317 0 26569 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 107560

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 23901
/proc/meminfo: memFree=1212744/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=109156 CPUtime=1541.91
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 27099 0 0 0 154157 34 0 0 25 0 1 0 133078389 111775744 25882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 27289 25882 139 317 0 26968 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 109156

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 23901
/proc/meminfo: memFree=1211400/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=110528 CPUtime=1601.9
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 27441 0 0 0 160155 35 0 0 25 0 1 0 133078389 113180672 26224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 27632 26224 139 317 0 27311 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 110528

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 23901
/proc/meminfo: memFree=1210056/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=111916 CPUtime=1661.89
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 27783 0 0 0 166153 36 0 0 25 0 1 0 133078389 114601984 26566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 27979 26566 139 317 0 27658 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 111916

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 23901
/proc/meminfo: memFree=1208648/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=113324 CPUtime=1721.87
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 28134 0 0 0 172151 36 0 0 25 0 1 0 133078389 116043776 26917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 28331 26917 139 317 0 28010 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 113324

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 23901
/proc/meminfo: memFree=1207880/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=113996 CPUtime=1781.85
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 28322 0 0 0 178148 37 0 0 25 0 1 0 133078389 116731904 27105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563401 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 28499 27105 139 317 0 28178 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 113996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 23901
/proc/meminfo: memFree=1207624/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=114260 CPUtime=1800.05
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 28377 0 0 0 179968 37 0 0 25 0 1 0 133078389 117002240 27160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 28565 27160 139 317 0 28244 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 114260

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.98 2/79 23902
/proc/meminfo: memFree=1207616/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=114260 CPUtime=1800.16
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 28377 0 0 0 179979 37 0 0 25 0 1 0 133078389 117002240 27160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 28565 27160 139 317 0 28244 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 114260

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.98 2/79 23902
/proc/meminfo: memFree=1207616/2055920 swapFree=4184648/4192956
[pid=23898] ppid=23896 vsize=114260 CPUtime=1800.25
/proc/23898/stat : 23898 (oree) R 23896 23898 23555 0 -1 4194304 28378 0 0 0 179988 37 0 0 25 0 1 0 133078389 117002240 27161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23898/statm: 28565 27161 139 317 0 28244 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 114260

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.34
CPU user time (s): 1799.94
CPU system time (s): 0.396939
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 114260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.396939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28394
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= 2166

runsolver used 2.17767 second user time and 4.37434 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Tue Apr 17 23:14:26 UTC 2007

IDJOB= 357017
IDBENCH= 1780
IDSOLVER= 172
FILE ID= node43/357017-1176851666

PBS_JOBID= 4590225

Free space on /tmp= 66505 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c786421e3b1e46216a72d93f7d7302a0

RANDOM SEED= 288677182

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.218
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.218
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:       1316712 kB
Buffers:         62292 kB
Cached:         449056 kB
SwapCached:       2596 kB
Active:         273932 kB
Inactive:       386452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1316712 kB
SwapTotal:     4192956 kB
SwapFree:      4184648 kB
Dirty:            4164 kB
Writeback:           0 kB
Mapped:         164260 kB
Slab:            64200 kB
Committed_AS:  1711040 kB
PageTables:       1896 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= 66505 MiB

End job on node43 on Tue Apr 17 23:44:28 UTC 2007