Trace number 3321102

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 2912.27 375.676

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 benchmark477.605
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.00	c Using 8 threads
0.05/0.01	c This is CryptoMiniSat 3.0.0
0.05/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.05/0.01	c Reading file 'HOME/instance-3321102-1304323430.cnf'
0.05/0.01	c -- header says num vars:          87884
0.05/0.01	c -- header says num clauses:     1413816
5.98/1.15	c -- clauses added:            0 learnts,      1413816 normals,            0 xors
5.98/1.15	c -- vars added      87884
5.98/1.15	c Parsing time:  0.46 s
5.98/1.15	c  N st     0         0     87884     37242   1002916         0   2379025         0   no data   no data
9.80/1.62	c asymm  cl-useful: 340/925/31008 lits-rem:13381 time: 0.45
82.53/10.77	c Flit:   272 Blit:   9075 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  9.15
82.53/10.79	c Cleaning up after failed var search:     0.02 s 
83.32/10.83	c Replacing      503 vars Replaced    29211 lits Time:     0.03 s 
83.32/10.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.18/10.93	c bin-w-bin subsume rem          734 bins  time:  0.06 s
84.99/11.06	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.13 s
103.31/13.35	c Subs w/ non-existent bins:     29 l-rem:    686 v-fix:   384 done:  33612 time:  2.29 s
104.91/13.52	c Removed useless bin:    9772  fixed:     0  props:  20.01M  time:  0.17 s
106.50/13.70	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.18 s
106.50/13.72	c Finding binary XORs  T:     0.02 s  found:     218
106.50/13.75	c Replacing      218 vars Replaced    17256 lits Time:     0.03 s 
106.50/13.78	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
106.50/13.78	c calculated reachability. Time: 0.00
107.30/13.80	c Calc default polars -  time:   0.01 s pos:    1621 undec:   44954 neg:   41309
107.30/13.80	c =========================================================================================
107.30/13.80	c types(t): F = full restart, N = normal restart
107.30/13.80	c types(t): S = simplification begin/end, E = solution found
107.30/13.80	c restart types(rt): st = static, dy = dynamic
107.30/13.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
107.30/13.80	c  B st     0         0     42936     25852    552092         0   1334424         0   no data   no data
146.52/18.78	c  N dy    11      4233     42926     25852    552175      4110   1334424   2463740     25.85     27.44
188.03/23.90	c  N dy    26      8469     42897     25852    552712      5214   1334424   1478281     22.98     24.34
224.85/28.56	c  N dy    48     12596     42888     25852    552762      9260   1334424   3633104     23.67     25.69
273.55/34.64	c  N dy    69     16735     42766     25852    553597      8294   1334424   2169432     24.00     25.45
306.32/38.71	c  N dy    87     20880     42618     25852    554382     12323   1334424   3651571     23.67     25.49
344.69/43.51	c  N dy   114     24927     42596     25852    554434      9777   1334424   2022002     24.57     77.15
344.69/43.59	c  F st   115     25002     42593     25852    554970      9851   1334424   2051044     24.54   no data
416.62/52.53	c  N dy   121     30000     42473     25595    546365     14629   1314013   6828480     24.54   no data
416.62/52.53	c  S st   121     30000     42473     25595    546365     14629   1314013   6828480     24.54   no data
422.22/53.26	c  S st   121     30500     42448     25595    546392     15095   1314013   6970320     24.54   no data
423.02/53.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
562.10/70.73	c Flit:   629 Blit:   1540 bXBeca:    0 bXProp:  143 Bins: 713786 BRemL:  16468 BRemN:   1130 P: 200.0M T: 17.27
562.10/70.79	c Cleaning up after failed var search:     0.06 s 
564.50/71.09	c Replacing      143 vars Replaced    49430 lits Time:     0.30 s 
565.29/71.14	c blocked clauses removed:        0 vars:      0 tried:       39884 T: 0.02 s
566.09/71.27	c bin-w-bin subsume rem         6875 bins  time:  0.13 s
567.75/71.47	c subs with bin:       16  lits-rem:        15  v-fix:    0  time:  0.20 s
590.88/74.35	c Subs w/ non-existent bins:      5 l-rem:    384 v-fix:    75 done:  35246 time:  2.88 s
592.48/74.59	c Removed useless bin:   29742  fixed:     0  props:  20.01M  time:  0.24 s
594.93/74.84	c lits-rem:         0  cl-subs:        0  v-elim:     31  v-fix:    0  time:  0.25 s
610.86/76.87	c subs with bin:        4  lits-rem:       814  v-fix:    0  time:  1.55 s
625.24/78.69	c lits-rem:      3068  cl-subs:      686  v-elim:      0  v-fix:    0  time:  1.80 s
630.10/79.21	c asymm  cl-useful: 164/718/24561 lits-rem:2206 time: 0.52
631.64/79.48	c calculated reachability. Time: 0.25
631.64/79.48	c  N dy   121     30500     39778     24561   1068806     13950   1157743   7557007     24.54   no data
638.08/80.26	c Finding binary XORs  T:     0.78 s  found:      77
712.75/89.60	c  N dy   132     34642     39763     24561   1070581     10453   1157743   3057999     24.13     26.11
764.71/96.15	c  N dy   134     38663     39752     24561   1103406     14344   1157743   5051053     22.49     24.21
828.65/104.14	c  N dy   137     43382     39752     24561   1103563     10280   1157743   3020595     21.09     22.71
835.03/104.96	c Finding binary XORs  T:     0.80 s  found:      11
853.42/107.23	c  S st   138     45754     39751     24544   1102169     12561   1156821   3605095     20.47      9.72
859.81/108.07	c  S st   138     46254     39459     24544   1206594     13044   1156821   3899703     20.47   no data
860.61/108.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
962.12/120.90	c Flit:   242 Blit:    249 bXBeca:    0 bXProp:   55 Bins: 454206 BRemL:   2611 BRemN:    333 P: 200.0M T: 12.71
962.97/120.94	c Cleaning up after failed var search:     0.04 s 
964.52/121.11	c Replacing      143 vars Replaced    26044 lits Time:     0.17 s 
964.52/121.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
966.11/121.37	c bin-w-bin subsume rem        23770 bins  time:  0.22 s
968.52/121.66	c subs with bin:       28  lits-rem:        73  v-fix:    0  time:  0.29 s
993.22/124.71	c Subs w/ non-existent bins:      5 l-rem:    264 v-fix:    32 done:  36498 time:  3.05 s
994.81/124.96	c Removed useless bin:   18959  fixed:     0  props:  20.01M  time:  0.25 s
997.21/125.21	c lits-rem:         0  cl-subs:        9  v-elim:     25  v-fix:    0  time:  0.25 s
1009.47/126.89	c subs with bin:       11  lits-rem:        46  v-fix:    0  time:  1.56 s
1015.91/127.65	c lits-rem:       848  cl-subs:      278  v-elim:      0  v-fix:    0  time:  0.74 s
1016.66/127.70	c vivif2 --  cl tried    24189 cl shrink       90 lits rem        679 time: 0.05
1018.26/127.92	c vivif2 --  cl tried    12610 cl shrink     6083 lits rem     526656 time: 0.21
1022.25/128.48	c asymm  cl-useful: 73/704/24185 lits-rem:771 time: 0.56
1025.45/128.86	c calculated reachability. Time: 0.35
1025.45/128.87	c  N dy   138     46254     38762     24185   1509802     11890   1087010   3870674     20.47   no data
1035.04/130.00	c Finding binary XORs  T:     1.14 s  found:      67
1080.60/135.78	c  N dy   141     50925     38762     24185   1509910     16440   1087010   5136539     19.48     20.83
1110.24/139.55	c Finding binary XORs  T:     1.15 s  found:      62
1143.00/143.64	c  N dy   144     55322     38576     24068   1577502     11735   1080209   3681989     18.69     19.86
1208.02/151.86	c Finding binary XORs  T:     1.15 s  found:      37
1213.15/152.59	c  N dy   148     60051     38384     23976   1603898     16292   1074164   6080699     17.92     18.90
1292.18/162.50	c  N dy   152     67785     38384     23976   1604049     14159   1074164   3368700     16.85     17.87
1305.59/164.11	c Finding binary XORs  T:     1.14 s  found:      77
1323.16/166.30	c  S st   153     69383     38051     23763   1655536     15643   1060962   4046008     16.67     13.04
1327.96/166.97	c  S st   153     69885     38051     23763   1655557     16123   1060962   4163586     16.67   no data
1328.76/167.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1429.47/179.68	c Flit:   108 Blit:     85 bXBeca:    0 bXProp:   10 Bins: 348436 BRemL:   7381 BRemN:    297 P: 200.0M T: 12.56
1429.47/179.68	c Cleaning up after failed var search:     0.00 s 
1431.07/179.87	c Replacing      253 vars Replaced   116281 lits Time:     0.18 s 
1431.86/179.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1434.26/180.23	c bin-w-bin subsume rem        45338 bins  time:  0.32 s
1437.46/180.62	c subs with bin:       15  lits-rem:        92  v-fix:    0  time:  0.39 s
1459.85/183.44	c Subs w/ non-existent bins:      2 l-rem:    124 v-fix:     0 done:  37443 time:  2.82 s
1461.49/183.67	c Removed useless bin:   10397  fixed:     0  props:  20.01M  time:  0.23 s
1463.84/183.90	c lits-rem:         1  cl-subs:       23  v-elim:      6  v-fix:    0  time:  0.23 s
1476.45/185.55	c subs with bin:        3  lits-rem:       102  v-fix:    0  time:  1.55 s
1482.03/186.25	c lits-rem:       832  cl-subs:      244  v-elim:      0  v-fix:    0  time:  0.69 s
1482.84/186.32	c vivif2 --  cl tried    23648 cl shrink       16 lits rem        184 time: 0.07
1484.45/186.56	c vivif2 --  cl tried    15847 cl shrink     4326 lits rem     257718 time: 0.24
1489.23/187.11	c asymm  cl-useful: 22/469/23646 lits-rem:203 time: 0.54
1493.24/187.62	c calculated reachability. Time: 0.47
1493.24/187.62	c  N dy   153     69885     37643     23639   1918553     15606   1031155   4402185     16.67   no data
1505.27/189.17	c Finding binary XORs  T:     1.55 s  found:      16
1573.96/197.75	c Finding binary XORs  T:     1.55 s  found:      23
1575.61/197.93	c  N dy   155     75090     37567     23590   2092255     19734   1027915   5855076     16.04     17.36
1665.07/209.17	c  N dy   157     83348     37564     23590   2092459     18486   1027915   5041930     15.24     16.20
1716.29/215.57	c  F st   162     87500     37553     23590   2098224     22510   1027915   6107923     14.97     11.25
1717.83/215.78	c Replacing       39 vars Replaced    21676 lits Time:     0.17 s 
1734.67/217.84	c  N st   165     88691     37515     23583   2096829     23642   1027345   6733474     14.97   no data
1813.80/227.77	c  N dy   173     94840     37511     23583   2097424     18448   1027345   4401933     14.87     15.74
1844.12/231.58	c Finding binary XORs  T:     1.56 s  found:      10
1908.06/239.53	c  N dy   179    101741     37436     23532   2112571     25174   1024961   6822241     14.50     15.78
1946.42/244.30	c  S st   186    104827     37419     23532   2113227     28200   1024961   8110595     14.37      9.55
1952.03/245.06	c  S st   186    105330     37419     23532   2113289     28640   1024961   8145255     14.37   no data
1952.82/245.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2057.54/258.26	c Flit:    70 Blit:     33 bXBeca:    0 bXProp:    3 Bins: 400958 BRemL:   9581 BRemN:      0 P: 200.0M T: 13.10
2057.54/258.26	c Cleaning up after failed var search:     0.00 s 
2059.18/258.50	c Replacing       13 vars Replaced     7149 lits Time:     0.24 s 
2059.98/258.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2062.33/258.89	c bin-w-bin subsume rem        19336 bins  time:  0.34 s
2067.13/259.40	c subs with bin:       16  lits-rem:        13  v-fix:    0  time:  0.51 s
2093.49/262.77	c Subs w/ non-existent bins:      0 l-rem:    108 v-fix:     4 done:  37302 time:  3.37 s
2095.88/263.01	c Removed useless bin:    7455  fixed:     0  props:  20.01M  time:  0.24 s
2098.28/263.32	c lits-rem:         1  cl-subs:       17  v-elim:     18  v-fix:    0  time:  0.30 s
2113.47/265.26	c subs with bin:       33  lits-rem:       492  v-fix:    0  time:  1.67 s
2143.83/269.06	c lits-rem:      3393  cl-subs:      573  v-elim:      0  v-fix:    0  time:  3.78 s
2144.64/269.14	c vivif2 --  cl tried    23524 cl shrink       27 lits rem        151 time: 0.08
2149.43/269.71	c vivif2 --  cl tried    27770 cl shrink     5237 lits rem    1056230 time: 0.57
2154.23/270.31	c asymm  cl-useful: 10/433/23523 lits-rem:23 time: 0.60
2159.02/270.91	c calculated reachability. Time: 0.55
2159.02/270.91	c  N dy   186    105330     37280     23523   2462616     27581   1007009   7582698     14.37   no data
2173.47/272.73	c Finding binary XORs  T:     1.82 s  found:       3
2285.15/286.75	c  N dy   193    114012     37252     23523   2464548     24134   1007009   6672871     13.94     14.70
2341.16/293.73	c Finding binary XORs  T:     1.82 s  found:      11
2423.91/304.11	c  N dy   199    121976     37148     23470   2746785     31766   1003433   9926218     13.65     14.43
2468.66/309.78	c Finding binary XORs  T:     1.82 s  found:      14
2542.25/318.93	c  N dy   204    129980     37102     23440   2802862     26387   1001786   6746656     13.40     14.17
2680.47/336.27	c  N dy   211    139713     37003     23440   2803961     35990   1001786   9348031     13.13     14.02
2840.32/356.21	c  N dy   214    151283     36948     23440   2804420     32704   1001786   7326384     12.76     13.72
2860.80/358.87	c Finding binary XORs  T:     1.83 s  found:      40
2911.84/375.33	c Following stats are for *FIRST FINISHED THREAD ONLY*
2911.84/375.33	c num threads              : 8          
2911.84/375.33	c restarts                 : 270        
2911.84/375.33	c dynamic restarts         : 252        
2911.84/375.33	c static restarts          : 18         
2911.84/375.33	c full restarts            : 2          
2911.84/375.33	c total simplify time      : 13.55      
2911.84/375.33	c learnts DL2              : 0          
2911.84/375.33	c learnts size 2           : 4195636    
2911.84/375.33	c learnts size 1           : 55315       (62.94     % of vars)
2911.84/375.33	c filedLit time            : 53.67       (14.36     % time)
2911.84/375.33	c v-elim SatELite          : 117         (0.13      % vars)
2911.84/375.33	c SatELite time            : 16.89       (4.52      % time)
2911.84/375.33	c v-elim xor               : 0           (0.00      % vars)
2911.84/375.33	c xor elim time            : 0.14        (0.04      % time)
2911.84/375.33	c num binary xor trees     : 1261       
2911.84/375.33	c binxor trees' crown      : 1357        (1.08      leafs/tree)
2911.84/375.33	c bin xor find time        : 13.05      
2911.84/375.33	c OTF clause improved      : 855         (0.01      clauses/conflict)
2911.84/375.33	c OTF impr. size diff      : 3399        (3.98       lits/clause)
2911.84/375.33	c OTF cl watch-shrink      : 132146      (0.81      clauses/conflict)
2911.84/375.33	c OTF cl watch-sh-lit      : 8442171     (63.89      lits/clause)
2911.84/375.33	c tried to recurMin cls    : 90151       (55.29      % of conflicts)
2911.84/375.33	c updated cache            : 32134       (0.36       lits/tried recurMin)
2911.84/375.33	c unit cls recevied        : 2025        (3.66      % of units)
2911.84/375.33	c unit cls sent            : 670         (1.21      % of units)
2911.84/375.33	c bin cls recevied         : 1978112    
2911.84/375.33	c bin cls sent             : 638316     
2911.84/375.33	c clauses over max glue    : 0           (0.00      % of all clauses)
2911.84/375.33	c conflicts                : 163057      (436.30    / sec)
2911.84/375.33	c decisions                : 771297      (0.39      % random)
2911.84/375.33	c bogo-props               : 5262872607  (14082011.12 / sec)
2911.84/375.33	c conflict literals        : 70587812    (33.23     % deleted)
2911.84/375.33	c Memory used              : 9417.39     MB
2911.84/375.33	c single-thread CPU time   : 373.73      s
2911.84/375.33	c all-threads sum CPU time : 2903.93     s
2911.84/375.33	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321102-1304323430/watcher-3321102-1304323430 -o /tmp/evaluation-result-3321102-1304323430/solver-3321102-1304323430 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321102-1304323430.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: 8.05 7.85 5.75 2/218 11914
/proc/meminfo: memFree=28895716/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=92188 CPUtime=0 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) R 11912 11914 11813 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 8 0 622573762 94400512 352 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284982257 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 23047 352 299 106 0 18018 0
[pid=11914/tid=11915] ppid=11912 vsize=92188 CPUtime=0 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 622573762 94400512 352 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301812146 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=92188 CPUtime=0 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622573762 94400512 352 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=92188 CPUtime=0 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622573762 94400512 352 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=92188 CPUtime=0 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622573762 94400512 352 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=92188 CPUtime=0 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622573762 94400512 352 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301812140 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=92188 CPUtime=0 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622573762 94400512 352 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301812146 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=92188 CPUtime=0 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622573762 94400512 352 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301812146 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0155319 s]
/proc/loadavg: 8.05 7.85 5.75 2/218 11914
/proc/meminfo: memFree=28895716/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=223260 CPUtime=0.05 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) D 11912 11914 11813 0 -1 4202496 455 0 0 0 5 0 0 0 22 0 8 0 622573762 228618240 377 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284600664 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 55815 380 312 106 0 50786 0
[pid=11914/tid=11915] ppid=11912 vsize=201416 CPUtime=0.01 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) D 11912 11914 11813 0 -1 4202560 12 0 0 0 1 0 0 0 23 0 8 0 622573762 206249984 381 33554432000 4194304 4627427 140734338403632 18446744073709551615 4455456 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=157724 CPUtime=0 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 8 0 622573762 161509376 382 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=157724 CPUtime=0 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 8 0 622573762 161509376 382 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 18446604453899925376 0 0 -1 7 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=157724 CPUtime=0 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 8 0 622573762 161509376 382 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 18446604453899925376 0 0 -1 2 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=157724 CPUtime=0 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 8 0 622573762 161509376 382 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 18446604453899925376 0 0 -1 2 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=157724 CPUtime=0 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 6 0 0 0 0 0 0 0 23 0 8 0 622573762 161509376 382 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=157724 CPUtime=0 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) D 11912 11914 11813 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 8 0 622573762 161509376 382 33554432000 4194304 4627427 140734338403632 18446744073709551615 4468560 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 223260

