Trace number 3365999

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
SAT09 reference solver:precosat 236? (TO) 5000.06 4999.93

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
MD5SUM3fef216b3efe77c0f10ea0e0be664a94
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables261352
Number of clauses773077
Sum of the clauses size1985588
Maximum clause length248
Minimum clause length1
Number of clauses of size 11592
Number of clauses of size 2357488
Number of clauses of size 3413748
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5249

Solver Data 

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-3365999-1307650889.cnf
0.00/0.00	c found header 'p cnf 261352 773077'
0.79/0.83	c finished parsing
0.79/0.83	c
0.79/0.83	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.79/0.83	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.79/0.83	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.79/0.83	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.79/0.83	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.79/0.83	c --random=1 --spread=2000 --seed=0 --skip=25
0.79/0.83	c
0.79/0.83	c sizeof     vars[0] = 16   alignment = 0       4 MB
0.79/0.83	c sizeof     orgs[0] =  8   alignment = 0       2 MB
0.79/0.83	c sizeof     occs[0] =  8   alignment = 0       2 MB
0.79/0.83	c sizeof iirfs[0..1] =  8   alignment = 0       2 MB
0.79/0.83	c
0.79/0.83	c starting search after 0.8 seconds
0.79/0.83	c no decision limit
0.79/0.86	c
0.79/0.86	c       original/binary      fixed     eliminated      learned       agility
0.79/0.86	c   seconds        variables     equivalent    conflicts       height       MB
0.79/0.86	c
0.79/0.86	c *    0.9   769464  245673   1693 13986      0       0      0    0.0   0   65
6.60/6.61	c s    6.6   317411   56823   2439 67076 135014       0      0    0.0   0   47
6.60/6.61	c l    6.6   317411   56823   2439 67076 135014       0 271476    0.0   0   47
7.29/7.36	c R    7.4   357279   56593   2665 67080 135014     311    286  803.3   4   51
7.49/7.58	c R    7.6   359986   56593   2665 67080 135014     411    386  789.8   2   52
8.49/8.53	c B    8.5   377325   56551   2698 67089 135014    1000    964 1036.9  55   53
9.59/9.67	c B    9.7   419621   56245   2997 67096 135014    2001   1919 1157.9   5   57
9.59/9.69	c R    9.7   419621   56245   2997 67096 135014    2034   1952 1156.8   1   57
12.00/12.10	c s   12.1   396832   54680   3122 67100 136450    2654   2221 1123.5   6   53
12.00/12.10	c -   12.1   396832   54680   3122 67100 136450    2654 257903 1123.5   6   53
17.79/17.85	c s   17.9   463133   54080   3551 67112 136609    7493   6626  960.6  13   57
17.79/17.85	c -   17.9   463133   54080   3551 67112 136609    7493 250166  960.6  13   57
17.79/17.88	c R   17.9   463252   54080   3551 67112 136609    7539   6669  959.8   5   58
18.49/18.53	c B   18.5   466380   54064   3567 67112 136609    8004   7132  952.3   3   58
24.79/24.83	c s   24.8   628159   53731   3811 67145 136665   15274  14189  872.3   4   70
24.79/24.83	c -   24.8   628159   53731   3811 67145 136665   15274 245163  872.3   4   70
29.49/29.52	c B   29.5   732574   53579   3941 67167 136665   24009  22893  824.1  13   79
30.80/30.82	c R   30.8   746942   53467   4051 67169 136665   26818  25695  810.2   8   81
34.79/34.89	c s   34.9   757699   53312   4111 67191 136738   29870  26620  783.2   3   79
34.79/34.89	c
34.79/34.89	c       original/binary      fixed     eliminated      learned       agility
34.79/34.89	c   seconds        variables     equivalent    conflicts       height       MB
34.79/34.89	c
34.79/34.89	c -   34.9   757699   53312   4111 67191 136738   29870 237809  783.2   3   79
47.49/47.50	c s   47.5  1093945   52951   4431 67232 136738   44313  40844  731.4   1  104
47.49/47.50	c -   47.5  1093945   52951   4431 67232 136738   44313 233053  731.4   1  104
51.19/51.25	c R   51.3  1153662   52950   4432 67232 136738   50123  46646  718.7   5  112
62.00/62.07	c B   62.1  1233666   52896   4486 67232 136738   64015  60531  679.5  12  122
65.79/65.88	c s   65.9  1151222   52336   4506 67241 137269   65646  60570  674.7   4  114
89.30/89.39	c s   89.4  1229467   52149   4553 67246 137404  100237  93039  611.2   2  127
113.10/113.14	c s  113.1  1270040   51994   4637 67307 137414  129000 119724  571.9  18  140
131.10/131.10	c B  131.1  1329989   51917   4694 67327 137414  160036 150748  544.2   6  168
140.10/140.13	c s  140.1  1334236   51829   4753 67336 137434  170368 148779  535.3   0  161
148.00/148.00	c R  148.0  1350782   51821   4760 67337 137434  184543 162953  526.5   6  175
172.00/172.06	c s  172.1  1378017   51784   4778 67356 137434  212089 190392  507.4   1  183
187.69/187.78	c +  187.8  1398375   51780   4779 67359 137434  233055 256358  493.9   7  200
205.49/205.56	c s  205.6  1363394   51546   4786 67363 137657  252970 227722  481.9   1  196
236.20/236.28	c +  236.3  1391514   51504   4816 67375 137657  291317 281993  462.7   3  221
241.20/241.29	c s  241.3  1385079   51494   4816 67378 137664  293613 258981  461.9   6  212
278.40/278.40	c s  278.4  1483552   51433   4844 67409 137666  331656 282365  445.5   0  232
303.40/303.48	c +  303.5  1558832   51392   4880 67414 137666  364147 310192  435.5   6  249
316.50/316.54	c s  316.6  1569582   51379   4886 67418 137669  374858 284439  431.7   2  241
323.20/323.28	c
323.20/323.28	c       original/binary      fixed     eliminated      learned       agility
323.20/323.28	c   seconds        variables     equivalent    conflicts       height       MB
323.20/323.28	c
323.20/323.28	c B  323.3  1585350   51379   4886 67418 137669  384086 293667  429.7  10  254
324.50/324.52	c R  324.5  1594374   51379   4886 67418 137669  387186 296765  429.4  10  257
359.30/359.35	c s  359.4  1612823   51379   4886 67418 137669  429694 310763  419.1   0  262
379.10/379.19	c +  379.2  1624856   51379   4886 67418 137669  455180 341211  413.3   9  274
405.70/405.71	c s  405.7  1587628   51161   4888 67422 137881  477333 331507  407.7  15  272
459.20/459.26	c s  459.3  1627537   51119   4903 67446 137884  535052 335845  398.6   0  281
493.50/493.53	c +  493.5  1653669   51065   4920 67483 137884  568978 375332  392.4   2  298
511.90/511.90	c s  511.9  1660368   51044   4926 67492 137890  583851 337831  389.5  17  283
558.51/558.52	c s  558.5  1669592   51022   4941 67499 137890  634962 375993  382.7   3  307
613.11/613.16	c s  613.2  1687251   50977   4971 67514 137890  687051 375894  375.4   5  308
637.61/637.66	c +  637.7  1697990   50970   4971 67521 137890  711222 412865  372.1   6  321
667.81/667.83	c s  667.8  1676190   50790   4980 67528 138054  736238 394398  368.2  18  314
724.81/724.87	c s  724.9  1747424   50739   5015 67533 138065  790217 412517  361.6   1  329
774.62/774.65	c s  774.7  1783720   50737   5015 67535 138065  840382 414104  356.2   1  333
802.62/802.63	c R  802.7  1786215   50737   5015 67535 138065  883559 415101  353.9  14  345
805.41/805.42	c +  805.4  1788713   50736   5016 67535 138065  889027 454151  353.7  23  343
811.41/811.47	c B  811.5  1797146   50732   5020 67535 138065  896188 420509  354.1   6  350
835.51/835.53	c s  835.6  1759842   50699   5041 67544 138068  920090 434319  353.7   6  345
891.51/891.55	c s  891.6  1781740   50654   5049 67581 138068  977554 454671  349.9   1  357
952.82/952.87	c
952.82/952.87	c       original/binary      fixed     eliminated      learned       agility
952.82/952.87	c   seconds        variables     equivalent    conflicts       height       MB
952.82/952.87	c
952.82/952.87	c s  952.9  1694504   50438   5063 67596 138255 1039753 447968  346.1   2  343
1012.32/1012.30	c s 1012.3  1707957   50430   5066 67599 138257 1084932 453511  341.9   5  348
1035.22/1035.28	c + 1035.3  1711816   50430   5066 67599 138257 1111282 499566  340.4   4  361
1073.32/1073.36	c s 1073.4  1734146   50428   5066 67601 138257 1136939 480606  339.3  11  367
1077.62/1077.60	c R 1077.6  1736036   50428   5066 67601 138257 1140007 483674  339.1  13  377
1138.82/1138.82	c s 1138.9  1760148   50425   5067 67603 138257 1188100 500324  335.0   1  381
1197.12/1197.16	c s 1197.2  1766897   50425   5067 67603 138257 1230422 500981  332.0   1  386
1260.43/1260.43	c s 1260.5  1702167   50219   5077 67656 138400 1271041 496613  328.8   2  379
1325.12/1325.14	c s 1325.2  1726366   50201   5088 67662 138401 1320932 500211  326.0  23  389
1391.93/1391.93	c s 1392.0  1741238   50195   5089 67667 138401 1376545 500231  323.4  17  390
1405.43/1405.42	c + 1405.5  1744050   50195   5089 67667 138401 1389100 549522  322.6  12  404
1448.53/1448.51	c s 1448.6  1753120   50193   5089 67669 138401 1424565 536506  321.0   2  415
1514.53/1514.51	c s 1514.5  1768103   50180   5093 67678 138401 1480341 549710  319.5   2  425
1583.03/1583.08	c s 1583.1  1759893   50133   5093 67682 138444 1525340 547937  318.0   2  419
1646.93/1646.97	c s 1647.0  1749336   50054   5099 67752 138447 1569594 550478  315.9   8  420
1716.63/1716.67	c s 1716.7  1776052   49875   5179 67842 138456 1615255 536319  314.1   0  416
1779.54/1779.57	c s 1779.6  1803274   49854   5182 67860 138456 1669094 549852  312.7   4  426
1846.84/1846.90	c s 1846.9  1811628   49851   5183 67862 138456 1710391 550444  311.5   0  426
1881.04/1881.01	c + 1881.1  1814527   49843   5189 67864 138456 1736375 604474  310.4  13  440
1918.54/1918.57	c
1918.54/1918.57	c       original/binary      fixed     eliminated      learned       agility
1918.54/1918.57	c   seconds        variables     equivalent    conflicts       height       MB
1918.54/1918.57	c
1918.54/1918.57	c s 1918.6  1795931   49772   5189 67875 138516 1763413 573248  310.1   6  441
1989.54/1989.58	c s 1989.6  1815182   49735   5193 67902 138522 1806144 601412  308.4   7  467
2057.74/2057.76	c s 2057.8  1835588   49722   5194 67914 138522 1862174 605618  306.9   2  471
2130.45/2130.49	c s 2130.5  1859094   49696   5203 67931 138522 1931529 604843  307.5  12  472
2198.05/2198.01	c s 2198.1  1883219   49646   5216 67968 138522 1990848 606228  307.3   0  475
2267.25/2267.24	c s 2267.3  1859025   49476   5224 67984 138668 2048314 560135  305.9   0  441
2267.85/2267.82	c B 2267.9  1859025   49476   5224 67984 138668 2048432 560253  305.9  14  442
2332.55/2332.55	c s 2332.6  1868619   49463   5227 67994 138668 2105472 604935  304.4   3  474
2374.56/2374.54	c + 2374.6  1874700   49461   5227 67996 138668 2170465 664921  305.3  23  498
2410.56/2410.59	c s 2410.7  1879837   49458   5227 67999 138668 2195671 631326  304.4  14  500
2484.15/2484.17	c s 2484.2  1898177   49430   5227 68027 138668 2255289 666972  302.9   2  530
2563.66/2563.66	c s 2563.7  1910843   49428   5227 68029 138668 2320382 666120  302.0   3  528
2644.66/2644.63	c s 2644.7  1898050   49350   5241 68033 138728 2356826 664792  300.9   7  525
2731.16/2731.18	c s 2731.3  1910033   49334   5243 68045 138730 2413531 665611  299.2   0  526
2812.06/2812.03	c s 2812.1  1914547   49321   5249 68052 138730 2462265 666130  297.6   2  523
2886.67/2886.61	c s 2886.7  1916750   49315   5253 68054 138730 2506101 665785  296.4   5  513
2974.37/2974.32	c s 2974.4  1923864   49311   5255 68056 138730 2559173 664994  296.1   6  507
3052.37/3052.33	c s 3052.4  1925032   49311   5255 68056 138730 2608416 666046  294.6   0  502
3140.17/3140.13	c s 3140.2  1896286   49198   5260 68056 138838 2671041 647813  292.8   0  473
3191.77/3191.77	c
3191.77/3191.77	c       original/binary      fixed     eliminated      learned       agility
3191.77/3191.77	c   seconds        variables     equivalent    conflicts       height       MB
3191.77/3191.77	c
3191.77/3191.77	c + 3191.9  1918012   49176   5276 68062 138838 2713082 731413  292.4  12  504
3213.27/3213.27	c s 3213.4  1905816   49173   5276 68062 138841 2724961 678068  292.0   1  495
3298.38/3298.34	c s 3298.4  1924636   49150   5282 68078 138842 2780921 732044  291.1   4  537
3390.78/3390.76	c s 3390.9  1941741   49149   5282 68079 138842 2843846 732519  290.2  10  540
3479.98/3479.93	c s 3480.0  1957482   49147   5283 68080 138842 2891577 732698  289.2   1  543
3562.18/3562.18	c s 3562.3  1939161   49119   5284 68081 138868 2947382 729919  288.6   0  546
3650.79/3650.72	c s 3650.8  1941832   49119   5284 68081 138868 2992565 733077  287.5   3  551
3741.79/3741.72	c s 3741.8  1947096   49108   5294 68082 138868 3042898 732306  286.6   5  557
3830.69/3830.60	c s 3830.7  1960440   49085   5301 68098 138868 3093023 731823  285.9   2  559
3904.70/3904.68	c s 3904.8  1971094   49085   5301 68098 138868 3132020 731922  284.8   1  553
3977.20/3977.10	c s 3977.2  1975748   49085   5301 68098 138868 3181428 731698  284.0   1  554
4042.90/4042.85	c s 4043.0  1980021   49085   5301 68098 138868 3224548 732805  283.0  12  554
4117.00/4116.96	c s 4117.1  1980714   49085   5301 68098 138868 3279921 732778  282.6   1  555
4197.40/4197.35	c s 4197.5  1899726   48935   5309 68098 139010 3332417 698425  282.5   3  514
4291.50/4291.48	c s 4291.6  1906001   48930   5311 68099 139012 3382099 729103  281.8   7  534
4302.30/4302.23	c + 4302.3  1909689   48928   5312 68100 139012 3391351 804554  281.8  10  548
4381.00/4380.95	c s 4381.1  1916622   48928   5312 68100 139012 3432672 774577  281.0   4  569
4481.31/4481.27	c s 4481.4  1923879   48928   5312 68100 139012 3502196 807068  281.0   8  592
4576.21/4576.10	c s 4576.2  1938748   48928   5312 68100 139012 3560108 805108  280.6   3  593
4667.52/4667.44	c
4667.52/4667.44	c       original/binary      fixed     eliminated      learned       agility
4667.52/4667.44	c   seconds        variables     equivalent    conflicts       height       MB
4667.52/4667.44	c
4667.52/4667.44	c s 4667.6  1953082   48928   5312 68100 139012 3615452 806064  280.0   3  595
4761.41/4761.33	c s 4761.5  1949411   48911   5313 68100 139028 3658495 804245  278.9   3  593
4845.22/4845.12	c s 4845.3  1963629   48901   5318 68105 139028 3704061 805075  278.2   8  589
4931.42/4931.33	c s 4931.5  1975778   48894   5320 68108 139030 3754844 799118  277.6  13  582
5000.02/4999.90	c
5000.02/4999.90	c *** CAUGHT SIGNAL 15 ***
5000.02/4999.90	c
5000.02/4999.90	c 3797749 conflicts, 14930310 decisions, 5771 random
5000.02/4999.90	c 62 iterations, 8838 restarts, 65 skipped
5000.02/4999.90	c 13 enlarged, 8758 shrunken, 37131 rescored, 906 rebiased
5000.02/4999.90	c 79 simplifications, 0 reductions
5000.02/4999.90	c
5000.02/4999.90	c vars: 5321 fixed, 68109 equiv, 139030 elim, 68598 merged
5000.02/4999.90	c elim: 22154834 resolutions, 74 phases, 15 rounds
5000.02/4999.90	c sbst: 76% substituted, 0.5% nots, 47.6% ands, 43.8% xors, 8.1% ites
5000.02/4999.90	c arty: 2.00 and 2.00 xor average arity
5000.02/4999.90	c prbe: 1133235 probed, 6192 phases, 11 rounds
5000.02/4999.90	c prbe: 516 failed, 370 lifted, 1182 merged
5000.02/4999.90	c sccs: 679 non trivial, 1 fixed, 52403 merged
5000.02/4999.90	c hash: 1273 units, 15013 merged
5000.02/4999.90	c mins: 637190288 learned, 46% deleted, 557 strong, 569 depth
5000.02/4999.90	c subs: 22667 forward, 32355 backward, 260587 doms
5000.02/4999.90	c strs: 16073 forward, 777 backward
5000.02/4999.90	c doms: 324443 dominators, 246051 high, 1154 low
5000.02/4999.90	c prps: 6926072513 propagations, 1.39 megaprops
5000.02/4999.90	c
5000.02/4999.90	c 5000.0 seconds, 621 MB max, 2177 MB recycled
5000.02/4999.90	c
5000.02/4999.90	c *** CAUGHT SIGNAL 15 ***
5000.02/4999.90	c

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3365999-1307650889/watcher-3365999-1307650889 -o /tmp/evaluation-result-3365999-1307650889/solver-3365999-1307650889 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365999-1307650889.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 5.66 7.32 7.31 2/174 28982
/proc/meminfo: memFree=32358944/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=11344 CPUtime=0 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 2300 0 0 0 0 0 0 0 22 0 1 0 876691802 11616256 2256 33554432000 134512640 135151029 4290308736 18446744073709551615 134534376 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28982/statm: 2836 2257 60 156 0 2679 0

