Trace number 3393950

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-2-mt (fixed)UNSAT 2510.1 320.373

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor064.cnf
MD5SUM902b28046d424b16042ca612ddad48e0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark809.913
Satisfiable
(Un)Satisfiability was proved
Number of variables51064
Number of clauses152039
Sum of the clauses size354755
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2101358
Number of clauses of size 350679
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 8 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3393950-1306075030.cnf'
0.00/0.05	c -- header says num vars:          51064
0.00/0.05	c -- header says num clauses:      152039
1.15/0.26	c -- clauses added:            0 learnts,       152039 normals,            0 xors
1.15/0.26	c -- vars added      51064
1.15/0.26	c Parsing time:  0.09 s
1.15/0.26	c  N st     0         0     51064     50679    101358         0    354753         0   no data   no data
12.21/1.68	c asymm  cl-useful: 0/6338/50662 lits-rem:0 time: 1.42
131.76/16.63	c Flit:     6 Blit:    123 bXBeca:    0 bXProp:  125 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 14.77
131.76/16.64	c Cleaning up after failed var search:     0.00 s 
131.76/16.66	c Replacing      125 vars Replaced     2382 lits Time:     0.02 s 
131.76/16.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131.76/16.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
132.56/16.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
137.36/17.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  50792 time:  0.65 s
139.08/17.53	c Removed useless bin:      58  fixed:     0  props:  20.00M  time:  0.17 s
141.34/17.80	c lits-rem:         0  cl-subs:      396  v-elim:  16930  v-fix:    0  time:  0.26 s
143.71/18.16	c Finding binary XORs  T:     0.35 s  found:       0
143.71/18.18	c Finding non-binary XORs:     0.02 s (found:    2023, avg size: 3.0)
143.71/18.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.52/18.27	c calculated reachability. Time: 0.08
144.52/18.27	c Calc default polars -  time:   0.01 s pos:     638 undec:   20518 neg:   29908
144.52/18.27	c =========================================================================================
144.52/18.27	c types(t): F = full restart, N = normal restart
144.52/18.27	c types(t): S = simplification begin/end, E = solution found
144.52/18.27	c restart types(rt): st = static, dy = dynamic
144.52/18.27	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
144.52/18.27	c  B st     0         0     33862     45402     62791         0    293139         0   no data   no data
158.86/20.06	c  N dy     9      4998     33861     45402     62867      4871    293139    301362     15.25     16.10
169.24/21.31	c  N dy    15      9185     33860     45402     65727      4795    293139     85991     12.91     16.95
170.84/21.53	c Finding binary XORs  T:     0.22 s  found:     558
170.84/21.55	c Replacing      558 vars Replaced    12042 lits Time:     0.01 s 
183.61/23.13	c  N dy    30     14523     33301     44085     64711      9815    289170    455404     13.40     14.11
194.79/24.56	c  N dy    47     18708     33299     44085     66126      7323    289170    116813     13.02     14.03
206.77/26.02	c  N dy    60     23173     33295     44085     66748     11638    289170    278510     12.43     13.29
212.35/26.71	c  F st    70     25002     33295     44085     66778     13428    289170    346064     12.38      9.56
220.33/27.70	c Finding binary XORs  T:     0.22 s  found:     539
220.33/27.73	c Replacing      539 vars Replaced    17350 lits Time:     0.02 s 
222.73/28.08	c  N st    75     28297     32756     43015     66555     16049    285924    575754     12.38   no data
226.06/28.44	c Decided on static restart strategy
226.06/28.44	c  S st    76     30000     32756     43015     66566      9739    285924    144199     12.38   no data
228.32/28.72	c  S st    76     30502     32756     43015     66625     10177    285924    151391     12.38   no data
228.32/28.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
333.70/41.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   28 Bins:  14172 BRemL:     19 BRemN:      0 P: 187.8M T: 13.18
333.70/41.97	c Replacing       28 vars Replaced      893 lits Time:     0.01 s 
333.70/41.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
333.70/42.00	c bin-w-bin subsume rem          914 bins  time:  0.01 s
334.49/42.02	c subs with bin:      809  lits-rem:       230  v-fix:    0  time:  0.02 s
336.10/42.29	c Subs w/ non-existent bins:    306 l-rem:   1193 v-fix:     0 done:  32728 time:  0.27 s
336.90/42.36	c Removed useless bin:      77  fixed:     0  props:   4.97M  time:  0.06 s
338.49/42.59	c lits-rem:       104  cl-subs:      423  v-elim:  14189  v-fix:    0  time:  0.22 s
339.29/42.60	c subs with bin:      328  lits-rem:       145  v-fix:    0  time:  0.01 s
339.29/42.63	c lits-rem:         9  cl-subs:       52  v-elim:      0  v-fix:    0  time:  0.02 s
346.47/43.57	c asymm  cl-useful: 914/8673/48784 lits-rem:917 time: 0.94
347.27/43.62	c calculated reachability. Time: 0.05
347.27/43.62	c  N st    76     30502     18539     48783     32487      5082    259059     37699     12.38   no data
348.07/43.79	c Finding binary XORs  T:     0.16 s  found:       1
360.83/45.34	c  N st    78     37612     18538     48783     35131     12052    259059    367429     12.38   no data
372.01/46.73	c  N st    79     44011     18538     48783     35156     15189    259056    652833     12.38   no data
376.79/47.34	c  S st    80     45755     18538     48783     35172     16893    259056    725492     12.38   no data
378.39/47.59	c  S st    80     46255     18538     48783     35222     17341    259056    743326     12.38   no data
379.20/47.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
439.06/55.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  596 Bins:  14839 BRemL:     89 BRemN:      0 P: 82.0M T:  7.50
439.06/55.16	c Replacing      597 vars Replaced    26056 lits Time:     0.04 s 
439.06/55.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
439.06/55.18	c bin-w-bin subsume rem          782 bins  time:  0.01 s
439.86/55.20	c subs with bin:     1236  lits-rem:       340  v-fix:    0  time:  0.02 s
439.86/55.26	c Subs w/ non-existent bins:    309 l-rem:    519 v-fix:     0 done:  17941 time:  0.06 s
439.86/55.28	c Removed useless bin:      50  fixed:     0  props:   0.99M  time:  0.02 s
440.66/55.35	c lits-rem:         0  cl-subs:        3  v-elim:    203  v-fix:    0  time:  0.06 s
441.45/55.49	c subs with bin:      323  lits-rem:      4190  v-fix:    0  time:  0.11 s
443.05/55.69	c lits-rem:       805  cl-subs:      453  v-elim:      0  v-fix:    0  time:  0.19 s
443.85/55.77	c vivif2 --  cl tried    46263 cl shrink      199 lits rem        199 time: 0.07
444.66/55.88	c vivif2 --  cl tried    14229 cl shrink     4868 lits rem      61392 time: 0.12
448.63/56.38	c asymm  cl-useful: 0/1652/46261 lits-rem:0 time: 0.50
449.44/56.42	c calculated reachability. Time: 0.03
449.44/56.42	c  N st    80     46255     17738     46261     40305     14226    255617    471446     12.38   no data
450.23/56.52	c Finding binary XORs  T:     0.10 s  found:       0
481.49/60.43	c  N st    81     60652     17737     46261     40367     21057    255616   1065765     12.38   no data
482.15/60.54	c Finding binary XORs  T:     0.09 s  found:     361
482.15/60.58	c Replacing      361 vars Replaced    13556 lits Time:     0.03 s 
498.26/62.56	c  N st    82     69382     17372     45611     45392     19267    252963    842745     12.38   no data
498.26/62.56	c  S st    82     69382     17372     45611     45392     19267    252963    842745     12.38   no data
500.52/62.81	c  S st    82     69883     17369     45611     46914     19727    252963    860072     12.38   no data
500.52/62.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
558.81/70.21	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  158 Bins:   2598 BRemL:   1526 BRemN:      0 P: 80.9M T:  7.38
559.73/70.24	c Replacing      158 vars Replaced     7201 lits Time:     0.03 s 
559.73/70.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
559.73/70.27	c bin-w-bin subsume rem         1460 bins  time:  0.01 s
559.73/70.29	c subs with bin:      496  lits-rem:        20  v-fix:    0  time:  0.02 s
560.53/70.37	c Subs w/ non-existent bins:      2 l-rem:      1 v-fix:     0 done:  17210 time:  0.08 s
560.53/70.38	c Removed useless bin:      35  fixed:     0  props:   0.81M  time:  0.02 s
561.19/70.44	c lits-rem:         6  cl-subs:        3  v-elim:     30  v-fix:    0  time:  0.06 s
562.78/70.69	c subs with bin:      282  lits-rem:      8440  v-fix:    0  time:  0.22 s
567.59/71.21	c lits-rem:      2594  cl-subs:      884  v-elim:      0  v-fix:    0  time:  0.51 s
567.59/71.29	c vivif2 --  cl tried    44747 cl shrink       66 lits rem         66 time: 0.08
569.31/71.44	c vivif2 --  cl tried    18240 cl shrink     5605 lits rem     107158 time: 0.15
573.17/71.99	c asymm  cl-useful: 1/1668/44746 lits-rem:3 time: 0.55
573.97/72.02	c calculated reachability. Time: 0.03
573.97/72.02	c  N st    82     69883     17180     44745     45792     18239    250370    680778     12.38   no data
584.35/73.39	c Finding binary XORs  T:     0.10 s  found:       3
610.70/76.66	c  F st    83     87501     17177     44734     45825     24560    250323    962950     12.38   no data
610.70/76.69	c Replacing        3 vars Replaced       53 lits Time:     0.01 s 
611.50/76.72	c  N st    83     87501     17174     44720     45819     24557    250273    962610     12.38   no data
612.42/76.84	c Finding binary XORs  T:     0.10 s  found:     672
612.42/76.87	c Replacing      672 vars Replaced    22903 lits Time:     0.03 s 
623.46/78.21	c  N dy    92     93096     16492     43419     51208     28507    245256   1186619     12.43     13.15
636.24/79.81	c  N dy   105     99052     16491     43419     51818     17759    245256    298640     12.05     12.72
647.55/81.31	c  S st   125    104824     16491     43419     51993     23402    245256    613936     11.91      9.06
649.80/81.52	c  S st   125    105326     16491     43419     52005     23883    245256    628500     11.91   no data
649.80/81.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
712.87/89.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  220 Bins:   5087 BRemL:   1983 BRemN:      1 P: 84.3M T:  7.93
713.67/89.50	c Replacing      220 vars Replaced    12111 lits Time:     0.03 s 
713.67/89.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
713.67/89.52	c bin-w-bin subsume rem         1555 bins  time:  0.01 s
713.67/89.55	c subs with bin:      413  lits-rem:        16  v-fix:    0  time:  0.02 s
714.47/89.63	c Subs w/ non-existent bins:      6 l-rem:     10 v-fix:     0 done:  16271 time:  0.08 s
714.47/89.64	c Removed useless bin:       3  fixed:     0  props:   0.71M  time:  0.02 s
715.27/89.70	c lits-rem:         0  cl-subs:       10  v-elim:     21  v-fix:    0  time:  0.06 s
716.87/89.90	c subs with bin:      260  lits-rem:      1812  v-fix:    0  time:  0.18 s
717.80/90.11	c lits-rem:      1755  cl-subs:     1180  v-elim:      0  v-fix:    0  time:  0.19 s
718.60/90.19	c vivif2 --  cl tried    42572 cl shrink        6 lits rem          6 time: 0.08
719.26/90.27	c vivif2 --  cl tried    21597 cl shrink     3813 lits rem      29945 time: 0.08
724.05/90.82	c asymm  cl-useful: 4/1270/42570 lits-rem:12 time: 0.55
724.05/90.86	c calculated reachability. Time: 0.03
724.05/90.86	c  N dy   125    105326     16250     42566     52968     21595    242863    489958     11.91   no data
724.85/90.97	c Finding binary XORs  T:     0.10 s  found:       3
741.62/93.04	c  N dy   135    112279     16246     42566     59261     28441    242863    988321     11.51     12.30
742.42/93.16	c Finding binary XORs  T:     0.10 s  found:     366
743.22/93.20	c Replacing      369 vars Replaced    25708 lits Time:     0.04 s 
761.71/95.54	c  N dy   163    119917     15872     41894     58555     19746    240128    333523     11.36     12.16
780.07/97.85	c  N dy   205    128016     15871     41894     58800     27727    240127    643905     11.36     12.03
798.29/100.17	c  N dy   247    136239     15871     41894     59280     19485    240127    254361     11.32     12.04
816.65/102.49	c Finding binary XORs  T:     0.10 s  found:     270
817.45/102.51	c Replacing      270 vars Replaced    11264 lits Time:     0.02 s 
819.04/102.75	c  N dy   282    145281     15599     41328     58759     27959    238097    568175     11.17     12.49
842.18/105.62	c  N dy   312    155082     15598     41328     59102     20495    238097    282585     11.01     12.00
847.78/106.40	c  S st   324    157993     15598     41328     59104     23366    238097    377066     10.96     10.64
850.31/106.62	c  S st   324    158497     15598     41328     59112     23859    238097    399780     10.96   no data
850.31/106.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
910.99/114.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   97 Bins:   1429 BRemL:   2680 BRemN:      0 P: 81.1M T:  7.60
910.99/114.26	c Replacing       97 vars Replaced     9115 lits Time:     0.03 s 
910.99/114.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
910.99/114.28	c bin-w-bin subsume rem         2066 bins  time:  0.01 s
910.99/114.30	c subs with bin:      139  lits-rem:        30  v-fix:    0  time:  0.02 s
911.79/114.37	c Subs w/ non-existent bins:      4 l-rem:     10 v-fix:     0 done:  15501 time:  0.07 s
911.79/114.39	c Removed useless bin:       2  fixed:     0  props:   0.66M  time:  0.02 s
912.44/114.45	c lits-rem:        14  cl-subs:       30  v-elim:     25  v-fix:    0  time:  0.06 s
914.04/114.64	c subs with bin:      122  lits-rem:      1418  v-fix:    0  time:  0.17 s
914.84/114.74	c lits-rem:       867  cl-subs:      929  v-elim:      0  v-fix:    0  time:  0.09 s
915.63/114.82	c vivif2 --  cl tried    40935 cl shrink        2 lits rem          2 time: 0.08
916.44/114.91	c vivif2 --  cl tried    21665 cl shrink     3684 lits rem      26629 time: 0.09
920.56/115.48	c asymm  cl-useful: 8/1675/40933 lits-rem:24 time: 0.57
921.22/115.52	c calculated reachability. Time: 0.03
921.22/115.52	c  N dy   324    158497     15476     40925     55491     21638    236920    313932     10.96   no data
928.54/116.50	c Finding binary XORs  T:     0.11 s  found:      68
943.57/118.30	c  N dy   351    168619     15471     40917     59888     31619    236900    886606     10.78     11.44
970.73/121.78	c  N dy   391    179786     15469     40917     61041     25843    236900    582735     10.68     11.26
989.09/124.00	c Finding binary XORs  T:     0.10 s  found:      33
1001.06/125.53	c  N dy   454    191328     15468     40886     61210     37156    236762   1175512     10.75     20.32
1032.20/129.42	c  N dy   526    203888     15467     40886     61409     32152    236762    718277     10.81     11.58
1033.92/129.69	c Finding binary XORs  T:     0.10 s  found:      30
1065.73/133.67	c  N dy   602    217281     15462     40860     64382     26691    236696    373164     10.90     11.81
1100.86/138.03	c  N dy   699    231162     15459     40860     64693     40427    236696   1147492     11.06     16.75
1117.62/140.13	c  S st   743    237745     15459     40860     64779     27540    236696    332707     11.10      7.78
1119.22/140.34	c  S st   743    238251     15459     40860     64784     28039    236696    354584     11.10   no data
1119.22/140.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1183.21/148.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins:   1111 BRemL:   2388 BRemN:      0 P: 85.2M T:  8.05
1184.01/148.43	c Replacing      140 vars Replaced     8771 lits Time:     0.03 s 
1184.01/148.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1184.01/148.46	c bin-w-bin subsume rem         1460 bins  time:  0.01 s
1184.01/148.48	c subs with bin:       77  lits-rem:        29  v-fix:    0  time:  0.02 s
1184.67/148.56	c Subs w/ non-existent bins:      6 l-rem:     11 v-fix:     0 done:  15320 time:  0.08 s
1184.67/148.57	c Removed useless bin:       3  fixed:     0  props:   0.63M  time:  0.02 s
1185.46/148.63	c lits-rem:         8  cl-subs:       23  v-elim:     17  v-fix:    0  time:  0.05 s
1186.26/148.76	c subs with bin:      338  lits-rem:      2350  v-fix:    0  time:  0.12 s
1187.06/148.84	c lits-rem:       870  cl-subs:      706  v-elim:      0  v-fix:    0  time:  0.07 s
1187.86/148.93	c vivif2 --  cl tried    40494 cl shrink      115 lits rem        137 time: 0.09
1188.66/149.02	c vivif2 --  cl tried    26619 cl shrink     2816 lits rem      16342 time: 0.09
1193.45/149.60	c asymm  cl-useful: 1/1784/40484 lits-rem:3 time: 0.59
1193.45/149.64	c calculated reachability. Time: 0.03
1193.45/149.64	c  N dy   743    238251     15303     40483     61532     26532    234968    311269     11.10   no data
1194.24/149.75	c Finding binary XORs  T:     0.11 s  found:       1
1238.15/155.24	c  N dy   805    254032     15294     40483     63607     42130    234966   1636966     11.04     11.77
1248.54/156.55	c Finding binary XORs  T:     0.11 s  found:      39
1284.47/161.00	c  N dy   887    270352     15284     40398     63837     36990    234530    867068     11.04     11.91
1329.97/166.72	c  N dy   999    287655     15276     40398     64114     32830    234528    469640     11.17     15.74
1353.92/169.75	c Finding binary XORs  T:     0.11 s  found:      30
1378.67/172.82	c  N dy  1121    306029     15270     40335     62943     49994    234123   1665021     11.32     12.23
1379.47/172.93	c  F st  1124    306250     15270     40335     62944     50214    234123   1682962     11.32   no data
1379.47/172.98	c Replacing       70 vars Replaced     9622 lits Time:     0.03 s 
1431.35/179.42	c  N dy  1224    325644     15203     40222     62972     46422    233548   1407070     11.42     12.89
1454.52/182.32	c Finding binary XORs  T:     0.11 s  found:      32
1488.05/186.55	c  N dy  1364    345713     15183     40216     64537     43076    233489    959895     11.63     27.30
1520.77/190.66	c  S st  1440    357376     15176     40216     64894     54634    233489   1897124     11.73     10.00
1523.16/190.94	c  S st  1440    357879     15176     40216     65165     55124    233489   1929160     11.73   no data
1523.16/190.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1623.09/203.43	c Flit:     0 Blit:      3 bXBeca:    0 bXProp:   93 Bins:   5093 BRemL:     35 BRemN:      0 P: 159.3M T: 12.47
1623.09/203.49	c Replacing      125 vars Replaced    14023 lits Time:     0.06 s 
1623.74/203.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1623.74/203.52	c bin-w-bin subsume rem         1245 bins  time:  0.01 s
1623.74/203.55	c subs with bin:      262  lits-rem:       794  v-fix:    0  time:  0.02 s
1624.54/203.62	c Subs w/ non-existent bins:     53 l-rem:    193 v-fix:     0 done:  15049 time:  0.07 s
1624.54/203.63	c Removed useless bin:       2  fixed:     0  props:   0.58M  time:  0.02 s
1625.34/203.70	c lits-rem:       152  cl-subs:      288  v-elim:    192  v-fix:    0  time:  0.06 s
1630.14/204.30	c subs with bin:     1229  lits-rem:      7926  v-fix:    0  time:  0.55 s
1632.53/204.63	c lits-rem:      1977  cl-subs:     1296  v-elim:      0  v-fix:    0  time:  0.32 s
1633.33/204.74	c vivif2 --  cl tried    39286 cl shrink     1213 lits rem       2393 time: 0.10
1634.92/204.97	c vivif2 --  cl tried    39793 cl shrink     9752 lits rem     105392 time: 0.23
1639.86/205.52	c asymm  cl-useful: 5/1122/39016 lits-rem:15 time: 0.55
1639.86/205.57	c calculated reachability. Time: 0.04
1639.86/205.57	c  N dy  1440    357879     14857     39011     67975     39173    225858    748954     11.73   no data
1641.31/205.73	c Finding binary XORs  T:     0.16 s  found:     207
1641.31/205.75	c Replacing      207 vars Replaced    10664 lits Time:     0.02 s 
1664.47/208.68	c Finding binary XORs  T:     0.15 s  found:      57
1687.62/211.59	c Finding binary XORs  T:     0.15 s  found:      11
1698.79/212.93	c  N dy  1561    377894     14618     38909     91105     40384    225294   1050322     11.82     13.21
1757.87/220.37	c  N dy  1728    397989     14600     38909     91809     36063    225281    605278     12.14     16.80
1783.42/223.56	c Finding binary XORs  T:     0.15 s  found:      51
1817.75/227.82	c  N dy  1866    418188     14587     38811     92180     54961    224705   2185174     12.32     13.51
1875.24/235.03	c  N dy  2004    438207     14532     38811     93069     49692    224699   1566495     12.52     14.45
1891.18/237.08	c Finding binary XORs  T:     0.15 s  found:      57
1891.99/237.15	c Replacing      176 vars Replaced    28959 lits Time:     0.07 s 
1939.88/243.11	c  N dy  2163    458435     14307     38412     93075     40567    222555    721431     12.76     13.43
1982.34/248.44	c Finding binary XORs  T:     0.15 s  found:      74
2001.36/250.83	c  N dy  2310    478848     14263     38138     93364     58178    221004   2660712     12.95     13.67
2061.37/258.39	c  N dy  2433    499143     14233     38138     94412     51090    220991   1455420     13.07     13.83
2080.39/260.76	c Finding binary XORs  T:     0.15 s  found:      69
2081.19/260.82	c Replacing      143 vars Replaced    20189 lits Time:     0.06 s 
2128.30/266.75	c  N dy  2568    519272     14037     37828     94365     68617    219317   3309508     13.20     13.92
2154.65/270.09	c Finding binary XORs  T:     0.15 s  found:     344
2155.45/270.14	c Replacing      344 vars Replaced    29905 lits Time:     0.05 s 
2179.40/273.11	c  S st  2660    536818     13633     37415    107255     55840    217141   2155063     13.24     11.62
2181.00/273.32	c  S st  2660    537326     13633     37415    107258     56343    217141   2210623     13.24   no data
2181.00/273.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2290.49/287.07	c Flit:     6 Blit:     31 bXBeca:    0 bXProp:  286 Bins:   2551 BRemL:     37 BRemN:      0 P: 200.0M T: 13.72
2291.15/287.16	c Replacing      286 vars Replaced    45123 lits Time:     0.09 s 
2291.15/287.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2291.15/287.19	c bin-w-bin subsume rem        11861 bins  time:  0.02 s
2291.95/287.23	c subs with bin:     1743  lits-rem:      2346  v-fix:    0  time:  0.03 s
2292.75/287.36	c Subs w/ non-existent bins:     87 l-rem:   1752 v-fix:     0 done:  13290 time:  0.13 s
2292.75/287.37	c Removed useless bin:      17  fixed:     0  props:   0.58M  time:  0.01 s
2293.54/287.45	c lits-rem:       389  cl-subs:      597  v-elim:    577  v-fix:    0  time:  0.08 s
2295.95/287.72	c subs with bin:     5642  lits-rem:      7833  v-fix:    0  time:  0.24 s
2296.74/287.88	c lits-rem:      1314  cl-subs:     1428  v-elim:      0  v-fix:    0  time:  0.15 s
2298.47/288.02	c vivif2 --  cl tried    34795 cl shrink     2228 lits rem       4696 time: 0.13
2299.26/288.19	c vivif2 --  cl tried    29561 cl shrink     9821 lits rem      69702 time: 0.18
2303.92/288.79	c asymm  cl-useful: 1/781/34404 lits-rem:3 time: 0.59
2304.72/288.85	c calculated reachability. Time: 0.06
2304.72/288.85	c  N dy  2660    537326     12713     34403     92637     27603    195858    526730     13.24   no data
2306.32/289.10	c Finding binary XORs  T:     0.25 s  found:     375
2307.25/289.12	c Replacing      375 vars Replaced    16082 lits Time:     0.02 s 
2347.03/294.18	c Finding binary XORs  T:     0.20 s  found:      84
2361.40/295.98	c  N dy  2723    558632     12198     34024     96457     45635    193804   2218907     13.15     14.26
2407.71/301.71	c  N dy  2831    578725     12073     33587     95734     35556    191632   1195967     13.17     14.10
2415.69/302.74	c Finding binary XORs  T:     0.20 s  found:     125
2415.69/302.79	c Replacing      209 vars Replaced    30631 lits Time:     0.05 s 
2457.34/307.97	c  N dy  2961    599152     11754     33176     96361     29871    189435    631049     13.22     14.04
2477.96/310.59	c Finding binary XORs  T:     0.20 s  found:     130
2478.76/310.63	c Replacing      130 vars Replaced    20638 lits Time:     0.03 s 
2509.92/320.20	c Following stats are for *FIRST FINISHED THREAD ONLY*
2509.92/320.20	c num threads              : 8          
2509.92/320.20	c restarts                 : 3516       
2509.92/320.20	c dynamic restarts         : 3486       
2509.92/320.20	c static restarts          : 30         
2509.92/320.20	c full restarts            : 3          
2509.92/320.20	c total simplify time      : 4.85       
2509.92/320.20	c learnts DL2              : 0          
2509.92/320.20	c learnts size 2           : 349135     
2509.92/320.20	c learnts size 1           : 2612        (5.12      % of vars)
2509.92/320.20	c filedLit time            : 64.62       (20.22     % time)
2509.92/320.20	c v-elim SatELite          : 31589       (61.86     % vars)
2509.92/320.20	c SatELite time            : 2.37        (0.74      % time)
2509.92/320.20	c v-elim xor               : 0           (0.00      % vars)
2509.92/320.20	c xor elim time            : 0.08        (0.02      % time)
2509.92/320.20	c num binary xor trees     : 1221       
2509.92/320.20	c binxor trees' crown      : 5742        (4.70      leafs/tree)
2509.92/320.20	c bin xor find time        : 4.21       
2509.92/320.20	c OTF clause improved      : 7677        (0.01      clauses/conflict)
2509.92/320.20	c OTF impr. size diff      : 11915       (1.55       lits/clause)
2509.92/320.20	c OTF cl watch-shrink      : 465390      (0.68      clauses/conflict)
2509.92/320.20	c OTF cl watch-sh-lit      : 4067925     (8.74       lits/clause)
2509.92/320.20	c tried to recurMin cls    : 347583      (50.72      % of conflicts)
2509.92/320.20	c updated cache            : 8616        (0.02       lits/tried recurMin)
2509.92/320.20	c unit cls recevied        : 390         (14.93     % of units)
2509.92/320.20	c unit cls sent            : 262         (10.03     % of units)
2509.92/320.20	c bin cls recevied         : 117698     
2509.92/320.20	c bin cls sent             : 32682      
2509.92/320.20	c clauses over max glue    : 0           (0.00      % of all clauses)
2509.92/320.20	c conflicts                : 685278      (2143.94   / sec)
2509.92/320.20	c decisions                : 2819234     (0.61      % random)
2509.92/320.20	c bogo-props               : 8282520992  (25912401.39 / sec)
2509.92/320.20	c conflict literals        : 47318713    (36.77     % deleted)
2509.92/320.20	c Memory used              : 4800.61     MB
2509.92/320.20	c single-thread CPU time   : 319.64      s
2509.92/320.20	c all-threads sum CPU time : 2505.98     s
2509.92/320.20	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3393950-1306075030/watcher-3393950-1306075030 -o /tmp/evaluation-result-3393950-1306075030/solver-3393950-1306075030 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393950-1306075030.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.48 7.95 7.96 2/498 28730
/proc/meminfo: memFree=20601172/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=92144 CPUtime=0.08 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4202496 420 0 0 0 8 0 0 0 24 0 8 0 719105611 94355456 360 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182032 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 23036 360 302 95 0 18018 0
[pid=28730/tid=28731] ppid=28728 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 4 0 0 0 1 0 0 0 24 0 8 0 719105612 94355456 360 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182035 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=92144 CPUtime=0 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 719105612 94355456 360 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182450 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 719105612 94355456 360 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182041 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 719105612 94355456 360 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182035 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 719105612 94355456 360 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182045 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 719105612 94355456 360 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182041 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 719105612 94355456 360 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182041 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.083453 s]
/proc/loadavg: 7.48 7.95 7.96 2/498 28730
/proc/meminfo: memFree=20601172/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=561320 CPUtime=0.49 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4202496 8690 0 0 0 43 6 0 0 17 0 8 0 719105611 574791680 7839 33554432000 4194304 4580107 140733580180528 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 140330 7853 337 95 0 135312 0
[pid=28730/tid=28731] ppid=28728 vsize=561896 CPUtime=0.06 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 1137 0 0 0 6 0 0 0 17 0 8 0 719105612 575381504 7884 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=562184 CPUtime=0.01 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 1003 0 0 0 1 0 0 0 17 0 8 0 719105612 575676416 7946 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 18446604448253641664 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=562472 CPUtime=0.06 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 1117 0 0 0 5 1 0 0 17 0 8 0 719105612 575971328 7964 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 18446604448253641664 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=562472 CPUtime=0.05 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 1104 0 0 0 5 0 0 0 17 0 8 0 719105612 575971328 7979 33554432000 4194304 4580107 140733580180528 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=562472 CPUtime=0.05 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 904 0 0 0 5 0 0 0 17 0 8 0 719105612 575971328 7988 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 18446604448253641664 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=562472 CPUtime=0.05 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 1093 0 0 0 5 0 0 0 17 0 8 0 719105612 575971328 8006 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=562760 CPUtime=0.06 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 1144 0 0 0 6 0 0 0 17 0 8 0 719105612 576266240 8060 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 561320