[startup+0.10049 s]
/proc/loadavg: 8.05 7.85 5.75 2/218 11914
/proc/meminfo: memFree=28895716/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=524784 CPUtime=0.58 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) R 11912 11914 11813 0 -1 4202496 20245 0 0 0 48 10 0 0 17 0 8 0 622573762 537378816 16459 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284925755 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 131196 16494 341 106 0 126167 0
[pid=11914/tid=11915] ppid=11912 vsize=524784 CPUtime=0.07 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 2317 0 0 0 6 1 0 0 17 0 8 0 622573762 537378816 16497 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=524784 CPUtime=0.06 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 2757 0 0 0 5 1 0 0 17 0 8 0 622573762 537378816 16499 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=524784 CPUtime=0.07 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 2676 0 0 0 6 1 0 0 17 0 8 0 622573762 537378816 16500 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 18446604453899925376 0 0 -1 7 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=524784 CPUtime=0.07 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 2587 0 0 0 6 1 0 0 17 0 8 0 622573762 537378816 16501 33554432000 4194304 4627427 140734338403632 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=524784 CPUtime=0.06 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 2274 0 0 0 5 1 0 0 17 0 8 0 622573762 537378816 16503 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030943 0 0 4096 2 18446604453899925376 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=524784 CPUtime=0.07 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 2393 0 0 0 6 1 0 0 17 0 8 0 622573762 537378816 16504 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=524784 CPUtime=0.07 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 2420 0 0 0 6 1 0 0 17 0 8 0 622573762 537378816 16506 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 524784