[startup+0.018743 s]
/proc/loadavg: 5.66 7.32 7.31 2/174 28982
/proc/meminfo: memFree=32358944/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=12112 CPUtime=0.01 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 2784 0 0 0 1 0 0 0 22 0 1 0 876691802 12402688 2740 33554432000 134512640 135151029 4290308736 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28982/statm: 3028 2741 60 156 0 2871 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12112

[startup+0.100729 s]
/proc/loadavg: 5.66 7.32 7.31 2/174 28982
/proc/meminfo: memFree=32358944/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=29476 CPUtime=0.09 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 7375 0 0 0 9 0 0 0 22 0 1 0 876691802 30183424 7233 33554432000 134512640 135151029 4290308736 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 7369 7234 65 156 0 7212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29476

[startup+0.300697 s]
/proc/loadavg: 5.66 7.32 7.31 2/174 28982
/proc/meminfo: memFree=32358944/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=43948 CPUtime=0.29 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 11373 0 0 0 28 1 0 0 23 0 1 0 876691802 45002752 10845 33554432000 134512640 135151029 4290308736 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 10987 10845 65 156 0 10830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43948

[startup+0.700624 s]
/proc/loadavg: 5.66 7.32 7.31 2/174 28982
/proc/meminfo: memFree=32358944/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=69360 CPUtime=0.69 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 18254 0 0 0 67 2 0 0 25 0 1 0 876691802 71024640 17213 33554432000 134512640 135151029 4290308736 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 17340 17214 65 156 0 17183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69360