[startup+0.103421 s]
/proc/loadavg: 7.48 7.95 7.96 2/498 28730
/proc/meminfo: memFree=20601172/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=570096 CPUtime=0.61 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) S 28728 28730 28523 0 -1 4202496 12984 0 0 0 50 11 0 0 17 0 8 0 719105611 583778304 11027 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 142524 11048 337 95 0 137506 0
[pid=28730/tid=28731] ppid=28728 vsize=570096 CPUtime=0.08 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 1608 0 0 0 7 1 0 0 17 0 8 0 719105612 583778304 11061 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 18446604448253641664 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=570096 CPUtime=0.03 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 1495 0 0 0 2 1 0 0 17 0 8 0 719105612 583778304 11067 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 18446604448253641664 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=570096 CPUtime=0.07 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 1574 0 0 0 6 1 0 0 17 0 8 0 719105612 583778304 11082 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 18446604448253641664 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=570096 CPUtime=0.07 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 1616 0 0 0 7 0 0 0 17 0 8 0 719105612 583778304 11089 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 18446604448253641664 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=570096 CPUtime=0.07 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 1457 0 0 0 6 1 0 0 17 0 8 0 719105612 583778304 11095 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 18446604448253641664 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=570096 CPUtime=0.07 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 1750 0 0 0 6 1 0 0 17 0 8 0 719105612 583778304 11102 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=570096 CPUtime=0.08 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 1593 0 0 0 7 1 0 0 17 0 8 0 719105612 583778304 11105 33554432000 4194304 4580107 140733580180528 18446744073709551615 216634620398 0 0 4096 2 18446604448253641664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 570096

