Trace number 3282344

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
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.62 1202.21

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxor/maxor128.cnf
MD5SUMe050fe11c7c50ba82ac7126f49db3c10
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2982.37
Satisfiable
(Un)Satisfiability was proved
Number of variables200308
Number of clauses598619
Sum of the clauses size1396775
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399078
Number of clauses of size 3199539
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3282344-1304032787.cnf'
0.00/0.00	c -- header says num vars:         200308
0.00/0.00	c -- header says num clauses:      598619
1.00/0.58	c -- clauses added:            0 learnts,       598619 normals,            0 xors
1.00/0.58	c -- vars added     200308
1.00/0.58	c Parsing time:  0.96 s
1.00/0.58	c  N st     0         0    200308    199539    399078         0   1396773         0   no data   no data  --
3.38/0.95	c asymm  cl-useful: 0/452/199522 lits-rem:0 time: 2.20
50.92/12.86	c Flit:    11 Blit:     55 bXBeca:    0 bXProp:  171 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 47.46
51.32/12.95	c Replacing      171 vars Replaced     3396 lits Time:     0.31 s 
51.71/13.05	c bin-w-bin subsume rem            0 bins  time:  0.14 s
52.11/13.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.31 s
88.48/22.29	c Subs w/ non-existent bins:     17 l-rem:      0 v-fix:    15 done:  37169 time: 36.50 s
89.65/22.55	c Removed useless bin:       0  fixed:     0  props:  20.07M  time:  1.02 s
92.87/23.33	c lits-rem:         0  cl-subs:     4516  v-elim:  66681  v-fix:    0  time:  3.07 s
92.87/23.37	c Finding binary XORs  T:     0.14 s  found:     419
93.23/23.42	c Replacing      419 vars Replaced     3686 lits Time:     0.18 s 
94.03/23.61	c Finding non-binary XORs:     0.60 s (found:    9730, avg size: 3.0)
94.03/23.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
94.03/23.65	c Calc default polars -  time:   0.10 s pos:    4847 undec:   82149 neg:  113312
94.03/23.65	c =========================================================================================
94.03/23.65	c types(t): F = full restart, N = normal restart
94.03/23.65	c types(t): S = simplification begin/end, E = solution found
94.03/23.65	c restart types(rt): st = static, dy = dynamic
94.03/23.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
94.03/23.65	c  B st     0         0    132930    205210    217627         0   1129882         0   no data   no data  --
104.43/26.28	c  N dy    14      4666    132930    205210    217670      4495   1129882    173310      8.59      9.04  --
116.00/29.16	c  N dy    24      8915    132930    205210    218086      8504   1129882    331339     12.44     13.22  --
123.99/31.15	c  N dy    38     13712    132917    205210    218135     13200   1129882    485673     11.44     12.11  --
133.57/33.50	c  N dy    45     18063    132882    205210    218338     17461   1129882    673523     11.46     12.10  --
146.76/36.89	c  N dy    67     23383    132861    205210    218556     12940   1129882    456763     12.47     13.17  --
150.35/37.74	c  F st    72     25000    132861    205210    218566     14533   1129882    514311     12.36      9.08  --
159.14/39.98	c  N st    77     28306    132860    204822    218683     17574   1128516    736140     12.36   no data  --
163.16/40.91	c  S st    78     30000    132853    204822    218684     19257   1128516    863062     12.36   no data  --
165.93/41.61	c  S st    78     30506    132853    204822    218695     19751   1128516    895523     12.36   no data  --
165.93/41.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
238.63/59.83	c Flit:     3 Blit:     48 bXBeca:    0 bXProp:  104 Bins:  12500 BRemL:      0 BRemN:      0 P: 200.1M T: 72.47
239.03/59.95	c Replacing      105 vars Replaced     1624 lits Time:     0.42 s 
239.83/60.16	c bin-w-bin subsume rem           12 bins  time:  0.16 s
240.63/60.36	c subs with bin:      174  lits-rem:      1616  v-fix:    0  time:  0.78 s
259.01/64.94	c Subs w/ non-existent bins:    775 l-rem:   1839 v-fix:     0 done:  51894 time: 18.27 s
259.82/65.14	c Removed useless bin:       1  fixed:     0  props:  20.00M  time:  0.82 s
280.58/70.38	c lits-rem:      1245  cl-subs:    20479  v-elim:  63995  v-fix:    0  time: 20.85 s
282.58/70.87	c asymm  cl-useful: 1160/18816/220196 lits-rem:1163 time: 1.95
282.58/70.89	c  N dy    78     30506     68695    220196     83544      1936    970154     58660     12.36   no data  --
282.98/70.92	c Finding binary XORs  T:     0.12 s  found:      59
289.77/72.62	c  N dy    87     34650     68695    220196     83740      5759    970153    176547     12.18     17.48  --
296.15/74.23	c  N dy    98     40443     68695    220196     83771     11288    970152    353991     11.97     12.66  --
302.54/75.82	c  N dy   113     44488     68694    220196     83823     15070    970151    478884     11.89     16.51  --
304.14/76.24	c  S st   117     45759     68694    220196     83826     16298    970151    525814     11.94     11.47  --
306.13/76.70	c  S st   117     46265     68694    220196     83842     16778    970151    555158     11.94   no data  --
306.13/76.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
362.84/90.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:  37246 BRemL:      0 BRemN:      3 P: 200.0M T: 56.46
363.24/91.03	c Replacing       69 vars Replaced     3377 lits Time:     0.30 s 
363.64/91.17	c bin-w-bin subsume rem            5 bins  time:  0.12 s
364.44/91.32	c subs with bin:      651  lits-rem:      1386  v-fix:    0  time:  0.60 s
365.25/91.54	c Subs w/ non-existent bins:    131 l-rem:   3542 v-fix:     0 done:  10757 time:  0.87 s
365.63/91.67	c Removed useless bin:      65  fixed:     0  props:  20.00M  time:  0.48 s
373.22/93.57	c lits-rem:      1304  cl-subs:     4520  v-elim:    984  v-fix:    0  time:  7.61 s
377.62/94.61	c vivif2 --  cl tried   221740 cl shrink     1391 lits rem       1395 time: 4.12
378.04/94.73	c vivif2 --  cl tried    11940 cl shrink     2967 lits rem      51574 time: 0.51
379.61/95.19	c asymm  cl-useful: 68/20626/220994 lits-rem:68 time: 1.81
380.41/95.36	c calculated reachability. Time: 0.62
380.41/95.36	c  N dy   117     46265     67641    220994    119724     11703    979250    397943     11.94   no data  --
382.43/95.87	c Finding binary XORs  T:     2.01 s  found:       6
393.19/98.54	c  N dy   130     52270     67632    220994    120155     17354    979249    662044     11.59     12.24  --
401.17/100.56	c  N dy   144     57847     67632    220994    120211     22703    979247    887994     11.67     12.60  --
407.57/102.19	c  N dy   151     63424     67627    220994    120264     28011    979247   1085400     11.44     12.17  --
413.18/103.58	c  N dy   162     67483     67626    220994    120294     17865    979247    564245     11.41     12.46  --
415.15/104.05	c  S st   163     69398     67626    220994    120309     19709    979247    619579     11.30      6.89  --
417.15/104.54	c  S st   163     69903     67626    220994    120356     20161    979247    644994     11.30   no data  --
417.15/104.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
417.58/104.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.22
450.70/112.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   50 Bins:   3932 BRemL:      0 BRemN:      0 P: 200.1M T: 33.08
451.10/113.02	c Replacing       56 vars Replaced     3775 lits Time:     0.27 s 
451.50/113.14	c bin-w-bin subsume rem           28 bins  time:  0.11 s
452.31/113.32	c subs with bin:      234  lits-rem:       503  v-fix:    0  time:  0.73 s
453.12/113.57	c Subs w/ non-existent bins:    124 l-rem:   1242 v-fix:     0 done:  27083 time:  0.99 s
453.50/113.68	c Removed useless bin:      48  fixed:     0  props:  20.00M  time:  0.43 s
458.30/114.84	c lits-rem:      1316  cl-subs:      791  v-elim:     44  v-fix:    0  time:  4.59 s
462.28/115.87	c vivif2 --  cl tried   220332 cl shrink      209 lits rem        216 time: 4.12
463.08/116.00	c vivif2 --  cl tried    19323 cl shrink     1807 lits rem      28165 time: 0.51
464.69/116.47	c asymm  cl-useful: 58/23209/220208 lits-rem:94 time: 1.89
465.49/116.70	c calculated reachability. Time: 0.84
465.90/116.70	c  N dy   163     69903     67526    220192    123463     19294    973541    592944     11.30   no data  --
468.27/117.38	c Finding binary XORs  T:     2.71 s  found:      15
475.09/119.06	c  N dy   165     74679     67526    220192    123521     23827    973541    751858     11.05     11.77  --
483.87/121.27	c  N dy   168     80816     67516    220192    125033     29662    973541    971295     10.77     11.39  --
493.44/123.64	c  N dy   179     87280     67515    220192    125189     18376    973538    442439     10.60     11.20  --
493.84/123.74	c  F st   180     87502     67505    220192    126103     18593    973538    461080     10.60      8.19  --
494.23/123.80	c Replacing       15 vars Replaced      238 lits Time:     0.15 s 
503.82/126.26	c  N dy   187     92976     67490    219722    125356     23777    968266    753845     10.59     11.26  --
514.23/128.89	c  N dy   207     99276     67489    219722    125573     29739    968264    983785     10.69     11.29  --
519.02/130.03	c Finding binary XORs  T:     2.54 s  found:     148
526.19/131.82	c  S st   226    104855     67489    219637    125619     34903    967637   1178791     10.72     10.90  --
527.81/132.28	c  S st   226    105358     67489    219637    125660     35356    967637   1201158     10.72   no data  --
528.18/132.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
528.58/132.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.37
561.75/140.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   4108 BRemL:      3 BRemN:      0 P: 200.1M T: 33.27
562.14/140.82	c Replacing      149 vars Replaced     7460 lits Time:     0.22 s 
562.56/140.97	c bin-w-bin subsume rem           82 bins  time:  0.12 s
563.74/141.24	c subs with bin:      530  lits-rem:      1272  v-fix:    0  time:  1.05 s
564.54/141.41	c Subs w/ non-existent bins:     41 l-rem:    899 v-fix:     0 done:  19799 time:  0.67 s
564.94/141.55	c Removed useless bin:      20  fixed:     0  props:  16.20M  time:  0.56 s
572.53/143.46	c lits-rem:      2604  cl-subs:     2769  v-elim:     80  v-fix:    0  time:  7.62 s
576.92/144.56	c vivif2 --  cl tried   218879 cl shrink      106 lits rem        116 time: 4.39
578.52/144.90	c vivif2 --  cl tried    32531 cl shrink     5029 lits rem     126765 time: 1.36
580.14/145.37	c asymm  cl-useful: 53/462/218863 lits-rem:159 time: 1.88
581.32/145.67	c calculated reachability. Time: 1.12
581.32/145.67	c  N dy   226    105358     67260    218810    129202     32480    965507    960798     10.72   no data  --
592.50/148.44	c  N dy   231    112633     67249    218810    130144     20067    965507    500831     10.53     11.14  --
602.88/151.04	c Finding binary XORs  T:     3.23 s  found:     170
607.28/152.16	c  N dy   237    121268     67249    218293    134066     28285    960552   1066087     10.31     10.92  --
627.26/157.15	c  N dy   255    129091     67245    218293    134568     35705    960552   1641315     10.27     11.33  --
646.44/161.92	c  N dy   295    137918     67245    218293    134769     23039    960550    496840     10.38     10.96  --
660.81/165.59	c  N dy   323    147180     67235    218293    135083     31980    960549    904452     10.43     11.05  --
677.98/169.87	c  N dy   360    156864     67235    218293    135184     41257    960546   1368241     10.51     11.13  --
679.98/170.33	c  S st   362    158038     67235    218293    135241     42389    960546   1410822     10.49      5.66  --
681.98/170.82	c  S st   362    158538     67235    218293    135295     42825    960546   1423612     10.49   no data  --
681.98/170.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
682.38/170.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.49
723.12/181.16	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   32 Bins:   6970 BRemL:      2 BRemN:      0 P: 200.1M T: 40.50
723.52/181.27	c Replacing      204 vars Replaced    20884 lits Time:     0.39 s 
724.32/181.44	c bin-w-bin subsume rem           62 bins  time:  0.12 s
725.13/181.69	c subs with bin:      813  lits-rem:      2385  v-fix:    0  time:  1.00 s
725.92/181.87	c Subs w/ non-existent bins:     26 l-rem:   1834 v-fix:     0 done:   1981 time:  0.73 s
726.32/181.99	c Removed useless bin:       4  fixed:     0  props:   8.86M  time:  0.46 s
735.90/184.33	c lits-rem:      2197  cl-subs:     2527  v-elim:     85  v-fix:    0  time:  9.36 s
740.69/185.51	c vivif2 --  cl tried   217126 cl shrink      147 lits rem        176 time: 4.71
742.29/185.92	c vivif2 --  cl tried    40168 cl shrink     8213 lits rem     113606 time: 1.61
744.29/186.42	c asymm  cl-useful: 65/417/217091 lits-rem:195 time: 2.02
745.89/186.80	c calculated reachability. Time: 1.42
745.89/186.80	c  N dy   362    158538     66949    217026    141282     40120    956099   1204689     10.49   no data  --
749.48/187.77	c Finding binary XORs  T:     3.86 s  found:      39
769.47/192.78	c  N dy   387    172520     66948    217026    142586     30835    956098    623158     10.36     10.95  --
773.46/193.77	c Finding binary XORs  T:     3.81 s  found:      24
793.02/198.63	c  N dy   427    184696     66944    216989    152113     42386    955969   1082493     10.39     10.98  --
809.02/202.69	c  N dy   446    197922     66943    216989    152459     31504    955968    659216     10.22     10.80  --
825.38/206.75	c  N dy   472    210748     66943    216989    152829     43768    955965   1104676     10.17     10.78  --
848.16/212.46	c Finding binary XORs  T:     3.87 s  found:      38
858.93/215.11	c  N dy   522    230713     66942    216919    155059     38196    955289    923297     10.13     10.69  --
867.71/217.35	c  S st   538    237808     66941    216919    155421     45026    955289   1229722     10.09      7.85  --
870.13/217.92	c  S st   538    238309     66941    216919    155461     45477    955289   1252777     10.09   no data  --
870.13/217.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
870.91/218.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.60
914.85/229.16	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   6637 BRemL:      0 BRemN:      0 P: 200.0M T: 44.09
915.25/229.26	c Replacing      103 vars Replaced     5363 lits Time:     0.36 s 
916.05/229.42	c bin-w-bin subsume rem           66 bins  time:  0.13 s
917.25/229.74	c subs with bin:      901  lits-rem:      2139  v-fix:    0  time:  1.28 s
918.05/229.92	c Subs w/ non-existent bins:     72 l-rem:   1231 v-fix:     0 done:  20619 time:  0.73 s
918.46/230.01	c Removed useless bin:       9  fixed:     0  props:   8.41M  time:  0.34 s
926.44/232.01	c lits-rem:      3032  cl-subs:     2908  v-elim:     63  v-fix:    0  time:  7.98 s
931.23/233.27	c vivif2 --  cl tried   215970 cl shrink      147 lits rem        168 time: 5.02
932.82/233.63	c vivif2 --  cl tried    42241 cl shrink     7178 lits rem     122011 time: 1.45
934.82/234.14	c asymm  cl-useful: 61/457/215955 lits-rem:183 time: 2.02
936.45/234.55	c calculated reachability. Time: 1.57
936.45/234.55	c  N dy   538    238309     66774    215894    161757     42170    952625   1011093     10.09   no data  --
940.84/235.67	c Finding binary XORs  T:     4.44 s  found:      17
967.98/242.40	c  N dy   563    253716     66757    215894    163058     31263    952614    689838     10.01     10.55  --
992.75/248.65	c  N dy   604    270677     66756    215894    163664     47491    952606   1219210      9.92     10.56  --
1011.52/253.32	c Finding binary XORs  T:     4.40 s  found:     113
1021.11/255.77	c  N dy   648    288694     66751    215693    163948     37983    951065    915025      9.89     10.48  --
1047.87/262.48	c  F st   686    306250     66747    215693    164232     54991    951061   1715861      9.85      6.83  --
1048.27/262.57	c Replacing      130 vars Replaced     8671 lits Time:     0.24 s 
1051.87/263.48	c  N st   689    307444     66617    215479    164019     29299    950037    560432      9.85   no data  --
1094.63/274.16	c  N dy   761    327105     66617    215479    164340     48263    950026   1270179      9.90     10.44  --
1134.18/284.08	c Finding binary XORs  T:     4.98 s  found:      99
1139.35/285.36	c  N dy   830    347114     66615    215405    164612     40687    949385    900787      9.99     19.17  --
1159.32/290.39	c  S st   876    357463     66615    215405    164704     50717    949385   1340607     10.06      7.72  --
1161.72/290.97	c  S st   876    357968     66615    215405    164712     51208    949385   1366850     10.06   no data  --
1162.12/291.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
1162.52/291.19	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.71
1202.86/301.22	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    952 BRemL:      3 BRemN:      0 P: 200.1M T: 39.92
1203.26/301.32	c Replacing      101 vars Replaced     2825 lits Time:     0.37 s 
1203.66/301.50	c bin-w-bin subsume rem           90 bins  time:  0.14 s
1205.65/301.91	c subs with bin:     1464  lits-rem:      2083  v-fix:    0  time:  1.63 s
1206.05/302.01	c Subs w/ non-existent bins:     67 l-rem:   1194 v-fix:     0 done:   4098 time:  0.42 s
1206.45/302.11	c Removed useless bin:       7  fixed:     0  props:   7.92M  time:  0.36 s
1216.04/304.50	c lits-rem:      1970  cl-subs:     4147  v-elim:    120  v-fix:    0  time:  9.56 s
1221.23/305.85	c vivif2 --  cl tried   213820 cl shrink      210 lits rem        226 time: 5.39
1223.23/306.33	c vivif2 --  cl tried    46637 cl shrink     7532 lits rem     107648 time: 1.90
1225.23/306.86	c asymm  cl-useful: 64/398/213809 lits-rem:192 time: 2.09
1227.22/307.32	c calculated reachability. Time: 1.78
1227.22/307.33	c  N dy   876    357968     66392    213745    165098     46558    945546   1079249     10.06   no data  --
1242.80/311.29	c Finding binary XORs  T:     4.96 s  found:      70
1272.97/318.88	c  N dy   911    379015     66385    213696    187583     37970    945382    892652      9.95     10.50  --
1313.65/329.18	c  N dy   946    399322     66378    213696    188039     57671    945381   2210289      9.87     10.40  --
1360.22/340.83	c  N dy   995    419355     66363    213696    188639     48106    945381   2392597      9.81     10.39  --
1377.00/345.05	c Finding binary XORs  T:     4.95 s  found:     135
1408.96/353.05	c  N dy  1060    439716     66359    213317    188771     67542    942398   3423743      9.82     10.83  --
1447.71/362.71	c  N dy  1148    459776     66354    213317    189279     58285    942395   1333884      9.89     10.60  --
1486.06/372.37	c  N dy  1241    479866     66352    213317    189754     48370    942395    945994     10.01     30.03  --
1496.44/374.92	c Finding binary XORs  T:     4.91 s  found:      83
1528.00/382.81	c  N dy  1315    499868     66342    213205    190045     67782    941674   1616968     10.04     17.80  --
1567.54/392.73	c  N dy  1417    519899     66325    213205    190581     56438    941673   1087190     10.16     18.08  --
1608.69/403.00	c Finding binary XORs  T:     4.92 s  found:     201
1612.68/404.02	c  S st  1506    536954     66323    212575    173485     72057    937364   1647227     10.25      8.09  --
1615.08/404.67	c  S st  1506    537456     66323    212575    173495     72545    937364   1664946     10.25   no data  --
1615.48/404.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
1616.30/404.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.77
1660.64/416.07	c Flit:     2 Blit:      2 bXBeca:    0 bXProp:   23 Bins:   1843 BRemL:      0 BRemN:      0 P: 200.1M T: 44.53
1661.41/416.20	c Replacing      512 vars Replaced    33707 lits Time:     0.48 s 
1661.81/416.38	c bin-w-bin subsume rem          223 bins  time:  0.14 s
1663.81/416.82	c subs with bin:     2268  lits-rem:      4539  v-fix:    0  time:  1.74 s
1664.21/417.00	c Subs w/ non-existent bins:     76 l-rem:   1294 v-fix:     0 done:  15132 time:  0.72 s
1664.63/417.08	c Removed useless bin:       5  fixed:     0  props:   6.22M  time:  0.34 s
1677.00/420.16	c lits-rem:      2732  cl-subs:     7145  v-elim:    196  v-fix:    0  time: 12.27 s
1682.99/421.61	c vivif2 --  cl tried   210110 cl shrink      242 lits rem        264 time: 5.82
1685.79/422.36	c vivif2 --  cl tried    64348 cl shrink    10811 lits rem     135051 time: 3.00
1688.18/422.92	c asymm  cl-useful: 58/400/210103 lits-rem:174 time: 2.21
1690.18/423.45	c calculated reachability. Time: 2.02
1690.18/423.45	c  N dy  1506    537456     65612    210045    173082     64231    930264   1216887     10.25   no data  --
1733.72/434.35	c  N dy  1552    557578     65609    210045    174172     50460    930261    794880     10.19     10.77  --
1741.31/436.22	c Finding binary XORs  T:     5.65 s  found:      71
1778.87/445.68	c  N dy  1591    578946     65607    210022    174495     71240    930184   1954466     10.11     10.78  --
1832.39/459.05	c  N dy  1649    600700     65599    210022    174975     59209    930181   1220436     10.08     10.73  --
1881.93/471.50	c  N dy  1718    620955     65598    210022    175424     79029    930180   2394073     10.05     10.64  --
1899.10/475.73	c Finding binary XORs  T:     6.13 s  found:     104
1934.25/484.57	c  N dy  1778    642269     65589    209778    176776     64927    928635   1199816     10.02     10.55  --
1972.63/494.14	c  N dy  1854    662723     65587    209778    177085     84817    928634   2059105     10.04     10.69  --
1988.58/498.11	c Finding binary XORs  T:     5.53 s  found:     181
2016.16/505.02	c  N dy  1931    682774     65564    209326    177120     69451    925925   1252814     10.06     12.52  --
2055.29/514.87	c  N dy  2006    702835     65559    209326    177546     88971    925922   2055584     10.11     17.93  --
2095.64/524.95	c  N dy  2073    723239     65556    209326    177702     74324    925920   1313880     10.12     10.84  --
2138.37/535.67	c  N dy  2134    743563     65550    209326    177871     94087    925920   2129499     10.13     10.68  --
2152.77/539.22	c Finding binary XORs  T:     5.40 s  found:     254
2187.51/547.97	c  N dy  2214    763930     65542    208523    182239     77260    921297   1310576     10.19     10.74  --
2225.06/557.37	c  N dy  2284    784005     65539    208523    182531     96896    921295   2175828     10.21     18.62  --
2267.80/568.06	c  N dy  2385    804955     65522    208523    182851     79653    921294   1271390     10.29     11.31  --
2269.80/568.50	c  S st  2387    806187     65522    208523    182951     80840    921294   1298125     10.28      5.54  --
2271.79/569.08	c  S st  2387    806690     65522    208523    182963     81325    921294   1316510     10.28   no data  --
2272.19/569.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
2272.98/569.33	c Cache  BProp: 11 Set: 0 BXProp: 0 T: 0.80
2348.09/588.12	c Flit:     1 Blit:      4 bXBeca:    0 bXProp:  159 Bins:   6728 BRemL:     32 BRemN:      0 P: 200.0M T: 74.97
2348.49/588.24	c Replacing      776 vars Replaced    47695 lits Time:     0.45 s 
2349.29/588.41	c bin-w-bin subsume rem          422 bins  time:  0.14 s
2350.11/588.64	c subs with bin:     2695  lits-rem:      2825  v-fix:    0  time:  0.94 s
2350.88/588.88	c Subs w/ non-existent bins:    206 l-rem:   1136 v-fix:     0 done:  10770 time:  0.93 s
2351.28/588.96	c Removed useless bin:      10  fixed:     0  props:   5.20M  time:  0.33 s
2360.07/591.14	c lits-rem:      2858  cl-subs:     4564  v-elim:    241  v-fix:    0  time:  8.71 s
2366.06/592.63	c vivif2 --  cl tried   204718 cl shrink      211 lits rem        232 time: 5.92
2368.46/593.24	c vivif2 --  cl tried    75179 cl shrink     6206 lits rem      40614 time: 2.45
2370.86/593.81	c asymm  cl-useful: 49/370/204714 lits-rem:147 time: 2.27
2372.85/594.36	c calculated reachability. Time: 2.10
2372.85/594.36	c  N dy  2387    806690     64508    204665    168464     75055    908447   1119270     10.28   no data  --
2378.84/595.90	c Finding binary XORs  T:     6.12 s  found:      61
2426.38/607.79	c  N dy  2408    827359     64495    204665    169609     95319    908446   2430514     10.22     10.99  --
2464.35/617.26	c  N dy  2460    847561     64487    204665    169941    115050    908445   3411213     10.19     10.77  --
2479.11/620.95	c Finding binary XORs  T:     6.05 s  found:     320
2512.27/629.23	c  N dy  2505    867849     64483    204029    143607     92438    904812   1961373     10.15     10.71  --
2562.19/641.77	c  N dy  2571    888135     64480    204029    144057    112381    904812   3084756     10.14     10.68  --
2589.37/648.58	c Finding binary XORs  T:     6.00 s  found:     210
2619.32/656.02	c  N dy  2618    908163     64478    203645    135748     90719    902728   1718175     10.11     10.75  --
2680.84/671.49	c  N dy  2664    929383     64477    203645    135977    111608    902728   2889422     10.08     10.84  --
2728.39/683.33	c  N dy  2750    949641     64472    203645    136425     90106    902726   1419657     10.08     10.86  --
2757.94/690.78	c Finding binary XORs  T:     5.94 s  found:     162
2758.34/690.86	c Replacing      755 vars Replaced    29001 lits Time:     0.34 s 
2773.52/694.68	c  N dy  2838    970051     63717    202183    134691    109056    895406   2135160     10.12     10.73  --
2815.46/705.19	c  N dy  2944    990715     63710    202183    134999     89593    895405   1215289     10.19     10.79  --
2851.81/714.26	c  N dy  3014   1010981     63703    202183    135513    109422    895403   2069484     10.23     10.79  --
2871.79/719.29	c Finding binary XORs  T:     5.82 s  found:     205
2898.54/725.91	c  N dy  3097   1031282     63702    201632    135530    129087    892513   2888603     10.26     10.81  --
2938.09/735.84	c  N dy  3179   1051446     63698    201632    135779    107380    892512   1762607     10.28     11.05  --
2981.23/746.68	c  F st  3274   1071875     63691    201632    136250    127423    892512   2627138     10.34      7.58  --
2981.63/746.79	c Replacing      208 vars Replaced     8746 lits Time:     0.30 s 
2983.25/747.14	c  N st  3274   1071875     63486    201174    135581    127034    890222   2610365     10.34      7.58  --
2997.61/750.70	c Finding binary XORs  T:     5.48 s  found:      87
3026.37/757.98	c  N dy  3333   1091897     63479    201174    135830    103765    890221   1501234     10.36     12.36  --
3069.11/768.69	c  N dy  3436   1111966     63479    201174    136015    123419    890219   2353955     10.43     14.00  --
3116.65/780.57	c  N dy  3524   1132884     63478    201174    136184    143937    890219   3278142     10.47     11.05  --
3137.04/785.66	c Finding binary XORs  T:     5.32 s  found:     201
3163.79/792.37	c  N dy  3609   1152921     63436    200684    137380    119684    888143   1979641     10.52     11.24  --
3206.95/803.15	c  N dy  3707   1172986     63436    200684    137473    139393    888142   2866589     10.58     14.69  --
3252.86/814.63	c Finding binary XORs  T:     5.29 s  found:     109
3261.25/816.73	c  N dy  3799   1193592     63429    200495    139697    114696    887347   1587617     10.63     11.31  --
3296.41/825.52	c  S st  3882   1210035     63425    200495    139829    130800    887344   2287707     10.68      8.70  --
3298.00/825.97	c  S st  3882   1210536     63425    200495    139957    131297    887344   2325718     10.68   no data  --
3298.40/826.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
3299.22/826.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.77
3342.34/837.04	c Flit:     5 Blit:      1 bXBeca:    0 bXProp:  113 Bins:   1807 BRemL:     24 BRemN:      0 P: 200.0M T: 43.16
3342.74/837.17	c Replacing      511 vars Replaced    29387 lits Time:     0.52 s 
3343.94/837.42	c bin-w-bin subsume rem          539 bins  time:  0.12 s
3345.54/837.87	c subs with bin:     3279  lits-rem:      4962  v-fix:    0  time:  1.81 s
3346.74/838.16	c Subs w/ non-existent bins:    220 l-rem:   1660 v-fix:     0 done:  20157 time:  1.15 s
3347.14/838.24	c Removed useless bin:       7  fixed:     0  props:   4.05M  time:  0.30 s
3367.10/843.24	c lits-rem:      1858  cl-subs:     8208  v-elim:    218  v-fix:    0  time: 19.95 s
3372.70/844.61	c vivif2 --  cl tried   196342 cl shrink      122 lits rem        133 time: 5.49
3377.50/845.86	c vivif2 --  cl tried   121461 cl shrink    16450 lits rem     187022 time: 4.99
3379.89/846.43	c asymm  cl-useful: 27/350/196341 lits-rem:81 time: 2.26
3381.89/846.96	c calculated reachability. Time: 2.03
3381.89/846.96	c  N dy  3882   1210536     62684    196314    139022    121273    875338   1804647     10.68   no data  --
3388.27/848.51	c Finding binary XORs  T:     6.17 s  found:     149
3433.82/859.93	c  N dy  3934   1233302     62670    196314    139534    143482    875325   2738816     10.66     11.24  --
3478.56/871.17	c  N dy  4004   1255416     62667    196314    139809    116378    875322   1542242     10.68     11.26  --
3520.49/881.68	c Finding binary XORs  T:     6.13 s  found:     181
3527.30/883.30	c  N dy  4069   1275601     62663    195971    139932    135399    873676   2249548     10.68     11.25  --
3569.64/893.92	c  N dy  4156   1295703     62658    195971    140173    155076    873673   3103031     10.71     11.50  --
3613.58/905.00	c  N dy  4253   1315787     62656    195971    140548    129895    873673   1947118     10.74     11.37  --
3657.52/915.96	c  N dy  4340   1335828     62643    195971    140827    149490    873672   2669895     10.77     12.39  --
3679.09/921.31	c Finding binary XORs  T:     6.10 s  found:     337
3679.49/921.42	c Replacing      668 vars Replaced    53134 lits Time:     0.47 s 
3710.65/929.27	c  N dy  4437   1356269     61978    194434    139493    121798    865718   1488042     10.83     11.55  --
3753.79/940.03	c  N dy  4520   1377256     61977    194434    139900    142414    865714   2298403     10.85     11.45  --
3796.93/950.86	c  N dy  4606   1397370     61976    194434    140187    162085    865713   3129340     10.87     11.55  --
3821.70/957.01	c Finding binary XORs  T:     6.06 s  found:     252
3850.46/964.25	c  N dy  4707   1417444     61973    193943    134186    133755    863515   1803962     10.93     18.65  --
3896.40/975.78	c  N dy  4796   1437448     61966    193943    134440    153431    863514   2648902     10.97     48.22  --
3939.54/986.54	c  N dy  4891   1457663     61964    193943    134682    173267    863514   3454378     11.01     11.82  --
3986.67/998.38	c  N dy  4990   1478415     61962    193943    134865    144553    863513   1987142     11.05     12.30  --
4030.62/1009.37	c  N dy  5069   1498450     61948    193943    135071    164260    863513   2853533     11.08     62.53  --
4039.40/1011.57	c Finding binary XORs  T:     5.64 s  found:     298
4086.16/1023.22	c  N dy  5179   1518541     61947    193185    135372    183236    860234   3689668     11.15     24.32  --
4128.89/1033.99	c  N dy  5257   1538620     61947    193185    135572    152645    860234   2208700     11.18     18.43  --
4178.82/1046.43	c  N dy  5363   1558663     61940    193185    135841    172319    860232   3052085     11.22     19.75  --
4221.99/1057.22	c  N dy  5435   1578909     61936    193185    135987    192182    860232   3816870     11.23     11.83  --
4237.54/1061.17	c Finding binary XORs  T:     5.52 s  found:     205
4237.94/1061.26	c Replacing      757 vars Replaced    32262 lits Time:     0.36 s 
4267.50/1068.66	c  N dy  5509   1598999     61182    191704    134340    159384    853262   2282408     11.25     12.69  --
4315.44/1080.61	c  N dy  5621   1619021     61176    191704    134595    179067    853262   3163280     11.31     17.63  --
4368.96/1094.00	c  N dy  5712   1641913     61175    191704    134767    148861    853261   1687888     11.35     12.15  --
4374.55/1095.40	c Finding binary XORs  T:     5.42 s  found:     257
4427.28/1108.62	c  N dy  5828   1662080     61149    191037    136290    168002    850674   2602793     11.39     12.26  --
4473.62/1120.25	c  N dy  5933   1682171     61147    191037    136402    187739    850674   3463569     11.44     12.21  --
4523.95/1132.82	c  N dy  6010   1702255     61147    191037    136482    153849    850674   1824887     11.47     22.37  --
4537.93/1136.34	c Finding binary XORs  T:     5.36 s  found:     242
4542.74/1137.59	c  S st  6045   1710539     61127    190408    139928    161656    848154   2165143     11.49      7.72  --
4545.51/1138.29	c  S st  6045   1711039     61127    190408    139930    162152    848152   2185077     11.49   no data  --
4545.91/1138.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
4546.71/1138.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.72
4589.06/1149.19	c Flit:     3 Blit:      2 bXBeca:    0 bXProp:   10 Bins:   2097 BRemL:    151 BRemN:      0 P: 200.0M T: 42.59
4589.86/1149.33	c Replacing      509 vars Replaced    27976 lits Time:     0.54 s 
4590.66/1149.56	c bin-w-bin subsume rem          373 bins  time:  0.12 s
4592.25/1149.98	c subs with bin:     3224  lits-rem:      5733  v-fix:    0  time:  1.68 s
4593.05/1150.14	c Subs w/ non-existent bins:    151 l-rem:   2174 v-fix:     0 done:   5209 time:  0.64 s
4593.45/1150.23	c Removed useless bin:       5  fixed:     0  props:   3.73M  time:  0.30 s
4609.43/1154.20	c lits-rem:      2285  cl-subs:     7622  v-elim:    238  v-fix:    0  time: 15.85 s
4613.82/1155.39	c vivif2 --  cl tried   187369 cl shrink      161 lits rem        184 time: 4.72
4618.61/1156.54	c vivif2 --  cl tried   152699 cl shrink    11658 lits rem     146033 time: 4.61
4621.01/1157.10	c asymm  cl-useful: 29/312/187362 lits-rem:87 time: 2.23
4623.00/1157.60	c calculated reachability. Time: 1.89
4623.00/1157.60	c  N dy  6045   1711039     60374    187333    139317    152490    840030   1803718     11.49   no data  --
4652.59/1165.03	c Finding binary XORs  T:     5.97 s  found:     146
4672.94/1170.14	c  N dy  6120   1731121     60348    187111    140391    172150    839061   2644772     11.49     12.15  --
4712.49/1180.01	c  N dy  6183   1751212     60343    187111    140536    191899    839060   3386845     11.49     17.09  --
4759.62/1191.89	c  N dy  6243   1771365     60342    187111    140759    152169    839058   1722546     11.48     12.20  --

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: 935)

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-3282344-1304032787/watcher-3282344-1304032787 -o /tmp/evaluation-result-3282344-1304032787/solver-3282344-1304032787 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3282344-1304032787.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 4.46 6.87 7.50 7/180 21822
/proc/meminfo: memFree=14963328/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 495694589 52465664 352 33554432000 4194304 4650419 140734813447440 18446744073709551615 47502889637804 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 12809 352 303 112 0 7774 0
[pid=21822/tid=21823] ppid=21820 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 495694589 52465664 352 33554432000 4194304 4650419 140734813447440 18446744073709551615 47502889637804 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 495694589 52465664 352 33554432000 4194304 4650419 140734813447440 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 495694589 52465664 352 33554432000 4194304 4650419 140734813447440 18446744073709551615 47502889637810 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.04746 s]
/proc/loadavg: 4.46 6.87 7.50 7/180 21822
/proc/meminfo: memFree=14963328/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=366012 CPUtime=0.15 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 11229 0 0 0 11 4 0 0 18 0 4 0 495694589 374796288 9148 33554432000 4194304 4650419 140734813447440 18446744073709551615 233510355370 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 91743 9152 344 112 0 86708 0
[pid=21822/tid=21823] ppid=21820 vsize=367292 CPUtime=0.03 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 2906 0 0 0 3 0 0 0 18 0 4 0 495694589 376107008 9240 33554432000 4194304 4650419 140734813447440 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=367932 CPUtime=0.02 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) S 21820 21822 21381 0 -1 4202560 2818 0 0 0 2 0 0 0 18 0 4 0 495694589 376762368 9249 33554432000 4194304 4650419 140734813447440 18446744073709551615 233510402542 0 0 4096 2 18446604471130896384 0 0 -1 7 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=367932 CPUtime=0.03 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 2622 0 0 0 2 1 0 0 18 0 4 0 495694589 376762368 9253 33554432000 4194304 4650419 140734813447440 18446744073709551615 233509994251 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 366012