[startup+1.50044 s]
/proc/loadavg: 5.66 7.32 7.31 3/175 28983
/proc/meminfo: memFree=32253164/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=77696 CPUtime=1.49 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 22850 0 0 0 146 3 0 0 25 0 1 0 876691802 79560704 19281 33554432000 134512640 135151029 4290308736 18446744073709551615 134572819 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 19424 19281 80 156 0 19267 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77696

[startup+3.1002 s]
/proc/loadavg: 5.66 7.32 7.31 3/175 28983
/proc/meminfo: memFree=32216204/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=96852 CPUtime=3.09 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 28343 0 0 0 305 4 0 0 25 0 1 0 876691802 99176448 23875 33554432000 134512640 135151029 4290308736 18446744073709551615 134575672 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 24213 23875 80 156 0 24056 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96852

[startup+6.30063 s]
/proc/loadavg: 5.36 7.24 7.28 3/178 28993
/proc/meminfo: memFree=31980360/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=94268 CPUtime=6.29 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 30758 0 0 0 625 4 0 0 25 0 1 0 876691802 96530432 23226 33554432000 134512640 135151029 4290308736 18446744073709551615 134677356 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 23567 23226 80 156 0 23410 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94268

[startup+12.7005 s]
/proc/loadavg: 5.09 7.15 7.25 3/178 28993
/proc/meminfo: memFree=31861608/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=94344 CPUtime=12.69 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 36524 0 0 0 1264 5 0 0 25 0 1 0 876691802 96608256 23288 33554432000 134512640 135151029 4290308736 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 23586 23288 80 156 0 23429 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 94344

