Trace number 3393930

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 11651.7 1471.77

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.12/0.04	c Using 8 threads
0.12/0.04	c This is CryptoMiniSat 3.0.0
0.12/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.12/0.04	c Reading file 'HOME/instance-3393930-1306072459.cnf'
0.12/0.04	c -- header says num vars:         249327
0.12/0.04	c -- header says num clauses:      746444
18.03/2.63	c -- clauses added:            0 learnts,       746444 normals,            0 xors
18.03/2.63	c -- vars added     249327
18.03/2.63	c Parsing time:  0.38 s
18.03/2.63	c  N st     0         0    249327    248814    497628         0   1741698         0   no data   no data
18.03/2.63	c asymm  cl-useful: 0/308/248805 lits-rem:0 time: 1.12
179.36/22.82	c Flit:     5 Blit:     55 bXBeca:    0 bXProp:  593 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 20.65
180.12/22.94	c Replacing      593 vars Replaced     9685 lits Time:     0.10 s 
180.92/23.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
180.92/23.10	c bin-w-bin subsume rem            3 bins  time:  0.05 s
182.40/23.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.12 s
198.46/25.25	c Subs w/ non-existent bins:     13 l-rem:      0 v-fix:    14 done:  65582 time:  2.01 s
200.75/25.53	c Removed useless bin:       0  fixed:     0  props:  20.09M  time:  0.28 s
225.63/28.68	c lits-rem:         0  cl-subs:     1436  v-elim:  82887  v-fix:    0  time:  3.05 s
226.31/28.73	c Finding binary XORs  T:     0.05 s  found:      14
226.31/28.79	c Replacing       14 vars Replaced      224 lits Time:     0.06 s 
227.91/28.93	c Finding non-binary XORs:     0.09 s (found:    8040, avg size: 3.0)
227.91/28.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
227.91/28.96	c calculated reachability. Time: 0.00
227.91/28.98	c Calc default polars -  time:   0.03 s pos:    2024 undec:   96741 neg:  150562
227.91/28.98	c =========================================================================================
227.91/28.98	c types(t): F = full restart, N = normal restart
227.91/28.98	c types(t): S = simplification begin/end, E = solution found
227.91/28.98	c restart types(rt): st = static, dy = dynamic
227.91/28.98	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
227.91/28.98	c  B st     0         0    165746    211536    329674         0   1433743         0   no data   no data
307.02/38.93	c  N dy    15      4226    165745    211536    329759      3989   1433743    256058     16.54     18.50
371.59/48.18	c  N dy    34      8575    165744    211536    329978      8208   1433743    476998     16.39     17.87
400.81/54.84	c  N dy    51     12888    165728    211536    330798     12249   1433743    674267     16.96     19.91
458.95/64.19	c  N dy    71     17635    165727    211536    330894     16705   1433743    944462     17.73     18.96
530.83/73.19	c  N dy    94     21844    165724    211536    331590     11384   1433743    313032     18.08     19.17
570.06/78.02	c  F st   101     25003    165724    211536    331603     14491   1433743    471860     17.42      7.86
577.16/78.97	c Finding binary XORs  T:     0.06 s  found:     109
589.14/80.40	c  N st   104     26191    165718    211215    331369     15450   1429374    527970     17.42   no data
634.67/86.11	c  S st   107     30000    165717    211215    331402     19172   1429374    792566     17.42   no data
645.05/87.47	c  S st   107     30500    165717    211215    331456     19618   1429374    812100     17.42   no data
645.85/87.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
776.84/103.92	c Flit:    11 Blit:     46 bXBeca:    0 bXProp:   40 Bins:  81387 BRemL:      8 BRemN:      0 P: 200.0M T: 16.40
777.64/104.04	c Replacing      150 vars Replaced     8103 lits Time:     0.11 s 
778.44/104.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
778.44/104.16	c bin-w-bin subsume rem          235 bins  time:  0.05 s
779.24/104.28	c subs with bin:      887  lits-rem:       771  v-fix:    0  time:  0.12 s
799.99/106.88	c Subs w/ non-existent bins:    367 l-rem:   1585 v-fix:     0 done:  53312 time:  2.59 s
802.39/107.10	c Removed useless bin:      17  fixed:     0  props:  20.04M  time:  0.22 s
815.17/108.78	c lits-rem:        10  cl-subs:     1471  v-elim:  85037  v-fix:    0  time:  1.59 s
816.06/108.86	c subs with bin:       43  lits-rem:       511  v-fix:    0  time:  0.05 s
817.55/109.01	c lits-rem:       263  cl-subs:      239  v-elim:      0  v-fix:    0  time:  0.10 s
821.55/109.51	c asymm  cl-useful: 1087/3424/243275 lits-rem:1097 time: 0.50
821.55/109.54	c calculated reachability. Time: 0.00
821.55/109.54	c  N dy   107     30500     80473    243275    177063     10133   1332382    338609     17.42   no data
821.55/109.58	c Finding binary XORs  T:     0.04 s  found:      48
873.58/116.14	c  N dy   124     34575     80471    243275    177862     13858   1332380    542459     17.39     35.66
915.11/121.30	c  N dy   135     39002     80468    243275    178333     18202   1332380    765595     17.06     18.07
954.26/126.28	c  N dy   155     43034     80468    243275    178367     11914   1332380    379517     18.00    123.97
980.57/129.55	c  S st   160     45750     80465    243275    178634     14600   1332380    512347     17.62     16.20
991.05/130.87	c  S st   160     46251     80454    243275    178680     15054   1332380    538968     17.62   no data
991.86/130.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1079.71/141.97	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:  107 Bins:   5784 BRemL:      7 BRemN:      0 P: 200.0M T: 11.05
1080.40/142.06	c Replacing      155 vars Replaced    12772 lits Time:     0.08 s 
1081.20/142.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1081.20/142.18	c bin-w-bin subsume rem          560 bins  time:  0.03 s
1082.00/142.27	c subs with bin:     1568  lits-rem:       805  v-fix:    0  time:  0.09 s
1086.00/142.75	c Subs w/ non-existent bins:   3735 l-rem:  22150 v-fix:     0 done:  69179 time:  0.48 s
1087.69/142.92	c Removed useless bin:     235  fixed:     0  props:  20.00M  time:  0.16 s
1089.98/143.20	c lits-rem:         0  cl-subs:      322  v-elim:    775  v-fix:    0  time:  0.28 s
1090.78/143.32	c subs with bin:       61  lits-rem:       387  v-fix:    0  time:  0.09 s
1092.38/143.51	c lits-rem:       424  cl-subs:      681  v-elim:      0  v-fix:    0  time:  0.13 s
1096.47/144.02	c asymm  cl-useful: 61/5790/237900 lits-rem:131 time: 0.51
1096.47/144.05	c calculated reachability. Time: 0.01
1096.47/144.05	c  N dy   160     46251     79521    237900    182801     14070   1307109    461213     17.62   no data
1096.47/144.09	c Finding binary XORs  T:     0.04 s  found:      90
1137.91/149.28	c  N dy   175     50329     79521    237900    182832     18057   1307109    667178     17.50     20.06
1189.81/155.79	c  N dy   199     54544     79510    237900    184724     22180   1307109    936638     18.13     19.66
1240.12/162.04	c  N dy   223     58756     79506    237900    185141     26267   1307107   1200656     18.41     19.39
1289.71/168.30	c  N dy   243     62784     79503    237900    185255     29980   1307107   1398089     18.57     19.79
1290.52/168.38	c Finding binary XORs  T:     0.04 s  found:     148
1335.94/174.07	c  N dy   259     66842     79502    237685    184487     18460   1303090    520684     18.51     71.10
1353.52/176.20	c  S st   269     69376     79496    237685    186773     20919   1303090    698524     19.34   no data
1362.30/177.38	c  S st   269     69876     79496    237685    186850     21338   1303090    720376     19.34   no data
1363.10/177.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1456.65/189.18	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:   37 Bins:   8323 BRemL:      2 BRemN:      0 P: 200.0M T: 11.75
1457.46/189.29	c Replacing      275 vars Replaced    14203 lits Time:     0.10 s 
1458.14/189.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1458.94/189.41	c bin-w-bin subsume rem          717 bins  time:  0.03 s
1459.75/189.51	c subs with bin:      790  lits-rem:        20  v-fix:    0  time:  0.10 s
1462.95/189.94	c Subs w/ non-existent bins:    300 l-rem:   1502 v-fix:     0 done:  73948 time:  0.43 s
1464.55/190.17	c Removed useless bin:      59  fixed:     0  props:  20.00M  time:  0.23 s
1466.93/190.41	c lits-rem:         0  cl-subs:       72  v-elim:     70  v-fix:    0  time:  0.24 s
1468.53/190.69	c subs with bin:       74  lits-rem:       780  v-fix:    0  time:  0.23 s
1470.93/190.96	c lits-rem:       604  cl-subs:      413  v-elim:      0  v-fix:    0  time:  0.22 s
1475.72/191.54	c asymm  cl-useful: 44/5796/235713 lits-rem:181 time: 0.58
1475.72/191.57	c calculated reachability. Time: 0.00
1475.72/191.57	c  N dy   269     69876     79148    235713    192590     20193   1291611    665318     19.34   no data
1476.52/191.62	c Finding binary XORs  T:     0.04 s  found:      70
1529.23/198.24	c  N dy   280     74616     79147    235713    192660     24780   1291609    885900     19.12     20.19
1559.56/202.00	c Finding binary XORs  T:     0.04 s  found:     126
1581.12/204.72	c  N dy   293     79446     79132    235498    201034     29234   1288924   1128245     18.82     19.99
1628.26/210.65	c  N dy   311     85373     79131    235498    201079     34992   1288924   1404540     18.50     19.64
1652.21/213.60	c  F st   319     87503     79091    235498    201297     18883   1288924    433246     18.45     13.66
1652.21/213.69	c Replacing      197 vars Replaced     5271 lits Time:     0.05 s 
1718.51/221.98	c  N dy   325     92695     78900    234733    199162     23665   1281455    732357     18.45   no data
1800.77/232.27	c  N dy   357     98972     78897    234733    199880     29857   1281455   1036451     18.65     19.73
1801.57/232.38	c Finding binary XORs  T:     0.04 s  found:     330
1872.66/241.25	c  S st   376    104822     78889    234452    201007     35476   1279177   1296877     18.51     10.68
1883.03/242.58	c  S st   376    105323     78887    234452    201538     35948   1279177   1327249     18.51   no data
1883.83/242.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1988.47/255.77	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   45 Bins:   3680 BRemL:      0 BRemN:      0 P: 200.1M T: 13.14
1990.07/255.90	c Replacing      376 vars Replaced    26113 lits Time:     0.12 s 
1990.07/255.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1990.87/256.02	c bin-w-bin subsume rem         1149 bins  time:  0.03 s
1991.67/256.11	c subs with bin:     1094  lits-rem:        24  v-fix:    0  time:  0.09 s
1996.45/256.77	c Subs w/ non-existent bins:    129 l-rem:    251 v-fix:     0 done:  71513 time:  0.65 s
1998.85/257.04	c Removed useless bin:      24  fixed:     0  props:  17.15M  time:  0.27 s
2000.45/257.30	c lits-rem:         1  cl-subs:      166  v-elim:     68  v-fix:    0  time:  0.26 s
2004.44/257.71	c subs with bin:      143  lits-rem:      1896  v-fix:    0  time:  0.33 s
2010.12/258.42	c lits-rem:      1682  cl-subs:      823  v-elim:      0  v-fix:    0  time:  0.65 s
2015.62/259.16	c asymm  cl-useful: 100/14634/232469 lits-rem:383 time: 0.74
2015.62/259.19	c calculated reachability. Time: 0.00
2015.62/259.19	c  N dy   376    105323     78441    232465    182631     34242   1270810   1198146     18.51   no data
2049.97/263.47	c Finding binary XORs  T:     0.04 s  found:      68
2096.29/269.23	c  N dy   399    112350     78429    232349    191030     23512   1269890    491250     18.37     19.41
2112.26/271.23	c Finding binary XORs  T:     0.04 s  found:     131
2201.72/282.44	c  N dy   439    119721     78426    232111    190954     30585   1267553    862813     18.89     19.97
2271.99/291.22	c Finding binary XORs  T:     0.04 s  found:     109
2307.94/295.72	c  N dy   468    127527     78422    232003    216856     38176   1266350   1339547     18.90     20.35
2358.26/302.02	c Finding binary XORs  T:     0.04 s  found:      28
2420.56/309.85	c  N dy   500    135803     78421    231999    222960     46209   1265722   1799107     18.94     20.22
2517.21/321.92	c  N dy   523    145178     78406    231999    223740     36435   1265722   1096680     18.60     20.55
2561.14/327.43	c Finding binary XORs  T:     0.04 s  found:     359
2629.01/335.96	c  N dy   562    154514     78396    230964    193330     45039   1259157   1457733     18.65     20.04
2666.56/340.69	c  S st   577    157984     78395    230964    193777     48432   1259156   1624094     18.59     12.45
2677.84/342.06	c  S st   577    158484     78395    230964    193782     48927   1259156   1656467     18.59   no data
2678.65/342.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2791.17/356.28	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:   54 Bins:   7857 BRemL:      0 BRemN:      0 P: 200.1M T: 14.16
2792.87/356.43	c Replacing      753 vars Replaced    37474 lits Time:     0.14 s 
2793.56/356.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2793.56/356.55	c bin-w-bin subsume rem         1384 bins  time:  0.03 s
2794.36/356.64	c subs with bin:     1716  lits-rem:        34  v-fix:    0  time:  0.09 s
2798.36/357.17	c Subs w/ non-existent bins:     16 l-rem:     52 v-fix:     0 done:  72095 time:  0.52 s
2800.85/357.43	c Removed useless bin:      35  fixed:     0  props:  12.78M  time:  0.26 s
2803.14/357.71	c lits-rem:         0  cl-subs:      292  v-elim:    115  v-fix:    0  time:  0.27 s
2807.94/358.37	c subs with bin:      210  lits-rem:      5804  v-fix:    0  time:  0.55 s
2816.73/359.49	c lits-rem:      4577  cl-subs:     1037  v-elim:      0  v-fix:    0  time:  1.07 s
2823.11/360.22	c asymm  cl-useful: 71/7559/227850 lits-rem:289 time: 0.72
2823.11/360.25	c calculated reachability. Time: 0.00
2823.11/360.25	c  N dy   577    158484     77527    227850    191635     46165   1249062   1508628     18.59   no data
2823.11/360.29	c Finding binary XORs  T:     0.04 s  found:      57
2946.12/375.60	c  N dy   611    168622     77512    227850    193334     36999   1249061    836215     18.47     42.15
3003.73/382.88	c Finding binary XORs  T:     0.04 s  found:     482
3080.30/392.48	c  N dy   658    179496     77507    226361    193303     47114   1241368   1354236     18.44     19.55
3224.00/410.47	c  N dy   691    192286     77497    226361    194217     39405   1241368    729409     18.25     20.26
3256.76/414.55	c Finding binary XORs  T:     0.04 s  found:     263
3257.65/414.64	c Replacing      803 vars Replaced    27956 lits Time:     0.08 s 
3356.59/427.04	c Finding binary XORs  T:     0.04 s  found:     146
3394.93/431.88	c  N dy   740    205743     76691    224751    196678     51949   1231286   1307440     18.15     19.32
3502.76/445.39	c Finding binary XORs  T:     0.04 s  found:     321
3587.43/455.96	c  N dy   789    218910     76665    224070    225953     64165   1227009   1962139     18.11     19.72
3680.17/467.52	c Finding binary XORs  T:     0.04 s  found:     186
3804.67/483.18	c  N dy   859    233514     76660    223792    235378     57670   1225330   1549195     18.33     19.49
3858.98/489.95	c  S st   872    237726     76660    223792    235384     61846   1225330   1768466     18.34     11.41
3870.98/491.46	c  S st   872    238228     76660    223792    236100     62330   1225330   1804394     18.34   no data
3871.78/491.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3989.98/506.34	c Flit:     3 Blit:      5 bXBeca:    0 bXProp:  165 Bins:   9709 BRemL:      4 BRemN:      0 P: 200.0M T: 14.82
3991.58/506.51	c Replacing      822 vars Replaced    44867 lits Time:     0.16 s 
3992.38/506.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3992.38/506.64	c bin-w-bin subsume rem         3280 bins  time:  0.04 s
3993.18/506.74	c subs with bin:     2932  lits-rem:        65  v-fix:    0  time:  0.10 s
3998.76/507.45	c Subs w/ non-existent bins:     12 l-rem:     57 v-fix:     0 done:  73086 time:  0.71 s
4000.36/507.66	c Removed useless bin:      58  fixed:     0  props:   8.72M  time:  0.20 s
4002.77/507.96	c lits-rem:         0  cl-subs:      533  v-elim:    160  v-fix:    0  time:  0.30 s
4009.96/508.86	c subs with bin:      429  lits-rem:     11788  v-fix:    0  time:  0.79 s
4017.94/509.89	c lits-rem:      3965  cl-subs:     1106  v-elim:      0  v-fix:    0  time:  0.97 s
4025.12/510.74	c asymm  cl-useful: 31/3376/218569 lits-rem:82 time: 0.85
4025.12/510.78	c calculated reachability. Time: 0.00
4025.12/510.78	c  N dy   872    238228     75678    218569    238616     59182   1214629   1670752     18.34   no data
4025.92/510.82	c Finding binary XORs  T:     0.04 s  found:     106
4099.41/520.00	c Finding binary XORs  T:     0.05 s  found:     588
4230.40/536.40	c  N dy   905    253624     75639    217140    252933     51779   1207014   1033636     18.14     19.42
4418.04/559.97	c Finding binary XORs  T:     0.05 s  found:     333
4418.72/560.08	c Replacing     1027 vars Replaced    58323 lits Time:     0.11 s 
4464.04/565.71	c  N dy   965    269962     74587    215671    250885     67166   1197447   1774796     18.06     19.27
4653.77/589.51	c Finding binary XORs  T:     0.05 s  found:     470
4675.25/592.28	c  N dy  1025    287927     74568    214696    259475     61567   1192961   1351572     17.93     19.06
4950.01/626.66	c  F st  1108    306250     74564    214696    261195     79637   1192958   2245152     18.03     12.26
4951.61/626.82	c Replacing      477 vars Replaced    27891 lits Time:     0.12 s 
4955.59/627.33	c Finding binary XORs  T:     0.05 s  found:     288
4957.99/627.67	c  N st  1109    306500     74087    213439    259564     79315   1187573   2204789     18.03   no data
5232.75/662.01	c  N dy  1175    326096     74073    213439    260956     74283   1187572   1823518     17.99     18.94
5307.82/671.47	c Finding binary XORs  T:     0.05 s  found:     712
5309.43/671.60	c Replacing     1007 vars Replaced    49583 lits Time:     0.12 s 
5514.79/697.40	c  N dy  1247    346231     73017    210369    259190     68220   1172209   1206439     17.97     19.30
5572.20/704.56	c Finding binary XORs  T:     0.05 s  found:     398
5656.87/715.19	c  S st  1272    357342     72999    209249    259778     78707   1168576   1709526     17.85   no data
5670.45/716.89	c  S st  1272    357842     72999    209249    259821     79163   1168576   1724577     17.85   no data
5671.25/716.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
5791.05/731.95	c Flit:     4 Blit:      2 bXBeca:    0 bXProp:  106 Bins:   4869 BRemL:     35 BRemN:      0 P: 200.1M T: 15.00
5792.65/732.10	c Replacing      510 vars Replaced    25074 lits Time:     0.14 s 
5792.65/732.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5793.45/732.23	c bin-w-bin subsume rem         8481 bins  time:  0.04 s
5794.25/732.34	c subs with bin:     2962  lits-rem:       343  v-fix:    0  time:  0.11 s
5800.64/733.11	c Subs w/ non-existent bins:     37 l-rem:    119 v-fix:     0 done:  69339 time:  0.76 s
5802.24/733.30	c Removed useless bin:      67  fixed:     0  props:   8.06M  time:  0.19 s
5804.73/733.66	c lits-rem:         0  cl-subs:     1330  v-elim:    316  v-fix:    0  time:  0.37 s
5811.02/734.47	c subs with bin:      635  lits-rem:     11390  v-fix:    0  time:  0.69 s
5818.22/735.36	c lits-rem:      2805  cl-subs:     1434  v-elim:      0  v-fix:    0  time:  0.84 s
5825.40/736.27	c asymm  cl-useful: 56/2292/203468 lits-rem:121 time: 0.91
5826.20/736.31	c calculated reachability. Time: 0.00
5826.20/736.31	c  N dy  1272    357842     72171    203468    252027     74087   1173003   1504287     17.85   no data
5837.37/737.75	c Finding binary XORs  T:     0.05 s  found:     120
6030.68/761.90	c Finding binary XORs  T:     0.05 s  found:     659
6031.47/762.02	c Replacing      780 vars Replaced    42691 lits Time:     0.12 s 
6127.33/774.01	c  N dy  1342    378690     71354    201387    252114     69397   1162526   1041763     17.83     18.88
6164.96/778.72	c Finding binary XORs  T:     0.05 s  found:     234
6247.90/789.13	c Finding binary XORs  T:     0.05 s  found:      78
6337.37/800.37	c Finding binary XORs  T:     0.05 s  found:     211
6383.70/806.19	c  N dy  1409    398697     71345    200229    289159     88514   1158231   2012170     17.72     19.97
6651.26/839.60	c  N dy  1485    418835     71332    200229    290849     81861   1158231   1465417     17.69     18.71
6763.88/853.76	c Finding binary XORs  T:     0.05 s  found:     645
6764.68/853.88	c Replacing     1170 vars Replaced    50239 lits Time:     0.11 s 
6943.60/876.25	c  N dy  1583    439091     70118    197557    288838    100623   1145364   2473937     17.78     18.83
7040.24/888.34	c Finding binary XORs  T:     0.05 s  found:     450
7207.99/909.38	c Finding binary XORs  T:     0.05 s  found:     512
7209.59/909.50	c Replacing      964 vars Replaced    55199 lits Time:     0.12 s 
7234.33/912.66	c  N dy  1659    459691     69096    194049    311816     91952   1129987   1731166     17.71     18.72
7468.36/941.91	c Finding binary XORs  T:     0.05 s  found:     487
7520.27/948.41	c  N dy  1729    480273     69017    192990    312853    111309   1125594   2537810     17.60     18.83
7794.23/982.73	c  N dy  1813    500330     69006    192990    314920    104137   1125589   2136357     17.59     18.82
7821.39/986.11	c Finding binary XORs  T:     0.05 s  found:     485
7822.19/986.25	c Replacing      973 vars Replaced    63286 lits Time:     0.14 s 
8077.78/1018.26	c  N dy  1881    520387     68027    190884    312429     94904   1116442   1347833     17.54     18.50
8305.42/1046.76	c  S st  1974    536763     68005    190884    313443    111065   1116442   2234896     17.63     16.18
8313.40/1047.78	c  S st  1974    537264     68005    190884    313447    111561   1116442   2281500     17.63   no data
8314.20/1047.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
8421.23/1061.24	c Flit:    23 Blit:      3 bXBeca:    0 bXProp:  426 Bins:   4744 BRemL:    758 BRemN:     70 P: 200.0M T: 13.38
8422.92/1061.42	c Replacing      436 vars Replaced    54318 lits Time:     0.18 s 
8423.73/1061.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8423.73/1061.56	c bin-w-bin subsume rem        14683 bins  time:  0.05 s
8424.42/1061.68	c subs with bin:     3239  lits-rem:       431  v-fix:    0  time:  0.11 s
8430.82/1062.48	c Subs w/ non-existent bins:     97 l-rem:    171 v-fix:     0 done:  64135 time:  0.80 s
8432.51/1062.64	c Removed useless bin:      33  fixed:     0  props:   5.96M  time:  0.16 s
8436.41/1063.14	c lits-rem:        43  cl-subs:     2706  v-elim:    504  v-fix:    0  time:  0.50 s
8444.39/1064.18	c subs with bin:     1017  lits-rem:     27623  v-fix:    0  time:  0.91 s
8454.78/1065.48	c lits-rem:      5310  cl-subs:     2012  v-elim:      0  v-fix:    0  time:  1.23 s
8462.77/1066.40	c asymm  cl-useful: 180/950/182182 lits-rem:502 time: 0.92
8462.77/1066.43	c calculated reachability. Time: 0.00
8462.77/1066.44	c  N dy  1974    537264     67000    182178    290751    103083   1157851   1767699     17.63   no data
8462.77/1066.48	c Finding binary XORs  T:     0.05 s  found:     436
8580.18/1081.21	c Finding binary XORs  T:     0.05 s  found:     359
8581.88/1081.33	c Replacing      795 vars Replaced    37029 lits Time:     0.13 s 
8682.42/1093.96	c Finding binary XORs  T:     0.05 s  found:     308
8743.91/1101.60	c  N dy  2058    557386     66188    180357    301162    121819   1149315   2785082     17.63     18.71
9009.90/1134.96	c  N dy  2152    577820     66166    180357    303290    112952   1149309   2275444     17.65     18.89
9072.19/1142.79	c Finding binary XORs  T:     0.05 s  found:     554
9073.89/1142.94	c Replacing      863 vars Replaced    47482 lits Time:     0.15 s 
9257.58/1165.91	c  N dy  2261    597900     65285    178348    300809    131605   1140273   3387887     17.78     30.69
9366.12/1179.52	c Finding binary XORs  T:     0.05 s  found:     437
9518.67/1198.67	c  N dy  2329    618007     65220    177305    303205    119871   1136693   2048318     17.74     18.73
9648.86/1214.94	c Finding binary XORs  T:     0.05 s  found:     739
9649.67/1215.09	c Replacing     1176 vars Replaced    70055 lits Time:     0.14 s 
9747.90/1227.38	c  N dy  2448    638090     64012    172921    288559    135997   1116133   3013125     17.88     30.90
9926.80/1249.76	c Finding binary XORs  T:     0.05 s  found:     330
9968.35/1254.95	c  N dy  2573    658135     63978    171236    289711    123689   1102303   2448373     18.07     19.59
10179.21/1281.33	c  N dy  2698    678182     63926    171236    290918    143461   1102303   3765253     18.25     20.76
10180.10/1281.46	c Finding binary XORs  T:     0.05 s  found:     679
10181.59/1281.66	c Replacing     1009 vars Replaced    81245 lits Time:     0.19 s 
10412.43/1310.54	c  N dy  2816    698343     62754    167362    289730    128105   1083712   2279300     18.40     19.81
10413.23/1310.64	c Finding binary XORs  T:     0.05 s  found:     429
10600.13/1334.09	c Finding binary XORs  T:     0.05 s  found:     438
10601.82/1334.27	c Replacing      867 vars Replaced    73625 lits Time:     0.18 s 
10650.45/1340.30	c  N dy  2943    718878     61789    162596    291161    143691   1061942   3371088     18.53     20.46
10844.55/1364.63	c Finding binary XORs  T:     0.05 s  found:     405
10856.62/1366.19	c  N dy  3069    739303     61740    159952    293306    128722   1046963   1983471     18.59     19.70
10999.49/1384.06	c Finding binary XORs  T:     0.05 s  found:     394
11001.09/1384.24	c Replacing      799 vars Replaced    74733 lits Time:     0.18 s 
11074.58/1393.43	c  N dy  3169    759369     60779    157104    301858    145278   1026096   3268972     18.61     23.82
11203.98/1409.62	c Finding binary XORs  T:     0.05 s  found:     594
11298.21/1421.50	c  N dy  3247    779877     60706    152886    308396    126475    980585   1867964     18.57     19.79
11357.41/1428.88	c Finding binary XORs  T:     0.05 s  found:     615
11358.91/1429.02	c Replacing     1209 vars Replaced   106819 lits Time:     0.15 s 
11516.38/1448.75	c  N dy  3328    801115     59365    148270    309379    140330    938701   3037102     18.53     19.52
11533.14/1450.86	c Finding binary XORs  T:     0.05 s  found:     634
11534.63/1451.02	c Replacing      634 vars Replaced    71563 lits Time:     0.16 s 
11562.60/1454.53	c  S st  3351    805896     58715    144115    311263    137544    908456   3002259     18.53   no data
11569.78/1455.43	c  S st  3351    806397     58715    144115    311270    138036    908456   3061449     18.53   no data
11570.58/1455.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
11642.00/1466.88	c Flit:    16 Blit:    145 bXBeca:    0 bXProp:  127 Bins:   5656 BRemL:    112 BRemN:      0 P: 200.1M T: 11.35
11642.00/1466.89	c Cleaning up after failed var search:     0.00 s 
11642.40/1467.07	c Replacing      128 vars Replaced    20893 lits Time:     0.17 s 
11642.60/1467.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11642.60/1467.19	c bin-w-bin subsume rem        26496 bins  time:  0.05 s
11642.80/1467.29	c subs with bin:     1523  lits-rem:      4871  v-fix:    0  time:  0.10 s
11644.99/1468.33	c Subs w/ non-existent bins:    500 l-rem:   2990 v-fix:     9 done:  58366 time:  1.03 s
11645.22/1468.42	c Removed useless bin:     188  fixed:     0  props:   4.02M  time:  0.09 s
11646.19/1468.95	c lits-rem:       446  cl-subs:     4449  v-elim:   2636  v-fix:    0  time:  0.53 s
11647.00/1469.33	c subs with bin:    16946  lits-rem:     33488  v-fix:    0  time:  0.25 s
11648.20/1469.90	c lits-rem:      4990  cl-subs:     4682  v-elim:      0  v-fix:    0  time:  0.52 s
11649.00/1470.37	c vivif2 --  cl tried   135028 cl shrink     7217 lits rem      21902 time: 0.47
11649.62/1470.70	c vivif2 --  cl tried    96228 cl shrink     8791 lits rem      38662 time: 0.33
11651.19/1471.41	c asymm  cl-useful: 31/298/134706 lits-rem:60 time: 0.71
11651.40/1471.55	c calculated reachability. Time: 0.11
11651.40/1471.55	c  N dy  3351    806397     55721    134700    267417     95780    895364   1263523     18.53   no data
11651.40/1471.55	c Following stats are for *FIRST FINISHED THREAD ONLY*
11651.40/1471.55	c num threads              : 8          
11651.40/1471.55	c restarts                 : 2945       
11651.40/1471.55	c dynamic restarts         : 2921       
11651.40/1471.55	c static restarts          : 24         
11651.40/1471.55	c full restarts            : 3          
11651.40/1471.55	c total simplify time      : 22.76      
11651.40/1471.55	c learnts DL2              : 0          
11651.40/1471.55	c learnts size 2           : 2488466    
11651.40/1471.55	c learnts size 1           : 8571        (3.44      % of vars)
11651.40/1471.55	c filedLit time            : 43.80       (3.00      % time)
11651.40/1471.55	c v-elim SatELite          : 158827      (63.70     % vars)
11651.40/1471.55	c SatELite time            : 15.08       (1.03      % time)
11651.40/1471.55	c v-elim xor               : 0           (0.00      % vars)
11651.40/1471.55	c xor elim time            : 0.16        (0.01      % time)
11651.40/1471.55	c num binary xor trees     : 2510       
11651.40/1471.55	c binxor trees' crown      : 28697       (11.43     leafs/tree)
11651.40/1471.55	c bin xor find time        : 15.95      
11651.40/1471.55	c OTF clause improved      : 6112        (0.01      clauses/conflict)
11651.40/1471.55	c OTF impr. size diff      : 12464       (2.04       lits/clause)
11651.40/1471.55	c OTF cl watch-shrink      : 309870      (0.44      clauses/conflict)
11651.40/1471.55	c OTF cl watch-sh-lit      : 2690233     (8.68       lits/clause)
11651.40/1471.55	c tried to recurMin cls    : 457584      (64.26      % of conflicts)
11651.40/1471.55	c updated cache            : 277780      (0.61       lits/tried recurMin)
11651.40/1471.55	c unit cls recevied        : 877         (10.23     % of units)
11651.40/1471.55	c unit cls sent            : 997         (11.63     % of units)
11651.40/1471.55	c bin cls recevied         : 1814058    
11651.40/1471.55	c bin cls sent             : 194670     
11651.40/1471.55	c clauses over max glue    : 0           (0.00      % of all clauses)
11651.40/1471.55	c conflicts                : 712094      (488.22    / sec)
11651.40/1471.55	c decisions                : 8919299     (0.81      % random)
11651.40/1471.55	c bogo-props               : 26243550279 (17993024.16 / sec)
11651.40/1471.55	c conflict literals        : 52659186    (39.29     % deleted)
11651.40/1471.55	c Memory used              : 5374.95     MB
11651.40/1471.55	c single-thread CPU time   : 1458.54     s
11651.40/1471.55	c all-threads sum CPU time : 11641.69    s
11651.40/1471.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: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3393930-1306072459/watcher-3393930-1306072459 -o /tmp/evaluation-result-3393930-1306072459/solver-3393930-1306072459 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393930-1306072459.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.44 7.93 7.42 1/379 28803
/proc/meminfo: memFree=10620540/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=92144 CPUtime=0.05 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 413 0 0 0 5 0 0 0 22 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28803/statm: 23036 353 299 95 0 18018 0
[pid=28803/tid=28804] ppid=28801 vsize=92144 CPUtime=0 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753068 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=92144 CPUtime=0 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753074 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=92144 CPUtime=0 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=92144 CPUtime=0 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753074 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=92144 CPUtime=0 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=92144 CPUtime=0 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753068 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=92144 CPUtime=0 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753074 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0234019 s]
/proc/loadavg: 7.44 7.93 7.42 1/379 28803
/proc/meminfo: memFree=10620540/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=92144 CPUtime=0.12 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 413 0 0 0 12 0 0 0 22 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28803/statm: 23036 353 299 95 0 18018 0
[pid=28803/tid=28804] ppid=28801 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753074 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=92144 CPUtime=0 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753074 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753068 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=92144 CPUtime=0.01 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 718848732 94355456 353 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280753074 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 92144