[startup+0.301449 s]
/proc/loadavg: 8.05 7.85 5.75 2/218 11914
/proc/meminfo: memFree=28895716/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=552636 CPUtime=1.57 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) R 11912 11914 11813 0 -1 4202496 37745 0 0 0 99 58 0 0 17 0 8 0 622573762 565899264 29724 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030943 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 138159 29724 341 106 0 133130 0
[pid=11914/tid=11915] ppid=11912 vsize=552636 CPUtime=0.2 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 4214 0 0 0 12 8 0 0 17 0 8 0 622573762 565899264 29732 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=552636 CPUtime=0.18 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 4956 0 0 0 11 7 0 0 17 0 8 0 622573762 565899264 29738 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=552636 CPUtime=0.18 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) D 11912 11914 11813 0 -1 4202560 4844 0 0 0 12 6 0 0 17 0 8 0 622573762 565899264 29740 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284586693 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=552636 CPUtime=0.19 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 4688 0 0 0 12 7 0 0 17 0 8 0 622573762 565899264 29743 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=552636 CPUtime=0.17 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 5304 0 0 0 11 6 0 0 17 0 8 0 622573762 565899264 29746 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=552636 CPUtime=0.19 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 4223 0 0 0 13 6 0 0 17 0 8 0 622573762 565899264 29749 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 18446604453899925376 0 0 -1 4 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=552636 CPUtime=0.18 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) D 11912 11914 11813 0 -1 4202560 4648 0 0 0 11 7 0 0 17 0 8 0 622573762 565899264 29752 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 552636