[startup+25.5002 s]
/proc/loadavg: 4.41 6.89 7.16 3/178 28993
/proc/meminfo: memFree=31779404/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=96392 CPUtime=25.49 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 50344 0 0 0 2543 6 0 0 25 0 1 0 876691802 98705408 23809 33554432000 134512640 135151029 4290308736 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 24098 23809 80 156 0 23941 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96392

[startup+51.1007 s]
/proc/loadavg: 3.65 6.52 7.03 3/178 28994
/proc/meminfo: memFree=31797768/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=127888 CPUtime=51.09 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 83756 0 0 0 5099 10 0 0 25 0 1 0 876691802 130957312 31620 33554432000 134512640 135151029 4290308736 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 31972 31621 80 156 0 31815 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 127888

[startup+102.307 s]
/proc/loadavg: 2.72 5.82 6.77 3/178 28995
/proc/meminfo: memFree=31765168/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=159772 CPUtime=102.3 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 120678 0 0 0 10213 17 0 0 25 0 1 0 876691802 163606528 39611 33554432000 134512640 135151029 4290308736 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 39943 39611 80 156 0 39786 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 159772

[startup+162.301 s]
/proc/loadavg: 2.26 5.12 6.46 3/178 28997
/proc/meminfo: memFree=31713504/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=207144 CPUtime=162.29 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 171685 0 0 0 16205 24 0 0 25 0 1 0 876691802 212115456 51444 33554432000 134512640 135151029 4290308736 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 51786 51444 80 156 0 51629 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 207144

