Trace number 3321061

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-mtUNSAT 12995 1626.32

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p0.cnf
MD5SUMfaef1c850bb82ceddc7da5a4c445dd25
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1428.89
Satisfiable
(Un)Satisfiability was proved
Number of variables258781
Number of clauses1372095
Sum of the clauses size3305764
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2980303
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3321061-1304322671.cnf'
0.00/0.02	c -- header says num vars:         258781
0.00/0.02	c -- header says num clauses:     1372095
9.64/1.58	c -- clauses added:            0 learnts,      1372095 normals,            0 xors
9.64/1.58	c -- vars added     258781
9.64/1.58	c Parsing time:  0.83 s
9.64/1.58	c  N st     0         0    258781    378643    979353         0   3290715         0   no data   no data
15.19/2.23	c asymm  cl-useful: 3/1464/332664 lits-rem:12 time: 0.63
131.83/16.80	c Flit:    82 Blit:   1280 bXBeca:    0 bXProp: 1159 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 14.56
131.83/16.86	c Cleaning up after failed var search:     0.06 s 
132.63/16.96	c Replacing     1159 vars Replaced    35218 lits Time:     0.09 s 
134.23/17.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
134.23/17.18	c bin-w-bin subsume rem        36158 bins  time:  0.08 s
135.83/17.33	c subs with bin:     5231  lits-rem:     48130  v-fix:    0  time:  0.14 s
151.79/19.38	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:  2524 done:  15395 time:  2.04 s
155.03/19.73	c Removed useless bin:     685  fixed:     0  props:  20.02M  time:  0.35 s
162.98/20.78	c lits-rem:      2541  cl-subs:     7148  v-elim:  62934  v-fix:    0  time:  1.00 s
163.82/20.85	c Finding binary XORs  T:     0.07 s  found:     675
164.62/20.94	c Replacing      675 vars Replaced    13594 lits Time:     0.09 s 
166.17/21.12	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
166.17/21.12	c calculated reachability. Time: 0.00
166.17/21.15	c Calc default polars -  time:   0.03 s pos:   28415 undec:  127557 neg:  102809
166.17/21.15	c =========================================================================================
166.17/21.15	c types(t): F = full restart, N = normal restart
166.17/21.15	c types(t): S = simplification begin/end, E = solution found
166.17/21.15	c restart types(rt): st = static, dy = dynamic
166.17/21.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
166.17/21.15	c  B st     0         0    131627    389046    476461         0   2380949         0   no data   no data
202.90/25.72	c  N dy    15      4039    116212    360419    414642      3532   2101667    227528      7.23      7.61
226.00/28.62	c Finding binary XORs  T:     0.07 s  found:    4057
226.74/28.71	c Replacing     4057 vars Replaced   161666 lits Time:     0.09 s 
231.54/29.35	c  N dy    38      8354    105144    338919    380398      7364   1932353    583254     11.16     11.80
257.91/32.69	c  N dy    50     12466    104109    338919    383540     11184   1932353    984109     10.32     11.11
293.88/37.11	c  N dy    69     16527    102807    330812    376473     14838   1882268   1342732     10.51     14.37
325.06/41.06	c Finding binary XORs  T:     0.06 s  found:    1316
325.86/41.17	c Replacing     1316 vars Replaced    78526 lits Time:     0.11 s 
334.65/42.22	c  N dy    94     20601     98313    321942    361563      9476   1802684    331780     11.24     13.98
370.62/46.72	c  N dy   121     24618     97677    321942    364232     13257   1802684    783064     11.64     13.12
374.66/47.21	c  F st   123     25000     97619    321942    364244     13622   1802684    822939     11.62      9.89
424.98/53.51	c Finding binary XORs  T:     0.06 s  found:    1946
425.78/53.62	c Replacing     1946 vars Replaced    88422 lits Time:     0.10 s 
429.77/54.15	c  N dy   129     30000     93512    310315    349691     18176   1726761   1570436     11.62   no data
429.77/54.15	c  S st   129     30000     93512    310315    349691     18176   1726761   1570436     11.62   no data
446.56/56.25	c  S st   129     30500     92701    310315    352001     18481   1726761   1601609     11.62   no data
447.36/56.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
582.46/73.20	c Flit:   831 Blit:   3670 bXBeca:    0 bXProp: 1100 Bins:  45241 BRemL:    960 BRemN:     24 P: 200.0M T: 16.89
582.46/73.27	c Cleaning up after failed var search:     0.06 s 
583.26/73.39	c Replacing     1101 vars Replaced    99289 lits Time:     0.11 s 
584.86/73.51	c blocked clauses removed:        0 vars:      0 tried:       84951 T: 0.05 s
584.86/73.57	c bin-w-bin subsume rem         9326 bins  time:  0.05 s
585.70/73.66	c subs with bin:     4059  lits-rem:      2686  v-fix:    0  time:  0.10 s
628.02/78.96	c Subs w/ non-existent bins:   1636 l-rem:    165 v-fix:   222 done:  22283 time:  5.30 s
629.66/79.14	c Removed useless bin:     538  fixed:   336  props:  20.01M  time:  0.17 s
633.61/79.67	c lits-rem:       627  cl-subs:     9448  v-elim:   5103  v-fix:    0  time:  0.52 s
635.21/79.84	c subs with bin:      266  lits-rem:       824  v-fix:    0  time:  0.12 s
636.00/79.99	c lits-rem:       110  cl-subs:      505  v-elim:      0  v-fix:    0  time:  0.11 s
643.20/80.81	c asymm  cl-useful: 367/1104/252148 lits-rem:723 time: 0.82
643.20/80.84	c calculated reachability. Time: 0.00
643.20/80.84	c  N dy   129     30500     79512    252147    334657      7697   1459345    286480     11.62   no data
643.20/80.89	c Finding binary XORs  T:     0.05 s  found:     132
681.58/85.67	c  N dy   149     34564     79483    252147    334756     11604   1459344    700094     11.59     14.21
720.74/90.57	c  N dy   172     38590     78140    245718    334165     15275   1429681   1122654     11.60     12.64
762.35/95.75	c  N dy   195     42694     78096    245718    347875     10091   1429681    427436     11.65     12.70
763.10/95.84	c Finding binary XORs  T:     0.06 s  found:     820
763.90/95.91	c Replacing      952 vars Replaced    25212 lits Time:     0.07 s 
792.69/99.51	c  S st   216     45750     77008    245248    344260     12983   1421151    783459     11.88   no data
804.68/101.08	c  S st   216     46252     76362    245248    344339     13322   1421151    810817     11.88   no data
805.52/101.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
945.36/118.69	c Flit:   958 Blit:   2960 bXBeca:    0 bXProp:  671 Bins:  59412 BRemL:   3793 BRemN:     19 P: 200.0M T: 17.55
946.20/118.74	c Cleaning up after failed var search:     0.05 s 
947.01/118.83	c Replacing      672 vars Replaced    31903 lits Time:     0.08 s 
947.75/118.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
947.75/118.95	c bin-w-bin subsume rem         9820 bins  time:  0.05 s
948.55/119.04	c subs with bin:     2012  lits-rem:      4766  v-fix:    0  time:  0.09 s
986.12/123.77	c Subs w/ non-existent bins:   2062 l-rem:    890 v-fix:    28 done:  32383 time:  4.72 s
987.72/123.95	c Removed useless bin:    1803  fixed:    31  props:  20.03M  time:  0.18 s
990.97/124.30	c lits-rem:       200  cl-subs:     5288  v-elim:   3006  v-fix:    0  time:  0.35 s
991.71/124.47	c subs with bin:      163  lits-rem:       274  v-fix:    0  time:  0.12 s
993.31/124.60	c lits-rem:       105  cl-subs:      240  v-elim:      0  v-fix:    0  time:  0.10 s
998.11/125.30	c asymm  cl-useful: 180/3392/207641 lits-rem:282 time: 0.70
998.96/125.32	c calculated reachability. Time: 0.00
998.96/125.33	c  N dy   216     46252     68218    207639    334215      7714   1241879    299985     11.88   no data
998.96/125.38	c Finding binary XORs  T:     0.05 s  found:      88
1040.48/130.50	c  N dy   240     50306     66537    195324    344088     11527   1192818    759870     11.98     13.66
1059.66/132.92	c Finding binary XORs  T:     0.05 s  found:     384
1087.69/136.41	c  N dy   253     54542     66488    194852    344315     15601   1191661   1366638     11.85     12.49
1137.20/142.68	c  N dy   281     58550     66424    194852    353176     19519   1191661   2077215     12.04     15.45
1169.97/146.80	c Finding binary XORs  T:     0.05 s  found:     153
1197.14/150.13	c  N dy   312     62895     65070    185351    362295     23544   1150394   2925306     12.59     13.34
1260.29/158.05	c  N dy   332     66986     64354    181131    364302     15200   1128788   1272160     12.69     58.83
1287.47/161.49	c Finding binary XORs  T:     0.05 s  found:      72
1288.27/161.59	c Replacing      697 vars Replaced    26412 lits Time:     0.10 s 
1294.67/162.30	c  S st   345     69382     63714    180848    362239     17550   1124735   1749856     12.74     10.16
1304.26/163.57	c  S st   345     69883     63695    180848    362278     17989   1124735   1824015     12.74   no data
1305.06/163.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1456.99/182.63	c Flit:   367 Blit:    309 bXBeca:    0 bXProp:  305 Bins:  53267 BRemL:   3568 BRemN:     24 P: 200.1M T: 19.00
1456.99/182.67	c Cleaning up after failed var search:     0.04 s 
1457.74/182.76	c Replacing      305 vars Replaced    16715 lits Time:     0.09 s 
1458.54/182.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1458.54/182.89	c bin-w-bin subsume rem        23902 bins  time:  0.06 s
1459.34/182.99	c subs with bin:     2014  lits-rem:      5504  v-fix:    0  time:  0.10 s
1488.91/186.65	c Subs w/ non-existent bins:    856 l-rem:    462 v-fix:    23 done:  32442 time:  3.66 s
1490.51/186.85	c Removed useless bin:    3876  fixed:     0  props:  20.01M  time:  0.20 s
1492.90/187.19	c lits-rem:       252  cl-subs:     5007  v-elim:   2614  v-fix:    0  time:  0.34 s
1494.51/187.37	c subs with bin:      160  lits-rem:       327  v-fix:    0  time:  0.14 s
1496.10/187.50	c lits-rem:        38  cl-subs:      181  v-elim:      0  v-fix:    0  time:  0.10 s
1503.30/188.42	c asymm  cl-useful: 241/1385/177012 lits-rem:267 time: 0.93
1503.30/188.45	c calculated reachability. Time: 0.00
1503.30/188.45	c  N dy   345     69883     60007    177009    359589      9216   1081666    411443     12.74   no data
1504.10/188.50	c Finding binary XORs  T:     0.05 s  found:       2
1548.86/194.10	c Finding binary XORs  T:     0.05 s  found:     120
1556.85/195.17	c  N dy   368     74538     59179    169655    382363     13700   1053374   1123650     12.80     14.28
1617.60/202.78	c  N dy   392     79423     59169    169655    427572     18463   1053374   1939498     12.79     13.57
1627.20/203.97	c Finding binary XORs  T:     0.05 s  found:      84
1688.74/211.65	c  N dy   414     84642     58949    168657    425505     23581   1047826   3091487     12.96     13.81
1734.31/217.36	c  F st   431     87500     58940    168657    426804     13245   1047826    731862     13.13     10.89
1735.10/217.45	c Replacing      206 vars Replaced     6230 lits Time:     0.07 s 
1791.11/224.45	c  N st   436     90795     58734    168585    426119     16488   1046766   1589190     13.13   no data
1878.24/235.32	c  N dy   463     96740     58686    168585    426722     22329   1046766   2642313     13.17     13.93
1986.11/248.82	c  N dy   490    103290     58674    168585    427343     28750   1046766   3859137     13.09     14.00
2009.30/251.80	c  S st   504    104824     58572    168585    427546     30248   1046766   4176946     13.20     11.40
2020.49/253.10	c  S st   504    105324     58570    168585    427575     30708   1046766   4236650     13.20   no data
2020.49/253.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2177.20/272.71	c Flit:   518 Blit:    483 bXBeca:    0 bXProp:  334 Bins:  54555 BRemL:    830 BRemN:     23 P: 200.0M T: 19.49
2177.20/272.77	c Cleaning up after failed var search:     0.06 s 
2178.75/272.96	c Replacing      334 vars Replaced    56438 lits Time:     0.18 s 
2179.55/273.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2179.55/273.09	c bin-w-bin subsume rem        23494 bins  time:  0.07 s
2181.15/273.20	c subs with bin:     1166  lits-rem:      4027  v-fix:    0  time:  0.11 s
2213.18/277.22	c Subs w/ non-existent bins:    438 l-rem:    192 v-fix:     7 done:  33182 time:  4.01 s
2214.72/277.40	c Removed useless bin:    3953  fixed:     0  props:  20.04M  time:  0.18 s
2216.33/277.69	c lits-rem:        75  cl-subs:     3426  v-elim:   1572  v-fix:    0  time:  0.29 s
2221.16/278.24	c subs with bin:      192  lits-rem:      1040  v-fix:    0  time:  0.49 s
2222.72/278.42	c lits-rem:       102  cl-subs:      438  v-elim:      0  v-fix:    0  time:  0.14 s
2226.71/278.93	c vivif2 --  cl tried   156223 cl shrink     7541 lits rem       8049 time: 0.51
2227.51/279.09	c vivif2 --  cl tried    14734 cl shrink     5914 lits rem      93951 time: 0.15
2235.51/280.01	c asymm  cl-useful: 181/867/154746 lits-rem:187 time: 0.92
2237.11/280.23	c calculated reachability. Time: 0.20
2237.11/280.24	c  N dy   504    105324     55423    154746    424230     13802    971015    756486     13.20   no data
2242.70/280.99	c Finding binary XORs  T:     0.75 s  found:       0
2373.80/297.33	c  N dy   506    112978     55417    154746    460155     11212    971015    845508     12.79     13.64
2379.44/298.03	c Finding binary XORs  T:     0.67 s  found:      44
2498.50/312.97	c  N dy   508    120511     55214    153887    472037     18580    966524   2751865     12.55     13.23
2504.09/313.67	c Finding binary XORs  T:     0.67 s  found:       2
2652.83/332.23	c  N dy   518    129736     55185    153838    473843     27350    966236   4247108     12.26     12.99
2759.09/345.52	c Finding binary XORs  T:     0.68 s  found:      14
2786.27/348.98	c  N dy   535    138071     55071    152714    504382     18188    961671   1405899     12.09     13.81
2858.21/357.92	c Finding binary XORs  T:     0.68 s  found:      57
2943.74/368.68	c  N dy   548    146934     54896    151105    546432     26808    955265   2929017     11.90     19.06
3144.44/393.79	c  N dy   569    157986     54891    151105    546658     37750    955265   5008638     11.73      8.38
3144.44/393.79	c  S st   569    157986     54891    151105    546658     37750    955265   5008638     11.73      8.38
3150.79/394.58	c Finding binary XORs  T:     0.69 s  found:      33
3161.18/395.80	c  S st   569    158488     54715    149910    574282     37083    949983   5065737     11.73   no data
3161.18/395.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3311.51/414.63	c Flit:   303 Blit:    141 bXBeca:    0 bXProp:  349 Bins:  56683 BRemL:   6510 BRemN:     34 P: 200.0M T: 18.70
3311.51/414.63	c Cleaning up after failed var search:     0.00 s 
3313.06/414.89	c Replacing      499 vars Replaced    75991 lits Time:     0.25 s 
3313.86/414.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3314.67/415.05	c bin-w-bin subsume rem        35614 bins  time:  0.10 s
3315.47/415.19	c subs with bin:      990  lits-rem:      1271  v-fix:    0  time:  0.13 s
3341.04/418.34	c Subs w/ non-existent bins:    155 l-rem:     75 v-fix:     1 done:  38576 time:  3.16 s
3343.44/418.61	c Removed useless bin:    7551  fixed:     0  props:  20.00M  time:  0.26 s
3345.84/418.94	c lits-rem:        21  cl-subs:     6370  v-elim:   2075  v-fix:    0  time:  0.33 s
3349.03/419.37	c subs with bin:      214  lits-rem:      1296  v-fix:    0  time:  0.39 s
3350.63/419.54	c lits-rem:       182  cl-subs:      326  v-elim:      0  v-fix:    0  time:  0.13 s
3355.48/420.16	c vivif2 --  cl tried   147149 cl shrink     3535 lits rem       5026 time: 0.62
3357.03/420.35	c vivif2 --  cl tried    14691 cl shrink     2330 lits rem      24798 time: 0.19
3364.27/421.24	c asymm  cl-useful: 117/1057/146811 lits-rem:139 time: 0.89
3366.62/421.54	c calculated reachability. Time: 0.28
3366.62/421.55	c  N dy   569    158488     51655    146811    546631     14519    903336   1015337     11.73   no data
3374.62/422.58	c Finding binary XORs  T:     1.03 s  found:       0
3536.09/442.77	c  N dy   575    169606     51637    146811    549363     17218    903336   1839048     11.48     12.42
3557.71/445.46	c Finding binary XORs  T:     0.87 s  found:       5
3744.68/468.87	c  N dy   588    183430     51507    146549    558279     30747    902356   4149616     11.25     11.85
3862.16/483.50	c Finding binary XORs  T:     0.87 s  found:       3
3977.26/497.95	c  N dy   606    197143     51416    144048    580372     25307    893705   2385075     11.05     11.82
4089.16/511.95	c Finding binary XORs  T:     0.88 s  found:       2
4192.26/524.84	c  N dy   635    209760     51295    143073    608620     37119    889761   4427184     10.91     11.62
4419.32/553.28	c  N dy   677    223476     51286    143073    609355     27729    889761   2103841     10.83     11.45
4665.52/584.02	c  S st   716    237732     51270    143073    609648     41791    889761   4166046     10.75   no data
4674.31/585.15	c  S st   716    238235     51270    143073    609673     42268    889761   4219592     10.75   no data
4675.12/585.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4837.32/605.54	c Flit:   206 Blit:    311 bXBeca:    0 bXProp:   23 Bins:  18449 BRemL:   1761 BRemN:     15 P: 200.0M T: 20.29
4837.32/605.59	c Cleaning up after failed var search:     0.05 s 
4838.91/605.70	c Replacing       33 vars Replaced     4924 lits Time:     0.10 s 
4838.91/605.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4839.71/605.84	c bin-w-bin subsume rem        13760 bins  time:  0.08 s
4840.51/605.97	c subs with bin:      369  lits-rem:       984  v-fix:    0  time:  0.13 s
4863.68/608.89	c Subs w/ non-existent bins:     88 l-rem:     71 v-fix:     0 done:  39366 time:  2.92 s
4866.09/609.19	c Removed useless bin:    5863  fixed:     0  props:  20.00M  time:  0.29 s
4868.54/609.45	c lits-rem:        32  cl-subs:      962  v-elim:   1307  v-fix:    0  time:  0.26 s
4875.68/610.39	c subs with bin:      304  lits-rem:      1380  v-fix:    0  time:  0.87 s
4878.08/610.69	c lits-rem:       370  cl-subs:     1116  v-elim:      0  v-fix:    0  time:  0.28 s
4884.48/611.42	c vivif2 --  cl tried   139986 cl shrink     2051 lits rem       2546 time: 0.73
4887.68/611.82	c vivif2 --  cl tried    23611 cl shrink     3929 lits rem      93826 time: 0.39
4895.66/612.81	c asymm  cl-useful: 133/904/139251 lits-rem:144 time: 1.00
4898.06/613.17	c calculated reachability. Time: 0.33
4898.06/613.17	c  N dy   716    238235     49286    139251    573824     23511    856406   1391435     10.75   no data
4907.65/614.37	c Finding binary XORs  T:     1.20 s  found:       0
4974.05/622.62	c Finding binary XORs  T:     1.06 s  found:      11
5141.12/643.52	c  N dy   759    253463     49070    137555    634780     21509    849914   1862544     10.64     12.27
5275.36/660.38	c Finding binary XORs  T:     1.06 s  found:       1
5416.05/677.95	c  N dy   820    269863     48988    136926    634091     37534    847655   3885579     10.61     11.17
5595.92/700.43	c Finding binary XORs  T:     1.06 s  found:       4
5728.61/717.06	c  N dy   876    287241     48668    133661    633637     31287    835768   2160792     10.56     11.24
6025.98/754.20	c  N dy   946    305616     48639    133661    634070     49412    835768   4365668     10.50     13.49
6034.77/755.36	c  F st   949    306251     48639    133661    634077     50030    835768   4450597     10.50   no data
6035.57/755.48	c Replacing       16 vars Replaced     3152 lits Time:     0.08 s 
6343.31/794.10	c  N dy  1005    325315     48523    133305    633387     41863    834387   3553960     10.49     11.04
6569.52/822.37	c Finding binary XORs  T:     1.06 s  found:       5
6718.21/840.96	c  N dy  1072    346175     47079    120344    634712     32705    784584   1989013     10.46     11.04
6727.00/842.02	c Finding binary XORs  T:     1.06 s  found:       3
6912.45/865.29	c  S st  1106    357353     47038    120344    635036     43669    784584   2875189     10.43   no data
6921.25/866.36	c  S st  1106    357855     47038    120344    635053     44152    784584   2935631     10.43   no data
6922.05/866.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
7078.73/886.06	c Flit:   406 Blit:     31 bXBeca:    0 bXProp:    5 Bins:  26792 BRemL:   1715 BRemN:    107 P: 200.0M T: 19.60
7079.52/886.11	c Cleaning up after failed var search:     0.05 s 
7079.52/886.19	c Replacing       13 vars Replaced     4565 lits Time:     0.08 s 
7080.32/886.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7081.12/886.34	c bin-w-bin subsume rem        21318 bins  time:  0.09 s
7081.92/886.47	c subs with bin:      343  lits-rem:       211  v-fix:    0  time:  0.14 s
7102.70/889.09	c Subs w/ non-existent bins:     53 l-rem:     27 v-fix:     0 done:  44081 time:  2.62 s
7105.90/889.44	c Removed useless bin:    6353  fixed:     0  props:  20.00M  time:  0.35 s
7107.50/889.69	c lits-rem:        46  cl-subs:      632  v-elim:   1144  v-fix:    0  time:  0.25 s
7119.50/891.15	c subs with bin:      361  lits-rem:      2160  v-fix:    0  time:  1.38 s
7124.29/891.73	c lits-rem:       945  cl-subs:     1863  v-elim:      0  v-fix:    0  time:  0.54 s
7129.88/892.49	c vivif2 --  cl tried   118365 cl shrink     1079 lits rem       1189 time: 0.76
7134.68/893.00	c vivif2 --  cl tried    32750 cl shrink     7286 lits rem     163802 time: 0.51
7141.07/893.84	c asymm  cl-useful: 249/1206/118151 lits-rem:279 time: 0.84
7144.31/894.21	c calculated reachability. Time: 0.34
7144.31/894.21	c  N dy  1106    357855     45358    118151    595713     32548    754752   1749376     10.43   no data
7153.91/895.46	c Finding binary XORs  T:     1.25 s  found:       0
7480.01/936.29	c  N dy  1153    377953     45330    118151    599063     26525    754752   1454769     10.33     10.91
7811.75/977.71	c  N dy  1209    398700     45314    118151    599382     46903    754751   3314342     10.26     10.87
8053.16/1007.91	c Finding binary XORs  T:     1.10 s  found:      11
8156.32/1020.80	c  N dy  1284    418742     45149    116954    624256     36394    750283   2216651     10.22     17.25
8169.87/1022.58	c Finding binary XORs  T:     1.09 s  found:       0
8506.40/1064.67	c  N dy  1386    439478     44917    115376    657747     56594    744591   4133888     10.22     10.80
8516.03/1065.80	c Finding binary XORs  T:     1.09 s  found:       6
8847.73/1107.38	c  N dy  1453    459480     44817    114679    655207     44437    742005   2790532     10.20     14.50
9197.06/1151.02	c  N dy  1554    479567     44741    114679    655409     64177    742005   4359483     10.20     11.32
9518.45/1191.23	c  N dy  1646    499609     44706    114679    655545     50473    742005   2835751     10.20     12.55
9867.74/1234.92	c  N dy  1759    519655     44701    114679    655688     35369    742005   1718706     10.23     12.32
10134.78/1268.39	c  S st  1799    536784     44453    114679    655761     52132    742005   2984275     10.20      5.67
10143.57/1269.46	c  S st  1799    537291     44452    114679    655802     52627    742005   3043002     10.20   no data
10144.31/1269.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
10307.39/1289.90	c Flit:    36 Blit:     13 bXBeca:    0 bXProp:    9 Bins:  31046 BRemL:  16551 BRemN:     27 P: 200.1M T: 20.37
10308.19/1290.04	c Replacing       26 vars Replaced     3496 lits Time:     0.08 s 
10308.99/1290.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10308.99/1290.18	c bin-w-bin subsume rem        11590 bins  time:  0.08 s
10310.63/1290.33	c subs with bin:      330  lits-rem:       129  v-fix:    0  time:  0.14 s
10332.17/1293.04	c Subs w/ non-existent bins:    102 l-rem:     10 v-fix:     1 done:  44333 time:  2.72 s
10334.56/1293.30	c Removed useless bin:    1936  fixed:     0  props:  12.20M  time:  0.25 s
10336.20/1293.55	c lits-rem:         3  cl-subs:      665  v-elim:    485  v-fix:    0  time:  0.26 s
10354.60/1295.87	c subs with bin:      589  lits-rem:      2580  v-fix:    0  time:  2.19 s
10366.54/1297.36	c lits-rem:      1846  cl-subs:     3666  v-elim:      0  v-fix:    0  time:  1.46 s
10372.19/1298.05	c vivif2 --  cl tried   111797 cl shrink      446 lits rem        475 time: 0.69
10377.74/1298.72	c vivif2 --  cl tried    42577 cl shrink     8190 lits rem     281454 time: 0.66
10384.93/1299.69	c asymm  cl-useful: 75/740/111718 lits-rem:88 time: 0.97
10388.12/1300.03	c calculated reachability. Time: 0.31
10388.12/1300.03	c  N dy  1799    537291     43847    111718    630479     42498    723483   2103654     10.20   no data
10397.76/1301.22	c Finding binary XORs  T:     1.20 s  found:       5
10615.95/1328.52	c Finding binary XORs  T:     1.11 s  found:       4
10767.88/1347.56	c  N dy  1877    558330     43744    111179    644184     62873    721388   3991435     10.18     10.86
10965.27/1372.29	c Finding binary XORs  T:     1.11 s  found:       3
11111.56/1390.53	c  N dy  1935    578905     43672    110713    664372     49887    719679   2917248     10.16     10.72
11461.73/1434.39	c  N dy  2011    599503     43658    110713    668536     69974    719679   4242625     10.15     10.78
11786.24/1474.99	c  N dy  2069    619889     43441    110713    668670     54486    719679   3211335     10.12     10.71
12126.76/1517.50	c  N dy  2148    640025     43406    110713    668831     74066    719679   4600727     10.11     10.71
12201.15/1526.89	c Finding binary XORs  T:     1.10 s  found:      22
12469.70/1560.47	c  N dy  2222    660113     43207    108390    654216     54788    709935   3051729     10.09     13.49
12821.42/1604.48	c  N dy  2259    680162     42368    105404    642010     63370    699293   3865565     10.06     13.63
12962.11/1622.08	c Finding binary XORs  T:     1.11 s  found:     755
12962.91/1622.16	c Replacing      789 vars Replaced    54486 lits Time:     0.08 s 
12994.08/1626.08	c Following stats are for *FIRST FINISHED THREAD ONLY*
12994.08/1626.08	c num threads              : 8          
12994.08/1626.08	c restarts                 : 1905       
12994.08/1626.08	c dynamic restarts         : 1881       
12994.08/1626.08	c static restarts          : 24         
12994.08/1626.08	c full restarts            : 3          
12994.08/1626.08	c total simplify time      : 26.49      
12994.08/1626.08	c learnts DL2              : 0          
12994.08/1626.08	c learnts size 2           : 2175976    
12994.08/1626.08	c learnts size 1           : 170430      (65.86     % of vars)
12994.08/1626.08	c filedLit time            : 40.85       (2.52      % time)
12994.08/1626.08	c v-elim SatELite          : 32656       (12.62     % vars)
12994.08/1626.08	c SatELite time            : 10.76       (0.66      % time)
12994.08/1626.08	c v-elim xor               : 0           (0.00      % vars)
12994.08/1626.08	c xor elim time            : 0.13        (0.01      % time)
12994.08/1626.08	c num binary xor trees     : 10174      
12994.08/1626.08	c binxor trees' crown      : 22935       (2.25      leafs/tree)
12994.08/1626.08	c bin xor find time        : 21.33      
12994.08/1626.08	c OTF clause improved      : 8779        (0.01      clauses/conflict)
12994.08/1626.08	c OTF impr. size diff      : 24027       (2.74       lits/clause)
12994.08/1626.08	c OTF cl watch-shrink      : 475420      (0.67      clauses/conflict)
12994.08/1626.08	c OTF cl watch-sh-lit      : 8250562     (17.35      lits/clause)
12994.08/1626.08	c tried to recurMin cls    : 382844      (53.75      % of conflicts)
12994.08/1626.08	c updated cache            : 112772      (0.29       lits/tried recurMin)
12994.08/1626.08	c unit cls recevied        : 19403       (11.38     % of units)
12994.08/1626.08	c unit cls sent            : 118450      (69.50     % of units)
12994.08/1626.08	c bin cls recevied         : 1000266    
12994.08/1626.08	c bin cls sent             : 254453     
12994.08/1626.08	c clauses over max glue    : 0           (0.00      % of all clauses)
12994.08/1626.08	c conflicts                : 712317      (438.62    / sec)
12994.08/1626.08	c decisions                : 1795847     (1.61      % random)
12994.08/1626.08	c bogo-props               : 33502354727 (20629616.23 / sec)
12994.08/1626.08	c conflict literals        : 115185549   (49.25     % deleted)
12994.08/1626.08	c Memory used              : 6318.10     MB
12994.08/1626.08	c single-thread CPU time   : 1623.99     s
12994.08/1626.08	c all-threads sum CPU time : 12983.24    s
12994.08/1626.08	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: 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-3321061-1304322671/watcher-3321061-1304322671 -o /tmp/evaluation-result-3321061-1304322671/solver-3321061-1304322671 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321061-1304322671.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: 4.12 4.15 2.31 2/191 30084
/proc/meminfo: memFree=18379160/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=92188 CPUtime=0.01 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 413 0 0 0 1 0 0 0 23 0 8 0 543866914 94400512 352 33554432000 4194304 4627427 140736470034656 18446744073709551615 46964327004082 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 23047 352 299 106 0 18018 0
[pid=30084/tid=30085] ppid=30082 vsize=92188 CPUtime=0 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 543866914 94400512 352 33554432000 4194304 4627427 140736470034656 18446744073709551615 46964327004082 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=92188 CPUtime=0 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543866914 94400512 352 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=92188 CPUtime=0 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543866914 94400512 352 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=92188 CPUtime=0 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543866914 94400512 352 33554432000 4194304 4627427 140736470034656 18446744073709551615 46964327004072 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=92188 CPUtime=0 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543866914 94400512 352 33554432000 4194304 4627427 140736470034656 18446744073709551615 46964327004082 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=92188 CPUtime=0 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543866914 94400512 352 33554432000 4194304 4627427 140736470034656 18446744073709551615 46964327004082 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=92188 CPUtime=0 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543866914 94400512 352 33554432000 4194304 4627427 140736470034656 18446744073709551615 46964327004076 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.057166 s]
/proc/loadavg: 4.12 4.15 2.31 2/191 30084
/proc/meminfo: memFree=18379160/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=540564 CPUtime=0.27 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 28835 0 0 0 20 7 0 0 17 0 8 0 543866914 553537536 23231 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278576818 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 135141 23231 341 106 0 130112 0
[pid=30084/tid=30085] ppid=30082 vsize=540564 CPUtime=0.02 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 2313 0 0 0 2 0 0 0 25 0 8 0 543866914 553537536 23231 33554432000 4194304 4627427 140736470034656 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=540564 CPUtime=0.01 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 3318 0 0 0 1 0 0 0 25 0 8 0 543866914 553537536 23231 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278576395 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=540564 CPUtime=0.03 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 3866 0 0 0 2 1 0 0 25 0 8 0 543866914 553537536 23231 33554432000 4194304 4627427 140736470034656 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=540564 CPUtime=0.01 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 3002 0 0 0 1 0 0 0 18 0 8 0 543866914 553537536 23231 33554432000 4194304 4627427 140736470034656 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=541284 CPUtime=0.03 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 4705 0 0 0 2 1 0 0 25 0 8 0 543866914 554274816 23237 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278937514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=541284 CPUtime=0.03 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 4390 0 0 0 2 1 0 0 25 0 8 0 543866914 554274816 23238 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278576395 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=541284 CPUtime=0.04 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 3928 0 0 0 3 1 0 0 25 0 8 0 543866914 554274816 23238 33554432000 4194304 4627427 140736470034656 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 540564

