Trace number 3321038

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 12487.7 1566.79

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	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-3321038-1304322259.cnf'
0.00/0.02	c -- header says num vars:         200308
0.00/0.02	c -- header says num clauses:      598619
4.41/0.82	c -- clauses added:            0 learnts,       598619 normals,            0 xors
4.41/0.82	c -- vars added     200308
4.41/0.82	c Parsing time:  0.28 s
4.41/0.82	c  N st     0         0    200308    199539    399078         0   1396773         0   no data   no data
13.10/1.95	c asymm  cl-useful: 0/452/199522 lits-rem:0 time: 1.13
197.74/25.08	c Flit:    11 Blit:     55 bXBeca:    0 bXProp:  171 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 23.12
198.54/25.18	c Replacing      171 vars Replaced     3396 lits Time:     0.09 s 
199.39/25.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
199.39/25.29	c bin-w-bin subsume rem            0 bins  time:  0.04 s
200.20/25.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
240.07/30.31	c Subs w/ non-existent bins:     17 l-rem:      0 v-fix:    15 done:  37169 time:  4.91 s
242.47/30.65	c Removed useless bin:       0  fixed:     0  props:  20.07M  time:  0.34 s
259.18/32.72	c lits-rem:         0  cl-subs:     1430  v-elim:  66681  v-fix:    0  time:  1.95 s
259.18/32.77	c Finding binary XORs  T:     0.04 s  found:      12
259.96/32.82	c Replacing       12 vars Replaced      192 lits Time:     0.05 s 
260.81/32.94	c Finding non-binary XORs:     0.08 s (found:    7993, avg size: 3.0)
260.81/32.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
260.81/32.96	c calculated reachability. Time: 0.00
260.81/32.99	c Calc default polars -  time:   0.02 s pos:    1981 undec:   80072 neg:  118255
260.81/32.99	c =========================================================================================
260.81/32.99	c types(t): F = full restart, N = normal restart
260.81/32.99	c types(t): S = simplification begin/end, E = solution found
260.81/32.99	c restart types(rt): st = static, dy = dynamic
260.81/32.99	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
260.81/32.99	c  B st     0         0    133337    178626    248652         0   1156172         0   no data   no data
298.08/37.63	c  N dy    11      5596    133337    178626    248690      5452   1156172    337097     24.65     26.71
328.66/42.02	c  N dy    16     10158    133306    178626    249064      9916   1156172    502784     18.58     20.35
361.14/48.65	c  N dy    26     14449    133306    178626    249582     14105   1156172    658220     17.04     17.99
400.31/53.55	c  N dy    35     19337    133289    178626    249634     18717   1156172    919948     17.04     19.98
435.48/57.93	c  N dy    41     24233    133286    178626    250241     13728   1156172    466352     15.90     17.24
441.07/58.62	c  F st    42     25000    133286    178626    250241     14482   1156172    506814     15.65      7.59
465.84/61.76	c  N st    47     28295    133286    178347    250015     17716   1153598    706536     15.65   no data
476.24/63.07	c  S st    48     30000    133286    178347    250019     19398   1153598    846830     15.65   no data
486.63/64.33	c  S st    48     30501    133286    178347    250040     19877   1153598    870996     15.65   no data
486.63/64.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
628.90/82.17	c Flit:     0 Blit:     18 bXBeca:    0 bXProp:   44 Bins:  80707 BRemL:      8 BRemN:      0 P: 200.1M T: 17.79
629.70/82.27	c Replacing       45 vars Replaced     1307 lits Time:     0.09 s 
630.50/82.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
630.50/82.40	c bin-w-bin subsume rem          163 bins  time:  0.05 s
632.16/82.50	c subs with bin:      359  lits-rem:       772  v-fix:    0  time:  0.10 s
660.86/86.18	c Subs w/ non-existent bins:    573 l-rem:   2529 v-fix:     0 done:  54351 time:  3.67 s
662.46/86.38	c Removed useless bin:       8  fixed:     0  props:  20.01M  time:  0.21 s
671.25/87.41	c lits-rem:       313  cl-subs:     1612  v-elim:  55979  v-fix:    0  time:  0.97 s
671.25/87.48	c subs with bin:       24  lits-rem:       285  v-fix:    0  time:  0.05 s
672.85/87.63	c lits-rem:       276  cl-subs:      295  v-elim:      0  v-fix:    0  time:  0.10 s
678.44/88.39	c asymm  cl-useful: 539/17876/209147 lits-rem:539 time: 0.76
679.24/88.42	c calculated reachability. Time: 0.01
679.24/88.42	c  N dy    48     30501     77244    209147    156867      7123   1069724    240621     15.65   no data
679.24/88.46	c Finding binary XORs  T:     0.04 s  found:      31
709.45/92.49	c  N dy    57     34597     77235    209147    157776     11113   1069724    410893     15.24     20.14
731.77/95.22	c  N dy    72     38746     77235    209147    157786     15144   1069724    586925     15.64     16.62
753.40/97.91	c  N dy    89     42934     77233    209147    158156     10401   1069724    332865     16.12     17.20
764.52/99.33	c  S st    95     45753     77233    209147    159023     13129   1069724    449245     15.94      9.88
770.98/100.12	c  S st    95     46254     77233    209147    159081     13571   1069724    473386     15.94   no data
770.98/100.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
869.03/112.47	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   44 Bins:   5964 BRemL:     13 BRemN:      0 P: 200.1M T: 12.30
869.83/112.54	c Replacing       76 vars Replaced     1992 lits Time:     0.07 s 
870.63/112.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
870.63/112.65	c bin-w-bin subsume rem          423 bins  time:  0.03 s
871.43/112.74	c subs with bin:      713  lits-rem:       208  v-fix:    0  time:  0.08 s
877.03/113.41	c Subs w/ non-existent bins:   1931 l-rem:   8142 v-fix:     0 done:  77156 time:  0.67 s
878.61/113.66	c Removed useless bin:     330  fixed:     0  props:  20.01M  time:  0.25 s
881.02/113.92	c lits-rem:         0  cl-subs:      274  v-elim:    807  v-fix:    0  time:  0.26 s
881.82/114.04	c subs with bin:       34  lits-rem:       313  v-fix:    0  time:  0.08 s
883.41/114.21	c lits-rem:       247  cl-subs:      223  v-elim:      0  v-fix:    0  time:  0.12 s
889.81/115.08	c asymm  cl-useful: 11/14120/206982 lits-rem:11 time: 0.87
890.61/115.11	c calculated reachability. Time: 0.01
890.61/115.11	c  N dy    95     46254     76349    206982    162344     11573   1067104    363721     15.94   no data
890.61/115.15	c Finding binary XORs  T:     0.04 s  found:     144
911.44/117.72	c  N dy   108     50354     76349    206982    162361     15572   1067104    537861     16.10     17.50
939.35/121.23	c  N dy   124     54462     76346    206982    163978     19465   1067104    711992     16.18     33.22
957.73/123.53	c  N dy   134     58490     76345    206982    164125     23346   1067104    879675     16.08     34.17
987.29/127.25	c  N dy   147     64713     76345    206982    164184     15256   1067104    390552     16.00     16.89
1008.13/129.81	c  N dy   158     68888     76343    206982    164707     19267   1067104    584343     15.94     27.21
1011.26/130.27	c  S st   160     69381     76343    206982    164712     19747   1067104    610763     15.92     16.33
1017.66/131.04	c  S st   160     69883     76343    206982    164728     20230   1067104    645292     15.92   no data
1017.66/131.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1112.55/143.46	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   47 Bins:  10264 BRemL:      3 BRemN:      0 P: 200.0M T: 12.34
1113.35/143.55	c Replacing      191 vars Replaced     5991 lits Time:     0.08 s 
1114.15/143.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1114.15/143.67	c bin-w-bin subsume rem          337 bins  time:  0.03 s
1114.94/143.76	c subs with bin:      457  lits-rem:        16  v-fix:    0  time:  0.09 s
1120.53/144.42	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:  76151 time:  0.66 s
1122.13/144.68	c Removed useless bin:      34  fixed:     0  props:  20.01M  time:  0.26 s
1124.53/144.90	c lits-rem:         0  cl-subs:        9  v-elim:     14  v-fix:    0  time:  0.22 s
1125.33/145.08	c subs with bin:       69  lits-rem:       292  v-fix:    0  time:  0.13 s
1127.72/145.32	c lits-rem:       388  cl-subs:      464  v-elim:      0  v-fix:    0  time:  0.19 s
1134.98/146.23	c asymm  cl-useful: 83/5700/206323 lits-rem:86 time: 0.91
1134.98/146.25	c calculated reachability. Time: 0.01
1134.98/146.26	c  N dy   160     69883     76137    206323    173425     19325   1062439    619433     15.92   no data
1134.98/146.30	c Finding binary XORs  T:     0.04 s  found:       8
1159.70/149.33	c  N dy   176     74438     76130    206323    181337     23756   1062439    837796     16.11     17.03
1184.48/152.46	c  N dy   195     79460     76129    206323    181563     28614   1062439   1093152     16.25     17.44
1199.66/154.36	c Finding binary XORs  T:     0.05 s  found:      86
1213.24/156.10	c  N dy   212     84762     76128    206178    181370     33720   1059457   1356850     16.27     17.39
1230.83/158.28	c  F st   231     87502     76128    206178    181379     18444   1059457    447581     16.47     11.31
1231.69/158.36	c Replacing       94 vars Replaced     3842 lits Time:     0.05 s 
1247.62/160.37	c  N st   236     90804     76033    205959    181131     21675   1058186    651857     16.47   no data
1281.99/164.67	c  N dy   259     96689     76030    205959    181442     27238   1058186    911756     16.88     31.15
1314.75/168.70	c  N dy   270    102882     76028    205959    181663     33161   1058186   1151922     16.51     17.44
1325.95/170.17	c  S st   277    104824     76028    205959    181669     35079   1058186   1254582     16.50     12.67
1332.33/170.95	c  S st   277    105328     76028    205959    181695     35555   1058186   1290748     16.50   no data
1332.33/170.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1446.63/185.27	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:   52 Bins:   9170 BRemL:      8 BRemN:      0 P: 200.1M T: 14.28
1447.44/185.38	c Replacing       52 vars Replaced     9329 lits Time:     0.10 s 
1448.24/185.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1449.03/185.50	c bin-w-bin subsume rem          289 bins  time:  0.04 s
1449.03/185.59	c subs with bin:     1080  lits-rem:         7  v-fix:    0  time:  0.09 s
1455.42/186.30	c Subs w/ non-existent bins:      2 l-rem:      1 v-fix:     0 done:  75974 time:  0.71 s
1457.02/186.54	c Removed useless bin:       3  fixed:     0  props:  17.06M  time:  0.23 s
1458.62/186.78	c lits-rem:         9  cl-subs:       82  v-elim:     26  v-fix:    0  time:  0.24 s
1461.81/187.14	c subs with bin:     1025  lits-rem:      2113  v-fix:    0  time:  0.29 s
1465.81/187.69	c lits-rem:      1890  cl-subs:     1043  v-elim:      0  v-fix:    0  time:  0.50 s
1473.78/188.62	c asymm  cl-useful: 187/3902/204517 lits-rem:191 time: 0.92
1473.78/188.64	c calculated reachability. Time: 0.01
1473.78/188.65	c  N dy   277    105328     75948    204516    189953     31864   1053805   1113800     16.50   no data
1473.78/188.69	c Finding binary XORs  T:     0.05 s  found:      48
1511.36/193.31	c  N dy   286    112078     75944    204516    198911     38451   1053804   1405956     16.16     17.03
1537.74/196.61	c Finding binary XORs  T:     0.05 s  found:      90
1550.51/198.26	c  N dy   306    119296     75928    204289    208960     25626   1052144    675455     16.05     17.95
1597.67/204.14	c  N dy   335    126968     75923    204289    219818     32990   1052143   1068483     16.20     63.20
1600.07/204.44	c Finding binary XORs  T:     0.05 s  found:      45
1651.23/210.89	c  N dy   359    135587     75919    204121    219837     41257   1050810   1447166     16.15     17.12
1706.44/217.72	c  N dy   379    145097     75915    204121    220217     28665   1050810    819783     16.04     17.07
1724.82/220.09	c Finding binary XORs  T:     0.05 s  found:      75
1762.32/224.72	c  N dy   407    155254     75905    203943    230350     38362   1049385   1224330     15.87     16.78
1779.90/226.90	c  S st   419    157992     75899    203943    230568     41028   1049385   1383802     15.92     11.94
1787.10/227.89	c  S st   419    158499     75899    203943    230582     41516   1049385   1425136     15.92   no data
1787.90/227.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1910.97/243.31	c Flit:     1 Blit:      2 bXBeca:    0 bXProp:   28 Bins:  18460 BRemL:      2 BRemN:      0 P: 200.1M T: 15.38
1911.77/243.44	c Replacing      286 vars Replaced    15531 lits Time:     0.11 s 
1912.57/243.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1912.57/243.57	c bin-w-bin subsume rem          861 bins  time:  0.04 s
1913.37/243.67	c subs with bin:     1231  lits-rem:        48  v-fix:    0  time:  0.10 s
1918.97/244.40	c Subs w/ non-existent bins:      5 l-rem:      2 v-fix:     0 done:  75606 time:  0.73 s
1920.57/244.59	c Removed useless bin:       1  fixed:     0  props:  11.12M  time:  0.19 s
1922.97/244.84	c lits-rem:         1  cl-subs:      153  v-elim:     35  v-fix:    0  time:  0.25 s
1925.37/245.18	c subs with bin:      299  lits-rem:      2178  v-fix:    0  time:  0.26 s
1930.15/245.72	c lits-rem:      2145  cl-subs:     1273  v-elim:      0  v-fix:    0  time:  0.48 s
1936.55/246.58	c asymm  cl-useful: 4/2646/201946 lits-rem:4 time: 0.86
1937.35/246.61	c calculated reachability. Time: 0.01
1937.35/246.61	c  N dy   419    158499     75571    201946    246864     37171   1043300   1265808     15.92   no data
1937.35/246.66	c Finding binary XORs  T:     0.05 s  found:      34
1982.11/252.26	c Finding binary XORs  T:     0.05 s  found:      70
2002.89/254.80	c  N dy   452    170171     75552    201683    262717     26213   1040901    719778     15.79     16.80
2073.21/263.60	c  N dy   485    181785     75552    201683    263278     37481   1040900   1195317     15.64     16.71
2129.96/270.71	c Finding binary XORs  T:     0.05 s  found:      75
2150.75/273.35	c  N dy   531    193925     75549    201472    267378     25364   1039595    662895     15.79     16.98
2231.48/283.40	c  N dy   560    207985     75546    201472    267946     39118   1039592   1288592     15.61     16.52
2332.97/296.19	c  N dy   597    224448     75544    201472    268464     30956   1039592    849304     15.39     16.31
2382.54/302.39	c Finding binary XORs  T:     0.05 s  found:     137
2413.71/306.25	c  S st   642    237748     75538    201129    275436     43665   1037407   1427970     15.43      8.59
2421.70/307.23	c  S st   642    238248     75538    201129    275459     44138   1037407   1459522     15.43   no data
2421.70/307.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2548.78/323.18	c Flit:     2 Blit:      3 bXBeca:    0 bXProp:   20 Bins:  20357 BRemL:      2 BRemN:      0 P: 200.1M T: 15.90
2549.58/323.30	c Replacing      336 vars Replaced    11503 lits Time:     0.11 s 
2550.43/323.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2551.24/323.43	c bin-w-bin subsume rem         1475 bins  time:  0.05 s
2551.97/323.53	c subs with bin:     1389  lits-rem:        23  v-fix:    0  time:  0.10 s
2558.36/324.35	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  75197 time:  0.81 s
2560.02/324.51	c Removed useless bin:       4  fixed:     0  props:   8.40M  time:  0.16 s
2561.55/324.76	c lits-rem:         0  cl-subs:       34  v-elim:     60  v-fix:    0  time:  0.25 s
2563.95/325.09	c subs with bin:      261  lits-rem:      1592  v-fix:    0  time:  0.26 s
2568.01/325.59	c lits-rem:      1891  cl-subs:     1240  v-elim:      0  v-fix:    0  time:  0.44 s
2575.15/326.45	c asymm  cl-useful: 11/3456/199074 lits-rem:17 time: 0.86
2575.15/326.48	c calculated reachability. Time: 0.01
2575.15/326.48	c  N dy   642    238248     75137    199072    279024     40339   1031548   1279078     15.43   no data
2575.95/326.60	c Finding binary XORs  T:     0.04 s  found:     267
2687.04/340.44	c  N dy   708    254520     75121    198520    275673     32960   1028134    822323     15.50     16.78
2794.12/353.81	c  N dy   760    271210     75114    198520    276083     49193   1028130   1600120     15.49     16.32
2795.72/354.06	c Finding binary XORs  T:     0.05 s  found:      87
2929.26/370.79	c  N dy   815    291800     75084    198314    299694     44421   1026961   1259744     15.36     16.19
3044.28/385.10	c  F st   885    306250     75072    198314    300457     58582   1026961   1972510     15.50      8.09
3045.08/385.22	c Replacing      357 vars Replaced    16237 lits Time:     0.08 s 
3077.92/389.37	c  N dy   891    311443     74716    197475    286280     63162   1021880   2256472     15.50   no data
3125.82/395.30	c Finding binary XORs  T:     0.05 s  found:     239
3227.39/408.03	c  N dy   962    331364     74698    197359    287052     55834   1021059   1660906     15.55     53.16
3336.82/421.73	c Finding binary XORs  T:     0.05 s  found:     196
3371.99/426.18	c  N dy  1032    351615     74683    196655    318576     48736   1017017   1321385     15.61     16.85
3416.75/431.72	c  S st  1053    357374     74683    196655    319049     54371   1017017   1600261     15.61      9.63
3423.15/432.54	c  S st  1053    357874     74683    196655    319070     54847   1017017   1625075     15.61   no data
3423.15/432.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3555.82/449.15	c Flit:     1 Blit:      2 bXBeca:    0 bXProp:   10 Bins:  17917 BRemL:      3 BRemN:      0 P: 200.0M T: 16.55
3556.62/449.28	c Replacing      448 vars Replaced    20471 lits Time:     0.12 s 
3557.42/449.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3558.22/449.46	c bin-w-bin subsume rem         4455 bins  time:  0.08 s
3559.01/449.56	c subs with bin:     1870  lits-rem:        54  v-fix:    0  time:  0.10 s
3565.41/450.39	c Subs w/ non-existent bins:      3 l-rem:      0 v-fix:     0 done:  74234 time:  0.83 s
3567.00/450.57	c Removed useless bin:       4  fixed:     0  props:   8.87M  time:  0.17 s
3569.40/450.85	c lits-rem:         4  cl-subs:       89  v-elim:    132  v-fix:    0  time:  0.28 s
3571.79/451.14	c subs with bin:      541  lits-rem:      2321  v-fix:    0  time:  0.22 s
3574.98/451.56	c lits-rem:      1867  cl-subs:      829  v-elim:      0  v-fix:    0  time:  0.36 s
3582.18/452.42	c asymm  cl-useful: 0/334/194074 lits-rem:0 time: 0.86
3582.18/452.45	c calculated reachability. Time: 0.01
3582.18/452.46	c  N dy  1053    357874     74102    194074    290882     49365   1010557   1270897     15.61   no data
3582.98/452.50	c Finding binary XORs  T:     0.05 s  found:       7
3702.94/467.52	c  N dy  1109    377979     74086    194074    293377     69033   1010553   2192951     15.53     16.37
3785.19/477.89	c Finding binary XORs  T:     0.05 s  found:     276
3851.61/486.17	c  N dy  1192    398023     74073    193299    339916     61886   1006095   1858998     15.62     17.04
4005.00/505.30	c  N dy  1273    418872     74053    193299    340539     53788   1006095   1298282     15.60     17.00
4175.24/526.68	c  N dy  1353    439047     74046    193299    341058     73519   1006095   2248109     15.63     17.57
4302.33/542.53	c Finding binary XORs  T:     0.05 s  found:     460
4303.13/542.61	c Replacing      745 vars Replaced    25034 lits Time:     0.08 s 
4331.11/546.17	c  N dy  1428    459188     73286    191248    342034     62862    994786   1617303     15.65     16.86
4502.20/567.51	c  N dy  1516    479495     73271    191248    344068     82490    994786   2642568     15.75     17.04
4630.03/583.51	c Finding binary XORs  T:     0.05 s  found:     352
4656.40/586.84	c  N dy  1572    499967     73264    190296    344896     72499    990431   1882235     15.71     16.89
4821.85/607.59	c  N dy  1659    520388     73259    190296    346157     92515    990431   2930401     15.82     17.08
4940.96/622.45	c Finding binary XORs  T:     0.05 s  found:     469
4941.81/622.55	c Replacing      826 vars Replaced    37397 lits Time:     0.10 s 
4964.12/625.34	c  S st  1725    536811     72400    187828    343452     76004    977802   1848883     15.82      9.30
4972.91/626.40	c  S st  1725    537312     72394    187828    343461     76489    977802   1883651     15.82   no data
4972.91/626.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
5090.41/641.13	c Flit:    15 Blit:      0 bXBeca:    0 bXProp:  108 Bins:   8349 BRemL:      4 BRemN:      0 P: 200.0M T: 14.66
5091.27/641.27	c Replacing      108 vars Replaced    25600 lits Time:     0.13 s 
5092.07/641.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
5092.80/641.45	c bin-w-bin subsume rem         9240 bins  time:  0.09 s
5093.60/641.55	c subs with bin:     2401  lits-rem:        84  v-fix:    0  time:  0.10 s
5100.87/642.46	c Subs w/ non-existent bins:     35 l-rem:      2 v-fix:     0 done:  72258 time:  0.91 s
5102.40/642.64	c Removed useless bin:       9  fixed:     0  props:   8.00M  time:  0.18 s
5104.80/642.93	c lits-rem:         5  cl-subs:       59  v-elim:    152  v-fix:    0  time:  0.30 s
5108.00/643.36	c subs with bin:      695  lits-rem:      5320  v-fix:    0  time:  0.32 s
5112.79/643.95	c lits-rem:      2296  cl-subs:     1178  v-elim:      0  v-fix:    0  time:  0.53 s
5119.18/644.79	c asymm  cl-useful: 0/262/184618 lits-rem:0 time: 0.84
5119.98/644.82	c calculated reachability. Time: 0.01
5119.98/644.82	c  N dy  1725    537312     72106    184618    314320     69909    970674   1556886     15.82   no data
5172.74/651.43	c Finding binary XORs  T:     0.05 s  found:     123
5271.84/663.85	c  N dy  1814    557389     72092    184448    317256     89255    969908   2488100     15.84     16.76
5432.50/683.98	c  N dy  1876    577696     72076    184448    318175     79073    969906   1826212     15.81     17.03
5524.41/695.41	c Finding binary XORs  T:     0.05 s  found:     438
5581.96/702.68	c Finding binary XORs  T:     0.05 s  found:     130
5615.53/706.81	c  N dy  1975    598061     72054    182796    332133     97234    962631   2723098     15.91     17.50
5777.04/727.03	c  N dy  2059    618243     72047    182796    333659     85360    962631   2007712     15.93     17.51
5905.67/743.13	c Finding binary XORs  T:     0.05 s  found:     182
5906.47/743.26	c Replacing      874 vars Replaced    42746 lits Time:     0.12 s 
5978.41/752.20	c  N dy  2146    639364     71175    181379    331694    105380    955130   3002355     15.98     16.86
6150.24/773.77	c  N dy  2225    659860     71135    181379    334084     92393    955130   2190731     16.00     16.84
6205.41/780.64	c Finding binary XORs  T:     0.05 s  found:     619
6326.89/795.84	c  N dy  2311    680456     71116    179402    334533    111283    947146   3068620     16.04     16.95
6468.36/813.57	c Finding binary XORs  T:     0.05 s  found:     294
6469.16/813.67	c Replacing      917 vars Replaced    38283 lits Time:     0.10 s 
6502.72/817.89	c  N dy  2380    700488     70195    177462    337744     96548    937371   2070980     16.00     17.26
6691.41/841.41	c  N dy  2475    720611     70161    177462    339131    116412    937370   3042679     16.05     17.09
6870.36/863.80	c  N dy  2540    740618     70134    177462    339620    100926    937370   1989120     15.99     20.10
6918.30/869.88	c Finding binary XORs  T:     0.05 s  found:     977
6919.10/870.00	c Replacing      983 vars Replaced    52381 lits Time:     0.12 s 
7004.61/880.61	c Finding binary XORs  T:     0.05 s  found:      33
7061.41/887.75	c  N dy  2648    760625     69104    173075    358870    118325    918863   2945941     16.09     21.05
7239.55/910.05	c  N dy  2732    780943     69086    173075    359444    103361    918863   2046814     16.12     17.20
7351.49/924.06	c Finding binary XORs  T:     0.05 s  found:     235
7428.95/933.70	c  N dy  2805    800980     69070    172457    367308    122634    916695   2952975     16.15     30.61
7479.30/940.03	c  S st  2839    805968     69064    172457    367548    127543    916695   3206851     16.18   no data
7486.50/940.91	c  S st  2839    806472     69064    172457    367557    128036    916695   3233874     16.18   no data
7486.50/940.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
7595.19/954.56	c Flit:     2 Blit:      3 bXBeca:    0 bXProp:   80 Bins:   6718 BRemL:    989 BRemN:      0 P: 200.2M T: 13.58
7596.85/954.74	c Replacing      349 vars Replaced    32959 lits Time:     0.17 s 
7597.65/954.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
7597.65/954.89	c bin-w-bin subsume rem        18649 bins  time:  0.06 s
7599.18/955.00	c subs with bin:     2490  lits-rem:        76  v-fix:    0  time:  0.10 s
7607.17/956.07	c Subs w/ non-existent bins:     12 l-rem:      0 v-fix:     0 done:  68710 time:  1.07 s
7608.77/956.23	c Removed useless bin:      10  fixed:     0  props:   6.02M  time:  0.16 s
7611.17/956.56	c lits-rem:         4  cl-subs:      129  v-elim:    213  v-fix:    0  time:  0.33 s
7619.96/957.61	c subs with bin:     1128  lits-rem:     15670  v-fix:    0  time:  0.85 s
7635.94/959.65	c lits-rem:      5161  cl-subs:     3204  v-elim:      0  v-fix:    0  time:  1.98 s
7642.34/960.47	c asymm  cl-useful: 0/258/169001 lits-rem:0 time: 0.82
7643.14/960.51	c calculated reachability. Time: 0.01
7643.14/960.51	c  N dy  2839    806472     68497    169001    350121    117108    908288   2685297     16.18   no data
7643.14/960.56	c Finding binary XORs  T:     0.05 s  found:      16
7804.59/980.73	c  N dy  2873    827153     68469    169001    351926    102288    908288   1936183     16.09     17.17
7906.89/993.55	c Finding binary XORs  T:     0.05 s  found:     649
7978.79/1002.54	c  N dy  2957    847189     68445    166900    348065    121173    900809   2691665     16.11     17.17
8192.20/1029.24	c  N dy  3010    869578     68442    166900    349175    105662    900809   1745061     16.06     17.24
8193.00/1029.35	c Finding binary XORs  T:     0.05 s  found:     427
8193.80/1029.46	c Replacing     1093 vars Replaced    44546 lits Time:     0.11 s 
8349.66/1048.91	c Finding binary XORs  T:     0.05 s  found:     196
8412.00/1056.77	c  N dy  3081    890010     67329    163955    351312    124661    887292   2622072     16.05     17.13
8635.80/1084.71	c  N dy  3172    910288     67299    163955    353876    106758    887292   1593637     16.10     17.91
8665.38/1088.44	c Finding binary XORs  T:     0.05 s  found:     565
8666.18/1088.53	c Replacing      763 vars Replaced    29456 lits Time:     0.09 s 
8828.50/1108.82	c  N dy  3263    930334     66523    161312    352740    125678    876133   2467204     16.13     21.77
9029.90/1134.10	c  N dy  3341    951062     66519    161312    353067    146039    876132   3443047     16.12     17.10
9031.44/1134.21	c Finding binary XORs  T:     0.05 s  found:     566
9216.08/1157.32	c  N dy  3404    971281     66493    159458    351840    126347    870409   2153873     16.10     18.23
9360.74/1175.46	c Finding binary XORs  T:     0.05 s  found:     438
9361.54/1175.59	c Replacing     1005 vars Replaced    49419 lits Time:     0.13 s 
9439.08/1185.24	c  N dy  3485    991394     65478    156942    346773    144820    858939   2990914     16.10     17.29
9650.88/1211.77	c  N dy  3561   1011676     65463    156942    348017    125514    858938   1903516     16.08     17.21
9759.65/1225.30	c Finding binary XORs  T:     0.05 s  found:     509
9847.56/1236.38	c  N dy  3637   1031708     65453    155200    345672    144399    853448   2761193     16.06     17.38
9954.61/1249.77	c Finding binary XORs  T:     0.05 s  found:     246
9956.21/1249.92	c Replacing      755 vars Replaced    46902 lits Time:     0.15 s 
10078.48/1265.28	c  N dy  3727   1052046     64641    153581    341339    123985    845792   1587486     16.09     17.68
10269.58/1289.14	c  F st  3810   1071877     64615    153581    342876    143494    845791   2451085     16.09   no data
10275.91/1289.94	c  N st  3811   1072128     64615    151049    343406    142644    838377   2400369     16.09   no data
10282.30/1290.70	c Finding binary XORs  T:     0.05 s  found:     711
10283.10/1290.83	c Replacing      711 vars Replaced    37953 lits Time:     0.13 s 
10502.11/1318.27	c  N dy  3880   1092456     63876    150277    343069    162462    833403   3396463     16.10     17.03
10538.88/1322.86	c Finding binary XORs  T:     0.05 s  found:     633
10742.69/1348.33	c  N dy  3960   1114908     63846    148021    345290    142572    827103   2130856     16.09     17.30
10743.49/1348.43	c Finding binary XORs  T:     0.05 s  found:     384
10744.35/1348.55	c Replacing     1017 vars Replaced    48495 lits Time:     0.11 s 
10938.59/1372.89	c  N dy  4041   1134961     62806    145559    343945    161358    816122   2968818     16.08     18.89
11159.91/1400.54	c  N dy  4117   1155165     62789    145559    344478    139517    816121   1718758     16.06     17.17
11329.37/1421.72	c Finding binary XORs  T:     0.05 s  found:    1041
11330.16/1421.82	c Replacing     1041 vars Replaced    38334 lits Time:     0.10 s 
11374.92/1427.42	c  N dy  4214   1175202     61719    140611    341846    156529    798099   2606830     16.06     17.17
11560.35/1450.69	c Finding binary XORs  T:     0.05 s  found:     402
11573.14/1452.21	c  N dy  4311   1195512     61705    139118    345900    174322    794181   3494387     16.08     17.06
11637.09/1460.21	c Finding binary XORs  T:     0.05 s  found:     284
11637.89/1460.37	c Replacing      686 vars Replaced    42874 lits Time:     0.16 s 
11721.08/1470.78	c  S st  4373   1209710     60893    137433    354031    147068    786601   1848120     16.07     12.12
11729.06/1471.76	c  S st  4373   1210214     60893    137433    354034    147563    786601   1869324     16.07   no data
11729.87/1471.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
11835.37/1485.01	c Flit:     2 Blit:      2 bXBeca:    0 bXProp:   24 Bins:    197 BRemL:    557 BRemN:      0 P: 200.0M T: 13.18
11836.10/1485.14	c Replacing       25 vars Replaced     1039 lits Time:     0.12 s 
11836.90/1485.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11836.90/1485.28	c bin-w-bin subsume rem        23797 bins  time:  0.06 s
11837.70/1485.37	c subs with bin:     1156  lits-rem:       182  v-fix:    0  time:  0.09 s
11844.89/1486.25	c Subs w/ non-existent bins:     41 l-rem:      2 v-fix:     0 done:  60841 time:  0.88 s
11845.68/1486.39	c Removed useless bin:      17  fixed:     0  props:   4.95M  time:  0.14 s
11848.88/1486.75	c lits-rem:        15  cl-subs:      286  v-elim:    551  v-fix:    0  time:  0.36 s
11852.14/1487.17	c subs with bin:     1537  lits-rem:     23836  v-fix:    0  time:  0.28 s
11856.87/1487.77	c lits-rem:      2587  cl-subs:     3334  v-elim:      0  v-fix:    0  time:  0.55 s
11864.06/1488.62	c asymm  cl-useful: 0/345/135570 lits-rem:0 time: 0.85
11864.06/1488.65	c calculated reachability. Time: 0.00
11864.06/1488.65	c  N dy  4373   1210214     60290    135570    327268    135322    781608   1546649     16.07   no data
12025.52/1508.85	c Finding binary XORs  T:     0.05 s  found:    1089
12026.32/1508.96	c Replacing     1089 vars Replaced    47199 lits Time:     0.11 s 
12091.07/1517.02	c  N dy  4435   1232503     59103    130901    342639    153092    764114   2427063     16.02     16.88
12242.12/1535.92	c Finding binary XORs  T:     0.05 s  found:     786
12242.92/1536.06	c Replacing      786 vars Replaced    42298 lits Time:     0.15 s 
12322.05/1545.99	c  N dy  4521   1253225     58231    127455    352234    168218    751912   3301011     16.00     17.63
12347.63/1549.17	c Finding binary XORs  T:     0.05 s  found:     105
12487.50/1566.60	c Following stats are for *FIRST FINISHED THREAD ONLY*
12487.50/1566.60	c num threads              : 8          
12487.50/1566.60	c restarts                 : 5277       
12487.50/1566.60	c dynamic restarts         : 5247       
12487.50/1566.60	c static restarts          : 30         
12487.50/1566.60	c full restarts            : 4          
12487.50/1566.60	c total simplify time      : 8.84       
12487.50/1566.60	c learnts DL2              : 0          
12487.50/1566.60	c learnts size 2           : 1686557    
12487.50/1566.60	c learnts size 1           : 4763        (2.38      % of vars)
12487.50/1566.60	c filedLit time            : 101.49      (6.49      % time)
12487.50/1566.60	c v-elim SatELite          : 124510      (62.16     % vars)
12487.50/1566.60	c SatELite time            : 17.94       (1.15      % time)
12487.50/1566.60	c v-elim xor               : 0           (0.00      % vars)
12487.50/1566.60	c xor elim time            : 0.37        (0.02      % time)
12487.50/1566.60	c num binary xor trees     : 872        
12487.50/1566.60	c binxor trees' crown      : 16849       (19.32     leafs/tree)
12487.50/1566.60	c bin xor find time        : 2.36       
12487.50/1566.60	c OTF clause improved      : 27781       (0.02      clauses/conflict)
12487.50/1566.60	c OTF impr. size diff      : 35345       (1.27       lits/clause)
12487.50/1566.60	c OTF cl watch-shrink      : 518555      (0.36      clauses/conflict)
12487.50/1566.60	c OTF cl watch-sh-lit      : 1735111     (3.35       lits/clause)
12487.50/1566.60	c tried to recurMin cls    : 0           (0.00       % of conflicts)
12487.50/1566.60	c updated cache            : 0           (nan        lits/tried recurMin)
12487.50/1566.60	c unit cls recevied        : 612         (12.85     % of units)
12487.50/1566.60	c unit cls sent            : 278         (5.84      % of units)
12487.50/1566.60	c bin cls recevied         : 488014     
12487.50/1566.60	c bin cls sent             : 58053      
12487.50/1566.60	c clauses over max glue    : 0           (0.00      % of all clauses)
12487.50/1566.60	c conflicts                : 1459535     (933.47    / sec)
12487.50/1566.60	c decisions                : 9059342     (0.48      % random)
12487.50/1566.60	c bogo-props               : 40280095565 (25761795.87 / sec)
12487.50/1566.60	c conflict literals        : 72891463    (43.33     % deleted)
12487.50/1566.60	c Memory used              : 4808.72     MB
12487.50/1566.60	c single-thread CPU time   : 1563.56     s
12487.50/1566.60	c all-threads sum CPU time : 12478.48    s
12487.50/1566.60	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-3321038-1304322259/watcher-3321038-1304322259 -o /tmp/evaluation-result-3321038-1304322259/solver-3321038-1304322259 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321038-1304322259.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: 5.29 1.71 0.60 1/240 26813
/proc/meminfo: memFree=28749404/32950928 swapFree=67054472/67111528
[pid=26813] ppid=26811 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 413 0 0 0 2 0 0 0 23 0 8 0 622456651 94400512 352 33554432000 4194304 4627427 140735749366432 18446744073709551615 47039797516210 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26813/statm: 23047 352 299 106 0 18018 0
[pid=26813/tid=26814] ppid=26811 vsize=92188 CPUtime=0 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 622456651 94400512 352 33554432000 4194304 4627427 140735749366432 18446744073709551615 47039797516204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=92188 CPUtime=0 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622456651 94400512 352 33554432000 4194304 4627427 140735749366432 18446744073709551615 47039797516210 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=92188 CPUtime=0 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622456652 94400512 352 33554432000 4194304 4627427 140735749366432 18446744073709551615 47039797516204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=92188 CPUtime=0 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622456652 94400512 352 33554432000 4194304 4627427 140735749366432 18446744073709551615 47039797516204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=92188 CPUtime=0 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622456652 94400512 352 33554432000 4194304 4627427 140735749366432 18446744073709551615 47039797516210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=92188 CPUtime=0 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622456652 94400512 352 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=92188 CPUtime=0 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622456652 94400512 352 33554432000 4194304 4627427 140735749366432 18446744073709551615 47039797516210 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.073946 s]
/proc/loadavg: 5.29 1.71 0.60 1/240 26813
/proc/meminfo: memFree=28749404/32950928 swapFree=67054472/67111528
[pid=26813] ppid=26811 vsize=636692 CPUtime=0.39 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 14551 0 0 0 23 16 0 0 17 0 8 0 622456651 651972608 12580 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499167 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 159173 12611 339 106 0 154144 0
[pid=26813/tid=26814] ppid=26811 vsize=636692 CPUtime=0.04 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 1627 0 0 0 2 2 0 0 17 0 8 0 622456651 651972608 12613 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=636692 CPUtime=0.05 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) S 26811 26813 26751 0 -1 4202560 1812 0 0 0 3 2 0 0 17 0 8 0 622456651 651972608 12631 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499118 0 0 4096 2 18446604467428733888 0 0 -1 4 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=636692 CPUtime=0.04 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) S 26811 26813 26751 0 -1 4202560 1839 0 0 0 3 1 0 0 17 0 8 0 622456652 651972608 12647 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499118 0 0 4096 2 18446604467428733888 0 0 -1 1 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=636692 CPUtime=0.04 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) S 26811 26813 26751 0 -1 4202560 1827 0 0 0 3 1 0 0 17 0 8 0 622456652 651972608 12657 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499118 0 0 4096 2 18446604467428733888 0 0 -1 3 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=636692 CPUtime=0.04 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 1826 0 0 0 3 1 0 0 17 0 8 0 622456652 651972608 12726 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=636692 CPUtime=0.03 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) S 26811 26813 26751 0 -1 4202560 1627 0 0 0 2 1 0 0 17 0 8 0 622456652 651972608 12763 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499118 0 0 4096 2 18446604467428733888 0 0 -1 7 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=636692 CPUtime=0.04 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) D 26811 26813 26751 0 -1 4202560 1809 0 0 0 2 2 0 0 17 0 8 0 622456652 651972608 12786 33554432000 4194304 4627427 140735749366432 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 636692