[startup+222.3 s]
/proc/loadavg: 2.09 4.55 6.18 3/178 28999
/proc/meminfo: memFree=31683352/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=235500 CPUtime=222.29 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 220048 0 0 0 22198 31 0 0 25 0 1 0 876691802 241152000 58585 33554432000 134512640 135151029 4290308736 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 58875 58585 80 156 0 58718 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 235500

[startup+282.301 s]
/proc/loadavg: 2.03 4.08 5.92 3/178 29000
/proc/meminfo: memFree=31644112/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=266108 CPUtime=282.3 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 268871 0 0 0 28191 39 0 0 25 0 1 0 876691802 272494592 66186 33554432000 134512640 135151029 4290308736 18446744073709551615 134520400 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 66527 66186 80 156 0 66370 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 266108

[startup+342.301 s]
/proc/loadavg: 2.01 3.70 5.67 3/178 29002
/proc/meminfo: memFree=31614672/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=296160 CPUtime=342.3 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 297006 0 0 0 34185 45 0 0 25 0 1 0 876691802 303267840 73710 33554432000 134512640 135151029 4290308736 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 74040 73710 80 156 0 73883 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 296160

[startup+402.301 s]
/proc/loadavg: 2.00 3.39 5.44 3/178 29003
/proc/meminfo: memFree=31611520/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=323412 CPUtime=402.3 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 331469 0 0 0 40180 50 0 0 25 0 1 0 876691802 331173888 80520 33554432000 134512640 135151029 4290308736 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 80853 80520 80 156 0 80696 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 323412