[startup+0.101152 s]
/proc/loadavg: 4.12 4.15 2.31 2/191 30084
/proc/meminfo: memFree=18379160/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=620748 CPUtime=0.51 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) D 30082 30084 29977 0 -1 4202496 69826 0 0 0 34 17 0 0 17 0 8 0 543866914 635645952 55017 33554432000 4194304 4627427 140736470034656 18446744073709551615 4316560 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 155187 55017 341 106 0 150158 0
[pid=30084/tid=30085] ppid=30082 vsize=620748 CPUtime=0.03 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 2989 0 0 0 3 0 0 0 25 0 8 0 543866914 635645952 55017 33554432000 4194304 4627427 140736470034656 18446744073709551615 4357890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=620748 CPUtime=0.04 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) S 30082 30084 29977 0 -1 4202560 8814 0 0 0 2 2 0 0 25 0 8 0 543866914 635645952 55017 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984686 0 0 4096 2 18446604453915369664 0 0 -1 5 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=620748 CPUtime=0.06 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 9387 0 0 0 4 2 0 0 25 0 8 0 543866914 635645952 55017 33554432000 4194304 4627427 140736470034656 18446744073709551615 4313575 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=620748 CPUtime=0.05 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 8855 0 0 0 3 2 0 0 18 0 8 0 543866914 635645952 55017 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278577012 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=620748 CPUtime=0.06 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 11290 0 0 0 4 2 0 0 25 0 8 0 543866914 635645952 55017 33554432000 4194304 4627427 140736470034656 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=620748 CPUtime=0.06 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 10552 0 0 0 4 2 0 0 25 0 8 0 543866914 635645952 55017 33554432000 4194304 4627427 140736470034656 18446744073709551615 4313410 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=620748 CPUtime=0.06 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 9471 0 0 0 4 2 0 0 25 0 8 0 543866914 635645952 55017 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278937514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 620748