[startup+0.101998 s]
/proc/loadavg: 5.29 1.71 0.60 1/240 26813
/proc/meminfo: memFree=28749404/32950928 swapFree=67054472/67111528
[pid=26813] ppid=26811 vsize=651064 CPUtime=0.56 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 22257 0 0 0 32 24 0 0 17 0 8 0 622456651 666689536 18199 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905451946 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 162766 18199 339 106 0 157737 0
[pid=26813/tid=26814] ppid=26811 vsize=651384 CPUtime=0.07 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 2631 0 0 0 4 3 0 0 17 0 8 0 622456651 667017216 18247 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=651384 CPUtime=0.07 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) S 26811 26813 26751 0 -1 4202560 2704 0 0 0 4 3 0 0 17 0 8 0 622456651 667017216 18248 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499118 0 0 4096 2 18446604467428733888 0 0 -1 4 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=651384 CPUtime=0.06 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 2748 0 0 0 4 2 0 0 17 0 8 0 622456652 667017216 18360 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499167 0 0 4096 2 18446604467428733888 0 0 -1 1 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=651384 CPUtime=0.06 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) D 26811 26813 26751 0 -1 4202560 2732 0 0 0 4 2 0 0 17 0 8 0 622456652 667017216 18389 33554432000 4194304 4627427 140735749366432 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=651384 CPUtime=0.06 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 2818 0 0 0 4 2 0 0 17 0 8 0 622456652 667017216 18412 33554432000 4194304 4627427 140735749366432 18446744073709551615 4530796 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=651384 CPUtime=0.05 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) S 26811 26813 26751 0 -1 4202560 2579 0 0 0 3 2 0 0 17 0 8 0 622456652 667017216 18439 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499118 0 0 4096 2 18446604467428733888 0 0 -1 7 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=651384 CPUtime=0.06 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) D 26811 26813 26751 0 -1 4202560 2950 0 0 0 3 3 0 0 17 0 8 0 622456652 667017216 18461 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 651064