[startup+1.31814 s]
/proc/loadavg: 7.48 7.95 7.96 2/498 28730
/proc/meminfo: memFree=20601172/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=701140 CPUtime=9.95 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4202496 50259 0 0 0 949 46 0 0 19 0 8 0 719105611 717967360 41810 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 175285 41810 359 95 0 170267 0
[pid=28730/tid=28731] ppid=28728 vsize=701140 CPUtime=1.25 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 5808 0 0 0 119 6 0 0 18 0 8 0 719105612 717967360 41810 33554432000 4194304 4580107 140733580180528 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=701140 CPUtime=1.19 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6226 0 0 0 115 4 0 0 19 0 8 0 719105612 717967360 41810 33554432000 4194304 4580107 140733580180528 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=701140 CPUtime=1.24 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6083 0 0 0 118 6 0 0 19 0 8 0 719105612 717967360 41810 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=701140 CPUtime=1.23 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6473 0 0 0 120 3 0 0 18 0 8 0 719105612 717967360 41810 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=701140 CPUtime=1.24 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6073 0 0 0 118 6 0 0 18 0 8 0 719105612 717967360 41810 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=701140 CPUtime=1.24 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6472 0 0 0 118 6 0 0 19 0 8 0 719105612 717967360 41810 33554432000 4194304 4580107 140733580180528 18446744073709551615 4288888 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=701140 CPUtime=1.24 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6441 0 0 0 119 5 0 0 18 0 8 0 719105612 717967360 41810 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (KiB) 701140