[startup+462.3 s]
/proc/loadavg: 2.00 3.13 5.22 3/178 29005
/proc/meminfo: memFree=31586672/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=323508 CPUtime=462.3 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 365684 0 0 0 46175 55 0 0 25 0 1 0 876691802 331272192 80546 33554432000 134512640 135151029 4290308736 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 80877 80546 80 156 0 80720 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 323508

[startup+522.301 s]
/proc/loadavg: 2.00 2.92 5.01 3/178 29007
/proc/meminfo: memFree=31574700/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=335568 CPUtime=522.3 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 389325 0 0 0 52172 58 0 0 25 0 1 0 876691802 343621632 83576 33554432000 134512640 135151029 4290308736 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 83892 83576 80 156 0 83735 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 335568

[startup+582.301 s]
/proc/loadavg: 2.00 2.75 4.82 3/178 29008
/proc/meminfo: memFree=31560004/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=350048 CPUtime=582.31 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 413591 0 0 0 58169 62 0 0 25 0 1 0 876691802 358449152 87231 33554432000 134512640 135151029 4290308736 18446744073709551615 134554782 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 87512 87231 80 156 0 87355 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 350048

[startup+642.3 s]

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

[startup+4062.31 s]
/proc/loadavg: 1.02 1.01 1.22 2/172 29137
/proc/meminfo: memFree=31732864/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=624464 CPUtime=4062.4 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1451358 0 0 0 406028 212 0 0 25 0 1 0 876691802 639451136 155851 33554432000 134512640 135151029 4290308736 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 156116 155851 80 156 0 155959 0
Current children cumulated CPU time (s) 4062.4
Current children cumulated vsize (KiB) 624464