[startup+0.102587 s]
/proc/loadavg: 4.46 6.87 7.50 7/180 21822
/proc/meminfo: memFree=14963328/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=393072 CPUtime=0.34 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 23896 0 0 0 24 10 0 0 17 0 4 0 495694589 402505728 19627 33554432000 4194304 4650419 140734813447440 18446744073709551615 233509964802 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 98268 19837 344 112 0 93233 0
[pid=21822/tid=21823] ppid=21820 vsize=393072 CPUtime=0.08 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 6229 0 0 0 6 2 0 0 17 0 4 0 495694589 402505728 20023 33554432000 4194304 4650419 140734813447440 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=393072 CPUtime=0.08 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) S 21820 21822 21381 0 -1 4202560 6285 0 0 0 7 1 0 0 18 0 4 0 495694589 402505728 20317 33554432000 4194304 4650419 140734813447440 18446744073709551615 233510402542 0 0 4096 2 18446604471130896384 0 0 -1 7 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=393072 CPUtime=0.08 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) S 21820 21822 21381 0 -1 4202560 5949 0 0 0 5 3 0 0 18 0 4 0 495694589 402505728 20377 33554432000 4194304 4650419 140734813447440 18446744073709551615 233510402542 0 0 4096 2 18446604471130896384 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 393072