[startup+0.100361 s]
/proc/loadavg: 7.44 7.93 7.42 1/379 28803
/proc/meminfo: memFree=10620540/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=569588 CPUtime=0.59 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 13777 0 0 0 47 12 0 0 17 0 8 0 718848732 583258112 11823 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062303 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28803/statm: 142397 11823 337 95 0 137379 0
[pid=28803/tid=28804] ppid=28801 vsize=569588 CPUtime=0.07 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 1642 0 0 0 6 1 0 0 17 0 8 0 718848732 583258112 11823 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446604464336179264 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=569588 CPUtime=0.07 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 1667 0 0 0 6 1 0 0 17 0 8 0 718848732 583258112 11825 33554432000 4194304 4580107 140736121646704 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=569588 CPUtime=0.03 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 1658 0 0 0 2 1 0 0 17 0 8 0 718848732 583258112 11852 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446604464336179264 0 0 -1 7 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=569588 CPUtime=0.07 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 1846 0 0 0 6 1 0 0 17 0 8 0 718848732 583258112 11869 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446604464336179264 0 0 -1 5 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=569588 CPUtime=0.07 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) D 28801 28803 28610 0 -1 4202560 1599 0 0 0 6 1 0 0 17 0 8 0 718848732 583258112 11879 33554432000 4194304 4580107 140736121646704 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=569588 CPUtime=0.07 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 1664 0 0 0 6 1 0 0 17 0 8 0 718848732 583258112 11901 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446604464336179264 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=569588 CPUtime=0.07 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 1612 0 0 0 6 1 0 0 17 0 8 0 718848732 583258112 11909 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 569588

