Trace number 3367213

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 1521.66 390.789

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
MD5SUM36e8e2178d03f08fa4223da0e3d9beb5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark539.975
Satisfiable
(Un)Satisfiability was proved
Number of variables87884
Number of clauses1413816
Sum of the clauses size3227576
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21364160
Number of clauses of size 33840
Number of clauses of size 417760
Number of clauses of size 57680
Number of clauses of size over 519680

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367213-1305393696.cnf'
0.00/0.01	c -- header says num vars:          87884
0.00/0.01	c -- header says num clauses:     1413816
1.41/0.54	c -- clauses added:            0 learnts,      1413816 normals,            0 xors
1.41/0.54	c -- vars added      87884
1.41/0.54	c Parsing time:  0.20 s
1.41/0.54	c  N st     0         0     87884     37242   1002916         0   2379025         0   no data   no data
2.90/0.91	c asymm  cl-useful: 340/925/31008 lits-rem:13381 time: 0.35
32.02/8.20	c Flit:   272 Blit:   9075 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  7.27
32.02/8.23	c Cleaning up after failed var search:     0.02 s 
32.02/8.26	c Replacing      503 vars Replaced    29211 lits Time:     0.03 s 
32.41/8.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
32.41/8.34	c bin-w-bin subsume rem          734 bins  time:  0.04 s
32.81/8.47	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.13 s
41.58/10.68	c Subs w/ non-existent bins:     29 l-rem:    686 v-fix:   384 done:  33612 time:  2.20 s
42.38/10.83	c Removed useless bin:    9772  fixed:     0  props:  20.01M  time:  0.15 s
42.80/10.99	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.16 s
42.80/11.01	c Finding binary XORs  T:     0.02 s  found:     218
43.22/11.04	c Replacing      218 vars Replaced    17256 lits Time:     0.03 s 
43.22/11.06	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
43.22/11.06	c calculated reachability. Time: 0.00
43.22/11.07	c Calc default polars -  time:   0.01 s pos:    1621 undec:   44954 neg:   41309
43.22/11.07	c =========================================================================================
43.22/11.07	c types(t): F = full restart, N = normal restart
43.22/11.07	c types(t): S = simplification begin/end, E = solution found
43.22/11.07	c restart types(rt): st = static, dy = dynamic
43.22/11.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
43.22/11.07	c  B st     0         0     42936     25852    552092         0   1334424         0   no data   no data
60.77/15.47	c  N dy    11      4233     42926     25852    552175      4110   1334424   2463740     25.85     27.44
75.48/19.14	c  N dy    25      8309     42920     25852    552392      5069   1334424   1170992     22.90     55.71
92.23/23.30	c  N dy    50     12335     42914     25852    552468      8983   1334424   2979171     23.72     25.12
108.19/27.39	c  N dy    75     16472     42855     25852    553099      8003   1334423   1516081     25.40     26.91
127.71/32.22	c  N dy    95     20592     42787     25852    553531     12014   1334423   3766505     25.39     30.60
153.23/38.62	c  N dy   115     24641     42773     25852    553581      9473   1334423   2301038     24.96     26.65
154.83/39.08	c  F st   116     25002     42766     25852    553850      9829   1334423   2550404     24.77     16.49
185.54/46.78	c  N dy   122     30003     42668     25710    548974     14698   1322865   6855515     24.77   no data
185.54/46.78	c  S st   122     30003     42668     25710    548974     14698   1322865   6855515     24.77   no data
187.98/47.33	c  S st   122     30503     42667     25710    548986     15180   1322865   7001997     24.77   no data
187.98/47.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
248.56/62.58	c Flit:   527 Blit:   1665 bXBeca:    0 bXProp:  157 Bins: 725178 BRemL:  18044 BRemN:   1147 P: 200.0M T: 15.12
248.97/62.64	c Cleaning up after failed var search:     0.06 s 
250.14/62.94	c Replacing      158 vars Replaced    59133 lits Time:     0.29 s 
250.14/62.98	c blocked clauses removed:        0 vars:      0 tried:       40077 T: 0.02 s
250.55/63.08	c bin-w-bin subsume rem         7239 bins  time:  0.10 s
251.35/63.28	c subs with bin:       15  lits-rem:        14  v-fix:    0  time:  0.20 s
262.13/65.99	c Subs w/ non-existent bins:     14 l-rem:    500 v-fix:    66 done:  35534 time:  2.70 s
262.90/66.19	c Removed useless bin:   15542  fixed:     0  props:  20.00M  time:  0.20 s
264.10/66.40	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.21 s
271.67/68.37	c subs with bin:       13  lits-rem:       910  v-fix:    0  time:  1.44 s
279.67/70.40	c lits-rem:      2641  cl-subs:      726  v-elim:      0  v-fix:    0  time:  2.01 s
281.65/70.84	c asymm  cl-useful: 167/730/24606 lits-rem:2260 time: 0.43
282.44/71.03	c calculated reachability. Time: 0.17
282.44/71.03	c  N dy   122     30503     40009     24606   1090018     13875   1192339   7381235     24.77   no data
284.83/71.61	c Finding binary XORs  T:     0.58 s  found:      65
319.91/80.40	c  N dy   130     35231     39993     24606   1090789     10961   1192339   3907538     23.20     25.09
346.64/87.13	c  N dy   142     39301     39979     24606   1111544     14835   1192339   6433013     22.23     23.47
373.76/93.96	c  N dy   148     43831     39976     24606   1111664     10636   1192339   3025121     21.23     22.75
377.74/94.96	c Finding binary XORs  T:     0.61 s  found:     142
388.53/97.61	c  S st   154     45754     39191     24142   1231774     12323   1161698   4507158     21.05     11.23
390.51/98.17	c  S st   154     46255     39190     24142   1231805     12792   1161698   4593971     21.05   no data
390.91/98.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
432.79/108.80	c Flit:   274 Blit:    272 bXBeca:    0 bXProp:   33 Bins: 579256 BRemL:   5786 BRemN:   3350 P: 200.0M T: 10.48
433.20/108.84	c Cleaning up after failed var search:     0.04 s 
433.98/109.02	c Replacing      241 vars Replaced   132546 lits Time:     0.17 s 
433.98/109.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
434.78/109.26	c bin-w-bin subsume rem        46584 bins  time:  0.20 s
435.98/109.54	c subs with bin:        5  lits-rem:         9  v-fix:    0  time:  0.28 s
446.37/112.15	c Subs w/ non-existent bins:      2 l-rem:    266 v-fix:     8 done:  36737 time:  2.61 s
447.14/112.35	c Removed useless bin:   10004  fixed:     0  props:  20.01M  time:  0.20 s
447.94/112.57	c lits-rem:         0  cl-subs:        8  v-elim:      3  v-fix:    0  time:  0.22 s
454.32/114.19	c subs with bin:        3  lits-rem:       514  v-fix:    0  time:  1.47 s
457.90/115.01	c lits-rem:      1021  cl-subs:      291  v-elim:      0  v-fix:    0  time:  0.80 s
457.90/115.06	c vivif2 --  cl tried    23904 cl shrink       76 lits rem        468 time: 0.05
458.71/115.28	c vivif2 --  cl tried    12421 cl shrink     5718 lits rem     557620 time: 0.22
460.69/115.75	c asymm  cl-useful: 63/709/23904 lits-rem:693 time: 0.47
462.29/116.11	c calculated reachability. Time: 0.33
462.29/116.11	c  N dy   154     46255     38405     23904   1683574     11833   1112934   4852048     21.05   no data
466.69/117.26	c Finding binary XORs  T:     1.14 s  found:      21
511.35/128.48	c  N dy   159     52545     38343     23904   1713122     17912   1112934   8443188     19.94     28.99
529.71/133.02	c  N dy   167     56597     38339     23904   1713209     12594   1112934   4620255     19.46     20.60
540.06/135.63	c Finding binary XORs  T:     1.15 s  found:      14
568.38/142.72	c  N dy   170     63397     38335     23860   1718582     19223   1110645   6819466     18.51     20.03
594.69/149.31	c  N dy   177     67451     38328     23860   1757382     13680   1110645   3461789     18.05     19.02
603.47/151.53	c  S st   180     69387     38328     23860   1757425     15567   1110645   4290798     17.82   no data
605.86/152.12	c  S st   180     69888     38328     23860   1757444     16049   1110645   4427321     17.82   no data
605.86/152.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
650.13/163.26	c Flit:   140 Blit:     52 bXBeca:    0 bXProp:   10 Bins: 463931 BRemL:   9165 BRemN:    348 P: 200.0M T: 11.02
650.13/163.26	c Cleaning up after failed var search:     0.00 s 
650.93/163.43	c Replacing       45 vars Replaced    18658 lits Time:     0.16 s 
650.93/163.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
652.54/163.81	c bin-w-bin subsume rem        61022 bins  time:  0.35 s
654.11/164.20	c subs with bin:        6  lits-rem:        16  v-fix:    0  time:  0.39 s
664.89/166.98	c Subs w/ non-existent bins:      0 l-rem:    119 v-fix:     0 done:  37046 time:  2.78 s
666.13/167.22	c Removed useless bin:   27472  fixed:     0  props:  20.00M  time:  0.24 s
666.87/167.43	c lits-rem:         0  cl-subs:        6  v-elim:     62  v-fix:    0  time:  0.20 s
674.05/169.28	c subs with bin:        0  lits-rem:        18  v-fix:    0  time:  1.75 s
677.23/170.08	c lits-rem:      1110  cl-subs:      193  v-elim:      0  v-fix:    0  time:  0.79 s
677.64/170.15	c vivif2 --  cl tried    23863 cl shrink       10 lits rem         80 time: 0.06
678.44/170.39	c vivif2 --  cl tried    15786 cl shrink     4962 lits rem     267049 time: 0.25
680.42/170.87	c asymm  cl-useful: 22/486/23862 lits-rem:169 time: 0.47
682.42/171.36	c calculated reachability. Time: 0.45
682.42/171.36	c  N dy   180     69888     38029     23857   2100104     15319   1048524   4859192     17.82   no data
688.40/172.90	c Finding binary XORs  T:     1.54 s  found:       6
719.99/180.84	c Finding binary XORs  T:     1.59 s  found:      19
728.36/182.91	c  N dy   186     74512     37894     23797   2332284     19780   1044345   7038229     17.41     18.34
769.44/193.22	c  N dy   190     81394     37893     23797   2332399     16176   1044345   5480552     16.82     17.76
802.53/201.61	c  F st   193     87500     37887     23797   2341446     22171   1044345   8001795     16.23     12.46
803.33/201.86	c Replacing       25 vars Replaced    17897 lits Time:     0.20 s 
803.73/201.95	c  N st   193     87500     37861     23792   2340661     22150   1043992   7995098     16.23     12.46
843.91/212.01	c  N dy   201     93847     37858     23792   2341010     16826   1043992   4494323     16.17     17.09
855.04/214.89	c Finding binary XORs  T:     1.50 s  found:      15
884.55/222.29	c  N dy   207    100067     37780     23750   2575888     22907   1041331   7637507     15.76     18.02
914.23/229.87	c  S st   212    104832     37775     23750   2586034     27598   1041331   9729965     15.48      7.81
917.02/230.56	c  S st   212    105333     37775     23750   2586061     28071   1041331   9800073     15.48   no data
917.41/230.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
966.38/242.94	c Flit:   109 Blit:     24 bXBeca:    0 bXProp:   12 Bins: 357498 BRemL:  11673 BRemN:      0 P: 200.0M T: 12.27
966.38/242.94	c Cleaning up after failed var search:     0.00 s 
967.61/243.26	c Replacing       27 vars Replaced    18907 lits Time:     0.31 s 
967.96/243.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
969.56/243.72	c bin-w-bin subsume rem        49388 bins  time:  0.42 s
971.57/244.26	c subs with bin:       45  lits-rem:       195  v-fix:    0  time:  0.55 s
983.04/247.18	c Subs w/ non-existent bins:      2 l-rem:    108 v-fix:     1 done:  37465 time:  2.92 s
984.24/247.42	c Removed useless bin:   10496  fixed:     0  props:  20.00M  time:  0.23 s
985.08/247.69	c lits-rem:         0  cl-subs:        2  v-elim:     18  v-fix:    0  time:  0.27 s
992.59/249.56	c subs with bin:       10  lits-rem:        70  v-fix:    0  time:  1.55 s
1006.48/253.04	c lits-rem:      4367  cl-subs:      446  v-elim:      0  v-fix:    0  time:  3.46 s
1006.92/253.12	c vivif2 --  cl tried    23680 cl shrink       12 lits rem         81 time: 0.08
1008.86/253.68	c vivif2 --  cl tried    27521 cl shrink     8917 lits rem     925641 time: 0.56
1011.30/254.24	c asymm  cl-useful: 10/437/23679 lits-rem:19 time: 0.55
1013.22/254.79	c calculated reachability. Time: 0.50
1013.22/254.79	c  N dy   212    105333     37588     23679   2819382     27305   1014626   9192350     15.48   no data
1020.34/256.54	c Finding binary XORs  T:     1.73 s  found:      21
1049.67/263.94	c Finding binary XORs  T:     1.73 s  found:      27
1070.68/269.28	c  N dy   219    112337     37484     23610   3179040     21583   1010843   7421725     15.12     16.01
1113.51/280.05	c  N dy   229    120427     37404     23610   3233816     29513   1010843  10170185     14.78     15.59
1136.15/285.77	c Finding binary XORs  T:     1.74 s  found:       5
1169.07/294.06	c  N dy   231    128548     37401     23578   3226233     24315   1008782   7177132     14.43     15.45
1220.75/307.09	c  N dy   234    136897     37380     23578   3226990     32490   1008782   9742791     14.06     14.83
1321.10/332.25	c  N dy   242    154084     37340     23578   3227721     35164   1008782   8761972     13.49     14.55
1346.21/338.59	c  S st   253    157999     37334     23578   3228014     38984   1008782   9871654     13.42      6.79
1349.79/339.42	c  S st   253    158499     37334     23578   3228035     39461   1008781   9979756     13.42   no data
1349.79/339.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1396.85/351.24	c Flit:   105 Blit:     26 bXBeca:    0 bXProp:    2 Bins: 308761 BRemL:   7923 BRemN:    149 P: 200.1M T: 11.72
1396.85/351.24	c Cleaning up after failed var search:     0.00 s 
1398.06/351.53	c Replacing       56 vars Replaced    55568 lits Time:     0.28 s 
1398.06/351.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1399.65/351.93	c bin-w-bin subsume rem        22839 bins  time:  0.36 s
1402.44/352.60	c subs with bin:       23  lits-rem:       113  v-fix:    0  time:  0.67 s
1414.40/355.60	c Subs w/ non-existent bins:      0 l-rem:    112 v-fix:     1 done:  37144 time:  3.00 s
1415.20/355.87	c Removed useless bin:   15061  fixed:     0  props:  20.01M  time:  0.27 s
1416.40/356.16	c lits-rem:         0  cl-subs:        4  v-elim:     27  v-fix:    0  time:  0.29 s
1423.58/357.97	c subs with bin:       18  lits-rem:       154  v-fix:    0  time:  1.57 s
1439.56/361.94	c lits-rem:      4331  cl-subs:     1609  v-elim:      0  v-fix:    0  time:  3.96 s
1439.98/362.02	c vivif2 --  cl tried    23530 cl shrink       16 lits rem         87 time: 0.08
1442.72/362.70	c vivif2 --  cl tried    35641 cl shrink    10997 lits rem    1280378 time: 0.68
1444.71/363.25	c asymm  cl-useful: 9/470/23529 lits-rem:23 time: 0.55
1447.11/363.88	c calculated reachability. Time: 0.56
1447.11/363.88	c  N dy   253    158499     37116     23529   3422513     35024    972321   8676884     13.42   no data
1455.08/365.86	c Finding binary XORs  T:     1.98 s  found:      18
1521.15/390.50	c Following stats are for *FIRST FINISHED THREAD ONLY*
1521.15/390.50	c num threads              : 4          
1521.15/390.50	c restarts                 : 273        
1521.15/390.50	c dynamic restarts         : 255        
1521.15/390.50	c static restarts          : 18         
1521.15/390.50	c full restarts            : 2          
1521.15/390.50	c total simplify time      : 11.62      
1521.15/390.50	c learnts DL2              : 0          
1521.15/390.50	c learnts size 2           : 4413778    
1521.15/390.50	c learnts size 1           : 75966       (86.44     % of vars)
1521.15/390.50	c filedLit time            : 45.84       (11.96     % time)
1521.15/390.50	c v-elim SatELite          : 100         (0.11      % vars)
1521.15/390.50	c SatELite time            : 17.04       (4.45      % time)
1521.15/390.50	c v-elim xor               : 0           (0.00      % vars)
1521.15/390.50	c xor elim time            : 0.12        (0.03      % time)
1521.15/390.50	c num binary xor trees     : 1178       
1521.15/390.50	c binxor trees' crown      : 1250        (1.06      leafs/tree)
1521.15/390.50	c bin xor find time        : 11.24      
1521.15/390.50	c OTF clause improved      : 1087        (0.01      clauses/conflict)
1521.15/390.50	c OTF impr. size diff      : 4486        (4.13       lits/clause)
1521.15/390.50	c OTF cl watch-shrink      : 154374      (0.81      clauses/conflict)
1521.15/390.50	c OTF cl watch-sh-lit      : 8763231     (56.77      lits/clause)
1521.15/390.50	c tried to recurMin cls    : 110363      (57.90      % of conflicts)
1521.15/390.50	c updated cache            : 32582       (0.30       lits/tried recurMin)
1521.15/390.50	c unit cls recevied        : 1489        (1.96      % of units)
1521.15/390.50	c unit cls sent            : 797         (1.05      % of units)
1521.15/390.50	c bin cls recevied         : 2013417    
1521.15/390.50	c bin cls sent             : 467566     
1521.15/390.50	c clauses over max glue    : 0           (0.00      % of all clauses)
1521.15/390.50	c conflicts                : 190619      (497.42    / sec)
1521.15/390.50	c decisions                : 866552      (0.38      % random)
1521.15/390.50	c bogo-props               : 6349938377  (16570226.17 / sec)
1521.15/390.50	c conflict literals        : 76934382    (33.92     % deleted)
1521.15/390.50	c Memory used              : 5517.49     MB
1521.15/390.50	c single-thread CPU time   : 383.21      s
1521.15/390.50	c all-threads sum CPU time : 1515.67     s
1521.15/390.50	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-3367213-1305393696/watcher-3367213-1305393696 -o /tmp/evaluation-result-3367213-1305393696/solver-3367213-1305393696 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367213-1305393696.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.16 8.08 7.80 2/361 14251
/proc/meminfo: memFree=18445332/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 729600378 52396032 349 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208438 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 12792 349 299 95 0 7774 0
[pid=14251/tid=14252] ppid=14249 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 729600378 52396032 349 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 729600378 52396032 349 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208434 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 729600378 52396032 349 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208432 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.049255 s]
/proc/loadavg: 8.16 8.08 7.80 2/361 14251
/proc/meminfo: memFree=18445332/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=300268 CPUtime=0.17 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) D 14249 14251 13799 0 -1 4202496 7387 0 0 0 15 2 0 0 18 0 4 0 729600378 307474432 6159 33554432000 4194304 4580107 140733740102288 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 75323 6704 338 95 0 70305 0
[pid=14251/tid=14252] ppid=14249 vsize=299236 CPUtime=0.03 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) D 14249 14251 13799 0 -1 4202560 1923 0 0 0 3 0 0 0 18 0 4 0 729600378 306417664 6448 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=299236 CPUtime=0.03 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 2111 0 0 0 3 0 0 0 23 0 4 0 729600378 306417664 6690 33554432000 4194304 4580107 140733740102288 18446744073709551615 4353567 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=299236 CPUtime=0.04 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 1800 0 0 0 4 0 0 0 18 0 4 0 729600378 306417664 6433 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905437319 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 300268