[startup+0.300512 s]
/proc/loadavg: 4.46 6.87 7.50 7/180 21822
/proc/meminfo: memFree=14963328/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=493272 CPUtime=1 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 74212 0 0 0 71 29 0 0 17 0 4 0 495694589 505110528 57194 33554432000 4194304 4650419 140734813447440 18446744073709551615 233510402591 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 123318 57388 344 112 0 118283 0
[pid=21822/tid=21823] ppid=21820 vsize=493272 CPUtime=0.25 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 19808 0 0 0 18 7 0 0 17 0 4 0 495694589 505110528 57579 33554432000 4194304 4650419 140734813447440 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=493272 CPUtime=0.24 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) S 21820 21822 21381 0 -1 4202560 17641 0 0 0 19 5 0 0 17 0 4 0 495694589 505110528 57811 33554432000 4194304 4650419 140734813447440 18446744073709551615 233510402542 0 0 4096 2 18446604471130896384 0 0 -1 7 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=493272 CPUtime=0.24 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 19812 0 0 0 16 8 0 0 17 0 4 0 495694589 505110528 58050 33554432000 4194304 4650419 140734813447440 18446744073709551615 233510340791 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 493272

[startup+0.700344 s]
/proc/loadavg: 4.46 6.87 7.50 7/180 21822
/proc/meminfo: memFree=14963328/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=514504 CPUtime=2.58 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 89979 0 0 0 219 39 0 0 18 0 4 0 495694589 526852096 72476 33554432000 4194304 4650419 140734813447440 18446744073709551615 4369322 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 128626 72476 368 112 0 123591 0
[pid=21822/tid=21823] ppid=21820 vsize=514504 CPUtime=0.64 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 23305 0 0 0 55 9 0 0 18 0 4 0 495694589 526852096 72476 33554432000 4194304 4650419 140734813447440 18446744073709551615 4370337 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=514504 CPUtime=0.64 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 21101 0 0 0 57 7 0 0 18 0 4 0 495694589 526852096 72476 33554432000 4194304 4650419 140734813447440 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=514504 CPUtime=0.62 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 24573 0 0 0 52 10 0 0 18 0 4 0 495694589 526852096 72476 33554432000 4194304 4650419 140734813447440 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 514504