[startup+0.303411 s]
/proc/loadavg: 7.44 7.93 7.42 1/379 28803
/proc/meminfo: memFree=10620540/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=706592 CPUtime=1.69 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) S 28801 28803 28610 0 -1 4202496 61620 0 0 0 115 54 0 0 17 0 8 0 718848732 723550208 53122 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28803/statm: 176648 53128 337 95 0 171630 0
[pid=28803/tid=28804] ppid=28801 vsize=706592 CPUtime=0.21 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 7606 0 0 0 15 6 0 0 17 0 8 0 718848732 723550208 53141 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446604464336179264 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=706592 CPUtime=0.2 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 7670 0 0 0 15 5 0 0 17 0 8 0 718848732 723550208 53155 33554432000 4194304 4580107 140736121646704 18446744073709551615 218370654416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=706592 CPUtime=0.17 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 7886 0 0 0 10 7 0 0 17 0 8 0 718848732 723550208 53171 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446604464336179264 0 0 -1 7 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=706592 CPUtime=0.21 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 8029 0 0 0 14 7 0 0 17 0 8 0 718848732 723550208 53185 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446604464336179264 0 0 -1 5 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=706592 CPUtime=0.21 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 7181 0 0 0 13 8 0 0 17 0 8 0 718848732 723550208 53198 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446604464336179264 0 0 -1 3 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=706592 CPUtime=0.21 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 6883 0 0 0 15 6 0 0 17 0 8 0 718848732 723550208 53210 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446604464336179264 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=706592 CPUtime=0.21 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 8217 0 0 0 16 5 0 0 17 0 8 0 718848732 723550208 53223 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 18446604464336179264 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 706592