[startup+0.70139 s]
/proc/loadavg: 8.05 7.85 5.75 2/218 11914
/proc/meminfo: memFree=28895716/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=649896 CPUtime=3.6 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) R 11912 11914 11813 0 -1 4202496 66213 0 0 0 205 155 0 0 16 0 8 0 622573762 665493504 57971 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030943 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 162474 57973 341 106 0 157445 0
[pid=11914/tid=11915] ppid=11912 vsize=649896 CPUtime=0.43 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 7579 0 0 0 24 19 0 0 16 0 8 0 622573762 665493504 57974 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=649896 CPUtime=0.43 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 8329 0 0 0 25 18 0 0 16 0 8 0 622573762 665493504 57974 33554432000 4194304 4627427 140734338403632 18446744073709551615 224284591023 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=649896 CPUtime=0.45 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 9276 0 0 0 27 18 0 0 16 0 8 0 622573762 665493504 57976 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=649896 CPUtime=0.44 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 8138 0 0 0 24 20 0 0 16 0 8 0 622573762 665493504 57976 33554432000 4194304 4627427 140734338403632 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=649896 CPUtime=0.42 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 9293 0 0 0 24 18 0 0 16 0 8 0 622573762 665493504 57977 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=649896 CPUtime=0.43 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 7357 0 0 0 26 17 0 0 16 0 8 0 622573762 665493504 57978 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=649896 CPUtime=0.46 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 8090 0 0 0 25 21 0 0 16 0 8 0 622573762 665493504 57979 33554432000 4194304 4627427 140734338403632 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 649896