[startup+0.303906 s]
/proc/loadavg: 5.29 1.71 0.60 1/240 26813
/proc/meminfo: memFree=28749404/32950928 swapFree=67054472/67111528
[pid=26813] ppid=26811 vsize=750748 CPUtime=1.59 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) D 26811 26813 26751 0 -1 4202496 74706 0 0 0 83 76 0 0 17 0 8 0 622456651 768765952 57876 33554432000 4194304 4627427 140735749366432 18446744073709551615 4313569 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 187687 57876 339 106 0 182658 0
[pid=26813/tid=26814] ppid=26811 vsize=750748 CPUtime=0.19 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) D 26811 26813 26751 0 -1 4202560 9266 0 0 0 11 8 0 0 17 0 8 0 622456651 768765952 57876 33554432000 4194304 4627427 140735749366432 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=750748 CPUtime=0.19 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) D 26811 26813 26751 0 -1 4202560 9055 0 0 0 9 10 0 0 17 0 8 0 622456651 768765952 57876 33554432000 4194304 4627427 140735749366432 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=750748 CPUtime=0.2 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 9794 0 0 0 11 9 0 0 17 0 8 0 622456652 768765952 57876 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905451946 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=751828 CPUtime=0.19 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) D 26811 26813 26751 0 -1 4202560 9558 0 0 0 10 9 0 0 17 0 8 0 622456652 769871872 57883 33554432000 4194304 4627427 140735749366432 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=751828 CPUtime=0.19 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) D 26811 26813 26751 0 -1 4202560 9696 0 0 0 11 8 0 0 17 0 8 0 622456652 769871872 57883 33554432000 4194304 4627427 140735749366432 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=751828 CPUtime=0.17 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) D 26811 26813 26751 0 -1 4202560 8281 0 0 0 10 7 0 0 17 0 8 0 622456652 769871872 57883 33554432000 4194304 4627427 140735749366432 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=751828 CPUtime=0.19 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) D 26811 26813 26751 0 -1 4202560 8902 0 0 0 9 10 0 0 17 0 8 0 622456652 769871872 57883 33554432000 4194304 4627427 140735749366432 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 750748

