Trace number 2669551

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
PB-wave alpha 2? (TO) 1800.12 1800.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUM70ea01a607f0d01f6199fb93098b84d8
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1799.77
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables77106
Total number of constraints218779
Number of constraints which are clauses205559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13220
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.67	c PB-wave - v2
0.00/0.67	c command line = ./PB-wave
0.00/0.67	c seed = 112056076
0.00/0.67	c cutoff = 1000000
0.00/0.67	c tries = 1000000
0.00/0.67	c heuristic = c best, noise 50 / 100
0.00/0.67	#var 77106 #con 218779
0.00/0.67	mode is SAT
0.00/0.67	c tail starts after flip = 231318
0.00/0.67	c numatom = 77106, numclause = 218779, numliterals = 659621
0.00/0.67	c wff read in
0.00/0.67	c 
0.00/0.67	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.67	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.67	c       this      this      this      this      this      this   success   success       until         std
0.00/0.67	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.67	c
10.78/10.81	c      3176      3420   4929.97   1375.33      3.58   1000000         0
20.89/20.98	c      3151      3783   4960.71   1319.54      3.76   1000000         0
30.98/31.10	c      3115      3378   4912.24   1309.50      3.75   1000000         0
41.37/41.44	c      3183      3397   4947.09   1419.71      3.48   1000000         0
51.47/51.57	c      3143      3592   4931.63   1429.63      3.45   1000000         0
61.47/61.59	c      3111      3451   4817.01   1314.70      3.66   1000000         0
71.76/71.80	c      3097      3675   4814.02   1311.56      3.67   1000000         0
81.96/82.08	c      2996      3035   4918.23   1410.33      3.49   1000000         0
92.15/92.26	c      3063      3422   4903.35   1382.37      3.55   1000000         0
102.35/102.40	c      3084      3180   4831.81   1370.31      3.53   1000000         0
112.45/112.56	c      2983      3291   4891.24   1388.52      3.52   1000000         0
122.65/122.75	c      3251      3621   5010.62   1384.62      3.62   1000000         0
132.84/132.91	c      3186      3758   4999.13   1439.99      3.47   1000000         0
142.95/143.09	c      3162      3689   4914.27   1361.79      3.61   1000000         0
153.04/153.17	c      3203      3707   4931.57   1311.33      3.76   1000000         0
163.24/163.36	c      3167      3434   4911.88   1429.53      3.44   1000000         0
173.53/173.62	c      3239      3451   4912.44   1320.63      3.72   1000000         0
183.64/183.75	c      3141      3611   4940.91   1325.57      3.73   1000000         0
193.63/193.77	c      3030      3275   4850.24   1373.99      3.53   1000000         0
203.93/204.02	c      3082      3393   4832.09   1385.43      3.49   1000000         0
214.02/214.10	c      2900      3400   4792.47   1365.09      3.51   1000000         0
224.12/224.25	c      3120      3212   4967.17   1368.10      3.63   1000000         0
234.12/234.28	c      3144      3672   4910.99   1431.22      3.43   1000000         0
244.21/244.39	c      3120      3414   4912.64   1441.51      3.41   1000000         0
254.41/254.50	c      3082      3484   4817.36   1348.36      3.57   1000000         0
264.51/264.67	c      3128      3483   4921.84   1346.52      3.66   1000000         0
274.71/274.88	c      3358      3664   5142.84   1388.99      3.70   1000000         0
284.90/285.07	c      3207      3507   4996.30   1400.67      3.57   1000000         0
295.00/295.14	c      3135      3412   4994.07   1488.30      3.36   1000000         0
305.00/305.10	c      3064      3480   4897.83   1378.09      3.55   1000000         0
315.10/315.26	c      2872      3208   4696.19   1328.98      3.53   1000000         0
325.29/325.43	c      2973      3104   4904.77   1490.08      3.29   1000000         0
335.30/335.42	c      3159      3239   4806.35   1397.64      3.44   1000000         0
345.30/345.41	c      3063      3967   4950.48   1357.24      3.65   1000000         0
355.28/355.48	c      3021      3101   4779.38   1328.23      3.60   1000000         0
365.38/365.57	c      2867      3242   4822.40   1390.36      3.47   1000000         0
375.58/375.71	c      2982      3775   4873.63   1385.12      3.52   1000000         0
385.68/385.83	c      3035      3414   4889.70   1379.32      3.54   1000000         0
395.78/395.96	c      3188      3451   4987.85   1383.14      3.61   1000000         0
405.78/405.98	c      3177      3822   4973.81   1398.02      3.56   1000000         0
416.07/416.22	c      2959      3283   4918.27   1483.30      3.32   1000000         0
426.06/426.28	c      2978      3231   4843.71   1341.09      3.61   1000000         0
436.16/436.36	c      2992      3478   4907.72   1372.97      3.57   1000000         0
446.26/446.41	c      2939      3365   4826.22   1465.36      3.29   1000000         0
456.36/456.55	c      3117      3183   5069.17   1412.37      3.59   1000000         0
466.55/466.77	c      3231      3353   4900.93   1370.90      3.57   1000000         0
476.85/477.01	c      3192      3583   5001.78   1407.85      3.55   1000000         0
486.95/487.17	c      2859      3238   4968.00   1487.85      3.34   1000000         0
497.15/497.32	c      2993      3260   4973.85   1539.58      3.23   1000000         0
507.34/507.52	c      3131      3318   5007.21   1404.90      3.56   1000000         0
517.44/517.62	c      3261      3333   5043.59   1402.92      3.60   1000000         0
527.64/527.81	c      2975      3296   4643.27   1351.47      3.44   1000000         0
537.64/537.82	c      3148      3584   4889.06   1422.17      3.44   1000000         0
547.83/548.00	c      3145      3319   5015.86   1498.45      3.35   1000000         0
557.93/558.20	c      3207      3719   5013.25   1458.05      3.44   1000000         0
568.23/568.43	c      2839      3308   4723.04   1423.82      3.32   1000000         0
578.43/578.63	c      3012      3434   4930.31   1489.08      3.31   1000000         0
588.52/588.77	c      3133      3312   4773.15   1380.89      3.46   1000000         0
598.62/598.82	c      3120      3226   4895.33   1509.72      3.24   1000000         0
608.72/608.93	c      3098      3324   4844.07   1386.29      3.49   1000000         0
618.81/619.05	c      3043      3437   4753.85   1372.75      3.46   1000000         0
629.02/629.22	c      2960      3296   5064.56   1438.26      3.52   1000000         0
639.21/639.41	c      3007      3196   4868.19   1436.72      3.39   1000000         0
649.20/649.50	c      2952      3467   4782.33   1461.47      3.27   1000000         0
659.40/659.61	c      2941      3344   4782.99   1435.38      3.33   1000000         0
669.40/669.64	c      3220      3478   4922.71   1317.15      3.74   1000000         0
679.40/679.67	c      3101      3477   4892.64   1389.40      3.52   1000000         0
689.59/689.83	c      3198      3493   4981.36   1306.47      3.81   1000000         0
699.79/700.08	c      3323      3736   5048.47   1289.43      3.92   1000000         0
709.89/710.17	c      3101      3443   4892.02   1365.33      3.58   1000000         0
720.19/720.42	c      3061      3322   4855.78   1384.61      3.51   1000000         0
730.19/730.47	c      2923      3388   4862.74   1368.11      3.55   1000000         0
740.28/740.59	c      3222      3412   4917.36   1308.71      3.76   1000000         0
750.48/750.75	c      2973      3193   4957.55   1366.05      3.63   1000000         0
760.57/760.88	c      3080      3604   4807.78   1388.58      3.46   1000000         0
770.57/770.88	c      3283      3558   4772.92   1285.51      3.71   1000000         0
780.68/780.93	c      3206      3468   4906.58   1331.81      3.68   1000000         0
790.77/791.02	c      2965      3406   4914.48   1328.73      3.70   1000000         0
800.96/801.21	c      2967      3206   4901.00   1510.35      3.24   1000000         0
811.06/811.32	c      3186      3667   4846.54   1351.91      3.58   1000000         0
821.16/821.46	c      2929      3030   4785.82   1421.63      3.37   1000000         0
831.15/831.48	c      3170      3610   4865.29   1353.07      3.60   1000000         0
841.35/841.62	c      3148      3560   4838.96   1446.37      3.35   1000000         0
851.55/851.89	c      3052      3786   4923.41   1334.24      3.69   1000000         0
861.65/861.91	c      3273      3609   5070.97   1377.70      3.68   1000000         0
871.74/872.01	c      2933      3041   4812.81   1428.68      3.37   1000000         0
881.74/882.00	c      3231      3333   5024.72   1393.18      3.61   1000000         0
891.74/892.03	c      3081      3298   4775.52   1366.86      3.49   1000000         0
901.83/902.14	c      3210      3271   5012.23   1291.31      3.88   1000000         0
911.93/912.29	c      3203      3472   4893.65   1365.08      3.58   1000000         0
922.03/922.38	c      2924      3307   4904.08   1393.74      3.52   1000000         0
932.03/932.39	c      2994      3706   4724.58   1252.91      3.77   1000000         0
942.12/942.43	c      3034      3225   4834.19   1332.99      3.63   1000000         0
952.23/952.51	c      3256      3597   4892.52   1372.63      3.56   1000000         0
962.32/962.68	c      3102      3456   4788.92   1382.82      3.46   1000000         0
972.52/972.80	c      3115      3517   4844.36   1461.84      3.31   1000000         0
982.41/982.77	c      3027      3170   4814.73   1399.91      3.44   1000000         0
992.71/993.07	c      3047      3234   4947.56   1464.00      3.38   1000000         0
1002.81/1003.15	c      3070      3486   4834.72   1493.15      3.24   1000000         0
1012.91/1013.28	c      2938      3103   4798.36   1388.24      3.46   1000000         0
1023.00/1023.39	c      3193      3401   4926.19   1306.57      3.77   1000000         0
1033.20/1033.52	c      3043      3553   4965.75   1383.79      3.59   1000000         0
1043.29/1043.61	c      3047      3424   4861.07   1441.99      3.37   1000000         0
1053.29/1053.63	c      3046      3359   4798.90   1363.49      3.52   1000000         0
1063.40/1063.76	c      3066      3192   5003.37   1468.35      3.41   1000000         0
1073.59/1073.97	c      3100      3424   4822.27   1381.94      3.49   1000000         0
1083.78/1084.16	c      3024      3261   4805.49   1318.85      3.64   1000000         0
1093.88/1094.22	c      3025      3382   4864.02   1388.17      3.50   1000000         0
1103.99/1104.32	c      3035      3381   4968.77   1329.83      3.74   1000000         0
1114.18/1114.52	c      2980      3380   4818.53   1429.96      3.37   1000000         0
1124.17/1124.56	c      2923      3123   4683.14   1354.04      3.46   1000000         0
1134.27/1134.67	c      2884      3178   4808.62   1471.75      3.27   1000000         0
1144.37/1144.79	c      3270      3411   5041.81   1432.68      3.52   1000000         0
1154.57/1154.90	c      2868      3073   4911.95   1446.46      3.40   1000000         0
1164.57/1164.96	c      3179      3492   4879.53   1243.08      3.93   1000000         0
1174.66/1175.01	c      3092      3353   4893.69   1388.77      3.52   1000000         0
1184.76/1185.19	c      3090      3643   4888.02   1337.51      3.65   1000000         0
1195.05/1195.45	c      3144      3378   5123.17   1403.05      3.65   1000000         0
1205.26/1205.61	c      2960      3115   4828.01   1442.03      3.35   1000000         0
1215.35/1215.75	c      3141      3609   4974.88   1422.73      3.50   1000000         0
1225.44/1225.81	c      3017      3431   4969.29   1358.84      3.66   1000000         0
1235.54/1235.93	c      2933      3138   4814.00   1418.40      3.39   1000000         0
1245.74/1246.12	c      3163      3389   4926.25   1398.68      3.52   1000000         0
1255.84/1256.28	c      3001      3370   4915.78   1397.77      3.52   1000000         0
1265.93/1266.36	c      3093      3513   4804.48   1355.17      3.55   1000000         0
1276.13/1276.54	c      3136      3248   4985.39   1423.68      3.50   1000000         0
1286.23/1286.67	c      2912      3201   4723.73   1454.51      3.25   1000000         0
1296.32/1296.78	c      3062      3183   4844.18   1460.13      3.32   1000000         0
1306.52/1306.90	c      3092      3552   4884.62   1423.43      3.43   1000000         0
1316.62/1317.08	c      2963      3721   4935.99   1441.46      3.42   1000000         0
1326.72/1327.19	c      3149      3377   4796.38   1391.94      3.45   1000000         0
1336.81/1337.27	c      3032      3536   4730.32   1415.00      3.34   1000000         0
1346.81/1347.29	c      3161      3544   4864.35   1364.27      3.57   1000000         0
1357.02/1357.42	c      2987      3320   4838.11   1378.59      3.51   1000000         0
1367.10/1367.58	c      2926      3074   4709.89   1373.41      3.43   1000000         0
1377.30/1377.71	c      3035      3259   4977.08   1416.94      3.51   1000000         0
1387.30/1387.74	c      3161      3460   4781.84   1295.70      3.69   1000000         0
1397.40/1397.82	c      2941      3281   4773.37   1414.33      3.38   1000000         0
1407.50/1407.99	c      3222      3389   4945.40   1351.34      3.66   1000000         0
1417.59/1418.06	c      3014      3165   4896.15   1353.09      3.62   1000000         0
1427.69/1428.12	c      3124      3399   4930.89   1412.22      3.49   1000000         0
1437.79/1438.25	c      3102      3553   4706.46   1331.85      3.53   1000000         0
1447.98/1448.43	c      3036      3527   5005.22   1393.00      3.59   1000000         0
1457.98/1458.47	c      3014      3246   4864.76   1393.67      3.49   1000000         0
1468.09/1468.57	c      2942      3357   4613.08   1371.91      3.36   1000000         0
1478.27/1478.73	c      3263      3655   5028.20   1365.01      3.68   1000000         0
1488.37/1488.89	c      3297      3623   5024.97   1331.45      3.77   1000000         0
1498.47/1498.96	c      3012      3389   4868.67   1363.92      3.57   1000000         0
1508.57/1509.05	c      3189      3328   4942.09   1449.00      3.41   1000000         0
1518.76/1519.23	c      3005      3297   4889.52   1296.67      3.77   1000000         0
1528.76/1529.28	c      2831      3379   4844.04   1399.08      3.46   1000000         0
1538.96/1539.43	c      3067      3421   4901.23   1445.43      3.39   1000000         0
1549.06/1549.58	c      2832      3168   4885.44   1509.21      3.24   1000000         0
1559.15/1559.69	c      2988      3317   4810.39   1516.22      3.17   1000000         0
1569.26/1569.77	c      2887      3165   4707.85   1402.93      3.36   1000000         0
1579.45/1579.91	c      3076      3427   4728.50   1390.78      3.40   1000000         0
1589.44/1589.96	c      3042      3290   4815.08   1406.45      3.42   1000000         0
1599.44/1599.96	c      2961      3484   4856.86   1381.13      3.52   1000000         0
1609.64/1610.11	c      3132      3559   4915.58   1369.45      3.59   1000000         0
1619.84/1620.32	c      3183      3269   4918.15   1432.91      3.43   1000000         0
1629.93/1630.48	c      2760      2952   4946.49   1436.46      3.44   1000000         0
1640.13/1640.64	c      3011      3303   4751.58   1457.13      3.26   1000000         0
1650.43/1650.92	c      3131      3335   4872.65   1387.47      3.51   1000000         0
1660.53/1661.07	c      3112      3454   4930.01   1454.50      3.39   1000000         0
1670.72/1671.20	c      3208      3445   5049.83   1452.00      3.48   1000000         0
1680.82/1681.35	c      2983      3420   5013.81   1365.11      3.67   1000000         0
1690.92/1691.48	c      2986      3315   4882.53   1456.35      3.35   1000000         0
1701.01/1701.58	c      2949      3205   4788.91   1355.13      3.53   1000000         0
1711.02/1711.54	c      2987      3137   4811.90   1428.81      3.37   1000000         0
1721.21/1721.73	c      3186      3520   4893.51   1340.11      3.65   1000000         0
1731.31/1731.88	c      2931      3334   4824.34   1396.35      3.45   1000000         0
1741.50/1742.00	c      2992      3462   4858.29   1428.29      3.40   1000000         0
1751.60/1752.19	c      2848      3160   4749.08   1427.54      3.33   1000000         0
1761.80/1762.34	c      3322      3767   5130.57   1474.15      3.48   1000000         0
1771.99/1772.53	c      3177      3448   4899.30   1349.49      3.63   1000000         0
1782.19/1782.73	c      3134      3450   4954.88   1331.12      3.72   1000000         0
1792.40/1792.90	c      3138      3387   5070.20   1465.87      3.46   1000000         0
1800.10/1800.61	HOME/run: line 2:  7604 Terminated              ./PB-wave < $1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669551-1276611183/watcher-2669551-1276611183 -o /tmp/evaluation-result-2669551-1276611183/solver-2669551-1276611183 -C 1800 -W 2000 -M 1800 run HOME/instance-2669551-1276611183.opb 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 7603
/proc/meminfo: memFree=1755168/2059040 swapFree=4136492/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0