[startup+1.50125 s]
/proc/loadavg: 8.05 7.85 5.75 7/226 11922
/proc/meminfo: memFree=28557752/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=783888 CPUtime=9 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) R 11912 11914 11813 0 -1 4202496 116989 0 0 0 639 261 0 0 16 0 8 0 622573762 802701312 100235 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 195972 100235 365 106 0 190943 0
[pid=11914/tid=11915] ppid=11912 vsize=783888 CPUtime=1.1 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 13740 0 0 0 77 33 0 0 16 0 8 0 622573762 802701312 100235 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308149 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=783888 CPUtime=1.08 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 14957 0 0 0 77 31 0 0 16 0 8 0 622573762 802701312 100235 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=783888 CPUtime=1.13 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 15106 0 0 0 82 31 0 0 16 0 8 0 622573762 802701312 100235 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=783888 CPUtime=1.16 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 14177 0 0 0 85 31 0 0 16 0 8 0 622573762 802701312 100235 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=783888 CPUtime=1.09 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 15970 0 0 0 74 35 0 0 16 0 8 0 622573762 802701312 100235 33554432000 4194304 4627427 140734338403632 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=783888 CPUtime=1.12 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 13359 0 0 0 81 31 0 0 16 0 8 0 622573762 802701312 100235 33554432000 4194304 4627427 140734338403632 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=783888 CPUtime=1.14 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 15044 0 0 0 80 34 0 0 16 0 8 0 622573762 802701312 100235 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9
Current children cumulated vsize (KiB) 783888