[startup+0.112546 s]
/proc/loadavg: 8.16 8.08 7.80 2/361 14251
/proc/meminfo: memFree=18445332/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=308000 CPUtime=0.4 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 14074 0 0 0 32 8 0 0 18 0 4 0 729600378 315392000 12055 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905052916 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 77000 12055 338 95 0 71982 0
[pid=14251/tid=14252] ppid=14249 vsize=308000 CPUtime=0.08 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) D 14249 14251 13799 0 -1 4202560 3511 0 0 0 7 1 0 0 17 0 4 0 729600378 315392000 12055 33554432000 4194304 4580107 140733740102288 18446744073709551615 4307217 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=308000 CPUtime=0.09 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) D 14249 14251 13799 0 -1 4202560 3386 0 0 0 7 2 0 0 17 0 4 0 729600378 315392000 12055 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=308000 CPUtime=0.09 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 3182 0 0 0 8 1 0 0 17 0 4 0 729600378 315392000 12055 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905451946 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 308000

[startup+0.303758 s]
/proc/loadavg: 8.16 8.08 7.80 2/361 14251
/proc/meminfo: memFree=18445332/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=334772 CPUtime=0.96 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 31704 0 0 0 66 30 0 0 17 0 4 0 729600378 342806528 27454 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905499167 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 83693 27487 338 95 0 78675 0
[pid=14251/tid=14252] ppid=14249 vsize=334772 CPUtime=0.22 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) S 14249 14251 13799 0 -1 4202560 7950 0 0 0 15 7 0 0 17 0 4 0 729600378 342806528 27516 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=334904 CPUtime=0.25 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 7950 0 0 0 18 7 0 0 17 0 4 0 729600378 342941696 27542 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905059242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=334904 CPUtime=0.23 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) S 14249 14251 13799 0 -1 4202560 7543 0 0 0 16 7 0 0 17 0 4 0 729600378 342941696 27542 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905499118 0 0 4096 2 18446604452752033856 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 334772