[startup+1.40113 s]
/proc/loadavg: 7.48 7.95 7.96 2/498 28730
/proc/meminfo: memFree=20601172/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=701140 CPUtime=10.62 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4202496 50262 0 0 0 1016 46 0 0 19 0 8 0 719105611 717967360 41813 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 175285 41813 359 95 0 170267 0
[pid=28730/tid=28731] ppid=28728 vsize=701140 CPUtime=1.33 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 5808 0 0 0 127 6 0 0 19 0 8 0 719105612 717967360 41813 33554432000 4194304 4580107 140733580180528 18446744073709551615 4288888 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=701140 CPUtime=1.27 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6226 0 0 0 123 4 0 0 19 0 8 0 719105612 717967360 41813 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=701140 CPUtime=1.33 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6083 0 0 0 127 6 0 0 19 0 8 0 719105612 717967360 41813 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=701140 CPUtime=1.32 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6473 0 0 0 129 3 0 0 19 0 8 0 719105612 717967360 41813 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=701140 CPUtime=1.32 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6073 0 0 0 126 6 0 0 19 0 8 0 719105612 717967360 41813 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=701140 CPUtime=1.32 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6472 0 0 0 126 6 0 0 19 0 8 0 719105612 717967360 41813 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=701140 CPUtime=1.32 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6444 0 0 0 127 5 0 0 19 0 8 0 719105612 717967360 41813 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 701140