[startup+3.10098 s]
/proc/loadavg: 7.97 7.83 5.76 11/226 11922
/proc/meminfo: memFree=28481248/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=788244 CPUtime=21.79 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) R 11912 11914 11813 0 -1 4202496 121889 0 0 0 1917 262 0 0 18 0 8 0 622573762 807161856 105029 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 197061 105029 367 106 0 192032 0
[pid=11914/tid=11915] ppid=11912 vsize=788244 CPUtime=2.7 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 14212 0 0 0 237 33 0 0 18 0 8 0 622573762 807161856 105029 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=788244 CPUtime=2.68 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 15428 0 0 0 237 31 0 0 18 0 8 0 622573762 807161856 105029 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=788244 CPUtime=2.72 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 15636 0 0 0 241 31 0 0 18 0 8 0 622573762 807161856 105029 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=788244 CPUtime=2.76 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 14707 0 0 0 245 31 0 0 18 0 8 0 622573762 807161856 105029 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=788244 CPUtime=2.69 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 16505 0 0 0 234 35 0 0 17 0 8 0 622573762 807161856 105029 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=788244 CPUtime=2.72 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 13829 0 0 0 241 31 0 0 18 0 8 0 622573762 807161856 105029 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=788244 CPUtime=2.74 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 16461 0 0 0 239 35 0 0 18 0 8 0 622573762 807161856 105029 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.79
Current children cumulated vsize (KiB) 788244

[startup+6.30044 s]
/proc/loadavg: 7.97 7.83 5.76 9/226 11922
/proc/meminfo: memFree=28472096/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=821200 CPUtime=47.36 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) R 11912 11914 11813 0 -1 4202496 123895 0 0 0 4473 263 0 0 25 0 8 0 622573762 840908800 106770 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 205300 106770 368 106 0 200271 0
[pid=11914/tid=11915] ppid=11912 vsize=821200 CPUtime=5.9 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 14281 0 0 0 557 33 0 0 25 0 8 0 622573762 840908800 106770 33554432000 4194304 4627427 140734338403632 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=821200 CPUtime=5.88 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 15428 0 0 0 557 31 0 0 25 0 8 0 622573762 840908800 106770 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=821200 CPUtime=5.9 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 15637 0 0 0 559 31 0 0 25 0 8 0 622573762 840908800 106770 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=821200 CPUtime=5.96 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 14707 0 0 0 565 31 0 0 25 0 8 0 622573762 840908800 106770 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=821200 CPUtime=5.89 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 16505 0 0 0 554 35 0 0 25 0 8 0 622573762 840908800 106770 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=821200 CPUtime=5.91 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 13897 0 0 0 560 31 0 0 25 0 8 0 622573762 840908800 106770 33554432000 4194304 4627427 140734338403632 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=821200 CPUtime=5.93 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 18329 0 0 0 558 35 0 0 25 0 8 0 622573762 840908800 106770 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 1 0 0 0

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

[pid=11914/tid=11919] ppid=11912 vsize=9207032 CPUtime=341.13 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 266644 0 0 0 34013 100 0 0 25 0 8 0 622573762 9428000768 1856036 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=9207032 CPUtime=341.85 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 253529 0 0 0 34101 84 0 0 25 0 8 0 622573762 9428000768 1856036 33554432000 4194304 4627427 140734338403632 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=9207032 CPUtime=341.39 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 214208 0 0 0 34045 94 0 0 25 0 8 0 622573762 9428000768 1856036 33554432000 4194304 4627427 140734338403632 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2729.23
Current children cumulated vsize (KiB) 9207032

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

[startup+358.301 s]
/proc/loadavg: 8.12 8.00 6.48 9/226 11932
/proc/meminfo: memFree=21309660/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=9513748 CPUtime=2856.8 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) R 11912 11914 11813 0 -1 4202496 2346003 0 0 0 284890 790 0 0 25 0 8 0 622573762 9742077952 1896320 33554432000 4194304 4627427 140734338403632 18446744073709551615 4515575 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 2378437 1896320 391 106 0 2373408 0
[pid=11914/tid=11915] ppid=11912 vsize=9513748 CPUtime=357.7 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 335034 0 0 0 35669 101 0 0 25 0 8 0 622573762 9742077952 1896320 33554432000 4194304 4627427 140734338403632 18446744073709551615 4515678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=9513748 CPUtime=356.63 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 286601 0 0 0 35569 94 0 0 25 0 8 0 622573762 9742077952 1896320 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=9513748 CPUtime=356.9 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 298283 0 0 0 35588 102 0 0 25 0 8 0 622573762 9742077952 1896320 33554432000 4194304 4627427 140734338403632 18446744073709551615 4515678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=9513748 CPUtime=355.98 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 306843 0 0 0 35497 101 0 0 25 0 8 0 622573762 9742077952 1896320 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=9513748 CPUtime=357.14 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 294632 0 0 0 35605 109 0 0 25 0 8 0 622573762 9742077952 1896320 33554432000 4194304 4627427 140734338403632 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=9513748 CPUtime=357.84 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 256311 0 0 0 35699 85 0 0 25 0 8 0 622573762 9742077952 1896320 33554432000 4194304 4627427 140734338403632 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=9513748 CPUtime=357.39 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 217206 0 0 0 35644 95 0 0 25 0 8 0 622573762 9742077952 1896320 33554432000 4194304 4627427 140734338403632 18446744073709551615 4321918 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2856.8
Current children cumulated vsize (KiB) 9513748