[startup+4122.3 s]
/proc/loadavg: 1.01 1.00 1.20 2/172 29139
/proc/meminfo: memFree=31732912/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=624464 CPUtime=4122.4 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1460320 0 0 0 412027 213 0 0 25 0 1 0 876691802 639451136 155851 33554432000 134512640 135151029 4290308736 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 156116 155851 80 156 0 155959 0
Current children cumulated CPU time (s) 4122.4
Current children cumulated vsize (KiB) 624464

[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/172 29140
/proc/meminfo: memFree=31732856/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=624464 CPUtime=4182.4 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1460320 0 0 0 418027 213 0 0 25 0 1 0 876691802 639451136 155851 33554432000 134512640 135151029 4290308736 18446744073709551615 134555591 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 156116 155851 80 156 0 155959 0
Current children cumulated CPU time (s) 4182.4
Current children cumulated vsize (KiB) 624464

[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/172 29142
/proc/meminfo: memFree=31732780/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=624464 CPUtime=4242.4 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1480288 0 0 0 424024 216 0 0 25 0 1 0 876691802 639451136 155852 33554432000 134512640 135151029 4290308736 18446744073709551615 134578153 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 156116 155852 80 156 0 155959 0
Current children cumulated CPU time (s) 4242.4
Current children cumulated vsize (KiB) 624464

[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/172 29143
/proc/meminfo: memFree=31732716/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=624464 CPUtime=4302.4 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1500255 0 0 0 430021 219 0 0 25 0 1 0 876691802 639451136 155852 33554432000 134512640 135151029 4290308736 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 156116 155852 80 156 0 155959 0
Current children cumulated CPU time (s) 4302.4
Current children cumulated vsize (KiB) 624464

[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/172 29145
/proc/meminfo: memFree=31730796/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=627108 CPUtime=4362.4 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1500921 0 0 0 436021 219 0 0 25 0 1 0 876691802 642158592 156518 33554432000 134512640 135151029 4290308736 18446744073709551615 134577872 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 156777 156518 80 156 0 156620 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 627108

[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/172 29147
/proc/meminfo: memFree=31709892/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=648636 CPUtime=4422.41 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1526505 0 0 0 442017 224 0 0 25 0 1 0 876691802 664203264 161748 33554432000 134512640 135151029 4290308736 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 162159 161748 80 156 0 162002 0
Current children cumulated CPU time (s) 4422.41
Current children cumulated vsize (KiB) 648636

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/172 29148
/proc/meminfo: memFree=31699540/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=658568 CPUtime=4482.41 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1549236 0 0 0 448013 228 0 0 25 0 1 0 876691802 674373632 164125 33554432000 134512640 135151029 4290308736 18446744073709551615 134574626 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 164642 164125 80 156 0 164485 0
Current children cumulated CPU time (s) 4482.41
Current children cumulated vsize (KiB) 658568

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/172 29150
/proc/meminfo: memFree=31696388/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=661356 CPUtime=4542.41 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1550145 0 0 0 454013 228 0 0 25 0 1 0 876691802 677228544 165034 33554432000 134512640 135151029 4290308736 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 165339 165034 80 156 0 165182 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 661356

[startup+4602.3 s]
/proc/loadavg: 1.03 1.01 1.11 2/172 29151
/proc/meminfo: memFree=31694468/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=662524 CPUtime=4602.41 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1570611 0 0 0 460011 230 0 0 25 0 1 0 876691802 678424576 165334 33554432000 134512640 135151029 4290308736 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 165631 165334 80 156 0 165474 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 662524

[startup+4662.3 s]
/proc/loadavg: 1.01 1.01 1.10 2/172 29153
/proc/meminfo: memFree=31692664/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=665288 CPUtime=4662.41 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1571212 0 0 0 466011 230 0 0 25 0 1 0 876691802 681254912 165935 33554432000 134512640 135151029 4290308736 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 166322 165935 80 156 0 166165 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 665288

[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.09 2/172 29155
/proc/meminfo: memFree=31692208/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=664904 CPUtime=4722.42 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1580373 0 0 0 472010 232 0 0 25 0 1 0 876691802 680861696 165904 33554432000 134512640 135151029 4290308736 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 166226 165904 80 156 0 166069 0
Current children cumulated CPU time (s) 4722.42
Current children cumulated vsize (KiB) 664904

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/172 29156
/proc/meminfo: memFree=31691904/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=664904 CPUtime=4782.41 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1600732 0 0 0 478007 234 0 0 25 0 1 0 876691802 680861696 165909 33554432000 134512640 135151029 4290308736 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 166226 165909 80 156 0 166069 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 664904

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/172 29158
/proc/meminfo: memFree=31708332/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=648516 CPUtime=4842.42 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1613023 0 0 0 484006 236 0 0 25 0 1 0 876691802 664080384 161819 33554432000 134512640 135151029 4290308736 18446744073709551615 134521844 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 162129 161819 80 156 0 161972 0
Current children cumulated CPU time (s) 4842.42
Current children cumulated vsize (KiB) 648516

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/172 29159
/proc/meminfo: memFree=31691892/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=664904 CPUtime=4902.42 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1621093 0 0 0 490005 237 0 0 25 0 1 0 876691802 680861696 165916 33554432000 134512640 135151029 4290308736 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 166226 165916 80 156 0 166069 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 664904

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/172 29161
/proc/meminfo: memFree=31691944/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=664904 CPUtime=4962.42 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1641449 0 0 0 496003 239 0 0 25 0 1 0 876691802 680861696 165918 33554432000 134512640 135151029 4290308736 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 166226 165918 80 156 0 166069 0
Current children cumulated CPU time (s) 4962.42
Current children cumulated vsize (KiB) 664904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 1.06 2/172 29162
/proc/meminfo: memFree=31691660/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=664904 CPUtime=5000.02 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1641449 0 0 0 499763 239 0 0 25 0 1 0 876691802 680861696 165918 33554432000 134512640 135151029 4290308736 18446744073709551615 134577872 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 166226 165918 80 156 0 166069 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 664904

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

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

[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 1.06 2/172 29162
/proc/meminfo: memFree=31691660/32951124 swapFree=67050780/67111528
[pid=28982] ppid=28980 vsize=664904 CPUtime=5000.02 cores=1,3,5,7
/proc/28982/stat : 28982 (precosat) R 28980 28982 26276 0 -1 4202496 1641449 0 0 0 499763 239 0 0 25 0 1 0 876691802 680861696 165918 33554432000 134512640 135151029 4290308736 18446744073709551615 134577872 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/28982/statm: 166226 165918 80 156 0 166069 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 664904

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.93
CPU time (s): 5000.06
CPU user time (s): 4997.64
CPU system time (s): 2.41963
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 673100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4997.64
system time used= 2.41963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1641450
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= 5
involuntary context switches= 11163

runsolver used 7.16191 second user time and 17.9183 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-09 22:21:30
IDJOB=3365999
IDBENCH=84248
IDSOLVER=1843
FILE ID=node101/3365999-1307650889
RUNJOBID= node101-1307650889-28965
PBS_JOBID= 13549390
Free space on /tmp= 74176 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365999-1307650889/watcher-3365999-1307650889 -o /tmp/evaluation-result-3365999-1307650889/solver-3365999-1307650889 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365999-1307650889.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3fef216b3efe77c0f10ea0e0be664a94
RANDOM SEED=1938644532

node101.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32359744 kB
Buffers:        107448 kB
Cached:         284876 kB
SwapCached:      27576 kB
Active:         107940 kB
Inactive:       318936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32359744 kB
SwapTotal:    67111528 kB
SwapFree:     67050780 kB
Dirty:           31052 kB
Writeback:           8 kB
AnonPages:       28912 kB
Mapped:           8528 kB
Slab:           100564 kB
PageTables:       4352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189572 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74192 MiB
End job on node101 at 2011-06-09 23:44:52