[startup+0.701261 s]
/proc/loadavg: 7.44 7.93 7.42 1/379 28803
/proc/meminfo: memFree=10620540/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=1038448 CPUtime=3.95 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 165058 0 0 0 251 144 0 0 16 0 8 0 718848732 1063370752 131114 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062303 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28803/statm: 259612 131121 337 95 0 254594 0
[pid=28803/tid=28804] ppid=28801 vsize=1038448 CPUtime=0.48 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 20579 0 0 0 32 16 0 0 16 0 8 0 718848732 1063370752 131123 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062303 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=1038448 CPUtime=0.48 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 21308 0 0 0 30 18 0 0 16 0 8 0 718848732 1063370752 131125 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=1038448 CPUtime=0.45 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 20404 0 0 0 26 19 0 0 16 0 8 0 718848732 1063370752 131132 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062254 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=1038448 CPUtime=0.49 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 21422 0 0 0 32 17 0 0 16 0 8 0 718848732 1063370752 131137 33554432000 4194304 4580107 140736121646704 18446744073709551615 4512470 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=1038448 CPUtime=0.49 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 19421 0 0 0 30 19 0 0 16 0 8 0 718848732 1063370752 131142 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062303 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=1038448 CPUtime=0.48 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 18819 0 0 0 31 17 0 0 16 0 8 0 718848732 1063370752 131147 33554432000 4194304 4580107 140736121646704 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=1038448 CPUtime=0.49 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 21767 0 0 0 35 14 0 0 16 0 8 0 718848732 1063370752 131155 33554432000 4194304 4580107 140736121646704 18446744073709551615 218371062303 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 1038448