[startup+0.700486 s]
/proc/loadavg: 8.16 8.08 7.80 2/361 14251
/proc/meminfo: memFree=18445332/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=443900 CPUtime=2.11 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 59035 0 0 0 153 58 0 0 17 0 4 0 729600378 454553600 50442 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 110975 50442 359 95 0 105957 0
[pid=14251/tid=14252] ppid=14249 vsize=443900 CPUtime=0.48 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 14785 0 0 0 33 15 0 0 17 0 4 0 729600378 454553600 50442 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=443900 CPUtime=0.62 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 14546 0 0 0 48 14 0 0 17 0 4 0 729600378 454553600 50442 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=443900 CPUtime=0.49 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 14660 0 0 0 36 13 0 0 17 0 4 0 729600378 454553600 50442 33554432000 4194304 4580107 140733740102288 18446744073709551615 4322568 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 443900

[startup+1.50034 s]
/proc/loadavg: 8.16 8.08 7.80 6/365 14255
/proc/meminfo: memFree=18196712/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=444172 CPUtime=5.29 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 61345 0 0 0 469 60 0 0 18 0 4 0 729600378 454832128 52646 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 111043 52646 360 95 0 106025 0
[pid=14251/tid=14252] ppid=14249 vsize=444172 CPUtime=1.27 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 15256 0 0 0 112 15 0 0 18 0 4 0 729600378 454832128 52646 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=444172 CPUtime=1.42 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 15020 0 0 0 128 14 0 0 19 0 4 0 729600378 454832128 52646 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=444172 CPUtime=1.29 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 15552 0 0 0 115 14 0 0 18 0 4 0 729600378 454832128 52646 33554432000 4194304 4580107 140733740102288 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 444172