[startup+0.301302 s]
/proc/loadavg: 4.12 4.15 2.31 2/191 30084
/proc/meminfo: memFree=18379160/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=981476 CPUtime=1.8 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 167490 0 0 0 130 50 0 0 18 0 8 0 543866914 1005031424 137232 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984735 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 245369 137257 341 106 0 240340 0
[pid=30084/tid=30085] ppid=30082 vsize=981608 CPUtime=0.17 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 16918 0 0 0 14 3 0 0 18 0 8 0 543866914 1005166592 137356 33554432000 4194304 4627427 140736470034656 18446744073709551615 4531931 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=981608 CPUtime=0.2 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 23474 0 0 0 14 6 0 0 18 0 8 0 543866914 1005166592 137417 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=981740 CPUtime=0.2 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) D 30082 30084 29977 0 -1 4202560 19620 0 0 0 14 6 0 0 18 0 8 0 543866914 1005301760 137420 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278540833 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=981872 CPUtime=0.22 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 20544 0 0 0 16 6 0 0 17 0 8 0 543866914 1005436928 137582 33554432000 4194304 4627427 140736470034656 18446744073709551615 4530593 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=981872 CPUtime=0.25 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 21627 0 0 0 18 7 0 0 18 0 8 0 543866914 1005436928 137592 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=981872 CPUtime=0.24 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 22757 0 0 0 16 8 0 0 18 0 8 0 543866914 1005436928 137649 33554432000 4194304 4627427 140736470034656 18446744073709551615 4301439 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=981872 CPUtime=0.25 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) S 30082 30084 29977 0 -1 4202560 20844 0 0 0 17 8 0 0 18 0 8 0 543866914 1005436928 137693 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984686 0 0 4096 2 18446604453915369664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 981476