[startup+0.700964 s]
/proc/loadavg: 5.29 1.71 0.60 1/240 26813
/proc/meminfo: memFree=28749404/32950928 swapFree=67054472/67111528
[pid=26813] ppid=26811 vsize=1049808 CPUtime=3.73 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) D 26811 26813 26751 0 -1 4202496 162330 0 0 0 191 182 0 0 16 0 8 0 622456651 1075003392 128223 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905437367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 262452 128227 339 106 0 257423 0
[pid=26813/tid=26814] ppid=26811 vsize=1049808 CPUtime=0.46 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 19383 0 0 0 26 20 0 0 17 0 8 0 622456651 1075003392 128278 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=1049808 CPUtime=0.47 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 19096 0 0 0 23 24 0 0 16 0 8 0 622456651 1075003392 128304 33554432000 4194304 4627427 140735749366432 18446744073709551615 4301182 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=1049808 CPUtime=0.46 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) D 26811 26813 26751 0 -1 4202560 21574 0 0 0 23 23 0 0 16 0 8 0 622456652 1075003392 128315 33554432000 4194304 4627427 140735749366432 18446744073709551615 4317104 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=1049808 CPUtime=0.46 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 20983 0 0 0 23 23 0 0 16 0 8 0 622456652 1075003392 128315 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=1049808 CPUtime=0.45 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 21439 0 0 0 24 21 0 0 16 0 8 0 622456652 1075003392 128379 33554432000 4194304 4627427 140735749366432 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=1049808 CPUtime=0.44 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) S 26811 26813 26751 0 -1 4202560 18658 0 0 0 23 21 0 0 16 0 8 0 622456652 1075003392 128460 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905499118 0 0 4096 2 18446604467428733888 0 0 -1 7 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=1049808 CPUtime=0.46 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 19714 0 0 0 22 24 0 0 16 0 8 0 622456652 1075003392 128490 33554432000 4194304 4627427 140735749366432 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 1049808