[startup+1.50111 s]
/proc/loadavg: 7.48 7.95 7.96 2/498 28730
/proc/meminfo: memFree=20601172/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=701140 CPUtime=11.41 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4202496 50270 0 0 0 1095 46 0 0 19 0 8 0 719105611 717967360 41821 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 175285 41821 359 95 0 170267 0
[pid=28730/tid=28731] ppid=28728 vsize=701140 CPUtime=1.43 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 5808 0 0 0 137 6 0 0 19 0 8 0 719105612 717967360 41821 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=701140 CPUtime=1.37 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6226 0 0 0 133 4 0 0 19 0 8 0 719105612 717967360 41821 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=701140 CPUtime=1.43 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6083 0 0 0 137 6 0 0 19 0 8 0 719105612 717967360 41821 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=701140 CPUtime=1.42 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6473 0 0 0 139 3 0 0 19 0 8 0 719105612 717967360 41821 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=701140 CPUtime=1.42 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6073 0 0 0 136 6 0 0 19 0 8 0 719105612 717967360 41821 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=701140 CPUtime=1.42 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6472 0 0 0 136 6 0 0 19 0 8 0 719105612 717967360 41821 33554432000 4194304 4580107 140733580180528 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=701140 CPUtime=1.42 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 6452 0 0 0 137 5 0 0 19 0 8 0 719105612 717967360 41821 33554432000 4194304 4580107 140733580180528 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 701140