[startup+1.5012 s]
/proc/loadavg: 4.46 6.87 7.50 10/184 21826
/proc/meminfo: memFree=14643672/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=531340 CPUtime=5.78 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 98349 0 0 0 538 40 0 0 19 0 4 0 495694589 544092160 77333 33554432000 4194304 4650419 140734813447440 18446744073709551615 4369860 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 132835 77333 373 112 0 127800 0
[pid=21822/tid=21823] ppid=21820 vsize=531340 CPUtime=1.44 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 26074 0 0 0 134 10 0 0 19 0 4 0 495694589 544092160 77333 33554432000 4194304 4650419 140734813447440 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=531340 CPUtime=1.43 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 23867 0 0 0 136 7 0 0 19 0 4 0 495694589 544092160 77333 33554432000 4194304 4650419 140734813447440 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=531340 CPUtime=1.43 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 24642 0 0 0 133 10 0 0 19 0 4 0 495694589 544092160 77333 33554432000 4194304 4650419 140734813447440 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 531340

[startup+3.10091 s]
/proc/loadavg: 4.46 6.87 7.50 9/184 21826
/proc/meminfo: memFree=14625072/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=531340 CPUtime=12.17 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 98469 0 0 0 1177 40 0 0 23 0 4 0 495694589 544092160 77453 33554432000 4194304 4650419 140734813447440 18446744073709551615 4369093 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 132835 77453 373 112 0 127800 0
[pid=21822/tid=21823] ppid=21820 vsize=531340 CPUtime=3.04 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 26074 0 0 0 294 10 0 0 23 0 4 0 495694589 544092160 77453 33554432000 4194304 4650419 140734813447440 18446744073709551615 4370249 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=531340 CPUtime=3.02 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 23867 0 0 0 295 7 0 0 23 0 4 0 495694589 544092160 77453 33554432000 4194304 4650419 140734813447440 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=531340 CPUtime=3.03 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 24762 0 0 0 293 10 0 0 23 0 4 0 495694589 544092160 77453 33554432000 4194304 4650419 140734813447440 18446744073709551615 4229517 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 531340