[startup+1.50068 s]
/proc/loadavg: 5.29 1.71 0.60 9/248 26821
/proc/meminfo: memFree=28154264/32950928 swapFree=67054472/67111528
[pid=26813] ppid=26811 vsize=1053748 CPUtime=9.9 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 184610 0 0 0 769 221 0 0 17 0 8 0 622456651 1079037952 149529 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 263437 149529 364 106 0 258408 0
[pid=26813/tid=26814] ppid=26811 vsize=1053748 CPUtime=1.23 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 21918 0 0 0 97 26 0 0 17 0 8 0 622456651 1079037952 149529 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=1053748 CPUtime=1.24 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 21690 0 0 0 96 28 0 0 17 0 8 0 622456651 1079037952 149529 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=1053748 CPUtime=1.24 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 24565 0 0 0 97 27 0 0 17 0 8 0 622456652 1079037952 149529 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=1053748 CPUtime=1.23 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 23574 0 0 0 96 27 0 0 17 0 8 0 622456652 1079037952 149529 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=1053748 CPUtime=1.22 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 24183 0 0 0 96 26 0 0 17 0 8 0 622456652 1079037952 149529 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=1053748 CPUtime=1.21 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 21462 0 0 0 95 26 0 0 17 0 8 0 622456652 1079037952 149529 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=1053748 CPUtime=1.23 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 23264 0 0 0 93 30 0 0 17 0 8 0 622456652 1079037952 149529 33554432000 4194304 4627427 140735749366432 18446744073709551615 4329671 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (KiB) 1053748