[startup+0.703095 s]
/proc/loadavg: 4.12 4.15 2.31 2/191 30084
/proc/meminfo: memFree=18379160/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=1122952 CPUtime=4.6 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 188998 0 0 0 302 158 0 0 17 0 8 0 543866914 1149902848 158740 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984735 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 280738 158741 341 106 0 275709 0
[pid=30084/tid=30085] ppid=30082 vsize=1122952 CPUtime=0.52 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 19155 0 0 0 35 17 0 0 17 0 8 0 543866914 1149902848 158743 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278879547 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=1122952 CPUtime=0.55 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 25995 0 0 0 35 20 0 0 17 0 8 0 543866914 1149902848 158745 33554432000 4194304 4627427 140736470034656 18446744073709551615 4302621 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=1122952 CPUtime=0.56 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 21978 0 0 0 35 21 0 0 17 0 8 0 543866914 1149902848 158747 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=1122952 CPUtime=0.56 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 23625 0 0 0 37 19 0 0 17 0 8 0 543866914 1149902848 158749 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=1122952 CPUtime=0.59 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 24484 0 0 0 39 20 0 0 17 0 8 0 543866914 1149902848 158749 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=1122952 CPUtime=0.58 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 25594 0 0 0 36 22 0 0 17 0 8 0 543866914 1149902848 158751 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=1122952 CPUtime=0.59 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 23753 0 0 0 40 19 0 0 17 0 8 0 543866914 1149902848 158752 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 1122952