[startup+1.50111 s]
/proc/loadavg: 7.44 7.93 7.42 9/387 28811
/proc/meminfo: memFree=9871640/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=1248396 CPUtime=9.25 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 231374 0 0 0 716 209 0 0 16 0 8 0 718848732 1278357504 196080 33554432000 4194304 4580107 140736121646704 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28803/statm: 312099 196080 359 95 0 307081 0
[pid=28803/tid=28804] ppid=28801 vsize=1248396 CPUtime=1.14 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 29868 0 0 0 90 24 0 0 16 0 8 0 718848732 1278357504 196080 33554432000 4194304 4580107 140736121646704 18446744073709551615 4289021 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=1248396 CPUtime=1.13 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 29438 0 0 0 88 25 0 0 16 0 8 0 718848732 1278357504 196080 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=1248396 CPUtime=1.13 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 27301 0 0 0 86 27 0 0 16 0 8 0 718848732 1278357504 196080 33554432000 4194304 4580107 140736121646704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=1248396 CPUtime=1.16 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 29519 0 0 0 89 27 0 0 16 0 8 0 718848732 1278357504 196080 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=1248396 CPUtime=1.15 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 26713 0 0 0 89 26 0 0 16 0 8 0 718848732 1278357504 196080 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=1248396 CPUtime=1.14 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 27327 0 0 0 88 26 0 0 16 0 8 0 718848732 1278357504 196080 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=1248396 CPUtime=1.16 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 31622 0 0 0 95 21 0 0 16 0 8 0 718848732 1278357504 196080 33554432000 4194304 4580107 140736121646704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.25
Current children cumulated vsize (KiB) 1248396