[startup+0.0629141 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 7603
/proc/meminfo: memFree=1755168/2059040 swapFree=4136492/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100918 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 7603
/proc/meminfo: memFree=1755168/2059040 swapFree=4136492/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300942 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 7603
/proc/meminfo: memFree=1755168/2059040 swapFree=4136492/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70099 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 7603
/proc/meminfo: memFree=1755168/2059040 swapFree=4136492/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50108 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 7605
/proc/meminfo: memFree=1737172/2059040 swapFree=4136492/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1.49
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4518 0 0 0 148 1 0 0 25 0 1 0 36722379 41422848 4448 1992294400 134512640 135071400 4289307360 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4448 61 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10127 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 7605
/proc/meminfo: memFree=1737048/2059040 swapFree=4136492/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=3.09
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4518 0 0 0 308 1 0 0 25 0 1 0 36722379 41422848 4448 1992294400 134512640 135071400 4289307360 18446744073709551615 134572074 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4448 61 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30165 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 7607
/proc/meminfo: memFree=1736676/2059040 swapFree=4136492/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=6.29
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4519 0 0 0 628 1 0 0 25 0 1 0 36722379 41422848 4449 1992294400 134512640 135071400 4289307360 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4449 62 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 7607
/proc/meminfo: memFree=1736676/2059040 swapFree=4136492/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=12.68
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 1267 1 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5009 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 7607
/proc/meminfo: memFree=1736676/2059040 swapFree=4136492/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=25.48
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 2547 1 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1009 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 7610
/proc/meminfo: memFree=1736428/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=51.07
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 5106 1 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526333 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 7612
/proc/meminfo: memFree=1736428/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=102.26
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 10224 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 7614
/proc/meminfo: memFree=1736428/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=162.24
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 16222 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 7614
/proc/meminfo: memFree=1736304/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=222.22
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 22220 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 7616
/proc/meminfo: memFree=1736304/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=282.2
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 28218 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.06 0.99 0.99 2/108 7618
/proc/meminfo: memFree=1736304/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=342.19
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 34217 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.02 0.99 0.99 2/108 7620
/proc/meminfo: memFree=1736180/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=402.17
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 40215 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1061.99
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 106197 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.18 1.04 1.01 2/108 7638
/proc/meminfo: memFree=1735560/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1121.97
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 112195 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526869 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.21 1.07 1.02 2/108 7640
/proc/meminfo: memFree=1735560/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1181.96
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 118194 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.21 1.10 1.03 2/108 7642
/proc/meminfo: memFree=1735188/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1241.94
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 124192 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134525893 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.21 1.12 1.04 2/108 7644
/proc/meminfo: memFree=1735188/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1301.93
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 130191 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.21 1.14 1.05 2/108 7646
/proc/meminfo: memFree=1735188/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1361.91
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 136189 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.16 1.14 1.05 2/108 7646
/proc/meminfo: memFree=1735064/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1421.9
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 142188 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.18 1.16 1.06 2/108 7648
/proc/meminfo: memFree=1735064/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1481.87
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 148185 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.14 1.15 1.07 2/108 7650
/proc/meminfo: memFree=1735064/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1541.86
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 154184 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.24 1.18 1.08 2/108 7652
/proc/meminfo: memFree=1734940/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1601.84
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 160182 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.24 1.19 1.09 2/108 7654
/proc/meminfo: memFree=1734940/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1661.83
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 166181 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.26 1.20 1.10 2/108 7654
/proc/meminfo: memFree=1734692/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1721.81
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 172179 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.24 1.20 1.10 2/108 7656
/proc/meminfo: memFree=1734444/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1781.79
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 178177 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.18 1.19 1.10 2/108 7656
/proc/meminfo: memFree=1734444/2059040 swapFree=4136496/4192956
[pid=7603] ppid=7601 vsize=8700 CPUtime=0
/proc/7603/stat : 7603 (run) S 7601 7603 7226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 36722379 8908800 243 1992294400 4194304 4922060 140737263049456 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/7603/statm: 2175 243 204 178 0 68 0
[pid=7604] ppid=7603 vsize=40452 CPUtime=1800.1
/proc/7604/stat : 7604 (PB-wave) R 7603 7603 7226 0 -1 4202496 4528 0 0 0 180008 2 0 0 25 0 1 0 36722379 41422848 4458 1992294400 134512640 135071400 4289307360 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7604/statm: 10113 4458 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)
S2 seconds
Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.12
CPU user time (s): 1800.09
CPU system time (s): 0.029995
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4899
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= 3
involuntary context switches= 5075

runsolver used 3.14252 second user time and 8.37973 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-15 16:13:04
IDJOB=2669551
IDBENCH=1481
IDSOLVER=1171
FILE ID=node001/2669551-1276611183
PBS_JOBID= 11172284
Free space on /tmp= 62508 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669551-1276611183/watcher-2669551-1276611183 -o /tmp/evaluation-result-2669551-1276611183/solver-2669551-1276611183 -C 1800 -W 2000 -M 1800  run HOME/instance-2669551-1276611183.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 70ea01a607f0d01f6199fb93098b84d8
RANDOM SEED=298430285

node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.202
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
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.202
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1755820 kB
Buffers:         55736 kB
Cached:         156064 kB
SwapCached:       9876 kB
Active:          97432 kB
Inactive:       127600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1755820 kB
SwapTotal:     4192956 kB
SwapFree:      4136492 kB
Dirty:            8588 kB
Writeback:           0 kB
AnonPages:       11720 kB
Mapped:           9480 kB
Slab:            56524 kB
PageTables:       4068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182720 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62508 MiB
End job on node001 at 2010-06-15 16:43:04