[startup+1.5009 s]
/proc/loadavg: 4.12 4.15 2.31 2/199 30092
/proc/meminfo: memFree=17686804/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=1476832 CPUtime=9.64 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 255302 0 0 0 582 382 0 0 16 0 8 0 543866914 1512275968 224673 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984735 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 369208 224676 346 106 0 364179 0
[pid=30084/tid=30085] ppid=30082 vsize=1476832 CPUtime=1.15 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 25179 0 0 0 68 47 0 0 16 0 8 0 543866914 1512275968 224677 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=1476832 CPUtime=1.17 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 37079 0 0 0 70 47 0 0 16 0 8 0 543866914 1512275968 224677 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=1476832 CPUtime=1.2 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 27869 0 0 0 69 51 0 0 16 0 8 0 543866914 1512275968 224677 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=1476832 CPUtime=1.18 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 32430 0 0 0 71 47 0 0 16 0 8 0 543866914 1512275968 224679 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=1476832 CPUtime=1.25 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 33320 0 0 0 76 49 0 0 17 0 8 0 543866914 1512275968 224680 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=1476832 CPUtime=1.22 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 34147 0 0 0 70 52 0 0 16 0 8 0 543866914 1512275968 224681 33554432000 4194304 4627427 140736470034656 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=1476832 CPUtime=1.2 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 32822 0 0 0 74 46 0 0 16 0 8 0 543866914 1512275968 224681 33554432000 4194304 4627427 140736470034656 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (KiB) 1476832

