Trace number 3321031

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 10711.9 1347.79

General information on the benchmark

NameAPPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
MD5SUM5b2e2178738883a628728bb1ec39f4a9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1971.87
Satisfiable
(Un)Satisfiability was proved
Number of variables249327
Number of clauses746444
Sum of the clauses size1741700
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2497628
Number of clauses of size 3248814
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.01	c Using 8 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3321031-1304322204.cnf'
0.00/0.02	c -- header says num vars:         249327
0.00/0.02	c -- header says num clauses:      746444
4.88/1.06	c -- clauses added:            0 learnts,       746444 normals,            0 xors
4.88/1.06	c -- vars added     249327
4.88/1.06	c Parsing time:  0.48 s
4.88/1.07	c  N st     0         0    249327    248814    497628         0   1741698         0   no data   no data
18.94/2.89	c asymm  cl-useful: 0/308/248805 lits-rem:0 time: 1.13
181.26/23.16	c Flit:     5 Blit:     55 bXBeca:    0 bXProp:  593 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 20.96
182.00/23.27	c Replacing      593 vars Replaced     9685 lits Time:     0.10 s 
182.79/23.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
183.59/23.41	c bin-w-bin subsume rem            3 bins  time:  0.05 s
184.39/23.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.12 s
200.38/25.59	c Subs w/ non-existent bins:     13 l-rem:      0 v-fix:    14 done:  65582 time:  2.05 s
202.78/25.86	c Removed useless bin:       0  fixed:     0  props:  20.09M  time:  0.28 s
229.14/29.16	c lits-rem:         0  cl-subs:     1436  v-elim:  82887  v-fix:    0  time:  3.22 s
229.94/29.22	c Finding binary XORs  T:     0.05 s  found:      14
229.94/29.27	c Replacing       14 vars Replaced      224 lits Time:     0.06 s 
231.53/29.41	c Finding non-binary XORs:     0.08 s (found:    8040, avg size: 3.0)
231.53/29.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
231.53/29.44	c calculated reachability. Time: 0.00
231.53/29.46	c Calc default polars -  time:   0.03 s pos:    2024 undec:   96741 neg:  150562
231.53/29.46	c =========================================================================================
231.53/29.46	c types(t): F = full restart, N = normal restart
231.53/29.46	c types(t): S = simplification begin/end, E = solution found
231.53/29.46	c restart types(rt): st = static, dy = dynamic
231.53/29.46	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
231.53/29.46	c  B st     0         0    165746    211536    329674         0   1433743         0   no data   no data
309.38/39.28	c  N dy    15      4226    165745    211536    329759      3989   1433743    256058     16.54     18.50
375.21/48.93	c  N dy    34      8575    165744    211536    329978      8208   1433743    476998     16.39     17.87
444.80/62.78	c  N dy    51     13102    165728    211536    331206     12456   1433743    685605     16.83     19.59
529.48/73.32	c  N dy    62     17223    165726    211536    331240     16481   1433743    865787     16.14     17.01
595.03/81.59	c  N dy    73     21288    165724    211536    332138     11071   1433743    288104     15.46     16.88
664.63/90.29	c  F st    96     25002    165723    211536    332229     14579   1433743    553545     16.83      6.31
682.95/92.59	c Finding binary XORs  T:     0.06 s  found:     107
686.14/92.98	c  N st    98     25663    165723    211316    331705     15107   1431426    604164     16.83   no data
777.27/104.31	c  N dy   102     30001    165718    211316    332515     19161   1431426   1029808     16.83   no data
777.27/104.32	c  S st   102     30001    165718    211316    332515     19161   1431426   1029808     16.83   no data
789.27/105.88	c  S st   102     30503    165718    211316    332532     19645   1431426   1056925     16.83   no data
790.06/105.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
934.75/124.00	c Flit:    11 Blit:     23 bXBeca:    0 bXProp:  105 Bins:  81205 BRemL:      8 BRemN:      0 P: 200.1M T: 17.95
935.55/124.13	c Replacing      212 vars Replaced     8539 lits Time:     0.12 s 
936.40/124.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
936.40/124.29	c bin-w-bin subsume rem          316 bins  time:  0.06 s
937.94/124.42	c subs with bin:      805  lits-rem:       774  v-fix:    0  time:  0.13 s
966.73/128.08	c Subs w/ non-existent bins:    315 l-rem:   1240 v-fix:    11 done:  52283 time:  3.63 s
968.32/128.29	c Removed useless bin:       9  fixed:     0  props:  20.05M  time:  0.21 s
981.89/129.98	c lits-rem:         0  cl-subs:     1452  v-elim:  85041  v-fix:    0  time:  1.61 s
982.69/130.08	c subs with bin:       46  lits-rem:       416  v-fix:    0  time:  0.05 s
984.29/130.26	c lits-rem:       223  cl-subs:      236  v-elim:      0  v-fix:    0  time:  0.13 s
989.13/130.89	c asymm  cl-useful: 1033/3675/243296 lits-rem:1035 time: 0.62
989.93/130.92	c calculated reachability. Time: 0.01
989.93/130.93	c  N dy   102     30503     80420    243296    177039      9345   1332811    348365     16.83   no data
989.93/130.97	c Finding binary XORs  T:     0.04 s  found:      89
1040.98/137.37	c  N dy   114     34841     80400    243296    179130     13564   1332811    546957     16.53     17.52
1080.97/142.49	c  N dy   124     38957     80400    243296    179135     17634   1332811    747232     16.26     17.49
1137.09/149.53	c  N dy   148     43270     80372    243296    179549     11963   1332811    341696     16.86     18.06
1162.62/152.73	c  S st   156     45755     80372    243296    179556     14395   1332810    491261     16.74     11.04
1163.46/152.82	c Finding binary XORs  T:     0.05 s  found:     253
1171.40/153.89	c  S st   156     46255     80362    242565    177286     14719   1322426    504827     16.74   no data
1172.25/153.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1268.82/166.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:  12226 BRemL:     37 BRemN:      0 P: 200.1M T: 12.08
1268.82/166.18	c Replacing      346 vars Replaced    13201 lits Time:     0.06 s 
1269.56/166.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1270.36/166.32	c bin-w-bin subsume rem          903 bins  time:  0.04 s
1271.16/166.42	c subs with bin:     1821  lits-rem:       836  v-fix:    0  time:  0.10 s
1275.96/167.01	c Subs w/ non-existent bins:   3368 l-rem:  21177 v-fix:     0 done:  73094 time:  0.60 s
1277.61/167.28	c Removed useless bin:     217  fixed:     0  props:  20.00M  time:  0.25 s
1280.75/167.60	c lits-rem:         0  cl-subs:      391  v-elim:    807  v-fix:    0  time:  0.32 s
1281.54/167.71	c subs with bin:       31  lits-rem:       338  v-fix:    0  time:  0.08 s
1283.14/167.93	c lits-rem:       271  cl-subs:      557  v-elim:      0  v-fix:    0  time:  0.16 s
1287.14/168.47	c asymm  cl-useful: 170/5765/237557 lits-rem:275 time: 0.53
1287.93/168.50	c calculated reachability. Time: 0.01
1287.93/168.51	c  N dy   156     46255     79218    237557    188012     13740   1302934    443319     16.74   no data
1287.93/168.55	c Finding binary XORs  T:     0.05 s  found:       0
1332.71/174.18	c  N dy   175     50514     79218    237557    188089     17787   1302934    646037     16.75     17.79
1373.53/179.27	c  N dy   183     54600     79187    237557    191654     21815   1302934    913023     16.29     17.29
1425.42/185.75	c Finding binary XORs  T:     0.05 s  found:     277
1431.02/186.43	c  N dy   197     58696     79187    236839    189688     25602   1294825   1098367     16.63     18.14
1491.76/194.09	c  N dy   213     64285     79175    236839    190394     15967   1294825    380641     16.27     17.41
1506.21/195.80	c Finding binary XORs  T:     0.05 s  found:     216
1532.59/199.17	c  N dy   225     68523     79155    236435    179426     19837   1290591    524189     16.19     17.21
1547.72/201.08	c  S st   234     69382     79155    236435    179429     20689   1290591    573120     16.43   no data
1556.51/202.15	c  S st   234     69882     79155    236435    179476     21139   1290591    584092     16.43   no data
1557.31/202.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1661.19/215.21	c Flit:     0 Blit:      3 bXBeca:    0 bXProp:   10 Bins:   4737 BRemL:      0 BRemN:      0 P: 200.1M T: 12.92
1661.99/215.31	c Replacing      504 vars Replaced    15958 lits Time:     0.09 s 
1662.79/215.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1662.79/215.45	c bin-w-bin subsume rem         1409 bins  time:  0.03 s
1663.64/215.54	c subs with bin:     1734  lits-rem:       116  v-fix:    0  time:  0.09 s
1667.59/216.02	c Subs w/ non-existent bins:    234 l-rem:   2237 v-fix:     0 done:  74186 time:  0.47 s
1669.98/216.31	c Removed useless bin:      67  fixed:     0  props:  20.00M  time:  0.29 s
1671.58/216.58	c lits-rem:         0  cl-subs:       92  v-elim:     72  v-fix:    0  time:  0.28 s
1673.22/216.74	c subs with bin:      102  lits-rem:       663  v-fix:    0  time:  0.10 s
1674.75/216.99	c lits-rem:       303  cl-subs:      304  v-elim:      0  v-fix:    0  time:  0.19 s
1679.55/217.57	c asymm  cl-useful: 61/5523/233597 lits-rem:265 time: 0.57
1679.55/217.60	c calculated reachability. Time: 0.01
1680.35/217.60	c  N dy   234     69882     78583    233597    163749     20241   1278343    527369     16.43   no data
1702.73/220.43	c Finding binary XORs  T:     0.04 s  found:     190
1721.91/222.87	c  N dy   246     74462     78571    233236    167846     24561   1274249    705939     16.25     17.11
1775.38/229.52	c Finding binary XORs  T:     0.04 s  found:     143
1807.36/233.55	c  N dy   279     80154     78558    232846    187618     29753   1271445    999560     16.71     18.16
1888.90/243.70	c  N dy   301     86384     78552    232846    188850     35907   1271443   1321623     16.56     17.51
1899.30/245.07	c  F st   305     87500     78552    232846    188851     19169   1271443    411218     16.52     10.31
1900.10/245.16	c Replacing      333 vars Replaced    12028 lits Time:     0.06 s 
1991.22/256.53	c  N dy   311     92691     78224    232478    173906     24182   1268677    805716     16.52   no data
2037.58/262.37	c Finding binary XORs  T:     0.04 s  found:      88
2083.93/268.18	c  N dy   341     98690     78216    232392    174186     30059   1267246   1079775     16.62     19.29
2149.48/276.32	c Finding binary XORs  T:     0.04 s  found:     239
2168.65/278.75	c  S st   367    104823     78213    231920    180301     35885   1263506   1356778     16.70   no data
2179.05/280.01	c  S st   367    105324     78212    231920    180347     36336   1263506   1377641     16.70   no data
2179.05/280.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2294.15/294.47	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   30 Bins:   6761 BRemL:      0 BRemN:      0 P: 200.1M T: 14.41
2295.75/294.61	c Replacing      359 vars Replaced    25254 lits Time:     0.13 s 
2296.60/294.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2296.60/294.76	c bin-w-bin subsume rem         3544 bins  time:  0.04 s
2297.40/294.84	c subs with bin:     1788  lits-rem:        64  v-fix:    0  time:  0.09 s
2302.95/295.54	c Subs w/ non-existent bins:     19 l-rem:     30 v-fix:     0 done:  73867 time:  0.70 s
2305.40/295.83	c Removed useless bin:      33  fixed:     0  props:  14.47M  time:  0.29 s
2307.74/296.13	c lits-rem:         0  cl-subs:      276  v-elim:    101  v-fix:    0  time:  0.30 s
2310.94/296.58	c subs with bin:      142  lits-rem:      3678  v-fix:    0  time:  0.37 s
2317.33/297.30	c lits-rem:      2197  cl-subs:      677  v-elim:      0  v-fix:    0  time:  0.65 s
2322.98/298.09	c asymm  cl-useful: 45/11977/229148 lits-rem:157 time: 0.79
2323.78/298.12	c calculated reachability. Time: 0.01
2323.78/298.12	c  N dy   367    105324     77744    229148    170376     34252   1255703   1204820     16.70   no data
2371.69/304.14	c Finding binary XORs  T:     0.04 s  found:     212
2387.68/306.18	c  N dy   387    112088     77737    228805    183565     23930   1253470    463242     16.48     17.35
2474.81/317.02	c  N dy   406    119291     77736    228805    183971     30979   1253470    786424     16.40     59.06
2561.93/327.99	c  N dy   436    127286     77736    228805    184668     38834   1253470   1168075     16.38     17.57
2649.12/338.87	c Finding binary XORs  T:     0.05 s  found:     296
2679.43/342.69	c  N dy   473    136101     77734    228437    185146     46963   1251841   1541157     16.29     17.50
2820.92/360.39	c  N dy   526    144921     77710    228437    186296     37350   1251841    976604     16.82     17.73
2933.62/374.48	c Finding binary XORs  T:     0.05 s  found:     399
2934.42/374.59	c Replacing      911 vars Replaced    38619 lits Time:     0.10 s 
2944.82/375.82	c  N dy   560    154248     76784    226272    182517     45785   1238667   1381624     16.76     18.02
2991.24/381.64	c  S st   576    157986     76783    226272    182795     49450   1238667   1564980     16.71      5.30
3005.57/383.40	c  S st   576    158486     76783    226272    182814     49930   1238667   1585939     16.71   no data
3005.57/383.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3131.92/399.27	c Flit:     7 Blit:      1 bXBeca:    0 bXProp:   84 Bins:  13089 BRemL:      0 BRemN:      0 P: 200.1M T: 15.82
3133.46/399.42	c Replacing       90 vars Replaced    17361 lits Time:     0.13 s 
3134.26/399.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3134.26/399.56	c bin-w-bin subsume rem         1527 bins  time:  0.04 s
3135.06/399.65	c subs with bin:     2537  lits-rem:         6  v-fix:    0  time:  0.09 s
3140.71/400.39	c Subs w/ non-existent bins:     45 l-rem:    228 v-fix:     0 done:  67739 time:  0.73 s
3143.06/400.64	c Removed useless bin:      37  fixed:     0  props:  11.53M  time:  0.25 s
3145.46/400.97	c lits-rem:         0  cl-subs:      413  v-elim:    132  v-fix:    0  time:  0.33 s
3151.05/401.66	c subs with bin:      252  lits-rem:      6496  v-fix:    0  time:  0.59 s
3159.10/402.61	c lits-rem:      4064  cl-subs:     1027  v-elim:      0  v-fix:    0  time:  0.88 s
3164.64/403.38	c asymm  cl-useful: 145/8584/222563 lits-rem:540 time: 0.77
3165.44/403.41	c calculated reachability. Time: 0.01
3165.44/403.42	c  N dy   576    158486     76550    222554    192055     46355   1230476   1381048     16.71   no data
3165.44/403.46	c Finding binary XORs  T:     0.04 s  found:     112
3213.40/409.47	c Finding binary XORs  T:     0.05 s  found:     230
3308.58/421.36	c  N dy   603    168624     76543    222117    205059     38405   1228455    822047     16.51     46.61
3390.86/431.67	c Finding binary XORs  T:     0.05 s  found:     114
3476.38/442.33	c  N dy   652    180296     76539    221965    205497     49715   1227304   1385227     16.79     19.38
3512.35/446.87	c Finding binary XORs  T:     0.05 s  found:      27
3613.88/459.51	c Finding binary XORs  T:     0.05 s  found:     127
3645.85/463.51	c  N dy   693    191861     76532    221634    231759     40943   1224497    792587     16.74     18.23
3821.71/485.51	c  N dy   740    204556     76526    221634    233221     53286   1224495   1368618     16.65     17.62
3848.88/488.93	c Finding binary XORs  T:     0.05 s  found:     273
3849.68/489.04	c Replacing      885 vars Replaced    43263 lits Time:     0.11 s 
4017.55/510.04	c  N dy   796    217769     75634    220143    235138     65760   1216102   1986243     16.62     17.64
4127.05/523.70	c Finding binary XORs  T:     0.05 s  found:     591
4209.38/534.05	c  N dy   851    231760     75603    219015    234887     58019   1210248   1375606     16.57     17.79
4312.50/546.91	c  S st   892    237729     75601    219015    235332     63889   1210248   1728452     16.86      5.51
4322.89/548.22	c  S st   892    238230     75594    219015    235934     64368   1210248   1749748     16.86   no data
4322.89/548.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4453.98/564.68	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  126 Bins:  17103 BRemL:      0 BRemN:      0 P: 200.0M T: 16.39
4455.60/564.84	c Replacing      729 vars Replaced    46353 lits Time:     0.16 s 
4456.40/564.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
4456.40/565.00	c bin-w-bin subsume rem         5577 bins  time:  0.05 s
4458.00/565.10	c subs with bin:     3363  lits-rem:        67  v-fix:    0  time:  0.10 s
4463.59/565.89	c Subs w/ non-existent bins:     31 l-rem:     97 v-fix:     0 done:  65485 time:  0.78 s
4465.98/566.11	c Removed useless bin:      71  fixed:     0  props:   9.15M  time:  0.23 s
4468.43/566.47	c lits-rem:         1  cl-subs:      516  v-elim:    170  v-fix:    0  time:  0.35 s
4476.37/567.41	c subs with bin:      514  lits-rem:     13384  v-fix:    0  time:  0.84 s
4483.57/568.34	c lits-rem:      3190  cl-subs:     1044  v-elim:      0  v-fix:    0  time:  0.87 s
4489.96/569.19	c asymm  cl-useful: 71/2552/212876 lits-rem:149 time: 0.84
4490.76/569.22	c calculated reachability. Time: 0.01
4490.76/569.22	c  N dy   892    238230     74694    212876    244062     60671   1198455   1591838     16.86   no data
4490.76/569.27	c Finding binary XORs  T:     0.05 s  found:     300
4573.10/579.56	c Finding binary XORs  T:     0.05 s  found:     405
4694.60/594.72	c  N dy   955    253447     74680    212211    257500     53438   1195092   1083003     16.83     18.80
4824.90/611.04	c Finding binary XORs  T:     0.05 s  found:     343
4825.70/611.15	c Replacing     1048 vars Replaced    41734 lits Time:     0.11 s 
4937.61/625.16	c  N dy  1034    269834     73621    210835    257162     69263   1187624   1861306     16.99     18.03
5195.01/657.30	c  N dy  1115    287726     73591    210835    258479     63841   1187623   1396977     17.15     18.11
5195.81/657.40	c Finding binary XORs  T:     0.05 s  found:     757
5196.60/657.50	c Replacing      763 vars Replaced    41202 lits Time:     0.09 s 
5431.61/686.92	c Finding binary XORs  T:     0.05 s  found:     293
5434.01/687.26	c  F st  1166    306256     72773    207866    255547     80208   1170068   2141782     17.06     11.24
5434.81/687.37	c Replacing      294 vars Replaced    19984 lits Time:     0.10 s 
5438.80/687.85	c  N st  1166    306256     72479    207413    254945     80156   1168168   2139425     17.06     11.24
5541.18/700.67	c Finding binary XORs  T:     0.05 s  found:     145
5732.98/724.60	c  N dy  1247    325854     72456    207184    267970     75865   1167468   1973730     17.23     18.22
5810.51/734.31	c Finding binary XORs  T:     0.05 s  found:     768
5811.31/734.44	c Replacing      914 vars Replaced    42439 lits Time:     0.13 s 
6051.98/764.51	c  N dy  1343    346893     71452    204072    266924     70470   1154568   1250520     17.33     18.66
6082.30/768.36	c Finding binary XORs  T:     0.05 s  found:     637
6198.21/782.83	c  S st  1376    357345     71426    202120    268569     79272   1146743   1658335     17.29     10.90
6212.59/784.61	c  S st  1376    357845     71426    202120    268578     79763   1146743   1681777     17.29   no data
6212.59/784.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
6346.09/801.38	c Flit:     9 Blit:     16 bXBeca:    0 bXProp:  146 Bins:  19151 BRemL:     12 BRemN:      0 P: 200.2M T: 16.71
6347.69/801.55	c Replacing      790 vars Replaced    48038 lits Time:     0.16 s 
6348.49/801.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
6349.29/801.70	c bin-w-bin subsume rem        12885 bins  time:  0.05 s
6350.14/801.81	c subs with bin:     3654  lits-rem:       163  v-fix:    0  time:  0.11 s
6358.08/802.83	c Subs w/ non-existent bins:     42 l-rem:     95 v-fix:     0 done:  65457 time:  1.02 s
6359.72/803.01	c Removed useless bin:      70  fixed:     0  props:   6.68M  time:  0.18 s
6362.85/803.45	c lits-rem:        43  cl-subs:     1904  v-elim:    375  v-fix:    0  time:  0.44 s
6369.25/804.23	c subs with bin:      843  lits-rem:     19059  v-fix:    0  time:  0.67 s
6375.66/805.09	c lits-rem:      3161  cl-subs:     1721  v-elim:      0  v-fix:    0  time:  0.79 s
6383.65/806.01	c asymm  cl-useful: 21/2120/194823 lits-rem:43 time: 0.92
6383.65/806.04	c calculated reachability. Time: 0.01
6383.65/806.04	c  N dy  1376    357845     70227    194823    268391     74103   1159596   1454792     17.29   no data
6383.65/806.09	c Finding binary XORs  T:     0.05 s  found:     121
6478.77/817.92	c Finding binary XORs  T:     0.05 s  found:     298
6660.23/840.63	c  N dy  1459    378076     70183    194291    277411     93560   1157502   2383541     17.27     18.19
6707.40/846.52	c Finding binary XORs  T:     0.05 s  found:     393
6708.20/846.61	c Replacing      812 vars Replaced    26522 lits Time:     0.09 s 
6938.41/875.49	c  N dy  1533    398120     69366    193043    276017     88087   1150719   2012775     17.24     26.05
7051.92/889.65	c Finding binary XORs  T:     0.05 s  found:     603
7223.77/911.13	c  N dy  1601    418617     69325    191855    277908     82010   1145900   1339312     17.15     18.72
7300.56/920.73	c Finding binary XORs  T:     0.05 s  found:     487
7301.30/920.85	c Replacing     1092 vars Replaced    50592 lits Time:     0.12 s 
7498.72/945.51	c  N dy  1688    438806     68183    189544    276562    100888   1133751   2200052     17.12     18.21
7553.86/952.46	c Finding binary XORs  T:     0.05 s  found:     537
7764.87/978.85	c  N dy  1784    458837     68178    188022    278277     92579   1129091   1528490     17.19     18.37
7853.66/990.00	c Finding binary XORs  T:     0.05 s  found:     577
7855.20/990.10	c Replacing     1118 vars Replaced    35758 lits Time:     0.10 s 
8031.05/1012.12	c  N dy  1870    479040     67045    185554    276361    111397   1118080   2498677     17.23     18.36
8103.80/1021.27	c Finding binary XORs  T:     0.05 s  found:     544
8305.23/1046.41	c  N dy  1956    499147     67000    184303    278499    102990   1113999   1810236     17.20     18.18
8377.98/1055.52	c Finding binary XORs  T:     0.05 s  found:     582
8378.78/1055.67	c Replacing     1128 vars Replaced    58735 lits Time:     0.14 s 
8563.38/1078.73	c  N dy  2050    519203     65858    181479    276627    120925   1101021   2735636     17.24     18.42
8577.77/1080.54	c Finding binary XORs  T:     0.05 s  found:     620
8788.80/1106.98	c  S st  2129    536767     65821    179864    278717    109309   1096105   1887054     17.23     15.76
8797.59/1108.05	c  S st  2129    537269     65821    179864    278728    109796   1096105   1922852     17.23   no data
8798.39/1108.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
8908.75/1122.00	c Flit:    34 Blit:     18 bXBeca:    0 bXProp:  274 Bins:  10997 BRemL:    123 BRemN:      1 P: 200.0M T: 13.87
8910.29/1122.18	c Replacing      897 vars Replaced    74069 lits Time:     0.18 s 
8911.09/1122.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8911.89/1122.33	c bin-w-bin subsume rem        14951 bins  time:  0.05 s
8912.69/1122.44	c subs with bin:     1925  lits-rem:       708  v-fix:    0  time:  0.10 s
8920.68/1123.46	c Subs w/ non-existent bins:     68 l-rem:    105 v-fix:     0 done:  59635 time:  1.02 s
8922.27/1123.61	c Removed useless bin:     123  fixed:     0  props:   5.32M  time:  0.15 s
8926.33/1124.16	c lits-rem:        42  cl-subs:     3097  v-elim:    596  v-fix:    0  time:  0.55 s
8934.27/1125.17	c subs with bin:      841  lits-rem:     22817  v-fix:    0  time:  0.88 s
8942.26/1126.12	c lits-rem:      3525  cl-subs:     2253  v-elim:      0  v-fix:    0  time:  0.89 s
8949.45/1127.05	c asymm  cl-useful: 7/1647/172382 lits-rem:12 time: 0.93
8949.45/1127.09	c calculated reachability. Time: 0.00
8949.45/1127.09	c  N dy  2129    537269     64184    172382    267344    100910   1159941   1530922     17.23   no data
8950.25/1127.14	c Finding binary XORs  T:     0.05 s  found:     174
9028.59/1136.99	c Finding binary XORs  T:     0.05 s  found:     389
9110.13/1147.15	c Finding binary XORs  T:     0.05 s  found:     219
9110.98/1147.27	c Replacing      782 vars Replaced    37907 lits Time:     0.12 s 
9218.83/1160.72	c  N dy  2221    557797     63340    169921    284350    118863   1145775   2433082     17.29     18.31
9396.29/1182.94	c Finding binary XORs  T:     0.05 s  found:     561
9458.65/1190.74	c  N dy  2308    578784     63283    167971    285422    111130   1139237   1849426     17.29     20.02
9623.31/1211.30	c Finding binary XORs  T:     0.05 s  found:     438
9624.11/1211.45	c Replacing      999 vars Replaced    61934 lits Time:     0.15 s 
9685.65/1219.16	c  N dy  2425    598786     62240    164938    283723    128025   1121143   2760979     17.39     42.16
9714.43/1222.73	c Finding binary XORs  T:     0.05 s  found:     278
9904.69/1246.59	c  N dy  2528    618856     62101    163402    292949    118174   1110753   2008343     17.43     21.40
9982.28/1256.28	c Finding binary XORs  T:     0.05 s  found:     393
9983.83/1256.44	c Replacing      671 vars Replaced    55810 lits Time:     0.16 s 
10059.76/1265.98	c Finding binary XORs  T:     0.05 s  found:     405
10139.58/1275.97	c  N dy  2645    638944     61322    158410    313540    132722   1079230   3098004     17.53     18.52
10140.38/1276.07	c Finding binary XORs  T:     0.05 s  found:     196
10306.79/1296.93	c Finding binary XORs  T:     0.05 s  found:     606
10307.53/1297.06	c Replacing     1207 vars Replaced   111565 lits Time:     0.13 s 
10365.08/1304.29	c  N dy  2720    659444     59994    152200    315094    117721   1025783   1865934     17.47     18.65
10479.39/1318.53	c Finding binary XORs  T:     0.05 s  found:     685
10480.19/1318.68	c Replacing      685 vars Replaced    71299 lits Time:     0.15 s 
10603.29/1334.03	c  N dy  2796    681052     59226    147356    318283    131909    970819   3116063     17.41     19.04
10613.74/1335.40	c Finding binary XORs  T:     0.05 s  found:     710
10614.54/1335.49	c Replacing      710 vars Replaced    41530 lits Time:     0.09 s 
10711.27/1347.55	c Following stats are for *FIRST FINISHED THREAD ONLY*
10711.27/1347.55	c num threads              : 8          
10711.27/1347.55	c restarts                 : 2952       
10711.27/1347.55	c dynamic restarts         : 2928       
10711.27/1347.55	c static restarts          : 24         
10711.27/1347.55	c full restarts            : 3          
10711.27/1347.55	c total simplify time      : 22.36      
10711.27/1347.55	c learnts DL2              : 0          
10711.27/1347.55	c learnts size 2           : 2476571    
10711.27/1347.55	c learnts size 1           : 12970       (5.20      % of vars)
10711.27/1347.55	c filedLit time            : 42.66       (3.17      % time)
10711.27/1347.55	c v-elim SatELite          : 161249      (64.67     % vars)
10711.27/1347.55	c SatELite time            : 15.48       (1.15      % time)
10711.27/1347.55	c v-elim xor               : 0           (0.00      % vars)
10711.27/1347.55	c xor elim time            : 0.16        (0.01      % time)
10711.27/1347.55	c num binary xor trees     : 2182       
10711.27/1347.55	c binxor trees' crown      : 27006       (12.38     leafs/tree)
10711.27/1347.55	c bin xor find time        : 15.90      
10711.27/1347.55	c OTF clause improved      : 6894        (0.01      clauses/conflict)
10711.27/1347.55	c OTF impr. size diff      : 13511       (1.96       lits/clause)
10711.27/1347.55	c OTF cl watch-shrink      : 320473      (0.45      clauses/conflict)
10711.27/1347.55	c OTF cl watch-sh-lit      : 2806056     (8.76       lits/clause)
10711.27/1347.55	c tried to recurMin cls    : 463895      (64.65      % of conflicts)
10711.27/1347.55	c updated cache            : 265626      (0.57       lits/tried recurMin)
10711.27/1347.55	c unit cls recevied        : 835         (6.44      % of units)
10711.27/1347.55	c unit cls sent            : 1194        (9.21      % of units)
10711.27/1347.55	c bin cls recevied         : 1816826    
10711.27/1347.55	c bin cls sent             : 203984     
10711.27/1347.55	c clauses over max glue    : 0           (0.00      % of all clauses)
10711.27/1347.55	c conflicts                : 717577      (533.12    / sec)
10711.27/1347.55	c decisions                : 8857293     (0.82      % random)
10711.27/1347.55	c bogo-props               : 26682101818 (19823338.25 / sec)
10711.27/1347.55	c conflict literals        : 55547565    (38.78     % deleted)
10711.27/1347.55	c Memory used              : 4951.47     MB
10711.27/1347.55	c single-thread CPU time   : 1345.99     s
10711.27/1347.55	c all-threads sum CPU time : 10703.71    s
10711.27/1347.55	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-3321031-1304322204/watcher-3321031-1304322204 -o /tmp/evaluation-result-3321031-1304322204/solver-3321031-1304322204 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321031-1304322204.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: 2.34 0.53 0.18 2/218 19138
/proc/meminfo: memFree=28445660/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=92188 CPUtime=0.01 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 414 0 0 0 1 0 0 0 20 0 8 0 543817158 94400512 353 33554432000 4194304 4627427 140735245176640 18446744073709551615 47310679173042 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19138/statm: 23047 353 299 106 0 18018 0
[pid=19138/tid=19139] ppid=19136 vsize=92188 CPUtime=0 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 543817158 94400512 353 33554432000 4194304 4627427 140735245176640 18446744073709551615 47310679173042 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=92188 CPUtime=0 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 543817158 94400512 353 33554432000 4194304 4627427 140735245176640 18446744073709551615 47310679173036 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=92188 CPUtime=0 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 543817158 94400512 353 33554432000 4194304 4627427 140735245176640 18446744073709551615 47310679173042 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=92188 CPUtime=0 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817158 94400512 353 33554432000 4194304 4627427 140735245176640 18446744073709551615 47310679173042 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=92188 CPUtime=0 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817158 94400512 353 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=92188 CPUtime=0 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817158 94400512 353 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=92188 CPUtime=0 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817158 94400512 353 33554432000 4194304 4627427 140735245176640 18446744073709551615 47310679173040 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0573161 s]
/proc/loadavg: 2.34 0.53 0.18 2/218 19138
/proc/meminfo: memFree=28445660/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=564892 CPUtime=0.29 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) S 19136 19138 19044 0 -1 4202496 9693 0 0 0 18 11 0 0 17 0 8 0 543817158 578449408 8669 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19138/statm: 141223 8669 339 106 0 136194 0
[pid=19138/tid=19139] ppid=19136 vsize=564892 CPUtime=0.03 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 1151 0 0 0 2 1 0 0 17 0 8 0 543817158 578449408 8669 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=564892 CPUtime=0.03 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 1120 0 0 0 2 1 0 0 17 0 8 0 543817158 578449408 8674 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=564892 CPUtime=0.02 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 1183 0 0 0 1 1 0 0 17 0 8 0 543817158 578449408 8686 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=564892 CPUtime=0.03 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 1148 0 0 0 2 1 0 0 17 0 8 0 543817158 578449408 8686 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 1 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=565084 CPUtime=0.02 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 1377 0 0 0 1 1 0 0 17 0 8 0 543817158 578646016 8693 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 5 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=565084 CPUtime=0.03 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 1064 0 0 0 2 1 0 0 17 0 8 0 543817158 578646016 8707 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 7 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=565084 CPUtime=0.03 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 1058 0 0 0 2 1 0 0 17 0 8 0 543817158 578646016 8721 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 564892