[startup+3.101 s]
/proc/loadavg: 7.98 8.05 7.79 6/365 14255
/proc/meminfo: memFree=18145212/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=444904 CPUtime=11.68 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 63113 0 0 0 1106 62 0 0 22 0 4 0 729600378 455581696 54202 33554432000 4194304 4580107 140733740102288 18446744073709551615 4234976 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 111226 54202 360 95 0 106208 0
[pid=14251/tid=14252] ppid=14249 vsize=444904 CPUtime=2.85 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 15329 0 0 0 270 15 0 0 22 0 4 0 729600378 455581696 54202 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=444904 CPUtime=3.02 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 15095 0 0 0 288 14 0 0 22 0 4 0 729600378 455581696 54202 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=444904 CPUtime=2.88 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 17101 0 0 0 274 14 0 0 22 0 4 0 729600378 455581696 54202 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.68
Current children cumulated vsize (KiB) 444904

[startup+6.30041 s]
/proc/loadavg: 7.98 8.05 7.79 9/371 14264
/proc/meminfo: memFree=16549804/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=479096 CPUtime=24.43 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 65324 0 0 0 2377 66 0 0 25 0 4 0 729600378 490594304 56413 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 119774 56413 361 95 0 114756 0
[pid=14251/tid=14252] ppid=14249 vsize=479096 CPUtime=6.01 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 15333 0 0 0 583 18 0 0 25 0 4 0 729600378 490594304 56413 33554432000 4194304 4580107 140733740102288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=479096 CPUtime=6.22 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 15096 0 0 0 608 14 0 0 25 0 4 0 729600378 490594304 56413 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=479096 CPUtime=6.08 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 19304 0 0 0 593 15 0 0 25 0 4 0 729600378 490594304 56413 33554432000 4194304 4580107 140733740102288 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.43
Current children cumulated vsize (KiB) 479096