[startup+3.10083 s]
/proc/loadavg: 7.44 7.93 7.42 13/387 28811
/proc/meminfo: memFree=9833968/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=1251320 CPUtime=22.03 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 238959 0 0 0 1993 210 0 0 18 0 8 0 718848732 1281351680 203206 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28803/statm: 312830 203206 360 95 0 307812 0
[pid=28803/tid=28804] ppid=28801 vsize=1251320 CPUtime=2.74 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 30873 0 0 0 250 24 0 0 18 0 8 0 718848732 1281351680 203206 33554432000 4194304 4580107 140736121646704 18446744073709551615 4294302 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=1251320 CPUtime=2.72 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 29925 0 0 0 246 26 0 0 18 0 8 0 718848732 1281351680 203206 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=1251320 CPUtime=2.73 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 28032 0 0 0 246 27 0 0 18 0 8 0 718848732 1281351680 203206 33554432000 4194304 4580107 140736121646704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=1251320 CPUtime=2.76 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 30805 0 0 0 249 27 0 0 18 0 8 0 718848732 1281351680 203206 33554432000 4194304 4580107 140736121646704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=1251320 CPUtime=2.75 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 28023 0 0 0 249 26 0 0 18 0 8 0 718848732 1281351680 203206 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=1251320 CPUtime=2.74 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 28683 0 0 0 248 26 0 0 18 0 8 0 718848732 1281351680 203206 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=1251320 CPUtime=2.76 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 32545 0 0 0 255 21 0 0 18 0 8 0 718848732 1281351680 203206 33554432000 4194304 4580107 140736121646704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.03
Current children cumulated vsize (KiB) 1251320

