Trace number 2669553

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.02 1800.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM8c486f10dc9ea0956b38d79189648654
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 benchmark786.704
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables109757
Total number of constraints313451
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
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.96	c PB-wave - v2
0.00/0.96	c command line = ./PB-wave
0.00/0.96	c seed = 88923989
0.00/0.96	c cutoff = 1000000
0.00/0.96	c tries = 1000000
0.00/0.96	c heuristic = c best, noise 50 / 100
0.00/0.96	#var 109757 #con 313451
0.00/0.96	mode is SAT
0.00/0.96	c tail starts after flip = 329271
0.00/0.96	c numatom = 109757, numclause = 313451, numliterals = 940585
0.00/0.96	c wff read in
0.00/0.96	c 
0.00/0.96	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.96	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.96	c       this      this      this      this      this      this   success   success       until         std
0.00/0.96	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.96	c
13.58/13.60	c      5845      6165   8075.62   1670.17      4.84   1000000         0
26.08/26.13	c      5431      5746   7859.56   1654.25      4.75   1000000         0
38.47/38.59	c      5202      5564   7631.48   1811.61      4.21   1000000         0
50.75/50.88	c      5387      5909   7662.79   1567.70      4.89   1000000         0
63.35/63.48	c      5307      5728   7850.50   1790.86      4.38   1000000         0
75.85/75.97	c      5460      5753   7738.07   1799.54      4.30   1000000         0
88.44/88.50	c      5227      5451   7609.95   1767.69      4.31   1000000         0
100.84/100.93	c      5239      5928   7616.96   1770.74      4.30   1000000         0
113.24/113.38	c      5377      5459   7666.50   1686.22      4.55   1000000         0
125.73/125.86	c      4999      5312   7704.20   1704.24      4.52   1000000         0
138.13/138.22	c      5469      6248   7593.43   1697.27      4.47   1000000         0
150.64/150.71	c      5681      5909   7701.79   1686.65      4.57   1000000         0
163.02/163.19	c      5277      5737   7531.80   1589.17      4.74   1000000         0
175.52/175.66	c      5447      6104   7873.58   1899.04      4.15   1000000         0
188.22/188.30	c      5414      5888   7951.65   1834.44      4.33   1000000         0
200.71/200.81	c      5115      5564   7569.32   1806.34      4.19   1000000         0
213.11/213.22	c      5349      5816   8120.13   1903.41      4.27   1000000         0
225.51/225.67	c      5333      5551   7738.22   1736.29      4.46   1000000         0
238.00/238.13	c      5364      5561   7760.43   1713.85      4.53   1000000         0
250.30/250.47	c      5244      5449   7573.02   1793.59      4.22   1000000         0
262.90/263.07	c      5726      6213   7887.80   1706.52      4.62   1000000         0
275.49/275.67	c      5141      5944   7568.56   1670.48      4.53   1000000         0
287.89/288.09	c      5123      5427   7685.85   1821.51      4.22   1000000         0
300.29/300.43	c      5516      5921   7766.85   1605.52      4.84   1000000         0
312.78/312.99	c      5880      6288   8002.26   1655.98      4.83   1000000         0
325.39/325.53	c      5544      5706   7860.05   1684.09      4.67   1000000         0
337.98/338.11	c      5086      5454   7688.45   1801.19      4.27   1000000         0
350.47/350.67	c      5411      5921   7757.67   1813.60      4.28   1000000         0
363.07/363.24	c      5658      6229   7931.29   1830.19      4.33   1000000         0
375.47/375.69	c      5255      5636   7671.31   1732.99      4.43   1000000         0
387.86/388.09	c      5300      5496   7734.79   1925.28      4.02   1000000         0
400.17/400.39	c      5317      5735   7584.10   1665.43      4.55   1000000         0
412.66/412.83	c      5340      6105   7827.41   1838.04      4.26   1000000         0
425.15/425.30	c      5412      5909   7813.67   1771.00      4.41   1000000         0
437.66/437.82	c      5487      5811   7856.34   1738.76      4.52   1000000         0
450.05/450.28	c      5511      5804   7727.67   1786.13      4.33   1000000         0
462.54/462.76	c      5543      5823   7940.67   1700.31      4.67   1000000         0
475.05/475.28	c      5316      5660   7710.53   1723.22      4.47   1000000         0
487.64/487.81	c      5493      6013   7875.74   1751.50      4.50   1000000         0
500.13/500.34	c      5271      5796   7734.54   1864.43      4.15   1000000         0
512.53/512.78	c      5384      5493   7656.67   1635.47      4.68   1000000         0
524.93/525.18	c      5220      5812   7647.94   1759.85      4.35   1000000         0
537.32/537.57	c      5330      5869   7831.41   1647.03      4.75   1000000         0
549.73/549.91	c      5171      5729   7755.09   1850.69      4.19   1000000         0
562.22/562.41	c      5460      6047   7773.18   1742.93      4.46   1000000         0
574.51/574.73	c      5339      5528   7774.19   1684.23      4.62   1000000         0
587.01/587.29	c      5437      5640   7823.14   1656.49      4.72   1000000         0
599.61/599.83	c      5113      5529   7484.41   1704.47      4.39   1000000         0
612.10/612.36	c      5347      5718   7859.79   1812.38      4.34   1000000         0
624.70/624.91	c      5397      5703   7905.15   1717.12      4.60   1000000         0
637.00/637.28	c      5270      5569   7760.27   1748.53      4.44   1000000         0
649.29/649.57	c      5456      5748   7990.92   1825.69      4.38   1000000         0
661.79/662.08	c      5171      5257   7716.92   1832.27      4.21   1000000         0
674.29/674.52	c      5504      5869   7794.86   1759.89      4.43   1000000         0
686.58/686.87	c      5205      5401   7600.57   1793.80      4.24   1000000         0
699.08/699.31	c      5650      5872   7888.10   1617.20      4.88   1000000         0
711.49/711.77	c      5228      5703   7649.89   1809.16      4.23   1000000         0
723.88/724.11	c      5453      5671   7816.93   1864.65      4.19   1000000         0
736.28/736.56	c      5439      6231   7816.33   1580.87      4.94   1000000         0
748.68/749.00	c      5269      5669   7613.35   1629.95      4.67   1000000         0
761.17/761.47	c      5246      5844   7851.93   1720.51      4.56   1000000         0
773.67/773.91	c      5114      5495   7906.36   1978.16      4.00   1000000         0
786.07/786.30	c      5482      5845   7785.00   1683.99      4.62   1000000         0
798.46/798.74	c      5420      5738   7704.06   1630.63      4.72   1000000         0
811.06/811.31	c      5240      5736   7789.34   1894.87      4.11   1000000         0
823.36/823.65	c      5336      5601   7760.07   1816.66      4.27   1000000         0
835.66/836.00	c      5420      5787   7688.78   1726.24      4.45   1000000         0
848.15/848.44	c      5694      5969   7740.26   1645.55      4.70   1000000         0
860.65/860.96	c      5385      5874   7741.93   1637.65      4.73   1000000         0
872.94/873.28	c      5531      6145   7898.87   1768.47      4.47   1000000         0
885.54/885.80	c      5498      5740   7767.07   1592.56      4.88   1000000         0
897.94/898.20	c      5301      5567   7795.17   1668.92      4.67   1000000         0
910.44/910.71	c      5083      5404   7642.05   1803.88      4.24   1000000         0
922.93/923.25	c      5140      5707   7828.40   1846.82      4.24   1000000         0
935.43/935.74	c      5397      5674   7794.11   1753.69      4.44   1000000         0
948.02/948.31	c      5276      5789   7662.63   1777.08      4.31   1000000         0
960.42/960.79	c      5248      5788   7706.85   1773.02      4.35   1000000         0
972.92/973.28	c      5493      5711   7999.31   1861.91      4.30   1000000         0
985.41/985.78	c      5474      5927   7795.98   1662.31      4.69   1000000         0
997.81/998.19	c      5336      5779   7702.73   1744.46      4.42   1000000         0
1010.31/1010.61	c      5322      5481   7847.77   1709.04      4.59   1000000         0
1022.80/1023.12	c      5297      5500   7692.02   1710.52      4.50   1000000         0
1035.20/1035.57	c      5278      5579   7676.56   1759.43      4.36   1000000         0
1047.80/1048.10	c      5271      5608   7950.81   1836.34      4.33   1000000         0
1060.29/1060.60	c      5249      5947   7746.70   1718.11      4.51   1000000         0
1072.59/1072.99	c      5214      5338   7675.14   1797.04      4.27   1000000         0
1085.09/1085.41	c      5488      6111   7786.88   1684.65      4.62   1000000         0
1097.28/1097.69	c      5137      5509   7697.35   1871.01      4.11   1000000         0
1109.88/1110.23	c      5051      5330   7484.69   1847.37      4.05   1000000         0
1122.28/1122.68	c      5628      5965   7932.69   1664.71      4.77   1000000         0
1134.57/1134.99	c      5474      5478   7883.61   1607.94      4.90   1000000         0
1147.07/1147.41	c      5104      5207   7770.38   1828.14      4.25   1000000         0
1159.37/1159.75	c      5235      5535   7671.51   1707.75      4.49   1000000         0
1171.76/1172.19	c      5290      5620   7690.09   1738.74      4.42   1000000         0
1184.27/1184.60	c      5172      5310   7619.95   1796.67      4.24   1000000         0
1196.76/1197.13	c      5579      5805   8126.32   1795.19      4.53   1000000         0
1209.15/1209.55	c      5447      5979   7776.40   1654.00      4.70   1000000         0
1221.66/1222.03	c      5406      5707   7835.42   1801.30      4.35   1000000         0
1233.95/1234.39	c      5264      5292   7704.14   1691.42      4.55   1000000         0
1246.44/1246.81	c      5362      5682   7810.94   1761.42      4.43   1000000         0
1258.84/1259.21	c      5402      5443   7748.42   1676.80      4.62   1000000         0
1271.25/1271.65	c      5338      5890   7726.86   1861.75      4.15   1000000         0
1283.63/1284.04	c      5234      5577   7550.21   1746.66      4.32   1000000         0
1296.13/1296.54	c      5419      5961   7800.87   1717.30      4.54   1000000         0
1308.54/1308.98	c      5377      5642   7792.22   1784.56      4.37   1000000         0
1321.03/1321.40	c      5438      6058   7844.86   1756.12      4.47   1000000         0
1333.42/1333.84	c      5449      5723   7782.25   1707.77      4.56   1000000         0
1345.72/1346.18	c      5236      5757   7618.57   1787.42      4.26   1000000         0
1358.12/1358.58	c      5575      5828   7967.56   1833.43      4.35   1000000         0
1370.71/1371.18	c      5316      5740   7855.43   1656.66      4.74   1000000         0
1383.11/1383.58	c      5287      6073   7968.67   1801.32      4.42   1000000         0
1395.51/1395.95	c      5258      5708   7755.07   1770.96      4.38   1000000         0
1408.00/1408.42	c      5418      5638   7779.88   1644.80      4.73   1000000         0
1420.50/1420.92	c      5393      5617   7716.04   1843.17      4.19   1000000         0
1432.90/1433.38	c      5564      5978   7848.21   1692.86      4.64   1000000         0
1445.29/1445.78	c      5414      5639   7805.01   1701.35      4.59   1000000         0
1457.79/1458.25	c      5528      5839   7768.69   1765.06      4.40   1000000         0
1470.29/1470.73	c      5290      5825   7765.30   1806.66      4.30   1000000         0
1482.68/1483.16	c      5473      5863   7827.16   1810.87      4.32   1000000         0
1495.18/1495.61	c      5277      5566   7575.31   1751.94      4.32   1000000         0
1507.58/1508.09	c      5349      5676   7744.39   1753.80      4.42   1000000         0
1520.07/1520.51	c      5108      5461   7614.33   1828.11      4.17   1000000         0
1532.57/1533.06	c      5254      5826   7681.18   1766.24      4.35   1000000         0
1545.17/1545.61	c      5290      5694   7855.05   1705.83      4.60   1000000         0
1557.56/1558.05	c      5358      5546   7795.39   1724.30      4.52   1000000         0
1570.06/1570.55	c      5552      5825   7887.21   1702.22      4.63   1000000         0
1582.56/1583.04	c      5315      5412   7720.98   1761.16      4.38   1000000         0
1595.15/1595.64	c      5267      5938   7974.30   1987.06      4.01   1000000         0
1607.45/1607.96	c      5390      5544   7862.44   1723.88      4.56   1000000         0
1619.85/1620.38	c      5198      5272   7713.98   1813.00      4.25   1000000         0
1632.34/1632.85	c      5269      5752   7754.12   1754.53      4.42   1000000         0
1644.74/1645.27	c      5389      5430   7890.14   1767.76      4.46   1000000         0
1657.34/1657.87	c      5300      5456   7679.51   1726.49      4.45   1000000         0
1669.83/1670.33	c      5613      6047   7848.12   1678.95      4.67   1000000         0
1682.13/1682.61	c      5404      5914   7777.23   1744.35      4.46   1000000         0
1694.53/1695.08	c      5419      5893   7780.10   1724.46      4.51   1000000         0
1707.02/1707.54	c      5048      5236   7722.31   1858.69      4.15   1000000         0
1719.52/1720.02	c      5484      5865   7766.08   1652.93      4.70   1000000         0
1731.82/1732.38	c      5406      5854   7800.53   1700.57      4.59   1000000         0
1744.21/1744.79	c      5529      6354   7996.07   1836.45      4.35   1000000         0
1756.71/1757.23	c      5206      6164   7599.96   1893.70      4.01   1000000         0
1769.21/1769.75	c      5186      5691   7675.97   1658.26      4.63   1000000         0
1781.80/1782.32	c      5354      5687   8021.62   1870.71      4.29   1000000         0
1794.20/1794.70	c      5383      5691   7695.42   1751.45      4.39   1000000         0
1800.00/1800.51	HOME/run: line 2:  9773 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-2669553-1276611416/watcher-2669553-1276611416 -o /tmp/evaluation-result-2669553-1276611416/solver-2669553-1276611416 -C 1800 -W 2000 -M 1800 run HOME/instance-2669553-1276611416.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: 1.00 1.00 1.00 3/106 9772
/proc/meminfo: memFree=1756952/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) R 9770 9772 9302 0 -1 4202496 344 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374582165 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0