[startup+12.7002 s]
/proc/loadavg: 8.06 8.06 7.79 9/371 14265
/proc/meminfo: memFree=15950320/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=466708 CPUtime=49.95 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 86112 0 0 0 4923 72 0 0 25 0 4 0 729600378 477908992 72288 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 116677 72288 378 95 0 111659 0
[pid=14251/tid=14252] ppid=14249 vsize=466708 CPUtime=12.33 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 19828 0 0 0 1213 20 0 0 25 0 4 0 729600378 477908992 72288 33554432000 4194304 4580107 140733740102288 18446744073709551615 4317469 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=466708 CPUtime=12.62 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 19033 0 0 0 1247 15 0 0 25 0 4 0 729600378 477908992 72288 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=466708 CPUtime=12.48 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 25688 0 0 0 1232 16 0 0 25 0 4 0 729600378 477908992 72288 33554432000 4194304 4580107 140733740102288 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (KiB) 466708

[startup+25.5009 s]
/proc/loadavg: 8.05 8.06 7.80 9/371 14265
/proc/meminfo: memFree=15705488/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=632324 CPUtime=101 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 113937 0 0 0 10022 78 0 0 25 0 4 0 729600378 647499776 78955 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 158081 78955 378 95 0 153063 0
[pid=14251/tid=14252] ppid=14249 vsize=632324 CPUtime=24.98 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 26154 0 0 0 2477 21 0 0 25 0 4 0 729600378 647499776 78955 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=632324 CPUtime=25.42 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 26924 0 0 0 2525 17 0 0 25 0 4 0 729600378 647499776 78955 33554432000 4194304 4580107 140733740102288 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=632324 CPUtime=25.28 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 32300 0 0 0 2510 18 0 0 25 0 4 0 729600378 647499776 78955 33554432000 4194304 4580107 140733740102288 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101
Current children cumulated vsize (KiB) 632324

[startup+51.1002 s]
/proc/loadavg: 8.09 8.07 7.81 9/371 14266
/proc/meminfo: memFree=15355132/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=755368 CPUtime=203.09 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 177536 0 0 0 20218 91 0 0 25 0 4 0 729600378 773496832 110614 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 188842 110614 380 95 0 183824 0
[pid=14251/tid=14252] ppid=14249 vsize=755368 CPUtime=50.27 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 38202 0 0 0 5003 24 0 0 25 0 4 0 729600378 773496832 110614 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=755368 CPUtime=51.01 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 41552 0 0 0 5081 20 0 0 25 0 4 0 729600378 773496832 110614 33554432000 4194304 4580107 140733740102288 18446744073709551615 4316402 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=755368 CPUtime=50.88 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 45528 0 0 0 5067 21 0 0 25 0 4 0 729600378 773496832 110614 33554432000 4194304 4580107 140733740102288 18446744073709551615 4316720 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.09
Current children cumulated vsize (KiB) 755368