[startup+3.10083 s]
/proc/loadavg: 7.48 7.95 7.96 9/506 28738
/proc/meminfo: memFree=20042624/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=1029160 CPUtime=24.25 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4202496 148963 0 0 0 2354 71 0 0 18 0 8 0 719105611 1053859840 140515 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 257290 140520 361 95 0 252272 0
[pid=28730/tid=28731] ppid=28728 vsize=1029160 CPUtime=3.03 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 19753 0 0 0 294 9 0 0 23 0 8 0 719105612 1053859840 140524 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=1029160 CPUtime=2.94 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 19337 0 0 0 287 7 0 0 19 0 8 0 719105612 1053859840 140527 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293258 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=1029160 CPUtime=3.03 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 19757 0 0 0 293 10 0 0 18 0 8 0 719105612 1053859840 140531 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=1029160 CPUtime=3.03 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 21214 0 0 0 296 7 0 0 18 0 8 0 719105612 1053859840 140533 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=1029160 CPUtime=3.03 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 19776 0 0 0 294 9 0 0 18 0 8 0 719105612 1053859840 140536 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=1029160 CPUtime=3.03 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 20895 0 0 0 293 10 0 0 18 0 8 0 719105612 1053859840 140536 33554432000 4194304 4580107 140733580180528 18446744073709551615 4231584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=1029160 CPUtime=3.03 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 7191 0 0 0 298 5 0 0 22 0 8 0 719105612 1053859840 140536 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.25
Current children cumulated vsize (KiB) 1029160

[startup+6.30126 s]
/proc/loadavg: 7.68 7.99 7.97 9/506 28738
/proc/meminfo: memFree=19500992/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=1797648 CPUtime=49.62 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4202496 340273 0 0 0 4854 108 0 0 25 0 8 0 719105611 1840791552 331281 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294316 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 449412 331281 361 95 0 444394 0
[pid=28730/tid=28731] ppid=28728 vsize=1797648 CPUtime=6.21 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 46620 0 0 0 607 14 0 0 22 0 8 0 719105612 1840791552 331281 33554432000 4194304 4580107 140733580180528 18446744073709551615 4234877 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=1797648 CPUtime=6.08 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 45431 0 0 0 596 12 0 0 22 0 8 0 719105612 1840791552 331281 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=1797648 CPUtime=6.2 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 46698 0 0 0 605 15 0 0 20 0 8 0 719105612 1840791552 331281 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=1797648 CPUtime=6.2 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 49267 0 0 0 609 11 0 0 21 0 8 0 719105612 1840791552 331281 33554432000 4194304 4580107 140733580180528 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=1797648 CPUtime=6.2 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 46529 0 0 0 605 15 0 0 21 0 8 0 719105612 1840791552 331281 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=1797648 CPUtime=6.21 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 48656 0 0 0 605 16 0 0 19 0 8 0 719105612 1840791552 331281 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=1797648 CPUtime=6.22 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 7831 0 0 0 616 6 0 0 25 0 8 0 719105612 1840791552 331281 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0

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