[startup+6.30126 s]
/proc/loadavg: 7.49 7.93 7.43 9/387 28811
/proc/meminfo: memFree=9807840/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=1251320 CPUtime=47.59 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 240509 0 0 0 4549 210 0 0 25 0 8 0 718848732 1281351680 203423 33554432000 4194304 4580107 140736121646704 18446744073709551615 4292985 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28803/statm: 312830 203423 360 95 0 307812 0
[pid=28803/tid=28804] ppid=28801 vsize=1251320 CPUtime=5.94 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 30873 0 0 0 570 24 0 0 25 0 8 0 718848732 1281351680 203423 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=1251320 CPUtime=5.88 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 29925 0 0 0 562 26 0 0 25 0 8 0 718848732 1281351680 203423 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=1251320 CPUtime=5.93 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 28032 0 0 0 566 27 0 0 25 0 8 0 718848732 1281351680 203423 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=1251320 CPUtime=5.96 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 30805 0 0 0 569 27 0 0 25 0 8 0 718848732 1281351680 203423 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=1251320 CPUtime=5.95 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 28023 0 0 0 569 26 0 0 25 0 8 0 718848732 1281351680 203423 33554432000 4194304 4580107 140736121646704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=1251320 CPUtime=5.94 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 28683 0 0 0 568 26 0 0 25 0 8 0 718848732 1281351680 203423 33554432000 4194304 4580107 140736121646704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=1251320 CPUtime=5.95 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 34095 0 0 0 574 21 0 0 25 0 8 0 718848732 1281351680 203423 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 0 0 0 0

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

/proc/loadavg: 8.09 8.05 7.88 9/387 28862
/proc/meminfo: memFree=6314176/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=5268588 CPUtime=11394.8 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 3466822 0 0 0 1138515 970 0 0 25 0 8 0 718848732 5395034112 1074542 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28803/statm: 1317147 1074542 385 95 0 1312129 0
[pid=28803/tid=28804] ppid=28801 vsize=5268588 CPUtime=1426.65 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 359439 0 0 0 142554 111 0 0 25 0 8 0 718848732 5395034112 1074542 33554432000 4194304 4580107 140736121646704 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=5268588 CPUtime=1412.89 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 507144 0 0 0 141122 167 0 0 25 0 8 0 718848732 5395034112 1074542 33554432000 4194304 4580107 140736121646704 18446744073709551615 4316395 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=5268588 CPUtime=1419.27 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 476648 0 0 0 141804 123 0 0 25 0 8 0 718848732 5395034112 1074542 33554432000 4194304 4580107 140736121646704 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=5268588 CPUtime=1428.72 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 398509 0 0 0 142762 110 0 0 25 0 8 0 718848732 5395034112 1074542 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=5268588 CPUtime=1427.62 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 488111 0 0 0 142640 122 0 0 25 0 8 0 718848732 5395034112 1074542 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=5268588 CPUtime=1425.17 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 474846 0 0 0 142396 121 0 0 25 0 8 0 718848732 5395034112 1074542 33554432000 4194304 4580107 140736121646704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=5268588 CPUtime=1421.44 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 294530 0 0 0 142049 95 0 0 25 0 8 0 718848732 5395034112 1074542 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11394.9
Current children cumulated vsize (KiB) 5268588

[startup+1459.1 s]
/proc/loadavg: 8.06 8.05 7.89 9/387 28862
/proc/meminfo: memFree=6310204/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=5440848 CPUtime=11599.3 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 3479612 0 0 0 1158955 978 0 0 25 0 8 0 718848732 5571428352 1075892 33554432000 4194304 4580107 140736121646704 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28803/statm: 1360212 1075892 385 95 0 1355194 0
[pid=28803/tid=28804] ppid=28801 vsize=5440848 CPUtime=1452.24 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 359860 0 0 0 145113 111 0 0 25 0 8 0 718848732 5571428352 1075892 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=5440848 CPUtime=1438.17 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 509839 0 0 0 143648 169 0 0 25 0 8 0 718848732 5571428352 1075892 33554432000 4194304 4580107 140736121646704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=5440848 CPUtime=1444.87 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 477141 0 0 0 144364 123 0 0 25 0 8 0 718848732 5571428352 1075892 33554432000 4194304 4580107 140736121646704 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=5440848 CPUtime=1454.33 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 399000 0 0 0 145322 111 0 0 25 0 8 0 718848732 5571428352 1075892 33554432000 4194304 4580107 140736121646704 18446744073709551615 4325173 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=5440848 CPUtime=1453.22 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 491615 0 0 0 145198 124 0 0 25 0 8 0 718848732 5571428352 1075892 33554432000 4194304 4580107 140736121646704 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=5440848 CPUtime=1450.76 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 474869 0 0 0 144955 121 0 0 25 0 8 0 718848732 5571428352 1075892 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=5440848 CPUtime=1447.03 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 295304 0 0 0 144608 95 0 0 25 0 8 0 718848732 5571428352 1075892 33554432000 4194304 4580107 140736121646704 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11599.3
Current children cumulated vsize (KiB) 5440848

[startup+1465.5 s]
/proc/loadavg: 8.05 8.04 7.89 3/387 28862
/proc/meminfo: memFree=6278824/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=5353788 CPUtime=11639.4 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 3487861 0 0 0 1162959 980 0 0 25 0 8 0 718848732 5482278912 1083846 33554432000 4194304 4580107 140736121646704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28803/statm: 1338447 1083846 385 95 0 1333429 0
[pid=28803/tid=28804] ppid=28801 vsize=5353788 CPUtime=1456.8 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 359860 0 0 0 145569 111 0 0 25 0 8 0 718848732 5482278912 1083846 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=5353788 CPUtime=1442.67 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 510357 0 0 0 144097 170 0 0 25 0 8 0 718848732 5482278912 1083846 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 7 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=5353788 CPUtime=1449.42 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 477192 0 0 0 144819 123 0 0 25 0 8 0 718848732 5482278912 1083846 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 3 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=5353788 CPUtime=1458.88 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 399000 0 0 0 145777 111 0 0 25 0 8 0 718848732 5482278912 1083846 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 1 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=5353788 CPUtime=1457.78 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 491957 0 0 0 145654 124 0 0 25 0 8 0 718848732 5482278912 1083846 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 5 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=5353788 CPUtime=1455.31 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 474869 0 0 0 145410 121 0 0 25 0 8 0 718848732 5482278912 1083846 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=5353788 CPUtime=1453.44 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 295464 0 0 0 145248 96 0 0 25 0 8 0 718848732 5482278912 1083846 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280728260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11639.4
Current children cumulated vsize (KiB) 5353788

[startup+1468.7 s]
/proc/loadavg: 8.05 8.04 7.89 3/387 28862
/proc/meminfo: memFree=6261516/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=5419324 CPUtime=11645.8 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 3493654 0 0 0 1163598 981 0 0 25 0 8 0 718848732 5549387776 1087592 33554432000 4194304 4580107 140736121646704 18446744073709551615 4399437 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28803/statm: 1354831 1087592 385 95 0 1349813 0
[pid=28803/tid=28804] ppid=28801 vsize=5419324 CPUtime=1456.8 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 359860 0 0 0 145569 111 0 0 25 0 8 0 718848732 5549387776 1087592 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=5419324 CPUtime=1442.67 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 510357 0 0 0 144097 170 0 0 25 0 8 0 718848732 5549387776 1087592 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 7 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=5419324 CPUtime=1449.42 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 477192 0 0 0 144819 123 0 0 25 0 8 0 718848732 5549387776 1087592 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 3 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=5419324 CPUtime=1458.88 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 399000 0 0 0 145777 111 0 0 25 0 8 0 718848732 5549387776 1087592 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 1 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=5419324 CPUtime=1457.78 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 491957 0 0 0 145654 124 0 0 25 0 8 0 718848732 5549387776 1087592 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 5 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=5419324 CPUtime=1455.31 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 474869 0 0 0 145410 121 0 0 25 0 8 0 718848732 5549387776 1087592 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=5419324 CPUtime=1456.64 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 295464 0 0 0 145568 96 0 0 25 0 8 0 718848732 5549387776 1087592 33554432000 4194304 4580107 140736121646704 18446744073709551615 4219837 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11645.8
Current children cumulated vsize (KiB) 5419324