[startup+6.30034 s]
/proc/loadavg: 4.82 6.91 7.51 9/184 21826
/proc/meminfo: memFree=14612424/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=531340 CPUtime=24.95 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 98784 0 0 0 2455 40 0 0 25 0 4 0 495694589 544092160 77768 33554432000 4194304 4650419 140734813447440 18446744073709551615 4302842 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 132835 77768 373 112 0 127800 0
[pid=21822/tid=21823] ppid=21820 vsize=531340 CPUtime=6.24 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 26074 0 0 0 614 10 0 0 25 0 4 0 495694589 544092160 77768 33554432000 4194304 4650419 140734813447440 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=531340 CPUtime=6.2 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 23867 0 0 0 613 7 0 0 25 0 4 0 495694589 544092160 77768 33554432000 4194304 4650419 140734813447440 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=531340 CPUtime=6.23 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 25077 0 0 0 613 10 0 0 25 0 4 0 495694589 544092160 77768 33554432000 4194304 4650419 140734813447440 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 531340

[startup+12.7012 s]
/proc/loadavg: 5.08 6.93 7.51 9/184 21826
/proc/meminfo: memFree=14585556/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=540732 CPUtime=50.52 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 102107 0 0 0 5011 41 0 0 25 0 4 0 495694589 553709568 81091 33554432000 4194304 4650419 140734813447440 18446744073709551615 4370379 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 135183 81091 374 112 0 130148 0
[pid=21822/tid=21823] ppid=21820 vsize=540732 CPUtime=12.64 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 26179 0 0 0 1254 10 0 0 25 0 4 0 495694589 553709568 81091 33554432000 4194304 4650419 140734813447440 18446744073709551615 4244927 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=540732 CPUtime=12.57 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 23986 0 0 0 1250 7 0 0 25 0 4 0 495694589 553709568 81091 33554432000 4194304 4650419 140734813447440 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=540732 CPUtime=12.63 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 28072 0 0 0 1251 12 0 0 25 0 4 0 495694589 553709568 81091 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 540732