[startup+282.501 s]
/proc/loadavg: 7.99 8.00 7.98 9/506 28745
/proc/meminfo: memFree=16704200/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=4952560 CPUtime=2254.56 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4202496 1293841 0 0 0 225084 372 0 0 25 0 8 0 719105611 5071421440 972345 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293698 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 1238140 972345 381 95 0 1233122 0
[pid=28730/tid=28731] ppid=28728 vsize=4952560 CPUtime=282.4 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 157194 0 0 0 28198 42 0 0 25 0 8 0 719105612 5071421440 972345 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=4952560 CPUtime=277.73 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 159568 0 0 0 27727 46 0 0 25 0 8 0 719105612 5071421440 972345 33554432000 4194304 4580107 140733580180528 18446744073709551615 4317516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=4952560 CPUtime=282.39 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 169769 0 0 0 28188 51 0 0 25 0 8 0 719105612 5071421440 972345 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=4952560 CPUtime=282.4 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 171480 0 0 0 28197 43 0 0 25 0 8 0 719105612 5071421440 972345 33554432000 4194304 4580107 140733580180528 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=4952560 CPUtime=282.41 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 167929 0 0 0 28189 52 0 0 25 0 8 0 719105612 5071421440 972345 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=4952560 CPUtime=282.42 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 169246 0 0 0 28193 49 0 0 25 0 8 0 719105612 5071421440 972345 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=4952560 CPUtime=282.35 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 142577 0 0 0 28194 41 0 0 25 0 8 0 719105612 5071421440 972345 33554432000 4194304 4580107 140733580180528 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2254.56
Current children cumulated vsize (KiB) 4952560

[startup+295.3 s]
/proc/loadavg: 7.99 8.00 7.98 9/506 28746
/proc/meminfo: memFree=16678652/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=5014476 CPUtime=2356.61 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4202496 1325932 0 0 0 235278 383 0 0 25 0 8 0 719105611 5134823424 980110 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 1253619 980110 381 95 0 1248601 0
[pid=28730/tid=28731] ppid=28728 vsize=5014476 CPUtime=295.17 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 161459 0 0 0 29474 43 0 0 25 0 8 0 719105612 5134823424 980110 33554432000 4194304 4580107 140733580180528 18446744073709551615 4321160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=5014476 CPUtime=290.31 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 163762 0 0 0 28984 47 0 0 25 0 8 0 719105612 5134823424 980110 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=5014476 CPUtime=295.17 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 173955 0 0 0 29465 52 0 0 25 0 8 0 719105612 5134823424 980110 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=5014476 CPUtime=295.19 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 173851 0 0 0 29475 44 0 0 25 0 8 0 719105612 5134823424 980110 33554432000 4194304 4580107 140733580180528 18446744073709551615 4320919 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=5014476 CPUtime=295.2 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 172053 0 0 0 29466 54 0 0 25 0 8 0 719105612 5134823424 980110 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=5014476 CPUtime=295.19 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 173330 0 0 0 29469 50 0 0 25 0 8 0 719105612 5134823424 980110 33554432000 4194304 4580107 140733580180528 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=5014476 CPUtime=295.13 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 146743 0 0 0 29471 42 0 0 25 0 8 0 719105612 5134823424 980111 33554432000 4194304 4580107 140733580180528 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2356.61
Current children cumulated vsize (KiB) 5014476

[startup+308.101 s]
/proc/loadavg: 7.99 8.00 7.98 9/506 28746
/proc/meminfo: memFree=16693288/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=5019688 CPUtime=2458.8 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4202496 1347870 0 0 0 245489 391 0 0 25 0 8 0 719105611 5140160512 975424 33554432000 4194304 4580107 140733580180528 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 1254922 975424 381 95 0 1249904 0
[pid=28730/tid=28731] ppid=28728 vsize=5019688 CPUtime=307.97 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 165168 0 0 0 30753 44 0 0 25 0 8 0 719105612 5140160512 975425 33554432000 4194304 4580107 140733580180528 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=5019688 CPUtime=302.9 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 165516 0 0 0 30242 48 0 0 25 0 8 0 719105612 5140160512 975425 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=5019688 CPUtime=307.97 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 177766 0 0 0 30744 53 0 0 25 0 8 0 719105612 5140160512 975425 33554432000 4194304 4580107 140733580180528 18446744073709551615 4238472 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=5019688 CPUtime=307.98 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 176687 0 0 0 30753 45 0 0 25 0 8 0 719105612 5140160512 975425 33554432000 4194304 4580107 140733580180528 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=5019688 CPUtime=308 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 172677 0 0 0 30746 54 0 0 25 0 8 0 719105612 5140160512 975425 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=5019688 CPUtime=308 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 177223 0 0 0 30748 52 0 0 25 0 8 0 719105612 5140160512 975425 33554432000 4194304 4580107 140733580180528 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=5019688 CPUtime=307.93 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 150772 0 0 0 30750 43 0 0 25 0 8 0 719105612 5140160512 975425 33554432000 4194304 4580107 140733580180528 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2458.8
Current children cumulated vsize (KiB) 5019688

[startup+314.519 s]
/proc/loadavg: 7.59 7.92 7.95 4/506 28746
/proc/meminfo: memFree=16663780/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=4915816 CPUtime=2495 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) S 28728 28730 28523 0 -1 4202496 1356142 0 0 0 249106 394 0 0 25 0 8 0 719105611 5033795584 982436 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 1228954 982436 381 95 0 1223936 0
[pid=28730/tid=28731] ppid=28728 vsize=4915816 CPUtime=314.39 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 165661 0 0 0 31395 44 0 0 25 0 8 0 719105612 5033795584 982436 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004157636 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=4915816 CPUtime=306.24 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 165532 0 0 0 30576 48 0 0 25 0 8 0 719105612 5033795584 982436 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=4915816 CPUtime=314.39 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 179919 0 0 0 31385 54 0 0 18 0 8 0 719105612 5033795584 982436 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=4915816 CPUtime=311.38 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 178265 0 0 0 31093 45 0 0 25 0 8 0 719105612 5033795584 982436 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=4915816 CPUtime=311.39 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 173016 0 0 0 31085 54 0 0 25 0 8 0 719105612 5033795584 982436 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=4915816 CPUtime=314.41 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 179737 0 0 0 31388 53 0 0 25 0 8 0 719105612 5033795584 982436 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=4915816 CPUtime=311.33 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 151341 0 0 0 31090 43 0 0 25 0 8 0 719105612 5033795584 982436 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2495
Current children cumulated vsize (KiB) 4915816

[startup+317.7 s]
/proc/loadavg: 7.59 7.92 7.95 4/506 28746
/proc/meminfo: memFree=16651432/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=4915816 CPUtime=2504.6 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) S 28728 28730 28523 0 -1 4202496 1360905 0 0 0 250066 394 0 0 25 0 8 0 719105611 5033795584 985501 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 1228954 985501 381 95 0 1223936 0
[pid=28730/tid=28731] ppid=28728 vsize=4915816 CPUtime=317.59 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 165661 0 0 0 31715 44 0 0 25 0 8 0 719105612 5033795584 985501 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004157483 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=4915816 CPUtime=306.24 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 165532 0 0 0 30576 48 0 0 25 0 8 0 719105612 5033795584 985501 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=4915816 CPUtime=317.58 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 183787 0 0 0 31704 54 0 0 18 0 8 0 719105612 5033795584 985501 33554432000 4194304 4580107 140733580180528 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=4915816 CPUtime=311.38 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 178265 0 0 0 31093 45 0 0 25 0 8 0 719105612 5033795584 985501 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=4915816 CPUtime=311.39 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 173016 0 0 0 31085 54 0 0 25 0 8 0 719105612 5033795584 985501 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=4915816 CPUtime=317.61 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 180632 0 0 0 31708 53 0 0 22 0 8 0 719105612 5033795584 985501 33554432000 4194304 4580107 140733580180528 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=4915816 CPUtime=311.33 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 151341 0 0 0 31090 43 0 0 25 0 8 0 719105612 5033795584 985501 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2504.6
Current children cumulated vsize (KiB) 4915816