[startup+0.101397 s]
/proc/loadavg: 2.34 0.53 0.18 2/218 19138
/proc/meminfo: memFree=28445660/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=586084 CPUtime=0.53 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 19983 0 0 0 33 20 0 0 17 0 8 0 543817158 600150016 15961 33554432000 4194304 4627427 140735245176640 18446744073709551615 4313601 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19138/statm: 146521 15998 339 106 0 141492 0
[pid=19138/tid=19139] ppid=19136 vsize=586084 CPUtime=0.06 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 2454 0 0 0 4 2 0 0 17 0 8 0 543817158 600150016 16015 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=586084 CPUtime=0.06 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 2326 0 0 0 4 2 0 0 17 0 8 0 543817158 600150016 16025 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 2 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=586084 CPUtime=0.05 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 2500 0 0 0 3 2 0 0 17 0 8 0 543817158 600150016 16027 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500388619 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=586084 CPUtime=0.06 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 2438 0 0 0 4 2 0 0 17 0 8 0 543817158 600150016 16030 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=586084 CPUtime=0.05 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 2566 0 0 0 3 2 0 0 17 0 8 0 543817158 600150016 16041 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 5 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=586084 CPUtime=0.05 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 2326 0 0 0 3 2 0 0 17 0 8 0 543817158 600150016 16058 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 7 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=586084 CPUtime=0.06 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 2477 0 0 0 4 2 0 0 17 0 8 0 543817158 600150016 16072 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 586084