[startup+25.5069 s]
/proc/loadavg: 5.72 6.98 7.52 9/184 21826
/proc/meminfo: memFree=14342584/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=715888 CPUtime=101.65 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 221063 0 0 0 10104 61 0 0 21 0 4 0 495694589 733069312 134348 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363479 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 178972 134348 395 112 0 173937 0
[pid=21822/tid=21823] ppid=21820 vsize=715888 CPUtime=25.45 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 32956 0 0 0 2534 11 0 0 25 0 4 0 495694589 733069312 134348 33554432000 4194304 4650419 140734813447440 18446744073709551615 4550246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=715888 CPUtime=25.37 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 49921 0 0 0 2524 13 0 0 21 0 4 0 495694589 733069312 134348 33554432000 4194304 4650419 140734813447440 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=715888 CPUtime=25.36 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 90186 0 0 0 2516 20 0 0 25 0 4 0 495694589 733069312 134348 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 715888

[startup+51.1003 s]
/proc/loadavg: 6.56 7.07 7.54 9/184 21827
/proc/meminfo: memFree=14236356/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=829692 CPUtime=203.88 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 320139 0 0 0 20310 78 0 0 25 0 4 0 495694589 849604608 158972 33554432000 4194304 4650419 140734813447440 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 207423 158972 396 112 0 202388 0
[pid=21822/tid=21823] ppid=21820 vsize=829692 CPUtime=51.04 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 108965 0 0 0 5082 22 0 0 25 0 4 0 495694589 849604608 158972 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=829692 CPUtime=50.96 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 55743 0 0 0 5082 14 0 0 25 0 4 0 495694589 849604608 158972 33554432000 4194304 4650419 140734813447440 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=829692 CPUtime=50.81 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 97922 0 0 0 5059 22 0 0 25 0 4 0 495694589 849604608 158972 33554432000 4194304 4650419 140734813447440 18446744073709551615 4230702 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 829692