[startup+3.10062 s]
/proc/loadavg: 3.95 4.11 2.31 11/199 30092
/proc/meminfo: memFree=17427836/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=1615356 CPUtime=22.33 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 279295 0 0 0 1825 408 0 0 18 0 8 0 543866914 1654124544 247441 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 403839 247441 368 106 0 398810 0
[pid=30084/tid=30085] ppid=30082 vsize=1615356 CPUtime=2.71 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 29706 0 0 0 220 51 0 0 18 0 8 0 543866914 1654124544 247441 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309043 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=1615356 CPUtime=2.74 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 41032 0 0 0 223 51 0 0 18 0 8 0 543866914 1654124544 247441 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=1615356 CPUtime=2.78 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 32158 0 0 0 222 56 0 0 18 0 8 0 543866914 1654124544 247441 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=1615356 CPUtime=2.77 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 34570 0 0 0 227 50 0 0 18 0 8 0 543866914 1654124544 247441 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=1615356 CPUtime=2.85 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 34381 0 0 0 236 49 0 0 19 0 8 0 543866914 1654124544 247441 33554432000 4194304 4627427 140736470034656 18446744073709551615 4299691 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=1615356 CPUtime=2.8 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 36563 0 0 0 225 55 0 0 18 0 8 0 543866914 1654124544 247441 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=1615356 CPUtime=2.79 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 35832 0 0 0 231 48 0 0 18 0 8 0 543866914 1654124544 247441 33554432000 4194304 4627427 140736470034656 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.33
Current children cumulated vsize (KiB) 1615356

[startup+6.30105 s]
/proc/loadavg: 3.95 4.11 2.31 9/199 30092
/proc/meminfo: memFree=17387420/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=1615356 CPUtime=47.9 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 281541 0 0 0 4381 409 0 0 25 0 8 0 543866914 1654124544 248653 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 403839 248653 368 106 0 398810 0
[pid=30084/tid=30085] ppid=30082 vsize=1615356 CPUtime=5.92 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 29711 0 0 0 540 52 0 0 25 0 8 0 543866914 1654124544 248653 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=1615356 CPUtime=5.92 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 41035 0 0 0 541 51 0 0 25 0 8 0 543866914 1654124544 248653 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=1615356 CPUtime=5.98 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 32162 0 0 0 542 56 0 0 25 0 8 0 543866914 1654124544 248653 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=1615356 CPUtime=5.97 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 34570 0 0 0 547 50 0 0 25 0 8 0 543866914 1654124544 248653 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=1615356 CPUtime=6.05 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 34381 0 0 0 556 49 0 0 25 0 8 0 543866914 1654124544 248653 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=1615356 CPUtime=6 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 36565 0 0 0 545 55 0 0 25 0 8 0 543866914 1654124544 248653 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=1615356 CPUtime=6 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 38061 0 0 0 551 49 0 0 25 0 8 0 543866914 1654124544 248653 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 1 0 0 0

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