[startup+3.10039 s]
/proc/loadavg: 5.29 1.71 0.60 11/248 26821
/proc/meminfo: memFree=28124532/32950928 swapFree=67054472/67111528
[pid=26813] ppid=26811 vsize=1053748 CPUtime=22.7 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 192872 0 0 0 2047 223 0 0 19 0 8 0 622456651 1079037952 156713 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 263437 156713 367 106 0 258408 0
[pid=26813/tid=26814] ppid=26811 vsize=1053748 CPUtime=2.83 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 22913 0 0 0 257 26 0 0 19 0 8 0 622456651 1079037952 156713 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=1053748 CPUtime=2.85 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 22669 0 0 0 256 29 0 0 19 0 8 0 622456651 1079037952 156713 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=1053748 CPUtime=2.84 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 25561 0 0 0 257 27 0 0 19 0 8 0 622456652 1079037952 156713 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=1053748 CPUtime=2.84 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 24570 0 0 0 256 28 0 0 19 0 8 0 622456652 1079037952 156713 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=1053748 CPUtime=2.81 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 25180 0 0 0 255 26 0 0 19 0 8 0 622456652 1079037952 156713 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=1053748 CPUtime=2.8 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 22425 0 0 0 254 26 0 0 19 0 8 0 622456652 1079037952 156713 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=1053748 CPUtime=2.84 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 24587 0 0 0 253 31 0 0 19 0 8 0 622456652 1079037952 156713 33554432000 4194304 4627427 140735749366432 18446744073709551615 4305919 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.7
Current children cumulated vsize (KiB) 1053748