[startup+102.301 s]
/proc/loadavg: 7.44 7.23 7.56 9/184 21829
/proc/meminfo: memFree=13334844/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=2089464 CPUtime=408.37 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 569264 0 0 0 40709 128 0 0 25 0 4 0 495694589 2139611136 374616 33554432000 4194304 4650419 140734813447440 18446744073709551615 4516457 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 522366 374625 396 112 0 517331 0
[pid=21822/tid=21823] ppid=21820 vsize=2089464 CPUtime=102.23 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 153892 0 0 0 10191 32 0 0 25 0 4 0 495694589 2139611136 374627 33554432000 4194304 4650419 140734813447440 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=2089464 CPUtime=102.16 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 88061 0 0 0 10194 22 0 0 25 0 4 0 495694589 2139611136 374629 33554432000 4194304 4650419 140734813447440 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=2089464 CPUtime=101.73 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 211976 0 0 0 10133 40 0 0 25 0 4 0 495694589 2139611136 374634 33554432000 4194304 4650419 140734813447440 18446744073709551615 4314858 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.37
Current children cumulated vsize (KiB) 2089464

[startup+162.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.13 8.01 7.83 9/184 21848
/proc/meminfo: memFree=10337032/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=5139436 CPUtime=2804.27 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 1672644 0 0 0 280039 388 0 0 25 0 4 0 495694589 5262782464 1055205 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 1284859 1055205 425 112 0 1279824 0
[pid=21822/tid=21823] ppid=21820 vsize=5139436 CPUtime=699.05 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 389488 0 0 0 69810 95 0 0 25 0 4 0 495694589 5262782464 1055205 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=5139436 CPUtime=702.15 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 332709 0 0 0 70138 77 0 0 25 0 4 0 495694589 5262782464 1055205 33554432000 4194304 4650419 140734813447440 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=5139436 CPUtime=701.63 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 591038 0 0 0 70047 116 0 0 25 0 4 0 495694589 5262782464 1055205 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2804.27
Current children cumulated vsize (KiB) 5139436

[startup+762.301 s]
/proc/loadavg: 8.21 8.05 7.85 9/184 21849
/proc/meminfo: memFree=10184368/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=5182012 CPUtime=3043.95 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 1710691 0 0 0 303994 401 0 0 25 0 4 0 495694589 5306380288 1080950 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363975 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 1295503 1080950 425 112 0 1290468 0
[pid=21822/tid=21823] ppid=21820 vsize=5182012 CPUtime=758.72 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 395602 0 0 0 75775 97 0 0 25 0 4 0 495694589 5306380288 1080950 33554432000 4194304 4650419 140734813447440 18446744073709551615 4426564 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=5182012 CPUtime=762.16 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 343528 0 0 0 76134 82 0 0 25 0 4 0 495694589 5306380288 1080950 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=5182012 CPUtime=761.64 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 603741 0 0 0 76042 122 0 0 25 0 4 0 495694589 5306380288 1080950 33554432000 4194304 4650419 140734813447440 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3043.95
Current children cumulated vsize (KiB) 5182012

[startup+822.301 s]
/proc/loadavg: 8.12 8.06 7.86 9/184 21851
/proc/meminfo: memFree=9960164/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=5444248 CPUtime=3283.63 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 1783684 0 0 0 327939 424 0 0 25 0 4 0 495694589 5574909952 1124719 33554432000 4194304 4650419 140734813447440 18446744073709551615 4328328 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 1361062 1124719 425 112 0 1356027 0
[pid=21822/tid=21823] ppid=21820 vsize=5444248 CPUtime=818.39 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 410617 0 0 0 81736 103 0 0 25 0 4 0 495694589 5574909952 1124719 33554432000 4194304 4650419 140734813447440 18446744073709551615 4315228 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=5444248 CPUtime=822.15 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 372289 0 0 0 82127 88 0 0 25 0 4 0 495694589 5574909952 1124719 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=5444248 CPUtime=821.64 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 622035 0 0 0 82037 127 0 0 25 0 4 0 495694589 5574909952 1124719 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.63
Current children cumulated vsize (KiB) 5444248

[startup+882.3 s]
/proc/loadavg: 8.08 8.06 7.87 9/184 21852
/proc/meminfo: memFree=9862920/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=5508920 CPUtime=3523.32 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 1838125 0 0 0 351890 442 0 0 25 0 4 0 495694589 5641134080 1151869 33554432000 4194304 4650419 140734813447440 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 1377230 1151869 425 112 0 1372195 0
[pid=21822/tid=21823] ppid=21820 vsize=5508920 CPUtime=878.07 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 423716 0 0 0 87699 108 0 0 25 0 4 0 495694589 5641134080 1151869 33554432000 4194304 4650419 140734813447440 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=5508920 CPUtime=882.16 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 378752 0 0 0 88126 90 0 0 25 0 4 0 495694589 5641134080 1151869 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=5508920 CPUtime=881.65 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 637995 0 0 0 88031 134 0 0 25 0 4 0 495694589 5641134080 1151869 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.32
Current children cumulated vsize (KiB) 5508920

[startup+942.3 s]
/proc/loadavg: 8.07 8.06 7.88 9/184 21854
/proc/meminfo: memFree=9721920/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=5619988 CPUtime=3762.98 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 1878003 0 0 0 375843 455 0 0 25 0 4 0 495694589 5754867712 1175392 33554432000 4194304 4650419 140734813447440 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 1404997 1175392 425 112 0 1399962 0
[pid=21822/tid=21823] ppid=21820 vsize=5619988 CPUtime=937.74 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 434692 0 0 0 93663 111 0 0 25 0 4 0 495694589 5754867712 1175392 33554432000 4194304 4650419 140734813447440 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=5619988 CPUtime=942.16 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 389972 0 0 0 94122 94 0 0 25 0 4 0 495694589 5754867712 1175392 33554432000 4194304 4650419 140734813447440 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=5619988 CPUtime=941.64 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 651575 0 0 0 94025 139 0 0 25 0 4 0 495694589 5754867712 1175392 33554432000 4194304 4650419 140734813447440 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3762.98
Current children cumulated vsize (KiB) 5619988

[startup+1002.31 s]
/proc/loadavg: 8.06 8.06 7.89 9/184 21856
/proc/meminfo: memFree=9656432/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=5643268 CPUtime=4002.68 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 1917998 0 0 0 399799 469 0 0 25 0 4 0 495694589 5778706432 1187189 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363680 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 1410817 1187189 425 112 0 1405782 0
[pid=21822/tid=21823] ppid=21820 vsize=5643268 CPUtime=997.43 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 441495 0 0 0 99629 114 0 0 25 0 4 0 495694589 5778706432 1187189 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=5643268 CPUtime=1002.17 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 400152 0 0 0 100119 98 0 0 25 0 4 0 495694589 5778706432 1187189 33554432000 4194304 4650419 140734813447440 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=5643268 CPUtime=1001.65 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 663886 0 0 0 100022 143 0 0 25 0 4 0 495694589 5778706432 1187189 33554432000 4194304 4650419 140734813447440 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.68
Current children cumulated vsize (KiB) 5643268

[startup+1062.3 s]
/proc/loadavg: 8.02 8.05 7.90 9/184 21857
/proc/meminfo: memFree=9538992/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=5821852 CPUtime=4242.34 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 1961451 0 0 0 423743 491 0 0 25 0 4 0 495694589 5961576448 1211453 33554432000 4194304 4650419 140734813447440 18446744073709551615 4310792 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 1455463 1211453 425 112 0 1450428 0
[pid=21822/tid=21823] ppid=21820 vsize=5821852 CPUtime=1057.09 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 453313 0 0 0 105590 119 0 0 25 0 4 0 495694589 5961576448 1211453 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=5821852 CPUtime=1062.16 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 407425 0 0 0 106114 102 0 0 25 0 4 0 495694589 5961576448 1211453 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=5821852 CPUtime=1061.64 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 677535 0 0 0 106016 148 0 0 25 0 4 0 495694589 5961576448 1211453 33554432000 4194304 4650419 140734813447440 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.34
Current children cumulated vsize (KiB) 5821852

[startup+1122.3 s]
/proc/loadavg: 8.06 8.05 7.91 9/184 21859
/proc/meminfo: memFree=9446608/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=5887764 CPUtime=4482 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 2014091 0 0 0 447689 511 0 0 25 0 4 0 495694589 6029070336 1240319 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 1471941 1240319 425 112 0 1466906 0
[pid=21822/tid=21823] ppid=21820 vsize=5887764 CPUtime=1116.77 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 472462 0 0 0 111550 127 0 0 25 0 4 0 495694589 6029070336 1240319 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=5887764 CPUtime=1122.16 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 417081 0 0 0 112110 106 0 0 25 0 4 0 495694589 6029070336 1240319 33554432000 4194304 4650419 140734813447440 18446744073709551615 4443768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=5887764 CPUtime=1121.64 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 691954 0 0 0 112011 153 0 0 25 0 4 0 495694589 6029070336 1240319 33554432000 4194304 4650419 140734813447440 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482
Current children cumulated vsize (KiB) 5887764

[startup+1182.3 s]
/proc/loadavg: 8.07 8.06 7.91 9/184 21860
/proc/meminfo: memFree=9341188/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=5993896 CPUtime=4721.68 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 2053749 0 0 0 471642 526 0 0 25 0 4 0 495694589 6137749504 1253427 33554432000 4194304 4650419 140734813447440 18446744073709551615 4366998 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 1498474 1253427 425 112 0 1493439 0
[pid=21822/tid=21823] ppid=21820 vsize=5993896 CPUtime=1176.44 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 482339 0 0 0 117513 131 0 0 25 0 4 0 495694589 6137749504 1253427 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=5993896 CPUtime=1182.16 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 426397 0 0 0 118107 109 0 0 25 0 4 0 495694589 6137749504 1253427 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=5993896 CPUtime=1181.63 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 700470 0 0 0 118007 156 0 0 25 0 4 0 495694589 6137749504 1253427 33554432000 4194304 4650419 140734813447440 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4721.68
Current children cumulated vsize (KiB) 5993896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.05 8.05 7.91 5/179 21862
/proc/meminfo: memFree=9996316/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=5952132 CPUtime=4800.39 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) R 21820 21822 21381 0 -1 4202496 2065917 0 0 0 479510 529 0 0 25 0 4 0 495694589 6094983168 1245412 33554432000 4194304 4650419 140734813447440 18446744073709551615 4334297 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 1488033 1245412 425 112 0 1482998 0
[pid=21822/tid=21823] ppid=21820 vsize=5952132 CPUtime=1196.03 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 488401 0 0 0 119471 132 0 0 25 0 4 0 495694589 6094983168 1245412 33554432000 4194304 4650419 140734813447440 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21822/tid=21824] ppid=21820 vsize=5952132 CPUtime=1201.87 cores=1,3,5,7
/proc/21822/task/21824/stat : 21824 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 427298 0 0 0 120078 109 0 0 25 0 4 0 495694589 6094983168 1245412 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21822/tid=21825] ppid=21820 vsize=5952132 CPUtime=1201.34 cores=1,3,5,7
/proc/21822/task/21825/stat : 21825 (strangenight1-m) R 21820 21822 21381 0 -1 4202560 700471 0 0 0 119978 156 0 0 25 0 4 0 495694589 6094983168 1245412 33554432000 4194304 4650419 140734813447440 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 5952132

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

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