[pid=30084] ppid=30082 vsize=6532992 CPUtime=12804.6 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 2232657 0 0 0 1279312 1151 0 0 25 0 8 0 543866914 6689783808 1335552 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 1633248 1335552 391 106 0 1628219 0
[pid=30084/tid=30085] ppid=30082 vsize=6532992 CPUtime=1601.24 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292436 0 0 0 159984 140 0 0 25 0 8 0 543866914 6689783808 1335552 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=6532992 CPUtime=1591.82 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 258066 0 0 0 159041 141 0 0 25 0 8 0 543866914 6689783808 1335552 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=6532992 CPUtime=1602 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 225650 0 0 0 160060 140 0 0 25 0 8 0 543866914 6689783808 1335552 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=6532992 CPUtime=1601.82 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 264641 0 0 0 160053 129 0 0 25 0 8 0 543866914 6689783808 1335552 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=6532992 CPUtime=1602.06 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 295161 0 0 0 160050 156 0 0 25 0 8 0 543866914 6689783808 1335552 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=6532992 CPUtime=1601.83 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292100 0 0 0 160035 148 0 0 25 0 8 0 543866914 6689783808 1335552 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=6532992 CPUtime=1601.86 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 323369 0 0 0 160021 165 0 0 25 0 8 0 543866914 6689783808 1335552 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12804.6
Current children cumulated vsize (KiB) 6532992

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

[startup+1612.7 s]
/proc/loadavg: 8.06 8.03 7.01 9/199 30147
/proc/meminfo: memFree=13037744/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=6343764 CPUtime=12887.8 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 2237347 0 0 0 1287624 1152 0 0 25 0 8 0 543866914 6496014336 1333538 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 1585941 1333538 391 106 0 1580912 0
[pid=30084/tid=30085] ppid=30082 vsize=6343764 CPUtime=1611.65 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292436 0 0 0 161025 140 0 0 25 0 8 0 543866914 6496014336 1333538 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=6343764 CPUtime=1602.15 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 258249 0 0 0 160074 141 0 0 25 0 8 0 543866914 6496014336 1333538 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=6343764 CPUtime=1612.39 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 227559 0 0 0 161099 140 0 0 25 0 8 0 543866914 6496014336 1333538 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=6343764 CPUtime=1612.22 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 264641 0 0 0 161093 129 0 0 25 0 8 0 543866914 6496014336 1333538 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=6343764 CPUtime=1612.46 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 295161 0 0 0 161090 156 0 0 25 0 8 0 543866914 6496014336 1333538 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=6343764 CPUtime=1612.23 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292435 0 0 0 161075 148 0 0 25 0 8 0 543866914 6496014336 1333538 33554432000 4194304 4627427 140736470034656 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=6343764 CPUtime=1612.26 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 323749 0 0 0 161061 165 0 0 25 0 8 0 543866914 6496014336 1333538 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12887.8
Current children cumulated vsize (KiB) 6343764

[startup+1619.1 s]
/proc/loadavg: 8.06 8.03 7.02 9/199 30147
/proc/meminfo: memFree=13034272/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=6343764 CPUtime=12939 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 2238153 0 0 0 1292744 1153 0 0 25 0 8 0 543866914 6496014336 1334344 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 1585941 1334344 391 106 0 1580912 0
[pid=30084/tid=30085] ppid=30082 vsize=6343764 CPUtime=1618.05 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292436 0 0 0 161665 140 0 0 25 0 8 0 543866914 6496014336 1334344 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=6343764 CPUtime=1608.52 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 258249 0 0 0 160711 141 0 0 25 0 8 0 543866914 6496014336 1334344 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=6343764 CPUtime=1618.8 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 227697 0 0 0 161740 140 0 0 25 0 8 0 543866914 6496014336 1334344 33554432000 4194304 4627427 140736470034656 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=6343764 CPUtime=1618.63 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 264641 0 0 0 161734 129 0 0 25 0 8 0 543866914 6496014336 1334344 33554432000 4194304 4627427 140736470034656 18446744073709551615 4330825 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=6343764 CPUtime=1618.87 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 295161 0 0 0 161731 156 0 0 25 0 8 0 543866914 6496014336 1334344 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=6343764 CPUtime=1618.63 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292579 0 0 0 161715 148 0 0 25 0 8 0 543866914 6496014336 1334344 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=6343764 CPUtime=1618.66 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 324048 0 0 0 161701 165 0 0 25 0 8 0 543866914 6496014336 1334344 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12939
Current children cumulated vsize (KiB) 6343764

[startup+1622.3 s]
/proc/loadavg: 8.05 8.02 7.02 9/199 30147
/proc/meminfo: memFree=13033528/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=6404800 CPUtime=12964.5 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 2238531 0 0 0 1295298 1153 0 0 25 0 8 0 543866914 6558515200 1334722 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 1601200 1334722 391 106 0 1596171 0
[pid=30084/tid=30085] ppid=30082 vsize=6404800 CPUtime=1621.24 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292436 0 0 0 161984 140 0 0 25 0 8 0 543866914 6558515200 1334722 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=6404800 CPUtime=1611.7 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 258249 0 0 0 161029 141 0 0 25 0 8 0 543866914 6558515200 1334722 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=6404800 CPUtime=1622 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 227808 0 0 0 162059 141 0 0 25 0 8 0 543866914 6558515200 1334722 33554432000 4194304 4627427 140736470034656 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=6404800 CPUtime=1621.82 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 264641 0 0 0 162053 129 0 0 25 0 8 0 543866914 6558515200 1334722 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=6404800 CPUtime=1622.06 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 295214 0 0 0 162050 156 0 0 25 0 8 0 543866914 6558515200 1334722 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=6404800 CPUtime=1621.82 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292638 0 0 0 162034 148 0 0 25 0 8 0 543866914 6558515200 1334722 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=6404800 CPUtime=1621.85 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 324141 0 0 0 162020 165 0 0 25 0 8 0 543866914 6558515200 1334722 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12964.5
Current children cumulated vsize (KiB) 6404800