[startup+0.301291 s]
/proc/loadavg: 2.34 0.53 0.18 2/218 19138
/proc/meminfo: memFree=28445660/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=717448 CPUtime=1.54 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) S 19136 19138 19044 0 -1 4202496 61319 0 0 0 97 57 0 0 17 0 8 0 543817158 734666752 52927 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19138/statm: 179362 52978 339 106 0 174333 0
[pid=19138/tid=19139] ppid=19136 vsize=717448 CPUtime=0.19 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 7334 0 0 0 13 6 0 0 17 0 8 0 543817158 734666752 52999 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=717448 CPUtime=0.18 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 7126 0 0 0 11 7 0 0 17 0 8 0 543817158 734666752 53035 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=717448 CPUtime=0.19 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 8201 0 0 0 12 7 0 0 17 0 8 0 543817158 734666752 53065 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=717448 CPUtime=0.18 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 7332 0 0 0 12 6 0 0 17 0 8 0 543817158 734666752 53100 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 1 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=717448 CPUtime=0.19 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 8136 0 0 0 11 8 0 0 17 0 8 0 543817158 734666752 53109 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=717448 CPUtime=0.18 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 6977 0 0 0 11 7 0 0 17 0 8 0 543817158 734666752 53140 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 7 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=717448 CPUtime=0.18 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 7639 0 0 0 12 6 0 0 17 0 8 0 543817158 734666752 53163 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 717448