[startup+102.314 s]
/proc/loadavg: 8.09 8.07 7.82 9/371 14267
/proc/meminfo: memFree=12692336/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=2991224 CPUtime=407.31 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 669050 0 0 0 40548 183 0 0 25 0 4 0 729600378 3063013376 570382 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294818 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 747806 570382 380 95 0 742788 0
[pid=14251/tid=14252] ppid=14249 vsize=2991224 CPUtime=101.27 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 179442 0 0 0 10076 51 0 0 25 0 4 0 729600378 3063013376 570383 33554432000 4194304 4580107 140733740102288 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=2991224 CPUtime=101.82 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 168215 0 0 0 10140 42 0 0 25 0 4 0 729600378 3063013376 570383 33554432000 4194304 4580107 140733740102288 18446744073709551615 4316736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=2991224 CPUtime=102.09 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 141934 0 0 0 10168 41 0 0 25 0 4 0 729600378 3063013376 570383 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.31
Current children cumulated vsize (KiB) 2991224

[startup+162.301 s]

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

[pid=14251] ppid=14249 vsize=4624312 CPUtime=884.9 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 1080807 0 0 0 88183 307 0 0 25 0 4 0 729600378 4735295488 911963 33554432000 4194304 4580107 140733740102288 18446744073709551615 260905054384 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14251/statm: 1156078 911963 380 95 0 1151060 0
[pid=14251/tid=14252] ppid=14249 vsize=4624312 CPUtime=221.21 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 266849 0 0 0 22050 71 0 0 25 0 4 0 729600378 4735295488 911963 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14251/tid=14253] ppid=14249 vsize=4624312 CPUtime=219.81 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 269437 0 0 0 21882 99 0 0 25 0 4 0 729600378 4735295488 911963 33554432000 4194304 4580107 140733740102288 18446744073709551615 4317457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14251/tid=14254] ppid=14249 vsize=4624312 CPUtime=221.75 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 224860 0 0 0 22115 60 0 0 25 0 4 0 729600378 4735295488 911963 33554432000 4194304 4580107 140733740102288 18446744073709551615 4416732 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 884.9
Current children cumulated vsize (KiB) 4624312

[startup+282.301 s]
/proc/loadavg: 12.08 9.32 8.30 5/374 14275
/proc/meminfo: memFree=112168/32950928 swapFree=65762508/67111528
[pid=14251] ppid=14249 vsize=5305504 CPUtime=1122.65 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 1257799 0 0 0 111841 424 0 0 25 0 4 0 729600378 5432836096 1053105 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293280 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 1326376 1053105 380 95 0 1321358 0
[pid=14251/tid=14252] ppid=14249 vsize=5305504 CPUtime=279.42 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 359771 0 0 0 27779 163 0 0 25 0 4 0 729600378 5432836096 1053105 33554432000 4194304 4580107 140733740102288 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 6 0 0 9
[pid=14251/tid=14253] ppid=14249 vsize=5305504 CPUtime=279.69 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 287892 0 0 0 27862 107 0 0 25 0 4 0 729600378 5432836096 1053105 33554432000 4194304 4580107 140733740102288 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=14251/tid=14254] ppid=14249 vsize=5305504 CPUtime=281.75 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 241058 0 0 0 28107 68 0 0 25 0 4 0 729600378 5432836096 1053105 33554432000 4194304 4580107 140733740102288 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1122.65
Current children cumulated vsize (KiB) 5305504

[startup+342.301 s]
/proc/loadavg: 14.75 10.56 8.78 5/374 14284
/proc/meminfo: memFree=12549968/32950928 swapFree=65730864/67111528
[pid=14251] ppid=14249 vsize=5388188 CPUtime=1361.36 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 1306128 0 0 0 135619 517 0 0 25 0 4 0 729600378 5517504512 1074137 33554432000 4194304 4580107 140733740102288 18446744073709551615 4228064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 1347047 1074137 380 95 0 1342029 0
[pid=14251/tid=14252] ppid=14249 vsize=5388188 CPUtime=338.14 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 370339 0 0 0 33575 239 0 0 25 0 4 0 729600378 5517504512 1074137 33554432000 4194304 4580107 140733740102288 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 6 0 0 9
[pid=14251/tid=14253] ppid=14249 vsize=5388188 CPUtime=339.69 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 296095 0 0 0 33858 111 0 0 25 0 4 0 729600378 5517504512 1074137 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=14251/tid=14254] ppid=14249 vsize=5388188 CPUtime=341.75 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 257063 0 0 0 34100 75 0 0 25 0 4 0 729600378 5517504512 1074137 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1361.36
Current children cumulated vsize (KiB) 5388188

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

[startup+358.401 s]
/proc/loadavg: 14.31 10.68 8.85 5/373 14288
/proc/meminfo: memFree=12551368/32950928 swapFree=65730864/67111528
[pid=14251] ppid=14249 vsize=5359100 CPUtime=1425.58 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 1333205 0 0 0 142014 544 0 0 25 0 4 0 729600378 5487718400 1093471 33554432000 4194304 4580107 140733740102288 18446744073709551615 4451900 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 1339775 1093471 380 95 0 1334757 0
[pid=14251/tid=14252] ppid=14249 vsize=5359100 CPUtime=354.06 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 374057 0 0 0 35145 261 0 0 25 0 4 0 729600378 5487718400 1093471 33554432000 4194304 4580107 140733740102288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 9
[pid=14251/tid=14253] ppid=14249 vsize=5359100 CPUtime=355.79 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 297226 0 0 0 35468 111 0 0 25 0 4 0 729600378 5487718400 1093471 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=14251/tid=14254] ppid=14249 vsize=5359100 CPUtime=357.86 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 261264 0 0 0 35709 77 0 0 25 0 4 0 729600378 5487718400 1093471 33554432000 4194304 4580107 140733740102288 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1425.58
Current children cumulated vsize (KiB) 5359100