[startup+1623.9 s]
/proc/loadavg: 8.05 8.02 7.02 9/199 30148
/proc/meminfo: memFree=13032288/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=6469732 CPUtime=12977.3 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 2238901 0 0 0 1296575 1154 0 0 25 0 8 0 543866914 6625005568 1335092 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 1617433 1335092 391 106 0 1612404 0
[pid=30084/tid=30085] ppid=30082 vsize=6469732 CPUtime=1622.84 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292436 0 0 0 162144 140 0 0 25 0 8 0 543866914 6625005568 1335092 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=6469732 CPUtime=1613.28 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 258249 0 0 0 161187 141 0 0 25 0 8 0 543866914 6625005568 1335092 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=6469732 CPUtime=1623.6 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 227873 0 0 0 162219 141 0 0 25 0 8 0 543866914 6625005568 1335092 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=6469732 CPUtime=1623.42 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 264694 0 0 0 162213 129 0 0 25 0 8 0 543866914 6625005568 1335092 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=6469732 CPUtime=1623.66 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 295292 0 0 0 162210 156 0 0 25 0 8 0 543866914 6625005568 1335092 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=6469732 CPUtime=1623.42 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292669 0 0 0 162194 148 0 0 25 0 8 0 543866914 6625005568 1335092 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=6469732 CPUtime=1623.46 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 324196 0 0 0 162180 166 0 0 25 0 8 0 543866914 6625005568 1335092 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12977.3
Current children cumulated vsize (KiB) 6469732

[startup+1625.5 s]
/proc/loadavg: 8.05 8.02 7.02 9/199 30148
/proc/meminfo: memFree=13031792/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=6469732 CPUtime=12990.1 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 2239295 0 0 0 1297854 1154 0 0 25 0 8 0 543866914 6625005568 1335486 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308940 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 1617433 1335486 391 106 0 1612404 0
[pid=30084/tid=30085] ppid=30082 vsize=6469732 CPUtime=1624.44 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292436 0 0 0 162304 140 0 0 25 0 8 0 543866914 6625005568 1335486 33554432000 4194304 4627427 140736470034656 18446744073709551615 4330127 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=6469732 CPUtime=1614.87 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 258249 0 0 0 161346 141 0 0 25 0 8 0 543866914 6625005568 1335486 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=6469732 CPUtime=1625.2 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 227934 0 0 0 162379 141 0 0 25 0 8 0 543866914 6625005568 1335486 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=6469732 CPUtime=1625.02 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 264781 0 0 0 162373 129 0 0 25 0 8 0 543866914 6625005568 1335486 33554432000 4194304 4627427 140736470034656 18446744073709551615 4321736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=6469732 CPUtime=1625.26 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 295376 0 0 0 162370 156 0 0 25 0 8 0 543866914 6625005568 1335486 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=6469732 CPUtime=1625.02 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292698 0 0 0 162354 148 0 0 25 0 8 0 543866914 6625005568 1335486 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=6469732 CPUtime=1625.06 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 324290 0 0 0 162340 166 0 0 25 0 8 0 543866914 6625005568 1335486 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12990.1
Current children cumulated vsize (KiB) 6469732

[startup+1625.9 s]
/proc/loadavg: 8.05 8.02 7.02 9/199 30148
/proc/meminfo: memFree=13030800/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=6469732 CPUtime=12993.3 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) R 30082 30084 29977 0 -1 4202496 2239444 0 0 0 1298174 1154 0 0 25 0 8 0 543866914 6625005568 1335635 33554432000 4194304 4627427 140736470034656 18446744073709551615 4302476 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 1617433 1335635 391 106 0 1612404 0
[pid=30084/tid=30085] ppid=30082 vsize=6469732 CPUtime=1624.85 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292436 0 0 0 162345 140 0 0 25 0 8 0 543866914 6625005568 1335635 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30084/tid=30086] ppid=30082 vsize=6469732 CPUtime=1615.27 cores=0-7
/proc/30084/task/30086/stat : 30086 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 258249 0 0 0 161386 141 0 0 25 0 8 0 543866914 6625005568 1335635 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30084/tid=30087] ppid=30082 vsize=6469732 CPUtime=1625.6 cores=0-7
/proc/30084/task/30087/stat : 30087 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 227959 0 0 0 162419 141 0 0 25 0 8 0 543866914 6625005568 1335636 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30084/tid=30088] ppid=30082 vsize=6469732 CPUtime=1625.42 cores=0-7
/proc/30084/task/30088/stat : 30088 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 264788 0 0 0 162413 129 0 0 25 0 8 0 543866914 6625005568 1335636 33554432000 4194304 4627427 140736470034656 18446744073709551615 4331241 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30084/tid=30089] ppid=30082 vsize=6469732 CPUtime=1625.66 cores=0-7
/proc/30084/task/30089/stat : 30089 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 295422 0 0 0 162410 156 0 0 25 0 8 0 543866914 6625005568 1335636 33554432000 4194304 4627427 140736470034656 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30084/tid=30090] ppid=30082 vsize=6469732 CPUtime=1625.42 cores=0-7
/proc/30084/task/30090/stat : 30090 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 292730 0 0 0 162394 148 0 0 25 0 8 0 543866914 6625005568 1335636 33554432000 4194304 4627427 140736470034656 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30084/tid=30091] ppid=30082 vsize=6469732 CPUtime=1625.46 cores=0-7
/proc/30084/task/30091/stat : 30091 (strangenight2-m) R 30082 30084 29977 0 -1 4202560 324320 0 0 0 162380 166 0 0 25 0 8 0 543866914 6625005568 1335636 33554432000 4194304 4627427 140736470034656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12993.3
Current children cumulated vsize (KiB) 6469732

[startup+1626.3 s]
/proc/loadavg: 8.05 8.02 7.02 9/199 30148
/proc/meminfo: memFree=13030800/32950904 swapFree=67082284/67111528
[pid=30084] ppid=30082 vsize=0 CPUtime=12995 cores=0-7
/proc/30084/stat : 30084 (strangenight2-m) Z 30082 30084 29977 0 -1 4203548 2239502 0 0 0 1298323 1175 0 0 25 0 2 0 543866914 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30084/statm: 0 0 0 0 0 0 0
[pid=30084/tid=30085] ppid=30082 vsize=0 CPUtime=1625.25 cores=0-7
/proc/30084/task/30085/stat : 30085 (strangenight2-m) R 30082 30084 29977 0 -1 4203588 292436 0 0 0 162363 162 0 0 25 0 2 0 543866914 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12995
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1626.32
CPU time (s): 12995
CPU user time (s): 12983.2
CPU system time (s): 11.7742
CPU usage (%): 799.045
Max. virtual memory (cumulated for all children) (KiB): 6532992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12983.2
system time used= 11.7742
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2239502
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= 447090
involuntary context switches= 57628

runsolver used 2.85857 second user time and 7.45187 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-02 09:51:12
IDJOB=3321061
IDBENCH=71036
IDSOLVER=1709
FILE ID=node121/3321061-1304322671
RUNJOBID= node121-1304322187-29991
PBS_JOBID= 13176805
Free space on /tmp= 73720 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321061-1304322671/watcher-3321061-1304322671 -o /tmp/evaluation-result-3321061-1304322671/solver-3321061-1304322671 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321061-1304322671.cnf

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

MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=871098654

node121.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.817
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.63
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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.84
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.817
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.817
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.817
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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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:     32950904 kB
MemFree:      18379688 kB
Buffers:       2194484 kB
Cached:        9354264 kB
SwapCached:       2776 kB
Active:       11068988 kB
Inactive:      2978144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      18379688 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           31628 kB
Writeback:           4 kB
AnonPages:     2496504 kB
Mapped:          18180 kB
Slab:           450920 kB
PageTables:      10780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:  2849112 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= 73712 MiB
End job on node121 at 2011-05-02 10:18:18