[startup+319.301 s]
/proc/loadavg: 7.59 7.92 7.95 3/506 28746
/proc/meminfo: memFree=16647712/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=4915816 CPUtime=2508.12 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) S 28728 28730 28523 0 -1 4202496 1362452 0 0 0 250417 395 0 0 25 0 8 0 719105611 5033795584 986127 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 1228954 986127 381 95 0 1223936 0
[pid=28730/tid=28731] ppid=28728 vsize=4915816 CPUtime=319.17 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 165661 0 0 0 31873 44 0 0 25 0 8 0 719105612 5033795584 986127 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004157636 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=4915816 CPUtime=306.24 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 165532 0 0 0 30576 48 0 0 25 0 8 0 719105612 5033795584 986127 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=4915816 CPUtime=317.94 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 183787 0 0 0 31740 54 0 0 19 0 8 0 719105612 5033795584 986127 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=4915816 CPUtime=311.38 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 178265 0 0 0 31093 45 0 0 25 0 8 0 719105612 5033795584 986127 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=4915816 CPUtime=311.39 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 173016 0 0 0 31085 54 0 0 25 0 8 0 719105612 5033795584 986127 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=4915816 CPUtime=319.2 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 182179 0 0 0 31866 54 0 0 25 0 8 0 719105612 5033795584 986127 33554432000 4194304 4580107 140733580180528 18446744073709551615 4303968 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=4915816 CPUtime=311.33 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 151341 0 0 0 31090 43 0 0 25 0 8 0 719105612 5033795584 986127 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2508.12
Current children cumulated vsize (KiB) 4915816

[startup+320.101 s]
/proc/loadavg: 7.15 7.82 7.92 3/506 28746
/proc/meminfo: memFree=16648456/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=4915816 CPUtime=2509.72 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) S 28728 28730 28523 0 -1 4202496 1362559 0 0 0 250577 395 0 0 25 0 8 0 719105611 5033795584 986234 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 1228954 986234 381 95 0 1223936 0
[pid=28730/tid=28731] ppid=28728 vsize=4915816 CPUtime=319.97 cores=0-7
/proc/28730/task/28731/stat : 28731 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 165661 0 0 0 31953 44 0 0 25 0 8 0 719105612 5033795584 986234 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004157636 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28730/tid=28732] ppid=28728 vsize=4915816 CPUtime=306.24 cores=0-7
/proc/28730/task/28732/stat : 28732 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 165532 0 0 0 30576 48 0 0 25 0 8 0 719105612 5033795584 986234 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 7 0 0 0
[pid=28730/tid=28733] ppid=28728 vsize=4915816 CPUtime=317.94 cores=0-7
/proc/28730/task/28733/stat : 28733 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 183787 0 0 0 31740 54 0 0 19 0 8 0 719105612 5033795584 986234 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 1 0 0 0
[pid=28730/tid=28734] ppid=28728 vsize=4915816 CPUtime=311.38 cores=0-7
/proc/28730/task/28734/stat : 28734 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 178265 0 0 0 31093 45 0 0 25 0 8 0 719105612 5033795584 986234 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 0 0 0 0
[pid=28730/tid=28735] ppid=28728 vsize=4915816 CPUtime=311.39 cores=0-7
/proc/28730/task/28735/stat : 28735 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 173016 0 0 0 31085 54 0 0 25 0 8 0 719105612 5033795584 986234 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 3 0 0 0
[pid=28730/tid=28736] ppid=28728 vsize=4915816 CPUtime=320 cores=0-7
/proc/28730/task/28736/stat : 28736 (strangenight2-m) R 28728 28730 28523 0 -1 4202560 182286 0 0 0 31946 54 0 0 25 0 8 0 719105612 5033795584 986234 33554432000 4194304 4580107 140733580180528 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28730/tid=28737] ppid=28728 vsize=4915816 CPUtime=311.33 cores=0-7
/proc/28730/task/28737/stat : 28737 (strangenight2-m) S 28728 28730 28523 0 -1 4202560 151341 0 0 0 31090 43 0 0 25 0 8 0 719105612 5033795584 986234 33554432000 4194304 4580107 140733580180528 18446744073709551615 47431004182068 0 0 4096 2 18446604448253641664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2509.72
Current children cumulated vsize (KiB) 4915816

[startup+320.301 s]
/proc/loadavg: 7.15 7.82 7.92 3/506 28746
/proc/meminfo: memFree=16648456/32951124 swapFree=53501332/67111528
[pid=28730] ppid=28728 vsize=0 CPUtime=2510.02 cores=0-7
/proc/28730/stat : 28730 (strangenight2-m) R 28728 28730 28523 0 -1 4203524 1362562 0 0 0 250598 404 0 0 18 0 1 0 719105611 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28730/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2510.02
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 320.373
CPU time (s): 2510.1
CPU user time (s): 2505.98
CPU system time (s): 4.11937
CPU usage (%): 783.495
Max. virtual memory (cumulated for all children) (KiB): 5133908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.98
system time used= 4.11937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1362562
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= 73149
involuntary context switches= 10828

runsolver used 1.44178 second user time and 3.81842 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-22 16:37:10
IDJOB=3393950
IDBENCH=70817
IDSOLVER=1878
FILE ID=node103/3393950-1306075030
RUNJOBID= node103-1306069999-28537
PBS_JOBID= 13387900
Free space on /tmp= 73128 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393950-1306075030/watcher-3393950-1306075030 -o /tmp/evaluation-result-3393950-1306075030/solver-3393950-1306075030 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393950-1306075030.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED=60370216

node103.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.858
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.71
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.858
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.75
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.858
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.75
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.858
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.77
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.858
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.75
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.858
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.75
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.858
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.83
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20601576 kB
Buffers:        365820 kB
Cached:        8031420 kB
SwapCached:     340096 kB
Active:        4571552 kB
Inactive:      7459884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20601576 kB
SwapTotal:    67111528 kB
SwapFree:     53501332 kB
Dirty:            7796 kB
Writeback:           0 kB
AnonPages:     3305348 kB
Mapped:          23780 kB
Slab:           174816 kB
PageTables:      72840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162033796 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= 73124 MiB
End job on node103 at 2011-05-22 16:42:30