[startup+6.3008 s]
/proc/loadavg: 5.51 1.82 0.64 9/248 26821
/proc/meminfo: memFree=28124156/32950928 swapFree=67054472/67111528
[pid=26813] ppid=26811 vsize=1053748 CPUtime=48.28 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 193615 0 0 0 4605 223 0 0 25 0 8 0 622456651 1079037952 157097 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26813/statm: 263437 157097 367 106 0 258408 0
[pid=26813/tid=26814] ppid=26811 vsize=1053748 CPUtime=6.03 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 22914 0 0 0 577 26 0 0 25 0 8 0 622456651 1079037952 157097 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=1053748 CPUtime=6.05 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 22669 0 0 0 576 29 0 0 25 0 8 0 622456651 1079037952 157097 33554432000 4194304 4627427 140735749366432 18446744073709551615 4309043 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=1053748 CPUtime=6.04 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 25561 0 0 0 577 27 0 0 25 0 8 0 622456652 1079037952 157097 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=1053748 CPUtime=6.04 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 24570 0 0 0 576 28 0 0 25 0 8 0 622456652 1079037952 157097 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=1053748 CPUtime=6.02 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 25180 0 0 0 576 26 0 0 25 0 8 0 622456652 1079037952 157097 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=1053748 CPUtime=5.97 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 22425 0 0 0 571 26 0 0 25 0 8 0 622456652 1079037952 157097 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=1053748 CPUtime=6.04 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 25329 0 0 0 573 31 0 0 25 0 8 0 622456652 1079037952 157097 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0

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

[pid=26813] ppid=26811 vsize=4685864 CPUtime=12293.3 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 2925505 0 0 0 1228425 902 0 0 25 0 8 0 622456651 4798324736 967931 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26813/statm: 1171466 967931 472 106 0 1166437 0
[pid=26813/tid=26814] ppid=26811 vsize=4685864 CPUtime=1539.21 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 419770 0 0 0 153803 118 0 0 25 0 8 0 622456651 4798324736 967931 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=4685864 CPUtime=1540.29 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 351682 0 0 0 153925 104 0 0 25 0 8 0 622456651 4798324736 967931 33554432000 4194304 4627427 140735749366432 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=4685864 CPUtime=1534.42 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 329700 0 0 0 153322 120 0 0 25 0 8 0 622456652 4798324736 967931 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=4685864 CPUtime=1537.01 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 282541 0 0 0 153588 113 0 0 25 0 8 0 622456652 4798324736 967931 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=4685864 CPUtime=1534.13 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 325918 0 0 0 153314 99 0 0 25 0 8 0 622456652 4798324736 967931 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=4685864 CPUtime=1531.14 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 337508 0 0 0 153004 110 0 0 25 0 8 0 622456652 4798324736 967931 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=4685864 CPUtime=1539.74 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 567142 0 0 0 153843 131 0 0 25 0 8 0 622456652 4798324736 967931 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12293.3
Current children cumulated vsize (KiB) 4685864

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

[startup+1548.7 s]
/proc/loadavg: 8.11 8.04 6.62 9/248 26871
/proc/meminfo: memFree=24867024/32950928 swapFree=67054476/67111528
[pid=26813] ppid=26811 vsize=4685864 CPUtime=12344.5 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 2927230 0 0 0 1233545 904 0 0 25 0 8 0 622456651 4798324736 969656 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26813/statm: 1171466 969656 472 106 0 1166437 0
[pid=26813/tid=26814] ppid=26811 vsize=4685864 CPUtime=1545.62 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 419775 0 0 0 154444 118 0 0 25 0 8 0 622456651 4798324736 969656 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=4685864 CPUtime=1546.7 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 351686 0 0 0 154566 104 0 0 25 0 8 0 622456651 4798324736 969656 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=4685864 CPUtime=1540.79 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 330037 0 0 0 153958 121 0 0 25 0 8 0 622456652 4798324736 969656 33554432000 4194304 4627427 140735749366432 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=4685864 CPUtime=1543.42 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 282794 0 0 0 154229 113 0 0 25 0 8 0 622456652 4798324736 969656 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=4685864 CPUtime=1540.54 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 326211 0 0 0 153955 99 0 0 25 0 8 0 622456652 4798324736 969656 33554432000 4194304 4627427 140735749366432 18446744073709551615 4223072 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=4685864 CPUtime=1537.56 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 337761 0 0 0 153645 111 0 0 25 0 8 0 622456652 4798324736 969656 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=4685864 CPUtime=1546.16 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 567422 0 0 0 154484 132 0 0 25 0 8 0 622456652 4798324736 969656 33554432000 4194304 4627427 140735749366432 18446744073709551615 4515610 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12344.5
Current children cumulated vsize (KiB) 4685864

[startup+1555.1 s]
/proc/loadavg: 8.10 8.04 6.63 9/248 26871
/proc/meminfo: memFree=24860452/32950928 swapFree=67054476/67111528
[pid=26813] ppid=26811 vsize=4685864 CPUtime=12395.6 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 2931727 0 0 0 1238653 905 0 0 25 0 8 0 622456651 4798324736 973979 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26813/statm: 1171466 973979 472 106 0 1166437 0
[pid=26813/tid=26814] ppid=26811 vsize=4685864 CPUtime=1552.01 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 419779 0 0 0 155083 118 0 0 25 0 8 0 622456651 4798324736 973979 33554432000 4194304 4627427 140735749366432 18446744073709551615 4309969 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=4685864 CPUtime=1553.09 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 351690 0 0 0 155205 104 0 0 25 0 8 0 622456651 4798324736 973979 33554432000 4194304 4627427 140735749366432 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=4685864 CPUtime=1547.14 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 330403 0 0 0 154593 121 0 0 25 0 8 0 622456652 4798324736 973979 33554432000 4194304 4627427 140735749366432 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=4685864 CPUtime=1549.8 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 283029 0 0 0 154867 113 0 0 25 0 8 0 622456652 4798324736 973979 33554432000 4194304 4627427 140735749366432 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=4685864 CPUtime=1546.93 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 326626 0 0 0 154594 99 0 0 25 0 8 0 622456652 4798324736 973979 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=4685864 CPUtime=1543.95 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 338010 0 0 0 154284 111 0 0 25 0 8 0 622456652 4798324736 973979 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=4685864 CPUtime=1552.54 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 567722 0 0 0 155122 132 0 0 25 0 8 0 622456652 4798324736 973979 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12395.6
Current children cumulated vsize (KiB) 4685864

[startup+1561.5 s]
/proc/loadavg: 8.08 8.04 6.64 9/248 26871
/proc/meminfo: memFree=24864788/32950928 swapFree=67054476/67111528
[pid=26813] ppid=26811 vsize=4858588 CPUtime=12446.7 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 2933410 0 0 0 1243767 907 0 0 25 0 8 0 622456651 4975194112 970254 33554432000 4194304 4627427 140735749366432 18446744073709551615 4322548 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26813/statm: 1214647 970254 472 106 0 1209618 0
[pid=26813/tid=26814] ppid=26811 vsize=4858588 CPUtime=1558.41 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 419783 0 0 0 155723 118 0 0 25 0 8 0 622456651 4975194112 970254 33554432000 4194304 4627427 140735749366432 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=4858588 CPUtime=1559.49 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 351694 0 0 0 155845 104 0 0 25 0 8 0 622456651 4975194112 970254 33554432000 4194304 4627427 140735749366432 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=4858588 CPUtime=1553.49 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 330775 0 0 0 155227 122 0 0 25 0 8 0 622456652 4975194112 970254 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=4858588 CPUtime=1556.21 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 283371 0 0 0 155507 114 0 0 25 0 8 0 622456652 4975194112 970254 33554432000 4194304 4627427 140735749366432 18446744073709551615 4321758 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=4858588 CPUtime=1553.33 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 326885 0 0 0 155234 99 0 0 25 0 8 0 622456652 4975194112 970254 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=4858588 CPUtime=1550.35 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 338176 0 0 0 154924 111 0 0 25 0 8 0 622456652 4975194112 970254 33554432000 4194304 4627427 140735749366432 18446744073709551615 4321453 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=4858588 CPUtime=1558.94 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 568070 0 0 0 155762 132 0 0 25 0 8 0 622456652 4975194112 970254 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12446.7
Current children cumulated vsize (KiB) 4858588