[startup+1202.2 s]
/proc/loadavg: 8.05 8.05 7.91 5/179 21862
/proc/meminfo: memFree=9996316/32951124 swapFree=67111528/67111528
[pid=21822] ppid=21820 vsize=0 CPUtime=4800.6 cores=1,3,5,7
/proc/21822/stat : 21822 (strangenight1-m) Z 21820 21822 21381 0 -1 4203548 2065918 0 0 0 479512 548 0 0 25 0 2 0 495694589 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21822/statm: 0 0 0 0 0 0 0
[pid=21822/tid=21823] ppid=21820 vsize=0 CPUtime=1196.23 cores=1,3,5,7
/proc/21822/task/21823/stat : 21823 (strangenight1-m) R 21820 21822 21381 0 -1 4203588 488401 0 0 0 119472 151 0 0 25 0 2 0 495694589 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.6
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.21
CPU time (s): 4800.62
CPU user time (s): 4795.12
CPU system time (s): 5.49716
CPU usage (%): 399.316
Max. virtual memory (cumulated for all children) (KiB): 6149932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.12
system time used= 5.49716
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2065918
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= 21157
involuntary context switches= 32608

runsolver used 1.78273 second user time and 4.79027 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-29 01:19:47
IDJOB=3282344
IDBENCH=70808
IDSOLVER=1588
FILE ID=node145/3282344-1304032787
RUNJOBID= node145-1304032787-21800
PBS_JOBID= 13170307
Free space on /tmp= 72192 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282344-1304032787/watcher-3282344-1304032787 -o /tmp/evaluation-result-3282344-1304032787/solver-3282344-1304032787 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3282344-1304032787.cnf

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=1181400075

node145.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.786
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.57
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.786
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	: 5332.76
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.786
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.74
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.786
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14963484 kB
Buffers:       2097784 kB
Cached:       15227544 kB
SwapCached:          0 kB
Active:        5139672 kB
Inactive:     12276524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14963484 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           23348 kB
Writeback:           0 kB
AnonPages:       90488 kB
Mapped:          14880 kB
Slab:           508604 kB
PageTables:       4692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   296588 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= 72184 MiB
End job on node145 at 2011-04-29 01:39:51