[startup+0.701162 s]
/proc/loadavg: 2.34 0.53 0.18 2/218 19138
/proc/meminfo: memFree=28445660/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=1040132 CPUtime=3.5 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) S 19136 19138 19044 0 -1 4202496 157572 0 0 0 221 129 0 0 15 0 8 0 543817158 1065095168 123849 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19138/statm: 260033 123853 339 106 0 255004 0
[pid=19138/tid=19139] ppid=19136 vsize=1040132 CPUtime=0.46 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 17962 0 0 0 30 16 0 0 16 0 8 0 543817158 1065095168 123858 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=1040132 CPUtime=0.43 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 18760 0 0 0 27 16 0 0 16 0 8 0 543817158 1065095168 123860 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=1040132 CPUtime=0.42 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) S 19136 19138 19044 0 -1 4202560 21086 0 0 0 26 16 0 0 16 0 8 0 543817158 1065095168 123867 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 18446604450420577472 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=1040132 CPUtime=0.42 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 18884 0 0 0 27 15 0 0 16 0 8 0 543817158 1065095168 123868 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=1040132 CPUtime=0.41 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 20466 0 0 0 24 17 0 0 16 0 8 0 543817158 1065095168 123871 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=1040132 CPUtime=0.42 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 18553 0 0 0 24 18 0 0 16 0 8 0 543817158 1065095168 123872 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500360559 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=1040132 CPUtime=0.43 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 20326 0 0 0 28 15 0 0 16 0 8 0 543817158 1065095168 123879 33554432000 4194304 4627427 140735245176640 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 1040132