[startup+1564.7 s]
/proc/loadavg: 8.08 8.04 6.64 10/248 26871
/proc/meminfo: memFree=24851396/32950928 swapFree=67054476/67111528
[pid=26813] ppid=26811 vsize=4924124 CPUtime=12472.3 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 2936788 0 0 0 1246324 908 0 0 25 0 8 0 622456651 5042302976 973629 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26813/statm: 1231031 973629 472 106 0 1226002 0
[pid=26813/tid=26814] ppid=26811 vsize=4924124 CPUtime=1561.61 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 422275 0 0 0 156043 118 0 0 25 0 8 0 622456651 5042302976 973629 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=4924124 CPUtime=1562.69 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 351696 0 0 0 156165 104 0 0 25 0 8 0 622456651 5042302976 973629 33554432000 4194304 4627427 140735749366432 18446744073709551615 4497760 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=4924124 CPUtime=1556.66 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 330972 0 0 0 155544 122 0 0 25 0 8 0 622456652 5042302976 973629 33554432000 4194304 4627427 140735749366432 18446744073709551615 4321620 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=4924124 CPUtime=1559.41 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 283580 0 0 0 155827 114 0 0 25 0 8 0 622456652 5042302976 973629 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=4924124 CPUtime=1556.53 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 327027 0 0 0 155554 99 0 0 25 0 8 0 622456652 5042302976 973629 33554432000 4194304 4627427 140735749366432 18446744073709551615 4327429 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=4924124 CPUtime=1553.55 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 338176 0 0 0 155244 111 0 0 25 0 8 0 622456652 5042302976 973630 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=4924124 CPUtime=1562.14 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 568270 0 0 0 156082 132 0 0 25 0 8 0 622456652 5042302976 973630 33554432000 4194304 4627427 140735749366432 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12472.3
Current children cumulated vsize (KiB) 4924124

[startup+1565.5 s]
/proc/loadavg: 8.08 8.04 6.65 9/248 26871
/proc/meminfo: memFree=24849908/32950928 swapFree=67054476/67111528
[pid=26813] ppid=26811 vsize=4924124 CPUtime=12478.7 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 2937047 0 0 0 1246963 908 0 0 25 0 8 0 622456651 5042302976 973888 33554432000 4194304 4627427 140735749366432 18446744073709551615 4322529 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26813/statm: 1231031 973888 472 106 0 1226002 0
[pid=26813/tid=26814] ppid=26811 vsize=4924124 CPUtime=1562.41 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 422315 0 0 0 156123 118 0 0 25 0 8 0 622456651 5042302976 973888 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=4924124 CPUtime=1563.49 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 351697 0 0 0 156245 104 0 0 25 0 8 0 622456651 5042302976 973888 33554432000 4194304 4627427 140735749366432 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=4924124 CPUtime=1557.46 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 331008 0 0 0 155624 122 0 0 25 0 8 0 622456652 5042302976 973888 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=4924124 CPUtime=1560.21 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 283645 0 0 0 155907 114 0 0 25 0 8 0 622456652 5042302976 973888 33554432000 4194304 4627427 140735749366432 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=4924124 CPUtime=1557.33 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 327086 0 0 0 155634 99 0 0 25 0 8 0 622456652 5042302976 973888 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=4924124 CPUtime=1554.35 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 338176 0 0 0 155324 111 0 0 25 0 8 0 622456652 5042302976 973888 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=4924124 CPUtime=1562.94 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 568293 0 0 0 156162 132 0 0 25 0 8 0 622456652 5042302976 973888 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12478.7
Current children cumulated vsize (KiB) 4924124

[startup+1566.3 s]
/proc/loadavg: 8.08 8.04 6.65 9/248 26871
/proc/meminfo: memFree=24848420/32950928 swapFree=67054476/67111528
[pid=26813] ppid=26811 vsize=4924124 CPUtime=12485.2 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) R 26811 26813 26751 0 -1 4202496 2937323 0 0 0 1247608 908 0 0 25 0 8 0 622456651 5042302976 974164 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26813/statm: 1231031 974164 472 106 0 1226002 0
[pid=26813/tid=26814] ppid=26811 vsize=4924124 CPUtime=1563.21 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 422329 0 0 0 156203 118 0 0 25 0 8 0 622456651 5042302976 974164 33554432000 4194304 4627427 140735749366432 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26813/tid=26815] ppid=26811 vsize=4924124 CPUtime=1564.3 cores=0-7
/proc/26813/task/26815/stat : 26815 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 351697 0 0 0 156326 104 0 0 25 0 8 0 622456651 5042302976 974164 33554432000 4194304 4627427 140735749366432 18446744073709551615 4322276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26813/tid=26816] ppid=26811 vsize=4924124 CPUtime=1558.26 cores=0-7
/proc/26813/task/26816/stat : 26816 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 331036 0 0 0 155704 122 0 0 25 0 8 0 622456652 5042302976 974164 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26813/tid=26817] ppid=26811 vsize=4924124 CPUtime=1561.02 cores=0-7
/proc/26813/task/26817/stat : 26817 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 283702 0 0 0 155988 114 0 0 25 0 8 0 622456652 5042302976 974164 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26813/tid=26818] ppid=26811 vsize=4924124 CPUtime=1558.13 cores=0-7
/proc/26813/task/26818/stat : 26818 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 327102 0 0 0 155714 99 0 0 25 0 8 0 622456652 5042302976 974164 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26813/tid=26819] ppid=26811 vsize=4924124 CPUtime=1555.15 cores=0-7
/proc/26813/task/26819/stat : 26819 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 338176 0 0 0 155404 111 0 0 25 0 8 0 622456652 5042302976 974164 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26813/tid=26820] ppid=26811 vsize=4924124 CPUtime=1563.75 cores=0-7
/proc/26813/task/26820/stat : 26820 (strangenight2-m) R 26811 26813 26751 0 -1 4202560 568335 0 0 0 156243 132 0 0 25 0 8 0 622456652 5042302976 974164 33554432000 4194304 4627427 140735749366432 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12485.2
Current children cumulated vsize (KiB) 4924124

[startup+1566.7 s]
/proc/loadavg: 8.08 8.04 6.65 9/248 26871
/proc/meminfo: memFree=24848420/32950928 swapFree=67054476/67111528
[pid=26813] ppid=26811 vsize=0 CPUtime=12487.7 cores=0-7
/proc/26813/stat : 26813 (strangenight2-m) Z 26811 26813 26751 0 -1 4203548 2937439 0 0 0 1247847 918 0 0 25 0 2 0 622456651 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26813/statm: 0 0 0 0 0 0 0
[pid=26813/tid=26814] ppid=26811 vsize=0 CPUtime=1563.6 cores=0-7
/proc/26813/task/26814/stat : 26814 (strangenight2-m) R 26811 26813 26751 0 -1 4203588 422347 0 0 0 156233 127 0 0 25 0 2 0 622456651 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12487.6
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1566.79
CPU time (s): 12487.7
CPU user time (s): 12478.5
CPU system time (s): 9.27059
CPU usage (%): 797.026
Max. virtual memory (cumulated for all children) (KiB): 5007416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12478.5
system time used= 9.27059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2937439
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= 189874
involuntary context switches= 55674

runsolver used 3.19551 second user time and 8.24275 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-02 09:44:20
IDJOB=3321038
IDBENCH=70808
IDSOLVER=1709
FILE ID=node116/3321038-1304322259
RUNJOBID= node116-1304322188-26765
PBS_JOBID= 13176810
Free space on /tmp= 73828 MiB

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

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=1777622561

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.75
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.826
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.77
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.826
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.826
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.826
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:      28749684 kB
Buffers:       1054952 kB
Cached:        1481884 kB
SwapCached:       9656 kB
Active:        1655388 kB
Inactive:      2188864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28749684 kB
SwapTotal:    67111528 kB
SwapFree:     67054472 kB
Dirty:           16336 kB
Writeback:           0 kB
AnonPages:     1305540 kB
Mapped:          20380 kB
Slab:           278732 kB
PageTables:      14528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 34924560 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= 73824 MiB
End job on node116 at 2011-05-02 10:10:27