[startup+0.0314589 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9772
/proc/meminfo: memFree=1756952/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101466 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9772
/proc/meminfo: memFree=1756952/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300487 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9772
/proc/meminfo: memFree=1756952/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70053 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9772
/proc/meminfo: memFree=1756952/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50162 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9774
/proc/meminfo: memFree=1732632/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1.48
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6134 0 0 0 147 1 0 0 23 0 1 0 2434469 41422848 6063 1992294400 134512640 135071400 4290383536 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6063 61 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10179 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9774
/proc/meminfo: memFree=1731888/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=3.08
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6134 0 0 0 307 1 0 0 25 0 1 0 2434469 41422848 6063 1992294400 134512640 135071400 4290383536 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6063 61 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30114 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9774
/proc/meminfo: memFree=1731888/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=6.28
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6135 0 0 0 627 1 0 0 25 0 1 0 2434469 41422848 6064 1992294400 134512640 135071400 4290383536 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6064 62 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9774
/proc/meminfo: memFree=1731888/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=12.68
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6135 0 0 0 1267 1 0 0 25 0 1 0 2434469 41422848 6064 1992294400 134512640 135071400 4290383536 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6064 62 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9776
/proc/meminfo: memFree=1732020/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=25.48
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6144 0 0 0 2547 1 0 0 25 0 1 0 2434469 41422848 6073 1992294400 134512640 135071400 4290383536 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6073 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.101 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 9776
/proc/meminfo: memFree=1732020/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=51.05
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6144 0 0 0 5104 1 0 0 25 0 1 0 2434469 41422848 6073 1992294400 134512640 135071400 4290383536 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6073 69 137 0 9974 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.09 1.03 1.00 2/108 9778
/proc/meminfo: memFree=1732020/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=102.25
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6144 0 0 0 10224 1 0 0 25 0 1 0 2434469 41422848 6073 1992294400 134512640 135071400 4290383536 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6073 69 137 0 9974 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 9778
/proc/meminfo: memFree=1732020/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=162.22
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6144 0 0 0 16221 1 0 0 25 0 1 0 2434469 41422848 6073 1992294400 134512640 135071400 4290383536 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6073 69 137 0 9974 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.09 1.04 1.00 2/108 9780
/proc/meminfo: memFree=1732020/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=222.21
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6144 0 0 0 22220 1 0 0 25 0 1 0 2434469 41422848 6073 1992294400 134512640 135071400 4290383536 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6073 69 137 0 9974 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/108 9782
/proc/meminfo: memFree=1732020/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=282.19
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6144 0 0 0 28218 1 0 0 25 0 1 0 2434469 41422848 6073 1992294400 134512640 135071400 4290383536 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6073 69 137 0 9974 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/108 9784
/proc/meminfo: memFree=1732020/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=342.18
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6144 0 0 0 34217 1 0 0 25 0 1 0 2434469 41422848 6073 1992294400 134512640 135071400 4290383536 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6073 69 137 0 9974 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/108 9786
/proc/meminfo: memFree=1731896/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=402.16
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 40215 1 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1121.98
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 112196 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 9809
/proc/meminfo: memFree=1730904/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1181.96
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 118194 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 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.00 1.02 1.00 2/108 9811
/proc/meminfo: memFree=1730656/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1241.95
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 124193 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 9813
/proc/meminfo: memFree=1730656/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1301.94
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 130192 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 9813
/proc/meminfo: memFree=1730532/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1361.91
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 136189 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 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.00 1.01 1.00 2/108 9815
/proc/meminfo: memFree=1730532/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1421.91
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 142189 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9817
/proc/meminfo: memFree=1730532/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1481.88
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 148186 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9819
/proc/meminfo: memFree=1730532/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1541.87
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 154185 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9821
/proc/meminfo: memFree=1730532/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1601.85
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 160183 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9821
/proc/meminfo: memFree=1730408/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1661.83
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 166181 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 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.00 1.00 1.00 2/108 9823
/proc/meminfo: memFree=1730408/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1721.82
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 172180 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9825
/proc/meminfo: memFree=1730160/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1781.8
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 178178 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9825
/proc/meminfo: memFree=1730160/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1800
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 179998 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9825
/proc/meminfo: memFree=1730160/2059040 swapFree=4192956/4192956
[pid=9772] ppid=9770 vsize=8700 CPUtime=0
/proc/9772/stat : 9772 (run) S 9770 9772 9302 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 2434469 8908800 244 1992294400 4194304 4922060 140734647494832 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/9772/statm: 2175 244 204 178 0 68 0
[pid=9773] ppid=9772 vsize=40452 CPUtime=1800
/proc/9773/stat : 9773 (PB-wave) R 9772 9772 9302 0 -1 4202496 6145 0 0 0 179998 2 0 0 25 0 1 0 2434469 41422848 6074 1992294400 134512640 135071400 4290383536 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9773/statm: 10113 6074 69 137 0 9974 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.027995
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.10553 second user time and 8.39972 second system time

The end

Launcher Data 

Begin job on node037 at 2010-06-15 16:16:56
IDJOB=2669553
IDBENCH=1489
IDSOLVER=1171
FILE ID=node037/2669553-1276611416
PBS_JOBID= 11172264
Free space on /tmp= 62572 MiB

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

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

MD5SUM BENCH= 8c486f10dc9ea0956b38d79189648654
RANDOM SEED=1839717126

node037.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.248
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.49
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.248
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.55
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1757472 kB
Buffers:         30264 kB
Cached:         136176 kB
SwapCached:          0 kB
Active:         111984 kB
Inactive:       113784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1757472 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           11900 kB
Writeback:          28 kB
AnonPages:       59320 kB
Mapped:          15384 kB
Slab:            54080 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180444 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= 62572 MiB
End job on node037 at 2010-06-15 16:46:57