[startup+1.501 s]
/proc/loadavg: 2.34 0.53 0.18 5/226 19146
/proc/meminfo: memFree=27737804/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=1228380 CPUtime=8.55 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 229395 0 0 0 667 188 0 0 16 0 8 0 543817158 1257861120 194591 33554432000 4194304 4627427 140735245176640 18446744073709551615 4299595 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19138/statm: 307095 194591 364 106 0 302066 0
[pid=19138/tid=19139] ppid=19136 vsize=1228380 CPUtime=1.12 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 26402 0 0 0 88 24 0 0 16 0 8 0 543817158 1257861120 194591 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=1228380 CPUtime=1.04 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 27048 0 0 0 81 23 0 0 16 0 8 0 543817158 1257861120 194591 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=1228380 CPUtime=1.04 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 30791 0 0 0 81 23 0 0 16 0 8 0 543817158 1257861120 194591 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=1228380 CPUtime=1.07 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 27881 0 0 0 85 22 0 0 16 0 8 0 543817158 1257861120 194591 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=1228380 CPUtime=1 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 29777 0 0 0 75 25 0 0 16 0 8 0 543817158 1257861120 194591 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=1228380 CPUtime=1.02 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 26694 0 0 0 76 26 0 0 16 0 8 0 543817158 1257861120 194591 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=1228380 CPUtime=1.09 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 30661 0 0 0 87 22 0 0 16 0 8 0 543817158 1257861120 194591 33554432000 4194304 4627427 140735245176640 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (KiB) 1228380