[startup+364.701 s]
/proc/loadavg: 8.11 8.00 6.49 3/226 11932
/proc/meminfo: memFree=21196692/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=9577868 CPUtime=2890.65 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) S 11912 11914 11813 0 -1 4202496 2371787 0 0 0 288268 797 0 0 25 0 8 0 622573762 9807736832 1922104 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 2394467 1922104 391 106 0 2389438 0
[pid=11914/tid=11915] ppid=11912 vsize=9577868 CPUtime=364.11 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 335422 0 0 0 36309 102 0 0 25 0 8 0 622573762 9807736832 1922104 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301787179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=9577868 CPUtime=360.11 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 286906 0 0 0 35917 94 0 0 25 0 8 0 622573762 9807736832 1922104 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=9577868 CPUtime=360.41 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 298591 0 0 0 35939 102 0 0 25 0 8 0 622573762 9807736832 1922104 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 4 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=9577868 CPUtime=359.49 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 307394 0 0 0 35848 101 0 0 25 0 8 0 622573762 9807736832 1922104 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=9577868 CPUtime=363.54 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 317507 0 0 0 36240 114 0 0 25 0 8 0 622573762 9807736832 1922104 33554432000 4194304 4627427 140734338403632 18446744073709551615 4436241 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=9577868 CPUtime=361.36 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 256843 0 0 0 36051 85 0 0 25 0 8 0 622573762 9807736832 1922104 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=9577868 CPUtime=360.89 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 217571 0 0 0 35994 95 0 0 25 0 8 0 622573762 9807736832 1922104 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2890.65
Current children cumulated vsize (KiB) 9577868

[startup+371.1 s]
/proc/loadavg: 7.62 7.90 6.46 3/226 11932
/proc/meminfo: memFree=21172140/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=9643404 CPUtime=2903.44 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) S 11912 11914 11813 0 -1 4202496 2378267 0 0 0 289546 798 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 2410851 1927529 392 106 0 2405822 0
[pid=11914/tid=11915] ppid=11912 vsize=9643404 CPUtime=370.51 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 335422 0 0 0 36949 102 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301787332 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=9643404 CPUtime=360.11 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 286906 0 0 0 35917 94 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=9643404 CPUtime=360.41 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 298591 0 0 0 35939 102 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 4 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=9643404 CPUtime=359.49 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 307394 0 0 0 35848 101 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=9643404 CPUtime=369.93 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 323987 0 0 0 36878 115 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 4428408 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=9643404 CPUtime=361.36 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 256843 0 0 0 36051 85 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=9643404 CPUtime=360.89 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 217571 0 0 0 35994 95 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2903.44
Current children cumulated vsize (KiB) 9643404

[startup+372.701 s]
/proc/loadavg: 7.17 7.80 6.44 3/226 11932
/proc/meminfo: memFree=21172140/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=9643404 CPUtime=2906.65 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) S 11912 11914 11813 0 -1 4202496 2378267 0 0 0 289867 798 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 2410851 1927529 392 106 0 2405822 0
[pid=11914/tid=11915] ppid=11912 vsize=9643404 CPUtime=372.11 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 335422 0 0 0 37109 102 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301787179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=9643404 CPUtime=360.11 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 286906 0 0 0 35917 94 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=9643404 CPUtime=360.41 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 298591 0 0 0 35939 102 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 4 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=9643404 CPUtime=359.49 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 307394 0 0 0 35848 101 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=9643404 CPUtime=371.54 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 323987 0 0 0 37039 115 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 4428121 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=9643404 CPUtime=361.36 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 256843 0 0 0 36051 85 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=9643404 CPUtime=360.89 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 217571 0 0 0 35994 95 0 0 25 0 8 0 622573762 9874845696 1927529 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2906.65
Current children cumulated vsize (KiB) 9643404

[startup+374.301 s]
/proc/loadavg: 7.17 7.80 6.44 3/226 11932
/proc/meminfo: memFree=21173996/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=9643404 CPUtime=2909.84 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) S 11912 11914 11813 0 -1 4202496 2378718 0 0 0 290186 798 0 0 25 0 8 0 622573762 9874845696 1927298 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 2410851 1927298 391 106 0 2405822 0
[pid=11914/tid=11915] ppid=11912 vsize=9643404 CPUtime=373.71 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 335422 0 0 0 37269 102 0 0 25 0 8 0 622573762 9874845696 1927298 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301787179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=9643404 CPUtime=360.11 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 286906 0 0 0 35917 94 0 0 25 0 8 0 622573762 9874845696 1927298 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=9643404 CPUtime=360.41 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 298591 0 0 0 35939 102 0 0 25 0 8 0 622573762 9874845696 1927299 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 4 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=9643404 CPUtime=359.49 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 307394 0 0 0 35848 101 0 0 25 0 8 0 622573762 9874845696 1927299 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=9643404 CPUtime=373.13 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 324439 0 0 0 37198 115 0 0 25 0 8 0 622573762 9874845696 1927299 33554432000 4194304 4627427 140734338403632 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=9643404 CPUtime=361.36 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 256843 0 0 0 36051 85 0 0 25 0 8 0 622573762 9874845696 1927299 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=9643404 CPUtime=360.89 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 217571 0 0 0 35994 95 0 0 25 0 8 0 622573762 9874845696 1927299 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2909.84
Current children cumulated vsize (KiB) 9643404

