Trace number 357352

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.25 1800.71

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-shell.opb
MD5SUM812fb8d8b2de50e0f82554fbb1bd21a5
Bench CategoryOPT-BIGINT (optimisation, big 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 variables45231
Total number of constraints653
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints653
Minimum length of a constraint19
Maximum length of a constraint1560
Number of terms in the objective function 39844
Biggest coefficient in the objective function 2101312749568
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 249967315526150
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 2101312749568
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 249967315526150
Number of bits of the biggest sum of numbers48
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.49/0.50	c ...done
0.49/0.50	c #vars=45231 #constraints=1188 hasObjective=yes
0.89/0.99	c res. mode=mod
0.89/0.99	c VSIDS like heuristics
0.89/0.99	c complete search running
1.29/1.31	c restart after 401 decisions
1.29/1.38	c nbDecision=500 #constraints=1224
1.49/1.59	c restart after 801 decisions
1.69/1.73	c nbDecision=1000 #constraints=1235
1.99/2.07	c nbDecision=1500 #constraints=1242
2.09/2.14	c restart after 1601 decisions
2.39/2.42	c nbDecision=2000 #constraints=1245
2.79/2.82	c nbDecision=2500 #constraints=1279
3.19/3.22	c nbDecision=3000 #constraints=1309
3.29/3.37	c restart after 3201 decisions
3.49/3.58	c nbDecision=3500 #constraints=1318
3.99/4.10	c nbDecision=4000 #constraints=1357
4.40/4.45	c nbDecision=4500 #constraints=1370
4.79/4.80	c nbDecision=5000 #constraints=1374
5.19/5.20	c nbDecision=5500 #constraints=1417
5.49/5.54	c nbDecision=6000 #constraints=1439
5.79/5.80	c restart after 6401 decisions
5.79/5.87	c nbDecision=6500 #constraints=1450
6.19/6.24	c nbDecision=7000 #constraints=1462
6.49/6.59	c nbDecision=7500 #constraints=1465
6.89/6.94	c nbDecision=8000 #constraints=1475
7.19/7.26	c nbDecision=8500 #constraints=1481
7.59/7.62	c nbDecision=9000 #constraints=1486
7.89/7.96	c nbDecision=9500 #constraints=1501
8.29/8.31	c nbDecision=10000 #constraints=1503
8.59/8.65	c nbDecision=10500 #constraints=1511
8.99/9.00	c nbDecision=11000 #constraints=1515
9.29/9.33	c nbDecision=11500 #constraints=1518
9.59/9.69	c nbDecision=12000 #constraints=1520
9.99/10.01	c nbDecision=12500 #constraints=1527
10.19/10.20	c restart after 12801 decisions
10.29/10.35	c nbDecision=13000 #constraints=1534
10.69/10.70	c nbDecision=13500 #constraints=1539
10.99/11.02	c nbDecision=14000 #constraints=1547
11.29/11.35	c nbDecision=14500 #constraints=1558
11.59/11.67	c nbDecision=15000 #constraints=1567
11.99/12.01	c nbDecision=15500 #constraints=1597
12.29/12.33	c nbDecision=16000 #constraints=1606
12.59/12.66	c nbDecision=16500 #constraints=1611
12.89/12.99	c nbDecision=17000 #constraints=1622
13.28/13.33	c nbDecision=17500 #constraints=1653
13.58/13.65	c nbDecision=18000 #constraints=1655
13.98/14.00	c nbDecision=18500 #constraints=1674
14.29/14.32	c nbDecision=19000 #constraints=1677
14.58/14.64	c nbDecision=19500 #constraints=1681
14.88/14.97	c nbDecision=20000 #constraints=1683
15.18/15.29	c nbDecision=20500 #constraints=1693
15.58/15.61	c nbDecision=21000 #constraints=1695
15.88/15.93	c nbDecision=21500 #constraints=1698
16.18/16.25	c nbDecision=22000 #constraints=1700
16.49/16.57	c nbDecision=22500 #constraints=1706
16.88/16.92	c nbDecision=23000 #constraints=1725
17.18/17.24	c nbDecision=23500 #constraints=1726
19.08/19.12	c nbDecision=24000 #constraints=1771
51.58/51.65	c nbDecision=24500 #constraints=2280
84.97/85.03	c nbDecision=25000 #constraints=2783
119.06/119.19	c nbDecision=25500 #constraints=3281
126.36/126.40	c restart after 25601 decisions
126.66/126.75	c nbDecision=26000 #constraints=3384
127.05/127.14	c nbDecision=26500 #constraints=3392
127.46/127.59	c nbDecision=27000 #constraints=3398
127.85/128.00	c nbDecision=27500 #constraints=3401
128.25/128.36	c nbDecision=28000 #constraints=3406
128.76/128.81	c nbDecision=28500 #constraints=3412
129.06/129.16	c nbDecision=29000 #constraints=3413
129.46/129.54	c nbDecision=29500 #constraints=3426
129.85/129.94	c nbDecision=30000 #constraints=3430
130.25/130.31	c nbDecision=30500 #constraints=3439
130.55/130.67	c nbDecision=31000 #constraints=3443
130.95/131.09	c nbDecision=31500 #constraints=3448
132.55/132.60	c nbDecision=32000 #constraints=3522
164.55/164.65	c nbDecision=32500 #constraints=4044
208.44/208.60	c nbDecision=33000 #constraints=4543
252.03/252.12	c nbDecision=33500 #constraints=5045
296.21/296.37	c nbDecision=34000 #constraints=5550
342.01/342.16	c nbDecision=34500 #constraints=6048
389.69/389.86	c nbDecision=35000 #constraints=6549
439.38/439.55	c nbDecision=35500 #constraints=7049
490.47/490.66	c nbDecision=36000 #constraints=7549
545.06/545.29	c nbDecision=36500 #constraints=8049
598.14/598.31	c nbDecision=37000 #constraints=8548
627.03/627.22	c nbDecision=37500 #constraints=8825
628.13/628.33	c nbDecision=38000 #constraints=8827
629.13/629.30	c nbDecision=38500 #constraints=8832
629.63/629.80	c nbDecision=39000 #constraints=8836
630.73/630.92	c nbDecision=39500 #constraints=8839
631.73/631.95	c nbDecision=40000 #constraints=8840
632.13/632.36	c nbDecision=40500 #constraints=8844
633.23/633.45	c nbDecision=41000 #constraints=8848
634.13/634.39	c nbDecision=41500 #constraints=8853
635.43/635.61	c nbDecision=42000 #constraints=8856
636.33/636.54	c nbDecision=42500 #constraints=8857
637.53/637.72	c nbDecision=43000 #constraints=8859
638.33/638.56	c nbDecision=43500 #constraints=8862
639.73/639.90	c nbDecision=44000 #constraints=8864
640.53/640.72	c nbDecision=44500 #constraints=8865
641.43/641.66	c nbDecision=45000 #constraints=8866
642.63/642.85	c nbDecision=45500 #constraints=8868
643.53/643.73	c nbDecision=46000 #constraints=8870
644.03/644.26	c nbDecision=46500 #constraints=8871
645.13/645.36	c nbDecision=47000 #constraints=8877
646.13/646.34	c nbDecision=47500 #constraints=8880
647.33/647.51	c nbDecision=48000 #constraints=8884
648.13/648.37	c nbDecision=48500 #constraints=8891
648.73/648.91	c nbDecision=49000 #constraints=8893
649.73/649.95	c nbDecision=49500 #constraints=8895
650.83/651.02	c nbDecision=50000 #constraints=8899
651.82/652.02	c nbDecision=50500 #constraints=8900
653.23/653.46	c nbDecision=51000 #constraints=8902
653.72/653.94	c restart after 51201 decisions
654.42/654.60	c nbDecision=51500 #constraints=8903
654.92/655.12	c nbDecision=52000 #constraints=8906
656.02/656.22	c nbDecision=52500 #constraints=8918
656.62/656.85	c nbDecision=53000 #constraints=8920
657.22/657.49	c nbDecision=53500 #constraints=8931
658.02/658.28	c nbDecision=54000 #constraints=8933
658.82/659.09	c nbDecision=54500 #constraints=8939
659.62/659.87	c nbDecision=55000 #constraints=8941
660.52/660.74	c nbDecision=55500 #constraints=8944
661.32/661.55	c nbDecision=56000 #constraints=8952
661.72/661.91	c nbDecision=56500 #constraints=8955
662.12/662.36	c nbDecision=57000 #constraints=8966
662.92/663.11	c nbDecision=57500 #constraints=8967
663.62/663.82	c nbDecision=58000 #constraints=8970
664.72/664.93	c nbDecision=58500 #constraints=8985
665.62/665.85	c nbDecision=59000 #constraints=8992
666.22/666.48	c nbDecision=59500 #constraints=9003
667.12/667.32	c nbDecision=60000 #constraints=9004
667.72/667.93	c nbDecision=60500 #constraints=9009
668.52/668.77	c nbDecision=61000 #constraints=9013
669.32/669.52	c nbDecision=61500 #constraints=9017
670.02/670.21	c nbDecision=62000 #constraints=9026
670.82/671.01	c nbDecision=62500 #constraints=9030
671.32/671.52	c nbDecision=63000 #constraints=9032
672.12/672.30	c nbDecision=63500 #constraints=9035
672.72/672.97	c nbDecision=64000 #constraints=9043
673.32/673.56	c nbDecision=64500 #constraints=9044
692.02/692.29	c nbDecision=65000 #constraints=9314
730.31/730.52	c nbDecision=65500 #constraints=9816
773.11/773.37	c nbDecision=66000 #constraints=10316
818.89/819.18	c nbDecision=66500 #constraints=10814
870.27/870.51	c nbDecision=67000 #constraints=11317
923.77/924.05	c nbDecision=67500 #constraints=11815
980.54/980.84	c nbDecision=68000 #constraints=12319
1027.53/1027.87	c nbDecision=68500 #constraints=12751
1028.14/1028.49	c nbDecision=69000 #constraints=12752
1028.63/1028.98	c nbDecision=69500 #constraints=12756
1029.24/1029.52	c nbDecision=70000 #constraints=12756
1029.93/1030.20	c nbDecision=70500 #constraints=12757
1030.53/1030.80	c nbDecision=71000 #constraints=12758
1030.93/1031.29	c nbDecision=71500 #constraints=12759
1031.54/1031.84	c nbDecision=72000 #constraints=12762
1032.13/1032.48	c nbDecision=72500 #constraints=12764
1032.54/1032.87	c nbDecision=73000 #constraints=12766
1033.23/1033.50	c nbDecision=73500 #constraints=12781
1033.53/1033.86	c nbDecision=74000 #constraints=12782
1033.93/1034.26	c nbDecision=74500 #constraints=12784
1034.53/1034.85	c nbDecision=75000 #constraints=12785
1034.93/1035.25	c nbDecision=75500 #constraints=12789
1035.53/1035.81	c nbDecision=76000 #constraints=12791
1035.93/1036.22	c nbDecision=76500 #constraints=12795
1036.33/1036.63	c nbDecision=77000 #constraints=12795
1036.93/1037.26	c nbDecision=77500 #constraints=12796
1037.43/1037.70	c nbDecision=78000 #constraints=12798
1037.93/1038.30	c nbDecision=78500 #constraints=12801
1038.33/1038.69	c nbDecision=79000 #constraints=12803
1038.93/1039.24	c nbDecision=79500 #constraints=12805
1039.33/1039.61	c nbDecision=80000 #constraints=12806
1039.73/1040.03	c nbDecision=80500 #constraints=12808
1040.43/1040.70	c nbDecision=81000 #constraints=12812
1040.83/1041.14	c nbDecision=81500 #constraints=12815
1041.43/1041.74	c nbDecision=82000 #constraints=12820
1041.83/1042.12	c nbDecision=82500 #constraints=12822
1042.23/1042.59	c nbDecision=83000 #constraints=12823
1042.83/1043.10	c nbDecision=83500 #constraints=12829
1043.23/1043.53	c nbDecision=84000 #constraints=12830
1043.83/1044.11	c nbDecision=84500 #constraints=12831
1044.23/1044.53	c nbDecision=85000 #constraints=12833
1044.83/1045.12	c nbDecision=85500 #constraints=12834
1045.23/1045.50	c nbDecision=86000 #constraints=12834
1045.63/1045.93	c nbDecision=86500 #constraints=12835
1046.22/1046.53	c nbDecision=87000 #constraints=12837
1046.62/1046.93	c nbDecision=87500 #constraints=12839
1047.42/1047.72	c nbDecision=88000 #constraints=12841
1048.52/1048.85	c nbDecision=88500 #constraints=12848
1048.92/1049.29	c nbDecision=89000 #constraints=12849
1049.62/1049.92	c nbDecision=89500 #constraints=12850
1050.42/1050.77	c nbDecision=90000 #constraints=12853
1051.13/1051.48	c nbDecision=90500 #constraints=12854
1051.73/1052.08	c nbDecision=91000 #constraints=12868
1052.73/1053.02	c nbDecision=91500 #constraints=12874
1053.23/1053.54	c nbDecision=92000 #constraints=12883
1053.73/1054.06	c nbDecision=92500 #constraints=12884
1054.13/1054.49	c nbDecision=93000 #constraints=12891
1054.63/1054.98	c nbDecision=93500 #constraints=12894
1055.03/1055.32	c nbDecision=94000 #constraints=12894
1055.43/1055.78	c nbDecision=94500 #constraints=12896
1056.03/1056.37	c nbDecision=95000 #constraints=12898
1056.63/1056.94	c nbDecision=95500 #constraints=12902
1057.23/1057.54	c nbDecision=96000 #constraints=12904
1057.63/1057.94	c nbDecision=96500 #constraints=12907
1058.23/1058.50	c nbDecision=97000 #constraints=12909
1058.53/1058.88	c nbDecision=97500 #constraints=12911
1059.13/1059.42	c nbDecision=98000 #constraints=12912
1060.93/1061.27	c nbDecision=98500 #constraints=12924
1090.71/1091.04	c nbDecision=99000 #constraints=13372
1125.81/1126.14	c nbDecision=99500 #constraints=13873
1161.80/1162.18	c nbDecision=100000 #constraints=14371
1196.19/1196.53	c nbDecision=100500 #constraints=14829
1236.58/1236.99	c nbDecision=101000 #constraints=15335
1274.47/1274.86	c nbDecision=101500 #constraints=15834
1311.27/1311.63	c nbDecision=102000 #constraints=16335
1345.15/1345.59	c restart after 102401 decisions
1346.25/1346.60	c nbDecision=102500 #constraints=16737
1346.95/1347.38	c nbDecision=103000 #constraints=16737
1347.65/1348.00	c nbDecision=103500 #constraints=16740
1348.55/1348.93	c nbDecision=104000 #constraints=16745
1349.25/1349.68	c nbDecision=104500 #constraints=16745
1350.25/1350.68	c nbDecision=105000 #constraints=16747
1351.55/1351.96	c nbDecision=105500 #constraints=16753
1351.95/1352.32	c nbDecision=106000 #constraints=16753
1353.55/1353.96	c nbDecision=106500 #constraints=16758
1354.65/1355.00	c nbDecision=107000 #constraints=16761
1356.05/1356.40	c nbDecision=107500 #constraints=16765
1357.05/1357.46	c nbDecision=108000 #constraints=16766
1357.85/1358.25	c nbDecision=108500 #constraints=16768
1358.85/1359.27	c nbDecision=109000 #constraints=16769
1359.65/1360.07	c nbDecision=109500 #constraints=16770
1361.15/1361.55	c nbDecision=110000 #constraints=16777
1361.75/1362.10	c nbDecision=110500 #constraints=16778
1363.55/1363.98	c nbDecision=111000 #constraints=16783
1364.75/1365.17	c nbDecision=111500 #constraints=16790
1366.14/1366.51	c nbDecision=112000 #constraints=16792
1366.64/1367.05	c nbDecision=112500 #constraints=16796
1367.84/1368.23	c nbDecision=113000 #constraints=16797
1369.54/1369.98	c nbDecision=113500 #constraints=16800
1370.34/1370.73	c nbDecision=114000 #constraints=16800
1371.44/1371.88	c nbDecision=114500 #constraints=16802
1373.14/1373.58	c nbDecision=115000 #constraints=16817
1374.34/1374.79	c nbDecision=115500 #constraints=16818
1375.24/1375.65	c nbDecision=116000 #constraints=16819
1376.64/1377.07	c nbDecision=116500 #constraints=16820
1377.24/1377.63	c nbDecision=117000 #constraints=16821
1378.65/1379.04	c nbDecision=117500 #constraints=16823
1379.95/1380.32	c nbDecision=118000 #constraints=16824
1381.55/1381.93	c nbDecision=118500 #constraints=16828
1382.75/1383.18	c nbDecision=119000 #constraints=16829
1383.65/1384.07	c nbDecision=119500 #constraints=16833
1384.85/1385.25	c nbDecision=120000 #constraints=16834
1385.65/1386.03	c nbDecision=120500 #constraints=16835
1386.55/1386.96	c nbDecision=121000 #constraints=16837
1387.45/1387.87	c nbDecision=121500 #constraints=16838
1389.35/1389.79	c nbDecision=122000 #constraints=16851
1389.95/1390.39	c nbDecision=122500 #constraints=16853
1390.75/1391.10	c nbDecision=123000 #constraints=16854
1391.15/1391.55	c nbDecision=123500 #constraints=16867
1392.54/1392.91	c nbDecision=124000 #constraints=16868
1393.64/1394.07	c nbDecision=124500 #constraints=16870
1394.64/1395.02	c nbDecision=125000 #constraints=16874
1395.64/1396.04	c nbDecision=125500 #constraints=16876
1396.44/1396.81	c nbDecision=126000 #constraints=16876
1396.94/1397.33	c nbDecision=126500 #constraints=16877
1398.14/1398.59	c nbDecision=127000 #constraints=16879
1399.34/1399.71	c nbDecision=127500 #constraints=16881
1400.04/1400.47	c nbDecision=128000 #constraints=16881
1400.64/1401.05	c nbDecision=128500 #constraints=16884
1401.54/1401.98	c nbDecision=129000 #constraints=16885
1402.64/1403.02	c nbDecision=129500 #constraints=16888
1403.54/1403.96	c nbDecision=130000 #constraints=16889
1404.64/1405.05	c nbDecision=130500 #constraints=16899
1405.74/1406.14	c nbDecision=131000 #constraints=16907
1406.54/1406.96	c nbDecision=131500 #constraints=16911
1407.54/1407.99	c nbDecision=132000 #constraints=16912
1408.94/1409.39	c nbDecision=132500 #constraints=16922
1409.93/1410.39	c nbDecision=133000 #constraints=16924
1410.73/1411.13	c nbDecision=133500 #constraints=16932
1411.33/1411.71	c nbDecision=134000 #constraints=16938
1412.73/1413.17	c nbDecision=134500 #constraints=16961
1413.33/1413.73	c nbDecision=135000 #constraints=16962
1414.24/1414.61	c nbDecision=135500 #constraints=16964
1415.23/1415.69	c nbDecision=136000 #constraints=16968
1416.23/1416.70	c nbDecision=136500 #constraints=16969
1417.93/1418.30	c nbDecision=137000 #constraints=16979
1418.43/1418.87	c nbDecision=137500 #constraints=16980
1419.43/1419.84	c nbDecision=138000 #constraints=16984
1420.33/1420.70	c nbDecision=138500 #constraints=16984
1421.73/1422.12	c nbDecision=139000 #constraints=16989
1422.23/1422.69	c nbDecision=139500 #constraints=16991
1422.93/1423.31	c nbDecision=140000 #constraints=16993
1423.43/1423.82	c nbDecision=140500 #constraints=16994
1423.83/1424.28	c nbDecision=141000 #constraints=16994
1424.43/1424.89	c nbDecision=141500 #constraints=16998
1425.03/1425.46	c nbDecision=142000 #constraints=16999
1425.43/1425.82	c nbDecision=142500 #constraints=17000
1426.03/1426.44	c nbDecision=143000 #constraints=17002
1426.63/1427.05	c nbDecision=143500 #constraints=17005
1427.33/1427.77	c nbDecision=144000 #constraints=17007
1427.73/1428.12	c nbDecision=144500 #constraints=17007
1428.33/1428.73	c nbDecision=145000 #constraints=17008
1429.03/1429.40	c nbDecision=145500 #constraints=17012
1429.63/1430.01	c nbDecision=146000 #constraints=17015
1430.13/1430.50	c nbDecision=146500 #constraints=17016
1430.63/1431.02	c nbDecision=147000 #constraints=17016
1432.03/1432.41	c nbDecision=147500 #constraints=17019
1432.63/1433.03	c nbDecision=148000 #constraints=17020
1433.13/1433.52	c nbDecision=148500 #constraints=17021
1433.53/1433.98	c nbDecision=149000 #constraints=17022
1434.93/1435.33	c nbDecision=149500 #constraints=17024
1435.92/1436.37	c nbDecision=150000 #constraints=17025
1436.62/1437.01	c nbDecision=150500 #constraints=17025
1437.23/1437.69	c nbDecision=151000 #constraints=17025
1438.72/1439.14	c nbDecision=151500 #constraints=17050
1439.53/1439.94	c nbDecision=152000 #constraints=17050
1440.02/1440.43	c nbDecision=152500 #constraints=17061
1440.92/1441.34	c nbDecision=153000 #constraints=17065
1441.82/1442.20	c nbDecision=153500 #constraints=17065
1444.22/1444.68	c nbDecision=154000 #constraints=17081
1444.72/1445.18	c nbDecision=154500 #constraints=17081
1445.32/1445.75	c nbDecision=155000 #constraints=17082
1446.22/1446.69	c nbDecision=155500 #constraints=17083
1446.92/1447.38	c nbDecision=156000 #constraints=17083
1447.62/1448.07	c nbDecision=156500 #constraints=17088
1448.32/1448.77	c nbDecision=157000 #constraints=17089
1449.02/1449.47	c nbDecision=157500 #constraints=17091
1449.62/1450.01	c nbDecision=158000 #constraints=17093
1450.02/1450.48	c nbDecision=158500 #constraints=17099
1450.42/1450.83	c nbDecision=159000 #constraints=17102
1450.82/1451.25	c nbDecision=159500 #constraints=17115
1451.12/1451.59	c nbDecision=160000 #constraints=17117
1453.22/1453.63	c nbDecision=160500 #constraints=17129
1493.82/1494.22	c nbDecision=161000 #constraints=17611
1545.69/1546.17	c nbDecision=161500 #constraints=18114
1603.88/1604.33	c nbDecision=162000 #constraints=18614
1667.87/1668.31	c nbDecision=162500 #constraints=19116
1736.06/1736.50	c nbDecision=163000 #constraints=19616
1785.64/1786.14	c nbDecision=163500 #constraints=19979
1785.95/1786.49	c nbDecision=164000 #constraints=19982
1786.34/1786.86	c nbDecision=164500 #constraints=19985
1786.64/1787.19	c nbDecision=165000 #constraints=19986
1787.05/1787.55	c nbDecision=165500 #constraints=19990
1787.44/1787.90	c nbDecision=166000 #constraints=19993
1787.74/1788.28	c nbDecision=166500 #constraints=19997
1788.15/1788.64	c nbDecision=167000 #constraints=20000
1788.44/1788.98	c nbDecision=167500 #constraints=20002
1788.84/1789.35	c nbDecision=168000 #constraints=20005
1789.25/1789.70	c nbDecision=168500 #constraints=20007
1789.54/1790.05	c nbDecision=169000 #constraints=20009
1789.94/1790.43	c nbDecision=169500 #constraints=20013
1790.24/1790.79	c nbDecision=170000 #constraints=20017
1790.64/1791.12	c nbDecision=170500 #constraints=20018
1791.04/1791.58	c nbDecision=171000 #constraints=20043
1791.64/1792.19	c nbDecision=171500 #constraints=20045
1792.44/1793.00	c nbDecision=172000 #constraints=20048
1793.14/1793.68	c nbDecision=172500 #constraints=20063
1793.54/1794.03	c nbDecision=173000 #constraints=20064
1800.04/1800.50	Received signal 15
1800.14/1800.66	
1800.14/1800.66	s UNKNOWN
1800.14/1800.66	
1800.14/1800.66	c user time= 1799.77 s
1800.14/1800.66	c system time= 0.436933 s
1800.14/1800.66	c wall clock time=1800.67

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/node4/watcher-357352-1176995437 -o ROOT/results/node4/solver-357352-1176995437 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357352-1176995437/instance-357352-1176995437.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.00 1.00 1.00 3/77 10210
/proc/meminfo: memFree=1705688/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=1468 CPUtime=0
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175581463 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 367 161 127 317 0 46 0

[startup+0.0518969 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10210
/proc/meminfo: memFree=1705688/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=2400 CPUtime=0.04
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 460 0 0 0 4 0 0 0 18 0 1 0 175581463 2457600 344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 600 345 127 317 0 279 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2400

[startup+0.101902 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10210
/proc/meminfo: memFree=1705688/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=3440 CPUtime=0.09
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 790 0 0 0 9 0 0 0 18 0 1 0 175581463 3522560 545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 860 545 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301921 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10210
/proc/meminfo: memFree=1705688/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=6664 CPUtime=0.29
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 1579 0 0 0 28 1 0 0 19 0 1 0 175581463 6823936 1334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 1666 1334 131 317 0 1345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6664

[startup+0.701959 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 10210
/proc/meminfo: memFree=1705688/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=15364 CPUtime=0.69
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 3759 0 0 0 67 2 0 0 22 0 1 0 175581463 15732736 3514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 3841 3514 137 317 0 3520 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15364

[startup+1.50104 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1690768/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=16880 CPUtime=1.49
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 4107 0 0 0 147 2 0 0 25 0 1 0 175581463 17285120 3862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 4220 3862 139 317 0 3899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16880

[startup+3.10119 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1690576/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=17144 CPUtime=3.09
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 4173 0 0 0 307 2 0 0 25 0 1 0 175581463 17555456 3928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 4286 3928 139 317 0 3965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17144

[startup+6.30149 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1689680/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=17664 CPUtime=6.29
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 4322 0 0 0 626 3 0 0 25 0 1 0 175581463 18087936 4077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 4416 4077 139 317 0 4095 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17664

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1689232/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=18060 CPUtime=12.69
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 4423 0 0 0 1266 3 0 0 25 0 1 0 175581463 18493440 4178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606860 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 4515 4178 139 317 0 4194 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18060

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1687824/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=19504 CPUtime=25.48
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 4789 0 0 0 2545 3 0 0 25 0 1 0 175581463 19972096 4544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 4876 4544 139 317 0 4555 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19504

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1684176/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=23432 CPUtime=51.08
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 5740 0 0 0 5104 4 0 0 25 0 1 0 175581463 23994368 5495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 5858 5495 139 317 0 5537 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23432

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1677840/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=29920 CPUtime=102.27
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 7312 0 0 0 10222 5 0 0 25 0 1 0 175581463 30638080 7067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 7480 7067 139 317 0 7159 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29920

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1669264/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=38624 CPUtime=162.25
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 9475 0 0 0 16219 6 0 0 25 0 1 0 175581463 39550976 9230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 9656 9230 170 317 0 9335 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 38624

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1662416/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=45472 CPUtime=222.23
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 11173 0 0 0 22215 8 0 0 25 0 1 0 175581463 46563328 10928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 11368 10928 170 317 0 11047 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 45472

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1655824/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=51780 CPUtime=282.22
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 12831 0 0 0 28213 9 0 0 25 0 1 0 175581463 53022720 12586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 12945 12586 170 317 0 12624 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 51780

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1647696/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=61440 CPUtime=342.2
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 14832 0 0 0 34210 10 0 0 25 0 1 0 175581463 62914560 14587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 15360 14587 170 317 0 15039 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 61440

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1641808/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=66844 CPUtime=402.19
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 16295 0 0 0 40208 11 0 0 25 0 1 0 175581463 68448256 16050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 16711 16050 170 317 0 16390 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 66844

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1636368/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=71932 CPUtime=462.18
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 17688 0 0 0 46205 13 0 0 25 0 1 0 175581463 73658368 17443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 17983 17443 170 317 0 17662 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 71932

[startup+522.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 10211
/proc/meminfo: memFree=1630416/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=78756 CPUtime=522.16
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 19185 0 0 0 52202 14 0 0 25 0 1 0 175581463 80646144 18940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 19689 18940 170 317 0 19368 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 78756

[startup+582.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 10211
/proc/meminfo: memFree=1623888/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=85688 CPUtime=582.15
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 20791 0 0 0 58199 16 0 0 25 0 1 0 175581463 87744512 20488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 21422 20488 170 317 0 21101 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 85688

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1620112/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=89220 CPUtime=642.13
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 21795 0 0 0 64196 17 0 0 25 0 1 0 175581463 91361280 21492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 22305 21492 170 317 0 21984 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 89220


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

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1593808/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=118516 CPUtime=942.06
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 28326 0 0 0 94182 24 0 0 25 0 1 0 175581463 121360384 28023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 29629 28023 170 317 0 29308 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 118516

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1589456/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=122416 CPUtime=1002.04
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 29390 0 0 0 100179 25 0 0 25 0 1 0 175581463 125353984 29087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 30604 29087 170 317 0 30283 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 122416

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1587216/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=124624 CPUtime=1062.03
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 29980 0 0 0 106177 26 0 0 25 0 1 0 175581463 127614976 29677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 31156 29677 170 317 0 30835 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 124624

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 10211
/proc/meminfo: memFree=1580560/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=130748 CPUtime=1122
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 31638 0 0 0 112173 27 0 0 25 0 1 0 175581463 133885952 31335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 32687 31335 170 317 0 32366 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 130748

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10211
/proc/meminfo: memFree=1574224/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=136432 CPUtime=1181.99
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 33218 0 0 0 118170 29 0 0 25 0 1 0 175581463 139706368 32915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 34108 32915 170 317 0 33787 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 136432

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10213
/proc/meminfo: memFree=1568400/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=141884 CPUtime=1241.97
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 34645 0 0 0 124167 30 0 0 25 0 1 0 175581463 145289216 34342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 35471 34342 170 317 0 35150 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 141884

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10213
/proc/meminfo: memFree=1560080/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=151976 CPUtime=1301.96
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 36717 0 0 0 130164 32 0 0 25 0 1 0 175581463 155623424 36414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 37994 36414 170 317 0 37673 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 151976

[startup+1362.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 10213
/proc/meminfo: memFree=1556432/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=155928 CPUtime=1361.95
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 37754 0 0 0 136162 33 0 0 25 0 1 0 175581463 159670272 37337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 38982 37337 170 317 0 38661 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 155928

[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10213
/proc/meminfo: memFree=1555728/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=156452 CPUtime=1421.93
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 37917 0 0 0 142159 34 0 0 25 0 1 0 175581463 160206848 37500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 39113 37500 170 317 0 38792 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 156452

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10213
/proc/meminfo: memFree=1552080/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=160172 CPUtime=1481.91
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 38893 0 0 0 148156 35 0 0 25 0 1 0 175581463 164016128 38476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 40043 38476 170 317 0 39722 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 160172

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10213
/proc/meminfo: memFree=1546000/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=166320 CPUtime=1541.9
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 40375 0 0 0 154154 36 0 0 25 0 1 0 175581463 170311680 39958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 41580 39958 170 317 0 41259 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 166320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10213
/proc/meminfo: memFree=1540880/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=171112 CPUtime=1601.88
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 41662 0 0 0 160150 38 0 0 25 0 1 0 175581463 175218688 41245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 42778 41245 170 317 0 42457 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 171112

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10213
/proc/meminfo: memFree=1535312/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=183528 CPUtime=1661.87
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 44370 0 0 0 166147 40 0 0 25 0 1 0 175581463 187932672 42633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 45882 42633 170 317 0 45561 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 183528

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10213
/proc/meminfo: memFree=1530448/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=188420 CPUtime=1721.85
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 45589 0 0 0 172144 41 0 0 25 0 1 0 175581463 192942080 43852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 47105 43852 170 317 0 46784 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 188420

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 10213
/proc/meminfo: memFree=1526096/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=193336 CPUtime=1781.84
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 46670 0 0 0 178141 43 0 0 25 0 1 0 175581463 197976064 44933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 48334 44933 170 317 0 48013 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 193336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 10213
/proc/meminfo: memFree=1524560/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=195052 CPUtime=1800.04
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 47035 0 0 0 179961 43 0 0 25 0 1 0 175581463 199733248 45298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 48763 45298 170 317 0 48442 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 195052

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.03 1.01 1.00 2/79 10214
/proc/meminfo: memFree=1524552/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=195052 CPUtime=1800.14
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194304 47039 0 0 0 179971 43 0 0 25 0 1 0 175581463 199733248 45302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 48763 45302 170 317 0 48442 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 195052

[startup+1800.71 s]
/proc/loadavg: 1.03 1.01 1.00 2/79 10214
/proc/meminfo: memFree=1524552/2055920 swapFree=4153812/4192956
[pid=10210] ppid=10208 vsize=0 CPUtime=1800.24
/proc/10210/stat : 10210 (oree) R 10208 10210 9539 0 -1 4194308 47055 0 0 0 179978 46 0 0 25 0 1 0 175581463 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10210/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.25
CPU user time (s): 1799.79
CPU system time (s): 0.465929
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 195052

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

runsolver used 2.16967 second user time and 4.17936 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Thu Apr 19 15:10:37 UTC 2007

IDJOB= 357352
IDBENCH= 2461
IDSOLVER= 172
FILE ID= node4/357352-1176995437

PBS_JOBID= 4630445

Free space on /tmp= 66471 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb
COMMAND LINE= oree /tmp/evaluation/357352-1176995437/instance-357352-1176995437.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-357352-1176995437 -o ROOT/results/node4/solver-357352-1176995437 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357352-1176995437/instance-357352-1176995437.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  812fb8d8b2de50e0f82554fbb1bd21a5

RANDOM SEED= 463001158

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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	: 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.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:       1706160 kB
Buffers:         37036 kB
Cached:         229260 kB
SwapCached:       2236 kB
Active:          78196 kB
Inactive:       212420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1706160 kB
SwapTotal:     4192956 kB
SwapFree:      4153812 kB
Dirty:            3172 kB
Writeback:           0 kB
Mapped:          31892 kB
Slab:            44652 kB
Committed_AS:  5291700 kB
PageTables:       1824 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= 66471 MiB

End job on node4 on Thu Apr 19 15:40:40 UTC 2007