[startup+371.201 s]
/proc/loadavg: 13.18 10.55 8.83 5/372 14298
/proc/meminfo: memFree=12542372/32950928 swapFree=65730864/67111528
[pid=14251] ppid=14249 vsize=5553404 CPUtime=1476.62 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) R 14249 14251 13799 0 -1 4202496 1345844 0 0 0 147101 561 0 0 25 0 4 0 729600378 5686685696 1106110 33554432000 4194304 4580107 140733740102288 18446744073709551615 4316428 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 1388351 1106110 380 95 0 1383333 0
[pid=14251/tid=14252] ppid=14249 vsize=5553404 CPUtime=366.7 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 375688 0 0 0 36396 274 0 0 25 0 4 0 729600378 5686685696 1106110 33554432000 4194304 4580107 140733740102288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 9
[pid=14251/tid=14253] ppid=14249 vsize=5553404 CPUtime=368.59 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 302978 0 0 0 36746 113 0 0 25 0 4 0 729600378 5686685696 1106110 33554432000 4194304 4580107 140733740102288 18446744073709551615 4228080 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=14251/tid=14254] ppid=14249 vsize=5553404 CPUtime=370.65 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 263600 0 0 0 36987 78 0 0 25 0 4 0 729600378 5686685696 1106110 33554432000 4194304 4580107 140733740102288 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1476.62
Current children cumulated vsize (KiB) 5553404

[startup+384.014 s]
/proc/loadavg: 11.28 10.27 8.76 7/378 14312
/proc/meminfo: memFree=18438016/32950928 swapFree=65730864/67111528
[pid=14251] ppid=14249 vsize=5649908 CPUtime=1508.38 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) S 14249 14251 13799 0 -1 4202496 1382789 0 0 0 150268 570 0 0 25 0 4 0 729600378 5785505792 1137715 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208052 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 1412477 1137715 380 95 0 1407459 0
[pid=14251/tid=14252] ppid=14249 vsize=5649908 CPUtime=379.48 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 376102 0 0 0 37672 276 0 0 25 0 4 0 729600378 5785505792 1137715 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678183620 0 0 4096 2 0 0 0 -1 0 0 0 9
[pid=14251/tid=14253] ppid=14249 vsize=5649908 CPUtime=381.4 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 337652 0 0 0 38020 120 0 0 25 0 4 0 729600378 5785505792 1137715 33554432000 4194304 4580107 140733740102288 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=14251/tid=14254] ppid=14249 vsize=5649908 CPUtime=373.74 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) S 14249 14251 13799 0 -1 4202560 264075 0 0 0 37296 78 0 0 25 0 4 0 729600378 5785505792 1137715 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208052 0 0 4096 2 18446604452752033856 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1508.38
Current children cumulated vsize (KiB) 5649908

[startup+387.201 s]
/proc/loadavg: 10.86 10.19 8.74 7/377 14313
/proc/meminfo: memFree=18321220/32950928 swapFree=65730864/67111528
[pid=14251] ppid=14249 vsize=5649908 CPUtime=1514.76 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) S 14249 14251 13799 0 -1 4202496 1383980 0 0 0 150906 570 0 0 25 0 4 0 729600378 5785505792 1138905 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208052 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 1412477 1138905 380 95 0 1407459 0
[pid=14251/tid=14252] ppid=14249 vsize=5649908 CPUtime=382.68 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 376102 0 0 0 37992 276 0 0 25 0 4 0 729600378 5785505792 1138905 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678183467 0 0 4096 2 0 0 0 -1 0 0 0 9
[pid=14251/tid=14253] ppid=14249 vsize=5649908 CPUtime=384.61 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 338843 0 0 0 38340 121 0 0 25 0 4 0 729600378 5785505792 1138905 33554432000 4194304 4580107 140733740102288 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=14251/tid=14254] ppid=14249 vsize=5649908 CPUtime=373.74 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) S 14249 14251 13799 0 -1 4202560 264075 0 0 0 37296 78 0 0 25 0 4 0 729600378 5785505792 1138905 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208052 0 0 4096 2 18446604452752033856 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1514.76
Current children cumulated vsize (KiB) 5649908

[startup+388.8 s]
/proc/loadavg: 10.86 10.19 8.74 7/377 14313
/proc/meminfo: memFree=18308608/32950928 swapFree=65730864/67111528
[pid=14251] ppid=14249 vsize=5649908 CPUtime=1517.95 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) S 14249 14251 13799 0 -1 4202496 1384014 0 0 0 151225 570 0 0 25 0 4 0 729600378 5785505792 1138939 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208052 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 1412477 1138939 380 95 0 1407459 0
[pid=14251/tid=14252] ppid=14249 vsize=5649908 CPUtime=384.26 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 376102 0 0 0 38150 276 0 0 25 0 4 0 729600378 5785505792 1138939 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678183620 0 0 4096 2 0 0 0 -1 0 0 0 9
[pid=14251/tid=14253] ppid=14249 vsize=5649908 CPUtime=386.19 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 338877 0 0 0 38498 121 0 0 25 0 4 0 729600378 5785505792 1138939 33554432000 4194304 4580107 140733740102288 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=14251/tid=14254] ppid=14249 vsize=5649908 CPUtime=373.74 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) S 14249 14251 13799 0 -1 4202560 264075 0 0 0 37296 78 0 0 25 0 4 0 729600378 5785505792 1138939 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208052 0 0 4096 2 18446604452752033856 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1517.95
Current children cumulated vsize (KiB) 5649908