[startup+375.109 s]
/proc/loadavg: 7.17 7.80 6.44 3/226 11932
/proc/meminfo: memFree=21163704/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=9643404 CPUtime=2911.46 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) S 11912 11914 11813 0 -1 4202496 2381029 0 0 0 290348 798 0 0 25 0 8 0 622573762 9874845696 1929609 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 2410851 1929609 391 106 0 2405822 0
[pid=11914/tid=11915] ppid=11912 vsize=9643404 CPUtime=374.52 cores=0-7
/proc/11914/task/11915/stat : 11915 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 335422 0 0 0 37350 102 0 0 25 0 8 0 622573762 9874845696 1929609 33554432000 4194304 4627427 140734338403632 18446744073709551615 4219962 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11914/tid=11916] ppid=11912 vsize=9643404 CPUtime=360.11 cores=0-7
/proc/11914/task/11916/stat : 11916 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 286906 0 0 0 35917 94 0 0 25 0 8 0 622573762 9874845696 1929609 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=9643404 CPUtime=360.41 cores=0-7
/proc/11914/task/11917/stat : 11917 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 298591 0 0 0 35939 102 0 0 25 0 8 0 622573762 9874845696 1929609 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 4 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=9643404 CPUtime=359.49 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 307394 0 0 0 35848 101 0 0 25 0 8 0 622573762 9874845696 1929609 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 3 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=9643404 CPUtime=373.94 cores=0-7
/proc/11914/task/11919/stat : 11919 (strangenight2-m) R 11912 11914 11813 0 -1 4202560 326749 0 0 0 37279 115 0 0 25 0 8 0 622573762 9874845696 1929609 33554432000 4194304 4627427 140734338403632 18446744073709551615 4298922 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=9643404 CPUtime=361.36 cores=0-7
/proc/11914/task/11920/stat : 11920 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 256843 0 0 0 36051 85 0 0 25 0 8 0 622573762 9874845696 1929609 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 2 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=9643404 CPUtime=360.89 cores=0-7
/proc/11914/task/11921/stat : 11921 (strangenight2-m) S 11912 11914 11813 0 -1 4202560 217571 0 0 0 35994 95 0 0 25 0 8 0 622573762 9874845696 1929609 33554432000 4194304 4627427 140734338403632 18446744073709551615 47259301811764 0 0 4096 2 18446604453899925376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2911.46
Current children cumulated vsize (KiB) 9643404

[startup+375.501 s]
/proc/loadavg: 7.17 7.80 6.44 3/226 11932
/proc/meminfo: memFree=21163704/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=0 CPUtime=2912.08 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) Z 11912 11914 11813 0 -1 4203548 2381032 0 0 0 290393 815 0 0 18 0 2 0 622573762 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 0 0 0 0 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=0 CPUtime=359.65 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) R 11912 11914 11813 0 -1 4203588 307394 0 0 0 35848 117 0 0 18 0 2 0 622573762 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2912.08
Current children cumulated vsize (KiB) 0

[startup+375.601 s]
/proc/loadavg: 7.17 7.80 6.44 3/226 11932
/proc/meminfo: memFree=21163704/32951124 swapFree=67103364/67111528
[pid=11914] ppid=11912 vsize=0 CPUtime=2912.18 cores=0-7
/proc/11914/stat : 11914 (strangenight2-m) Z 11912 11914 11813 0 -1 4203548 2381032 0 0 0 290393 825 0 0 18 0 2 0 622573762 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11914/statm: 0 0 0 0 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=0 CPUtime=359.75 cores=0-7
/proc/11914/task/11918/stat : 11918 (strangenight2-m) R 11912 11914 11813 0 -1 4203588 307394 0 0 0 35848 127 0 0 18 0 2 0 622573762 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2912.18
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 375.676
CPU time (s): 2912.27
CPU user time (s): 2903.93
CPU system time (s): 8.33173
CPU usage (%): 775.208
Max. virtual memory (cumulated for all children) (KiB): 9643404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2903.93
system time used= 8.33173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2381032
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= 319203
involuntary context switches= 12436

runsolver used 0.759884 second user time and 1.83572 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-02 10:03:51
IDJOB=3321102
IDBENCH=82378
IDSOLVER=1709
FILE ID=node118/3321102-1304323430
RUNJOBID= node118-1304322187-11827
PBS_JOBID= 13176808
Free space on /tmp= 73340 MiB

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

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

MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5
RANDOM SEED=899841227

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28895996 kB
Buffers:        487676 kB
Cached:        1760188 kB
SwapCached:       2876 kB
Active:        1685560 kB
Inactive:      1998576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28895996 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:           29136 kB
Writeback:           0 kB
AnonPages:     1435176 kB
Mapped:          18332 kB
Slab:           297148 kB
PageTables:      12628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21507924 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= 73332 MiB
End job on node118 at 2011-05-02 10:10:07