[startup+3.10068 s]
/proc/loadavg: 2.34 0.53 0.18 11/226 19146
/proc/meminfo: memFree=27666008/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=1228380 CPUtime=21.34 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 238817 0 0 0 1945 189 0 0 18 0 8 0 543817158 1257861120 203497 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308963 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19138/statm: 307095 203497 367 106 0 302066 0
[pid=19138/tid=19139] ppid=19136 vsize=1228380 CPUtime=2.71 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 27619 0 0 0 247 24 0 0 18 0 8 0 543817158 1257861120 203497 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=1228380 CPUtime=2.63 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 28358 0 0 0 240 23 0 0 18 0 8 0 543817158 1257861120 203497 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=1228380 CPUtime=2.64 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 32045 0 0 0 241 23 0 0 18 0 8 0 543817158 1257861120 203497 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=1228380 CPUtime=2.68 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 29196 0 0 0 245 23 0 0 18 0 8 0 543817158 1257861120 203497 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=1228380 CPUtime=2.6 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 31033 0 0 0 235 25 0 0 18 0 8 0 543817158 1257861120 203497 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=1228380 CPUtime=2.61 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 27912 0 0 0 235 26 0 0 18 0 8 0 543817158 1257861120 203497 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=1228380 CPUtime=2.69 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 31538 0 0 0 247 22 0 0 18 0 8 0 543817158 1257861120 203497 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.34
Current children cumulated vsize (KiB) 1228380

[startup+6.30104 s]
/proc/loadavg: 3.11 0.72 0.24 9/226 19147
/proc/meminfo: memFree=27631840/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=1228380 CPUtime=46.92 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 240586 0 0 0 4502 190 0 0 25 0 8 0 543817158 1257861120 203690 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19138/statm: 307095 203690 367 106 0 302066 0
[pid=19138/tid=19139] ppid=19136 vsize=1228380 CPUtime=5.92 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 27619 0 0 0 568 24 0 0 25 0 8 0 543817158 1257861120 203690 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=1228380 CPUtime=5.81 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 28358 0 0 0 558 23 0 0 25 0 8 0 543817158 1257861120 203690 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=1228380 CPUtime=5.84 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 32046 0 0 0 561 23 0 0 25 0 8 0 543817158 1257861120 203690 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=1228380 CPUtime=5.88 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 29196 0 0 0 565 23 0 0 25 0 8 0 543817158 1257861120 203690 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=1228380 CPUtime=5.8 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 31033 0 0 0 555 25 0 0 25 0 8 0 543817158 1257861120 203690 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=1228380 CPUtime=5.82 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 27912 0 0 0 556 26 0 0 25 0 8 0 543817158 1257861120 203690 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=1228380 CPUtime=5.9 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 33306 0 0 0 567 23 0 0 25 0 8 0 543817158 1257861120 203690 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0

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