[startup+389.6 s]
/proc/loadavg: 10.86 10.19 8.74 7/376 14313
/proc/meminfo: memFree=18301920/32950928 swapFree=65730864/67111528
[pid=14251] ppid=14249 vsize=5649908 CPUtime=1519.55 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) S 14249 14251 13799 0 -1 4202496 1385243 0 0 0 151385 570 0 0 25 0 4 0 729600378 5785505792 1139483 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208052 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 1412477 1139483 380 95 0 1407459 0
[pid=14251/tid=14252] ppid=14249 vsize=5649908 CPUtime=385.06 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 376102 0 0 0 38230 276 0 0 25 0 4 0 729600378 5785505792 1139484 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678183467 0 0 4096 2 0 0 0 -1 0 0 0 9
[pid=14251/tid=14253] ppid=14249 vsize=5649908 CPUtime=386.99 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 340107 0 0 0 38578 121 0 0 25 0 4 0 729600378 5785505792 1139484 33554432000 4194304 4580107 140733740102288 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=14251/tid=14254] ppid=14249 vsize=5649908 CPUtime=373.74 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) S 14249 14251 13799 0 -1 4202560 264075 0 0 0 37296 78 0 0 25 0 4 0 729600378 5785505792 1139484 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208052 0 0 4096 2 18446604452752033856 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1519.55
Current children cumulated vsize (KiB) 5649908

[startup+390.401 s]
/proc/loadavg: 10.86 10.19 8.74 7/376 14313
/proc/meminfo: memFree=18301920/32950928 swapFree=65730864/67111528
[pid=14251] ppid=14249 vsize=5649908 CPUtime=1521.15 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) S 14249 14251 13799 0 -1 4202496 1386420 0 0 0 151545 570 0 0 25 0 4 0 729600378 5785505792 1140649 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208052 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 1412477 1140649 380 95 0 1407459 0
[pid=14251/tid=14252] ppid=14249 vsize=5649908 CPUtime=385.86 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 376102 0 0 0 38310 276 0 0 25 0 4 0 729600378 5785505792 1140649 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678183467 0 0 4096 2 0 0 0 -1 0 0 0 9
[pid=14251/tid=14253] ppid=14249 vsize=5649908 CPUtime=387.79 cores=0,2,4,6
/proc/14251/task/14253/stat : 14253 (strangenight2-m) R 14249 14251 13799 0 -1 4202560 341283 0 0 0 38658 121 0 0 25 0 4 0 729600378 5785505792 1140649 33554432000 4194304 4580107 140733740102288 18446744073709551615 4291003 0 0 4096 2 0 0 0 -1 2 0 0 9
[pid=14251/tid=14254] ppid=14249 vsize=5649908 CPUtime=373.74 cores=0,2,4,6
/proc/14251/task/14254/stat : 14254 (strangenight2-m) S 14249 14251 13799 0 -1 4202560 264075 0 0 0 37296 78 0 0 25 0 4 0 729600378 5785505792 1140649 33554432000 4194304 4580107 140733740102288 18446744073709551615 47858678208052 0 0 4096 2 18446604452752033856 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1521.15
Current children cumulated vsize (KiB) 5649908

[startup+390.614 s]
/proc/loadavg: 10.86 10.19 8.74 7/376 14313
/proc/meminfo: memFree=18285304/32950928 swapFree=65730864/67111528
[pid=14251] ppid=14249 vsize=0 CPUtime=1521.48 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) Z 14249 14251 13799 0 -1 4203548 1386422 0 1 0 151573 575 0 0 18 0 2 0 729600378 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 0 0 0 0 0 0 0
[pid=14251/tid=14252] ppid=14249 vsize=0 CPUtime=386.01 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202564 376104 0 1 0 38321 280 0 0 25 0 2 0 729600378 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 16
Current children cumulated CPU time (s) 1521.48
Current children cumulated vsize (KiB) 0

[startup+390.701 s]
/proc/loadavg: 10.86 10.19 8.74 7/376 14313
/proc/meminfo: memFree=18285304/32950928 swapFree=65730864/67111528
[pid=14251] ppid=14249 vsize=0 CPUtime=1521.56 cores=0,2,4,6
/proc/14251/stat : 14251 (strangenight2-m) Z 14249 14251 13799 0 -1 4203548 1386422 0 1 0 151573 583 0 0 18 0 2 0 729600378 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 10
/proc/14251/statm: 0 0 0 0 0 0 0
[pid=14251/tid=14252] ppid=14249 vsize=0 CPUtime=386.1 cores=0,2,4,6
/proc/14251/task/14252/stat : 14252 (strangenight2-m) R 14249 14251 13799 0 -1 4202564 376104 0 1 0 38321 289 0 0 25 0 2 0 729600378 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 16
Current children cumulated CPU time (s) 1521.56
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 390.789
CPU time (s): 1521.66
CPU user time (s): 1515.73
CPU system time (s): 5.9251
CPU usage (%): 389.381
Max. virtual memory (cumulated for all children) (KiB): 5649908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1515.73
system time used= 5.9251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1386422
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76941
involuntary context switches= 15159

runsolver used 1.3438 second user time and 3.3105 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 19:21:37
IDJOB=3367213
IDBENCH=82378
IDSOLVER=1844
FILE ID=node116/3367213-1305393696
RUNJOBID= node116-1305392490-14143
PBS_JOBID= 13324425
Free space on /tmp= 73084 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367213-1305393696/watcher-3367213-1305393696 -o /tmp/evaluation-result-3367213-1305393696/solver-3367213-1305393696 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367213-1305393696.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5
RANDOM SEED=1283486829

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:      18445612 kB
Buffers:        292712 kB
Cached:        4612260 kB
SwapCached:      12420 kB
Active:       11147212 kB
Inactive:      3084752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18445612 kB
SwapTotal:    67111528 kB
SwapFree:     65762508 kB
Dirty:           59024 kB
Writeback:          40 kB
AnonPages:     9325560 kB
Mapped:          15532 kB
Slab:           163624 kB
PageTables:      43768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 82747196 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= 73100 MiB
End job on node116 at 2011-05-14 19:28:08