[startup+1470.3 s]
/proc/loadavg: 7.57 7.94 7.85 3/387 28863
/proc/meminfo: memFree=6243920/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=5503948 CPUtime=11649 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 3499623 0 0 0 1163918 982 0 0 25 0 8 0 718848732 5636042752 1090922 33554432000 4194304 4580107 140736121646704 18446744073709551615 4502102 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28803/statm: 1375987 1090922 385 95 0 1370969 0
[pid=28803/tid=28804] ppid=28801 vsize=5503948 CPUtime=1456.8 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 359860 0 0 0 145569 111 0 0 25 0 8 0 718848732 5636042752 1090922 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=5503948 CPUtime=1442.67 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 510357 0 0 0 144097 170 0 0 25 0 8 0 718848732 5636042752 1090922 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 7 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=5503948 CPUtime=1449.42 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 477192 0 0 0 144819 123 0 0 25 0 8 0 718848732 5636042752 1090922 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 3 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=5503948 CPUtime=1458.88 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 399000 0 0 0 145777 111 0 0 25 0 8 0 718848732 5636042752 1090922 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 1 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=5503948 CPUtime=1457.78 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 491957 0 0 0 145654 124 0 0 25 0 8 0 718848732 5636042752 1090922 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 5 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=5503948 CPUtime=1455.31 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 474869 0 0 0 145410 121 0 0 25 0 8 0 718848732 5636042752 1090922 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=5503948 CPUtime=1458.24 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 295464 0 0 0 145728 96 0 0 25 0 8 0 718848732 5636042752 1090922 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280728260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11649
Current children cumulated vsize (KiB) 5503948

[startup+1471.1 s]
/proc/loadavg: 7.57 7.94 7.85 3/387 28863
/proc/meminfo: memFree=6248136/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=5503948 CPUtime=11650.6 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 3499886 0 0 0 1164077 982 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28803/statm: 1375987 1091185 385 95 0 1370969 0
[pid=28803/tid=28804] ppid=28801 vsize=5503948 CPUtime=1456.8 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 359860 0 0 0 145569 111 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=5503948 CPUtime=1442.67 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 510357 0 0 0 144097 170 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 7 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=5503948 CPUtime=1449.42 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 477192 0 0 0 144819 123 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 3 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=5503948 CPUtime=1458.88 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 399000 0 0 0 145777 111 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 1 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=5503948 CPUtime=1457.78 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 491957 0 0 0 145654 124 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 5 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=5503948 CPUtime=1455.31 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 474869 0 0 0 145410 121 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=5503948 CPUtime=1459.04 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 295464 0 0 0 145808 96 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280728107 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11650.6
Current children cumulated vsize (KiB) 5503948

[startup+1471.5 s]
/proc/loadavg: 7.57 7.94 7.85 3/387 28863
/proc/meminfo: memFree=6248136/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=5503948 CPUtime=11651.4 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) R 28801 28803 28610 0 -1 4202496 3499886 0 0 0 1164158 982 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 4290856 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28803/statm: 1375987 1091185 385 95 0 1370969 0
[pid=28803/tid=28804] ppid=28801 vsize=5503948 CPUtime=1456.8 cores=0-7
/proc/28803/task/28804/stat : 28804 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 359860 0 0 0 145569 111 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 6 0 0 0
[pid=28803/tid=28805] ppid=28801 vsize=5503948 CPUtime=1442.67 cores=0-7
/proc/28803/task/28805/stat : 28805 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 510357 0 0 0 144097 170 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 7 0 0 0
[pid=28803/tid=28806] ppid=28801 vsize=5503948 CPUtime=1449.42 cores=0-7
/proc/28803/task/28806/stat : 28806 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 477192 0 0 0 144819 123 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 3 0 0 0
[pid=28803/tid=28807] ppid=28801 vsize=5503948 CPUtime=1458.88 cores=0-7
/proc/28803/task/28807/stat : 28807 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 399000 0 0 0 145777 111 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 1 0 0 0
[pid=28803/tid=28808] ppid=28801 vsize=5503948 CPUtime=1457.78 cores=0-7
/proc/28803/task/28808/stat : 28808 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 491957 0 0 0 145654 124 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 5 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=5503948 CPUtime=1455.31 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) S 28801 28803 28610 0 -1 4202560 474869 0 0 0 145410 121 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 48002280752692 0 0 4096 2 18446604464336179264 0 0 -1 4 0 0 0
[pid=28803/tid=28810] ppid=28801 vsize=5503948 CPUtime=1459.44 cores=0-7
/proc/28803/task/28810/stat : 28810 (strangenight2-m) R 28801 28803 28610 0 -1 4202560 295464 0 0 0 145848 96 0 0 25 0 8 0 718848732 5636042752 1091185 33554432000 4194304 4580107 140736121646704 18446744073709551615 4205160 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11651.4
Current children cumulated vsize (KiB) 5503948

[startup+1471.7 s]
/proc/loadavg: 7.57 7.94 7.85 2/381 28863
/proc/meminfo: memFree=9209632/32951124 swapFree=52307820/67111528
[pid=28803] ppid=28801 vsize=0 CPUtime=11651.7 cores=0-7
/proc/28803/stat : 28803 (strangenight2-m) Z 28801 28803 28610 0 -1 4203548 3499889 0 0 0 1164169 998 0 0 25 0 2 0 718848732 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28803/statm: 0 0 0 0 0 0 0
[pid=28803/tid=28809] ppid=28801 vsize=0 CPUtime=1455.47 cores=0-7
/proc/28803/task/28809/stat : 28809 (strangenight2-m) R 28801 28803 28610 0 -1 4203588 474869 0 0 0 145410 137 0 0 18 0 2 0 718848732 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11651.7
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1471.77
CPU time (s): 11651.7
CPU user time (s): 11641.7
CPU system time (s): 10.0345
CPU usage (%): 791.684
Max. virtual memory (cumulated for all children) (KiB): 5528092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11641.7
system time used= 10.0345
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3499889
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= 266044
involuntary context switches= 50323

runsolver used 5.31619 second user time and 13.412 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-22 15:54:20
IDJOB=3393930
IDBENCH=70769
IDSOLVER=1878
FILE ID=node101/3393930-1306072459
RUNJOBID= node101-1306069999-28624
PBS_JOBID= 13387902
Free space on /tmp= 73564 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3393930-1306072459/watcher-3393930-1306072459 -o /tmp/evaluation-result-3393930-1306072459/solver-3393930-1306072459 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393930-1306072459.cnf

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

MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED=1656866226

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.74
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.841
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.83
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10620944 kB
Buffers:        368720 kB
Cached:       10458716 kB
SwapCached:      14796 kB
Active:       14819636 kB
Inactive:      7195084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10620944 kB
SwapTotal:    67111528 kB
SwapFree:     52307820 kB
Dirty:           19032 kB
Writeback:           0 kB
AnonPages:    11184340 kB
Mapped:          20740 kB
Slab:           173252 kB
PageTables:      73728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78580208 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= 73560 MiB
End job on node101 at 2011-05-22 16:18:52