/proc/loadavg: 8.28 8.02 6.11 9/226 19193
/proc/meminfo: memFree=24194676/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=5157844 CPUtime=10375.5 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 2678942 0 0 0 1036761 787 0 0 25 0 8 0 543817158 5281632256 1061550 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308942 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19138/statm: 1289461 1061550 391 106 0 1284432 0
[pid=19138/tid=19139] ppid=19136 vsize=5157844 CPUtime=1296.54 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 337018 0 0 0 129554 100 0 0 25 0 8 0 543817158 5281632256 1061550 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=5157844 CPUtime=1298.23 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 414063 0 0 0 129712 111 0 0 25 0 8 0 543817158 5281632256 1061550 33554432000 4194304 4627427 140735245176640 18446744073709551615 4310748 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=5157844 CPUtime=1294.8 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 392850 0 0 0 129367 113 0 0 25 0 8 0 543817158 5281632256 1061550 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=5157844 CPUtime=1294.97 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 267195 0 0 0 129411 86 0 0 25 0 8 0 543817158 5281632256 1061550 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=5157844 CPUtime=1300.02 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 304809 0 0 0 129908 94 0 0 25 0 8 0 543817158 5281632256 1061550 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=5157844 CPUtime=1288.62 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 293146 0 0 0 128760 102 0 0 25 0 8 0 543817158 5281632256 1061550 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=5157844 CPUtime=1304.95 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 347063 0 0 0 130395 100 0 0 25 0 8 0 543817158 5281632256 1061550 33554432000 4194304 4627427 140735245176640 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10375.5
Current children cumulated vsize (KiB) 5157844

[startup+1331.1 s]
/proc/loadavg: 8.18 8.02 6.16 9/226 19194
/proc/meminfo: memFree=24160040/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=5158048 CPUtime=10580.1 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 2693847 0 0 0 1057218 794 0 0 25 0 8 0 543817158 5281841152 1070072 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19138/statm: 1289512 1070072 391 106 0 1284483 0
[pid=19138/tid=19139] ppid=19136 vsize=5158048 CPUtime=1322.13 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 341061 0 0 0 132113 100 0 0 25 0 8 0 543817158 5281841152 1070072 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=5158048 CPUtime=1323.82 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 414810 0 0 0 132271 111 0 0 25 0 8 0 543817158 5281841152 1070072 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=5158048 CPUtime=1320.4 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 392861 0 0 0 131927 113 0 0 25 0 8 0 543817158 5281841152 1070072 33554432000 4194304 4627427 140735245176640 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=5158048 CPUtime=1320.57 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 267199 0 0 0 131971 86 0 0 25 0 8 0 543817158 5281841152 1070072 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=5158048 CPUtime=1325.61 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 308140 0 0 0 132466 95 0 0 25 0 8 0 543817158 5281841152 1070072 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=5158048 CPUtime=1314.06 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 296813 0 0 0 131302 104 0 0 25 0 8 0 543817158 5281841152 1070072 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=5158048 CPUtime=1330.54 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 348925 0 0 0 132953 101 0 0 25 0 8 0 543817158 5281841152 1070072 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10580.1
Current children cumulated vsize (KiB) 5158048

[startup+1337.5 s]
/proc/loadavg: 8.15 8.02 6.18 9/226 19194
/proc/meminfo: memFree=24172060/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=5158048 CPUtime=10631.3 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 2695523 0 0 0 1062338 795 0 0 25 0 8 0 543817158 5281841152 1066822 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308096 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19138/statm: 1289512 1066822 391 106 0 1284483 0
[pid=19138/tid=19139] ppid=19136 vsize=5158048 CPUtime=1328.54 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 341384 0 0 0 132754 100 0 0 25 0 8 0 543817158 5281841152 1066822 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=5158048 CPUtime=1330.23 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 414891 0 0 0 132912 111 0 0 25 0 8 0 543817158 5281841152 1066822 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=5158048 CPUtime=1326.81 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 392861 0 0 0 132568 113 0 0 25 0 8 0 543817158 5281841152 1066822 33554432000 4194304 4627427 140735245176640 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=5158048 CPUtime=1326.97 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 267199 0 0 0 132611 86 0 0 25 0 8 0 543817158 5281841152 1066822 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=5158048 CPUtime=1332.02 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 308430 0 0 0 133107 95 0 0 25 0 8 0 543817158 5281841152 1066822 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=5158048 CPUtime=1320.42 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 297115 0 0 0 131938 104 0 0 25 0 8 0 543817158 5281841152 1066822 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=5158048 CPUtime=1336.95 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 349264 0 0 0 133594 101 0 0 25 0 8 0 543817158 5281841152 1066822 33554432000 4194304 4627427 140735245176640 18446744073709551615 4299705 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10631.3
Current children cumulated vsize (KiB) 5158048

[startup+1343.9 s]
/proc/loadavg: 8.14 8.02 6.19 9/226 19194
/proc/meminfo: memFree=24163992/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=5070304 CPUtime=10682.4 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 2699307 0 0 0 1067448 796 0 0 25 0 8 0 543817158 5191991296 1068992 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19138/statm: 1267576 1068992 391 106 0 1262547 0
[pid=19138/tid=19139] ppid=19136 vsize=5070304 CPUtime=1334.94 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 341711 0 0 0 133393 101 0 0 25 0 8 0 543817158 5191991296 1068992 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=5070304 CPUtime=1336.62 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 414892 0 0 0 133551 111 0 0 25 0 8 0 543817158 5191991296 1068992 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=5070304 CPUtime=1333.2 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 395488 0 0 0 133207 113 0 0 25 0 8 0 543817158 5191991296 1068992 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=5070304 CPUtime=1333.37 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 267201 0 0 0 133251 86 0 0 25 0 8 0 543817158 5191991296 1068992 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=5070304 CPUtime=1338.41 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 308674 0 0 0 133746 95 0 0 25 0 8 0 543817158 5191991296 1068992 33554432000 4194304 4627427 140735245176640 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=5070304 CPUtime=1326.77 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 297456 0 0 0 132573 104 0 0 25 0 8 0 543817158 5191991296 1068992 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=5070304 CPUtime=1343.34 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 349503 0 0 0 134233 101 0 0 25 0 8 0 543817158 5191991296 1068992 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10682.4
Current children cumulated vsize (KiB) 5070304

[startup+1345.5 s]
/proc/loadavg: 8.14 8.02 6.19 9/226 19194
/proc/meminfo: memFree=24162504/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=5070304 CPUtime=10695.2 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 2699613 0 0 0 1068727 796 0 0 25 0 8 0 543817158 5191991296 1069298 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19138/statm: 1267576 1069298 391 106 0 1262547 0
[pid=19138/tid=19139] ppid=19136 vsize=5070304 CPUtime=1336.54 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 341775 0 0 0 133553 101 0 0 25 0 8 0 543817158 5191991296 1069298 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309969 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=5070304 CPUtime=1338.22 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 414894 0 0 0 133711 111 0 0 25 0 8 0 543817158 5191991296 1069298 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=5070304 CPUtime=1334.8 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 395558 0 0 0 133367 113 0 0 25 0 8 0 543817158 5191991296 1069298 33554432000 4194304 4627427 140735245176640 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=5070304 CPUtime=1334.97 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 267203 0 0 0 133411 86 0 0 25 0 8 0 543817158 5191991296 1069298 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=5070304 CPUtime=1340.01 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 308717 0 0 0 133906 95 0 0 25 0 8 0 543817158 5191991296 1069298 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=5070304 CPUtime=1328.36 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 297565 0 0 0 132732 104 0 0 25 0 8 0 543817158 5191991296 1069298 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=5070304 CPUtime=1344.94 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 349519 0 0 0 134393 101 0 0 25 0 8 0 543817158 5191991296 1069298 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10695.2
Current children cumulated vsize (KiB) 5070304

[startup+1347.1 s]
/proc/loadavg: 8.14 8.02 6.19 9/226 19194
/proc/meminfo: memFree=24161636/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=5070304 CPUtime=10708 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 2699962 0 0 0 1070006 796 0 0 25 0 8 0 543817158 5191991296 1069647 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19138/statm: 1267576 1069647 391 106 0 1262547 0
[pid=19138/tid=19139] ppid=19136 vsize=5070304 CPUtime=1338.14 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 341842 0 0 0 133713 101 0 0 25 0 8 0 543817158 5191991296 1069647 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=5070304 CPUtime=1339.82 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 414897 0 0 0 133871 111 0 0 25 0 8 0 543817158 5191991296 1069647 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=5070304 CPUtime=1336.41 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 395654 0 0 0 133527 114 0 0 25 0 8 0 543817158 5191991296 1069647 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309961 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=5070304 CPUtime=1336.57 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 267204 0 0 0 133571 86 0 0 25 0 8 0 543817158 5191991296 1069647 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309744 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=5070304 CPUtime=1341.61 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 308836 0 0 0 134066 95 0 0 25 0 8 0 543817158 5191991296 1069647 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=5070304 CPUtime=1329.95 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 297627 0 0 0 132891 104 0 0 25 0 8 0 543817158 5191991296 1069647 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=5070304 CPUtime=1346.54 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 349519 0 0 0 134553 101 0 0 25 0 8 0 543817158 5191991296 1069647 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10708
Current children cumulated vsize (KiB) 5070304

[startup+1347.51 s]
/proc/loadavg: 8.13 8.02 6.20 9/226 19194
/proc/meminfo: memFree=24160396/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=5070304 CPUtime=10711.3 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) R 19136 19138 19044 0 -1 4202496 2700029 0 0 0 1070331 796 0 0 25 0 8 0 543817158 5191991296 1069714 33554432000 4194304 4627427 140735245176640 18446744073709551615 4309703 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19138/statm: 1267576 1069714 391 106 0 1262547 0
[pid=19138/tid=19139] ppid=19136 vsize=5070304 CPUtime=1338.55 cores=0-7
/proc/19138/task/19139/stat : 19139 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 341863 0 0 0 133754 101 0 0 25 0 8 0 543817158 5191991296 1069714 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19138/tid=19140] ppid=19136 vsize=5070304 CPUtime=1340.23 cores=0-7
/proc/19138/task/19140/stat : 19140 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 414899 0 0 0 133912 111 0 0 25 0 8 0 543817158 5191991296 1069714 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19138/tid=19141] ppid=19136 vsize=5070304 CPUtime=1336.81 cores=0-7
/proc/19138/task/19141/stat : 19141 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 395661 0 0 0 133567 114 0 0 25 0 8 0 543817158 5191991296 1069714 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19138/tid=19142] ppid=19136 vsize=5070304 CPUtime=1336.97 cores=0-7
/proc/19138/task/19142/stat : 19142 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 267204 0 0 0 133611 86 0 0 25 0 8 0 543817158 5191991296 1069714 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=5070304 CPUtime=1342.03 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 308850 0 0 0 134107 96 0 0 25 0 8 0 543817158 5191991296 1069714 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19138/tid=19144] ppid=19136 vsize=5070304 CPUtime=1330.35 cores=0-7
/proc/19138/task/19144/stat : 19144 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 297650 0 0 0 132931 104 0 0 25 0 8 0 543817158 5191991296 1069714 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19138/tid=19145] ppid=19136 vsize=5070304 CPUtime=1346.95 cores=0-7
/proc/19138/task/19145/stat : 19145 (strangenight2-m) R 19136 19138 19044 0 -1 4202560 349519 0 0 0 134594 101 0 0 25 0 8 0 543817158 5191991296 1069714 33554432000 4194304 4627427 140735245176640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10711.3
Current children cumulated vsize (KiB) 5070304

[startup+1347.7 s]
/proc/loadavg: 8.13 8.02 6.20 9/226 19194
/proc/meminfo: memFree=24160396/32950928 swapFree=67111464/67111528
[pid=19138] ppid=19136 vsize=0 CPUtime=10711.8 cores=0-7
/proc/19138/stat : 19138 (strangenight2-m) Z 19136 19138 19044 0 -1 4203548 2700039 0 0 0 1070371 811 0 0 25 0 2 0 543817158 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19138/statm: 0 0 0 0 0 0 0
[pid=19138/tid=19143] ppid=19136 vsize=0 CPUtime=1342.22 cores=0-7
/proc/19138/task/19143/stat : 19143 (strangenight2-m) R 19136 19138 19044 0 -1 4203588 308852 0 0 0 134112 110 0 0 25 0 2 0 543817158 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10711.8
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1347.79
CPU time (s): 10711.9
CPU user time (s): 10703.7
CPU system time (s): 8.19775
CPU usage (%): 794.777
Max. virtual memory (cumulated for all children) (KiB): 5245452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10703.7
system time used= 8.19775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2700039
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= 228910
involuntary context switches= 47727

runsolver used 2.56661 second user time and 6.29504 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-02 09:43:25
IDJOB=3321031
IDBENCH=70769
IDSOLVER=1709
FILE ID=node149/3321031-1304322204
RUNJOBID= node149-1304322183-19058
PBS_JOBID= 13176777
Free space on /tmp= 73584 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321031-1304322204/watcher-3321031-1304322204 -o /tmp/evaluation-result-3321031-1304322204/solver-3321031-1304322204 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321031-1304322204.cnf

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

MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED=410225821

node149.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.806
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.61
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.806
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.83
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.806
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.83
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.806
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.73
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.806
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.806
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.806
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.82
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.806
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:     32950928 kB
MemFree:      28446064 kB
Buffers:        557880 kB
Cached:        1858460 kB
SwapCached:         60 kB
Active:        2199280 kB
Inactive:      1912332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28446064 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           19172 kB
Writeback:           0 kB
AnonPages:     1694920 kB
Mapped:          19652 kB
Slab:           318964 kB
PageTables:      11852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 22654264 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= 73580 MiB
End job on node149 at 2011-05-02 10:05:53