Trace number 3321272

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 113.607 14.2387

General information on the benchmark

NameSAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
MD5SUM0e9d17eb95ee436fc1015c5591cfb63f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark72.7379
Satisfiable
(Un)Satisfiability was proved
Number of variables5910
Number of clauses16804
Sum of the clauses size38654
Maximum clause length28
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 213041
Number of clauses of size 32838
Number of clauses of size 4787
Number of clauses of size 5103
Number of clauses of size over 534

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3321272-1304342617.cnf'
0.00/0.01	c -- header says num vars:           5910
0.00/0.01	c -- header says num clauses:       16804
0.08/0.04	c -- clauses added:            0 learnts,        16804 normals,            0 xors
0.08/0.04	c -- vars added       5910
0.08/0.04	c Parsing time:  0.01 s
0.08/0.04	c  N st     0         0      5910      3762     13041         0     38653         0   no data   no data
0.08/0.05	c asymm  cl-useful: 17/3761/3761 lits-rem:17 time: 0.02
0.08/0.14	c Flit:     1 Blit:      5 bXBeca:    0 bXProp: 2118 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
1.03/0.15	c Replacing     2118 vars Replaced    33429 lits Time:     0.01 s 
1.03/0.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.03/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.03/0.16	c subs with bin:        4  lits-rem:         8  v-fix:    0  time:  0.00 s
1.03/0.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3783 time:  0.00 s
1.03/0.16	c Removed useless bin:      23  fixed:     0  props:   0.20M  time:  0.00 s
1.03/0.18	c lits-rem:         0  cl-subs:      396  v-elim:   1261  v-fix:    0  time:  0.02 s
1.03/0.19	c Finding binary XORs  T:     0.00 s  found:       4
1.03/0.19	c Replacing        4 vars Replaced       42 lits Time:     0.00 s 
1.03/0.19	c Finding non-binary XORs:     0.00 s (found:     112, avg size: 3.0)
1.03/0.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     15 locsubst:     0 time:   0.00
1.03/0.19	c calculated reachability. Time: 0.00
1.03/0.19	c Calc default polars -  time:   0.00 s pos:    1174 undec:    3483 neg:    1253
1.03/0.19	c =========================================================================================
1.03/0.19	c types(t): F = full restart, N = normal restart
1.03/0.19	c types(t): S = simplification begin/end, E = solution found
1.03/0.19	c restart types(rt): st = static, dy = dynamic
1.03/0.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.03/0.19	c  B st     0         0      2503      4398      4991         0     24999         0   no data   no data
3.03/0.49	c  N dy    17      4065      2503      4398      5196      3846     24997    122423      6.79      8.60
5.42/0.77	c  N dy    38      8945      2503      4398      5897      6227     24997    102174      7.06      7.50
7.03/0.93	c Finding binary XORs  T:     0.00 s  found:       6
7.87/1.10	c  N dy    61     12963      2501      4398      6132      6057     24928     93710      7.45     11.20
10.22/1.31	c  N dy    74     16975      2500      4398      6168      9959     24928    159596      7.29      9.61
13.43/1.70	c  N dy   109     21054      2491      4398      6635      8523     24924    132323      7.66     13.44
15.83/2.10	c  F st   142     25000      2491      4398      6854     12436     24924    249866      7.93      6.39
16.67/2.10	c Replacing        8 vars Replaced      450 lits Time:     0.00 s 
16.67/2.13	c  N st   143     25252      2483      4395      6625     12110     24484    251919      7.93   no data
20.62/2.62	c  N dy   148     30001      2483      4395      6632     10415     24484    180092      7.93   no data
20.62/2.62	c  S st   148     30001      2483      4395      6632     10415     24484    180092      7.93   no data
20.62/2.62	c Finding binary XORs  T:     0.00 s  found:      17
20.62/2.69	c  S st   148     30502      2483      4395      6638     10910     24484    191494      7.93   no data
20.62/2.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      5 locsubst:     0 time:   0.00
21.42/2.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   20 Bins:   2988 BRemL:   2001 BRemN:      3 P:  1.4M T:  0.06
21.42/2.76	c Replacing       37 vars Replaced     2934 lits Time:     0.00 s 
21.42/2.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21.42/2.76	c bin-w-bin subsume rem          491 bins  time:  0.00 s
21.42/2.76	c subs with bin:      359  lits-rem:       334  v-fix:    0  time:  0.00 s
21.42/2.76	c Subs w/ non-existent bins:      5 l-rem:     43 v-fix:     0 done:   2441 time:  0.00 s
21.42/2.76	c Removed useless bin:      21  fixed:     0  props:   0.05M  time:  0.00 s
21.42/2.78	c lits-rem:        35  cl-subs:      168  v-elim:    710  v-fix:    0  time:  0.01 s
21.42/2.78	c subs with bin:      130  lits-rem:       221  v-fix:    0  time:  0.00 s
21.42/2.79	c lits-rem:        44  cl-subs:      191  v-elim:      0  v-fix:    0  time:  0.00 s
21.42/2.79	c asymm  cl-useful: 3/1485/5246 lits-rem:9 time: 0.01
21.42/2.79	c calculated reachability. Time: 0.00
21.42/2.79	c  N dy   148     30502      1731      5243      3728      2420     23226     16577      7.93   no data
23.82/3.01	c  N dy   168     34525      1731      5243      3792      6368     23225     98427      7.88      8.38
25.47/3.22	c Finding binary XORs  T:     0.00 s  found:      11
25.47/3.27	c  N dy   190     38529      1731      5243      4391      6785     23225    108864      7.92     10.05
27.81/3.59	c  N dy   216     43351      1731      5243      4398     11556     23225    214721      7.96      8.39
28.61/3.66	c Finding binary XORs  T:     0.00 s  found:       2
29.41/3.78	c  S st   229     45754      1731      5243      5210      7190     23225     62176      7.98      6.52
30.21/3.83	c  S st   229     46254      1731      5243      5210      7690     23225     72200      7.98   no data
30.21/3.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
30.21/3.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    142 BRemL:   1135 BRemN:     29 P:  0.6M T:  0.02
30.21/3.85	c Replacing       15 vars Replaced     1089 lits Time:     0.00 s 
30.21/3.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30.21/3.86	c bin-w-bin subsume rem          474 bins  time:  0.00 s
30.21/3.86	c subs with bin:      237  lits-rem:       233  v-fix:    0  time:  0.00 s
30.21/3.86	c Subs w/ non-existent bins:     20 l-rem:     43 v-fix:     0 done:   1715 time:  0.00 s
30.21/3.86	c Removed useless bin:      62  fixed:     0  props:   0.04M  time:  0.00 s
30.21/3.87	c lits-rem:         2  cl-subs:       38  v-elim:    129  v-fix:    0  time:  0.01 s
30.21/3.87	c subs with bin:       70  lits-rem:       181  v-fix:    0  time:  0.00 s
30.21/3.88	c lits-rem:        76  cl-subs:      191  v-elim:      0  v-fix:    0  time:  0.01 s
30.21/3.88	c vivif2 --  cl tried     5224 cl shrink      131 lits rem        151 time: 0.00
30.21/3.88	c vivif2 --  cl tried     5935 cl shrink      215 lits rem        256 time: 0.00
31.01/3.91	c asymm  cl-useful: 14/5189/5189 lits-rem:15 time: 0.02
31.01/3.91	c calculated reachability. Time: 0.00
31.01/3.91	c  N dy   229     46254      1586      5189      3034      5933     22125     47902      7.98   no data
32.62/4.14	c  N dy   245     51070      1585      5189      3092     10611     22125    122977      7.87      8.42
35.06/4.43	c  N dy   269     55108      1585      5189      3099     14594     22125    207111      7.91      9.79
37.40/4.71	c  N dy   285     59112      1584      5189      3324     10518     22125    113650      7.86     11.67
39.00/4.93	c Finding binary XORs  T:     0.00 s  found:      21
39.00/4.94	c Replacing       22 vars Replaced     3029 lits Time:     0.00 s 
39.80/5.04	c  N dy   312     63484      1561      5180      3251     13716     22062    203728      7.91      8.40
42.20/5.35	c  N dy   330     67542      1558      5180      3398     17675     22056    280687      7.88      8.34
43.04/5.48	c  S st   341     69381      1558      5180      3400     10154     22056     77308      7.89      6.07
43.85/5.53	c  S st   341     69881      1558      5180      3561     10653     22056     90455      7.89   no data
43.85/5.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.85/5.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   26 Bins:     65 BRemL:    341 BRemN:     27 P:  0.6M T:  0.02
43.85/5.56	c Replacing       28 vars Replaced     2462 lits Time:     0.00 s 
43.85/5.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.85/5.56	c bin-w-bin subsume rem          245 bins  time:  0.00 s
43.85/5.56	c subs with bin:      124  lits-rem:         6  v-fix:    0  time:  0.00 s
43.85/5.56	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   1530 time:  0.00 s
43.85/5.56	c Removed useless bin:      13  fixed:     0  props:   0.04M  time:  0.00 s
43.85/5.57	c lits-rem:         3  cl-subs:      106  v-elim:     40  v-fix:    0  time:  0.01 s
43.85/5.58	c subs with bin:      437  lits-rem:       573  v-fix:    0  time:  0.00 s
43.85/5.59	c lits-rem:       240  cl-subs:      406  v-elim:      0  v-fix:    0  time:  0.01 s
43.85/5.59	c vivif2 --  cl tried     5025 cl shrink       20 lits rem         28 time: 0.00
43.85/5.59	c vivif2 --  cl tried     8557 cl shrink      302 lits rem        392 time: 0.00
44.59/5.62	c asymm  cl-useful: 46/5020/5020 lits-rem:75 time: 0.03
44.59/5.62	c calculated reachability. Time: 0.00
44.59/5.62	c  N dy   341     69881      1490      5009      2686      8557     21066     70426      7.89   no data
46.99/5.91	c  N dy   364     74724      1490      5009      2711     13261     21066    149746      7.86      8.32
48.60/6.19	c Finding binary XORs  T:     0.00 s  found:      10
49.40/6.27	c  N dy   379     79522      1490      5009      2751     17980     21066    238889      7.85      9.82
53.38/6.74	c  N dy   417     84756      1489      5009      2888     12776     21066    124671      7.92      8.42
54.98/6.99	c  F st   442     87501      1489      5009      2890     15515     21066    193622      7.99   no data
55.79/7.00	c Replacing       10 vars Replaced     1319 lits Time:     0.00 s 
57.40/7.27	c  N st   447     90797      1479      5009      2998     18383     21064    269828      7.99   no data
57.40/7.27	c Finding binary XORs  T:     0.00 s  found:      17
57.40/7.27	c Replacing       17 vars Replaced     3773 lits Time:     0.01 s 
62.19/7.86	c  N dy   474     96777      1462      5009      2980     12270     21064     85107      8.03      8.46
65.39/8.29	c  N dy   495    103241      1462      5009      3090     18626     21064    184798      7.97      8.46
66.99/8.42	c  S st   508    104821      1461      5009      3090     20193     21064    215291      7.98   no data
66.99/8.49	c  S st   508    105323      1461      5009      3092     20689     21064    223885      7.98   no data
66.99/8.49	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
67.78/8.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   12 Bins:     13 BRemL:    167 BRemN:     12 P:  0.9M T:  0.02
67.78/8.52	c Replacing       12 vars Replaced     3334 lits Time:     0.01 s 
67.78/8.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.78/8.52	c bin-w-bin subsume rem          181 bins  time:  0.00 s
67.78/8.52	c subs with bin:       16  lits-rem:         0  v-fix:    0  time:  0.00 s
67.78/8.52	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   1448 time:  0.00 s
67.78/8.52	c Removed useless bin:       3  fixed:     0  props:   0.03M  time:  0.00 s
67.78/8.53	c lits-rem:         0  cl-subs:       63  v-elim:      9  v-fix:    0  time:  0.01 s
67.78/8.55	c subs with bin:      350  lits-rem:       890  v-fix:    0  time:  0.01 s
68.59/8.60	c lits-rem:       759  cl-subs:      774  v-elim:      0  v-fix:    0  time:  0.05 s
68.59/8.60	c vivif2 --  cl tried     4921 cl shrink       11 lits rem         15 time: 0.00
68.59/8.61	c vivif2 --  cl tried    18967 cl shrink     1438 lits rem       2185 time: 0.01
68.59/8.66	c asymm  cl-useful: 20/4920/4920 lits-rem:30 time: 0.05
68.59/8.66	c calculated reachability. Time: 0.00
68.59/8.66	c  N dy   508    105323      1439      4917      2665     18967     20612    200858      7.98   no data
71.78/9.05	c Finding binary XORs  T:     0.00 s  found:       3
73.38/9.22	c  N dy   538    112138      1438      4917      2682     25610     20611    319988      7.99      8.43
77.38/9.70	c  N dy   574    119362      1438      4917      2909     19719     20611    198668      7.98      8.44
81.37/10.27	c Finding binary XORs  T:     0.00 s  found:      19
81.37/10.27	c Replacing       22 vars Replaced     4247 lits Time:     0.01 s 
82.97/10.45	c  N dy   621    127575      1415      4915      2869     26534     20598    337145      8.01      8.44
87.82/11.08	c  N dy   656    135857      1415      4915      2922     20988     20598    210710      8.00      8.49
94.17/11.85	c  N dy   694    144608      1415      4915      2975     29574     20598    347175      7.98      8.54
98.96/12.40	c Finding binary XORs  T:     0.00 s  found:       8
99.76/12.52	c  N dy   727    154049      1415      4915      3000     23524     20598    214686      7.94      8.55
102.16/12.83	c  S st   748    157985      1415      4915      3016     27350     20598    270674      7.93      7.88
102.96/12.92	c  S st   748    158486      1415      4915      3016     27850     20598    281491      7.93   no data
102.96/12.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
102.96/12.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     33 BRemL:    190 BRemN:      2 P:  0.9M T:  0.03
102.96/12.96	c Replacing        9 vars Replaced     2085 lits Time:     0.00 s 
102.96/12.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
102.96/12.96	c bin-w-bin subsume rem          153 bins  time:  0.00 s
102.96/12.96	c subs with bin:        8  lits-rem:         1  v-fix:    0  time:  0.00 s
102.96/12.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1406 time:  0.00 s
102.96/12.96	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
102.96/12.97	c lits-rem:         0  cl-subs:       62  v-elim:      8  v-fix:    0  time:  0.01 s
103.76/13.00	c subs with bin:      819  lits-rem:      2575  v-fix:    0  time:  0.02 s
104.61/13.11	c lits-rem:      2445  cl-subs:     1772  v-elim:      0  v-fix:    0  time:  0.11 s
104.61/13.11	c vivif2 --  cl tried     4856 cl shrink        8 lits rem          9 time: 0.00
104.61/13.12	c vivif2 --  cl tried    24476 cl shrink     1509 lits rem       1858 time: 0.01
104.61/13.17	c asymm  cl-useful: 14/4853/4853 lits-rem:24 time: 0.05
104.61/13.17	c calculated reachability. Time: 0.00
104.61/13.17	c  N dy   748    158486      1398      4850      2657     24476     20298    237302      7.93   no data
112.56/14.10	c  N dy   795    170388      1396      4850      2725     20164     20298    159539      7.91      8.33
113.40/14.23	c Following stats are for *FIRST FINISHED THREAD ONLY*
113.40/14.23	c num threads              : 8          
113.40/14.23	c restarts                 : 717        
113.40/14.23	c dynamic restarts         : 699        
113.40/14.23	c static restarts          : 18         
113.40/14.23	c full restarts            : 2          
113.40/14.23	c total simplify time      : 0.06       
113.40/14.23	c learnts DL2              : 0          
113.40/14.23	c learnts size 2           : 22650      
113.40/14.23	c learnts size 1           : 204         (3.45      % of vars)
113.40/14.23	c filedLit time            : 0.18        (1.28      % time)
113.40/14.23	c v-elim SatELite          : 2081        (35.21     % vars)
113.40/14.23	c SatELite time            : 0.08        (0.55      % time)
113.40/14.23	c v-elim xor               : 21          (0.36      % vars)
113.40/14.23	c xor elim time            : 0.00        (0.04      % time)
113.40/14.23	c num binary xor trees     : 1158       
113.40/14.23	c binxor trees' crown      : 2335        (2.02      leafs/tree)
113.40/14.23	c bin xor find time        : 0.03       
113.40/14.23	c OTF clause improved      : 2084        (0.01      clauses/conflict)
113.40/14.23	c OTF impr. size diff      : 2226        (1.07       lits/clause)
113.40/14.23	c OTF cl watch-shrink      : 92290       (0.55      clauses/conflict)
113.40/14.23	c OTF cl watch-sh-lit      : 216516      (2.35       lits/clause)
113.40/14.23	c tried to recurMin cls    : 56435       (33.55      % of conflicts)
113.40/14.23	c updated cache            : 0           (0.00       lits/tried recurMin)
113.40/14.23	c unit cls recevied        : 16          (7.84      % of units)
113.40/14.23	c unit cls sent            : 120         (58.82     % of units)
113.40/14.23	c bin cls recevied         : 12692      
113.40/14.23	c bin cls sent             : 621        
113.40/14.23	c clauses over max glue    : 0           (0.00      % of all clauses)
113.40/14.23	c conflicts                : 168233      (11934.93  / sec)
113.40/14.23	c decisions                : 241479      (2.77      % random)
113.40/14.23	c bogo-props               : 1091101566  (77405833.93 / sec)
113.40/14.23	c conflict literals        : 3380760     (33.56     % deleted)
113.40/14.23	c Memory used              : 622.07      MB
113.40/14.23	c single-thread CPU time   : 14.10       s
113.40/14.23	c all-threads sum CPU time : 113.36      s
113.40/14.23	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-3321272-1304342617/watcher-3321272-1304342617 -o /tmp/evaluation-result-3321272-1304342617/solver-3321272-1304342617 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321272-1304342617.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.49 7.91 7.96 1/192 30796
/proc/meminfo: memFree=17171336/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=92188 CPUtime=0.01 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 414 0 0 0 1 0 0 0 25 0 8 0 545862146 94400512 353 33554432000 4194304 4627427 140734902051648 18446744073709551615 46922453174194 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 23047 353 299 106 0 18018 0
[pid=30796/tid=30797] ppid=30794 vsize=92188 CPUtime=0 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 545862146 94400512 353 33554432000 4194304 4627427 140734902051648 18446744073709551615 46922453174188 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=92188 CPUtime=0 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545862146 94400512 353 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=92188 CPUtime=0 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545862146 94400512 353 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=92188 CPUtime=0 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545862146 94400512 353 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=92188 CPUtime=0 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545862146 94400512 353 33554432000 4194304 4627427 140734902051648 18446744073709551615 46922453174194 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=92188 CPUtime=0 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545862146 94400512 353 33554432000 4194304 4627427 140734902051648 18446744073709551615 46922453174194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=92188 CPUtime=0 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545862146 94400512 353 33554432000 4194304 4627427 140734902051648 18446744073709551615 46922453174194 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0215851 s]
/proc/loadavg: 7.49 7.91 7.96 1/192 30796
/proc/meminfo: memFree=17171336/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=422924 CPUtime=0.08 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 2499 0 0 0 8 0 0 0 17 0 8 0 545862146 433074176 2268 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809191530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 105779 2320 336 106 0 100750 0
[pid=30796/tid=30797] ppid=30794 vsize=423116 CPUtime=0.01 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 436 0 0 0 1 0 0 0 25 0 8 0 545862146 433270784 2359 33554432000 4194304 4627427 140734902051648 18446744073709551615 230808862928 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=423824 CPUtime=0 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 450 0 0 0 0 0 0 0 18 0 8 0 545862146 433995776 2581 33554432000 4194304 4627427 140734902051648 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=423824 CPUtime=0 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) S 30794 30796 30702 0 -1 4202560 433 0 0 0 0 0 0 0 18 0 8 0 545862146 433995776 2619 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809270766 0 0 4096 2 18446604442938779456 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=423824 CPUtime=0 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 423 0 0 0 0 0 0 0 18 0 8 0 545862146 433995776 2647 33554432000 4194304 4627427 140734902051648 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=423968 CPUtime=0.01 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) D 30794 30796 30702 0 -1 4202560 183 0 0 0 1 0 0 0 17 0 8 0 545862146 434143232 2729 33554432000 4194304 4627427 140734902051648 18446744073709551615 4313285 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=423968 CPUtime=0.01 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) D 30794 30796 30702 0 -1 4202560 171 0 0 0 1 0 0 0 17 0 8 0 545862146 434143232 2698 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=423708 CPUtime=0.01 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 109 0 0 0 1 0 0 0 17 0 8 0 545862146 433876992 2759 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 422924

[startup+0.10306 s]
/proc/loadavg: 7.49 7.91 7.96 1/192 30796
/proc/meminfo: memFree=17171336/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=626872 CPUtime=1.03 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 9291 0 0 0 95 8 0 0 18 0 8 0 545862146 641916928 8712 33554432000 4194304 4627427 140734902051648 18446744073709551615 4223540 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 156718 8762 381 106 0 151689 0
[pid=30796/tid=30797] ppid=30794 vsize=626872 CPUtime=0.13 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1559 0 0 0 13 0 0 0 18 0 8 0 545862146 641916928 8793 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=626872 CPUtime=0.11 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1120 0 0 0 10 1 0 0 18 0 8 0 545862146 641916928 8821 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=626872 CPUtime=0.11 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) S 30794 30796 30702 0 -1 4202560 1176 0 0 0 11 0 0 0 18 0 8 0 545862146 641916928 8837 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809270766 0 0 4096 2 18446604442938779456 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=626872 CPUtime=0.13 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1181 0 0 0 12 1 0 0 18 0 8 0 545862146 641916928 8852 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=626872 CPUtime=0.12 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) S 30794 30796 30702 0 -1 4202560 1092 0 0 0 12 0 0 0 18 0 8 0 545862146 641916928 8885 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809270766 0 0 4096 2 18446604442938779456 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=626872 CPUtime=0.12 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1100 0 0 0 11 1 0 0 18 0 8 0 545862146 641916928 8912 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=626872 CPUtime=0.12 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 662 0 0 0 12 0 0 0 18 0 8 0 545862146 641916928 8934 33554432000 4194304 4627427 140734902051648 18446744073709551615 4321810 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 626872

[startup+0.300535 s]
/proc/loadavg: 7.49 7.91 7.96 1/192 30796
/proc/meminfo: memFree=17171336/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=627828 CPUtime=2.23 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 12471 0 0 0 212 11 0 0 18 0 8 0 545862146 642895872 11657 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 156957 11657 387 106 0 151928 0
[pid=30796/tid=30797] ppid=30794 vsize=627828 CPUtime=0.28 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1802 0 0 0 27 1 0 0 18 0 8 0 545862146 642895872 11657 33554432000 4194304 4627427 140734902051648 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=627828 CPUtime=0.26 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1516 0 0 0 25 1 0 0 18 0 8 0 545862146 642895872 11657 33554432000 4194304 4627427 140734902051648 18446744073709551615 4324768 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=627828 CPUtime=0.26 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1634 0 0 0 25 1 0 0 18 0 8 0 545862146 642895872 11657 33554432000 4194304 4627427 140734902051648 18446744073709551615 4327446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=627828 CPUtime=0.27 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1630 0 0 0 26 1 0 0 18 0 8 0 545862146 642895872 11657 33554432000 4194304 4627427 140734902051648 18446744073709551615 4321723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=627828 CPUtime=0.27 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1559 0 0 0 26 1 0 0 18 0 8 0 545862146 642895872 11657 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=627828 CPUtime=0.27 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1566 0 0 0 26 1 0 0 18 0 8 0 545862146 642895872 11657 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=627828 CPUtime=0.28 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 732 0 0 0 27 1 0 0 18 0 8 0 545862146 642895872 11657 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 627828

[startup+0.700462 s]
/proc/loadavg: 7.49 7.91 7.96 1/192 30796
/proc/meminfo: memFree=17171336/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=630168 CPUtime=5.42 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 14773 0 0 0 531 11 0 0 18 0 8 0 545862146 645292032 12297 33554432000 4194304 4627427 140734902051648 18446744073709551615 4325093 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 157542 12297 388 106 0 152513 0
[pid=30796/tid=30797] ppid=30794 vsize=630168 CPUtime=0.68 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 2148 0 0 0 67 1 0 0 18 0 8 0 545862146 645292032 12297 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=630168 CPUtime=0.66 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1809 0 0 0 65 1 0 0 18 0 8 0 545862146 645292032 12297 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=630168 CPUtime=0.66 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1945 0 0 0 65 1 0 0 18 0 8 0 545862146 645292032 12297 33554432000 4194304 4627427 140734902051648 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=630168 CPUtime=0.67 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1912 0 0 0 66 1 0 0 18 0 8 0 545862146 645292032 12297 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=630168 CPUtime=0.67 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1832 0 0 0 66 1 0 0 18 0 8 0 545862146 645292032 12297 33554432000 4194304 4627427 140734902051648 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=630168 CPUtime=0.67 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1836 0 0 0 65 2 0 0 18 0 8 0 545862146 645292032 12297 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=630168 CPUtime=0.68 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 961 0 0 0 67 1 0 0 18 0 8 0 545862146 645292032 12297 33554432000 4194304 4627427 140734902051648 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 630168

[startup+1.50032 s]
/proc/loadavg: 7.49 7.91 7.96 9/200 30804
/proc/meminfo: memFree=17120060/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=630992 CPUtime=11.82 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 18500 0 0 0 1170 12 0 0 19 0 8 0 545862146 646135808 13731 33554432000 4194304 4627427 140734902051648 18446744073709551615 4332271 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 157748 13731 388 106 0 152719 0
[pid=30796/tid=30797] ppid=30794 vsize=630992 CPUtime=1.48 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 2588 0 0 0 147 1 0 0 19 0 8 0 545862146 646135808 13731 33554432000 4194304 4627427 140734902051648 18446744073709551615 4322064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=630992 CPUtime=1.46 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 2351 0 0 0 145 1 0 0 19 0 8 0 545862146 646135808 13731 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=630992 CPUtime=1.45 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 2399 0 0 0 144 1 0 0 19 0 8 0 545862146 646135808 13731 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=630992 CPUtime=1.47 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 2379 0 0 0 146 1 0 0 19 0 8 0 545862146 646135808 13731 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=630992 CPUtime=1.47 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 2283 0 0 0 146 1 0 0 19 0 8 0 545862146 646135808 13731 33554432000 4194304 4627427 140734902051648 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=630992 CPUtime=1.47 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 2263 0 0 0 145 2 0 0 19 0 8 0 545862146 646135808 13731 33554432000 4194304 4627427 140734902051648 18446744073709551615 4322614 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=630992 CPUtime=1.48 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 1353 0 0 0 147 1 0 0 20 0 8 0 545862146 646135808 13731 33554432000 4194304 4627427 140734902051648 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.82
Current children cumulated vsize (KiB) 630992

[startup+3.10102 s]
/proc/loadavg: 7.49 7.91 7.96 9/200 30805
/proc/meminfo: memFree=17116464/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=623940 CPUtime=24.62 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 25422 0 0 0 2447 15 0 0 24 0 8 0 545862146 638914560 15263 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 155985 15263 390 106 0 150956 0
[pid=30796/tid=30797] ppid=30794 vsize=623940 CPUtime=3.08 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 3398 0 0 0 307 1 0 0 24 0 8 0 545862146 638914560 15263 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=623940 CPUtime=3.06 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 3249 0 0 0 305 1 0 0 24 0 8 0 545862146 638914560 15263 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=623940 CPUtime=3.05 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 3281 0 0 0 304 1 0 0 24 0 8 0 545862146 638914560 15263 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=623940 CPUtime=3.07 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 3211 0 0 0 305 2 0 0 25 0 8 0 545862146 638914560 15263 33554432000 4194304 4627427 140734902051648 18446744073709551615 4321681 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=623940 CPUtime=3.07 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 3084 0 0 0 306 1 0 0 25 0 8 0 545862146 638914560 15263 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308120 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=623940 CPUtime=3.07 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 3053 0 0 0 305 2 0 0 24 0 8 0 545862146 638914560 15263 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=623940 CPUtime=3.08 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 2112 0 0 0 307 1 0 0 25 0 8 0 545862146 638914560 15263 33554432000 4194304 4627427 140734902051648 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (KiB) 623940

[startup+6.30044 s]
/proc/loadavg: 7.53 7.91 7.96 9/200 30805
/proc/meminfo: memFree=17101352/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=625848 CPUtime=50.2 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 39519 0 0 0 5003 17 0 0 25 0 8 0 545862146 640868352 20529 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 156462 20529 390 106 0 151433 0
[pid=30796/tid=30797] ppid=30794 vsize=625848 CPUtime=6.28 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 6253 0 0 0 627 1 0 0 25 0 8 0 545862146 640868352 20529 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=625848 CPUtime=6.26 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 4887 0 0 0 624 2 0 0 25 0 8 0 545862146 640868352 20529 33554432000 4194304 4627427 140734902051648 18446744073709551615 4321552 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=625848 CPUtime=6.23 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 4998 0 0 0 622 1 0 0 25 0 8 0 545862146 640868352 20529 33554432000 4194304 4627427 140734902051648 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=625848 CPUtime=6.27 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 4758 0 0 0 625 2 0 0 25 0 8 0 545862146 640868352 20529 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=625848 CPUtime=6.27 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 4508 0 0 0 625 2 0 0 25 0 8 0 545862146 640868352 20529 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=625848 CPUtime=6.27 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 4474 0 0 0 625 2 0 0 25 0 8 0 545862146 640868352 20529 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=625848 CPUtime=6.27 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 3440 0 0 0 626 1 0 0 25 0 8 0 545862146 640868352 20529 33554432000 4194304 4627427 140734902051648 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.2
Current children cumulated vsize (KiB) 625848

[startup+12.7013 s]
/proc/loadavg: 7.57 7.91 7.96 9/200 30805
/proc/meminfo: memFree=17062220/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=645808 CPUtime=101.36 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 63841 0 0 0 10114 22 0 0 25 0 8 0 545862146 661307392 28751 33554432000 4194304 4627427 140734902051648 18446744073709551615 4330307 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 161452 28752 390 106 0 156423 0
[pid=30796/tid=30797] ppid=30794 vsize=645808 CPUtime=12.68 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 9682 0 0 0 1266 2 0 0 25 0 8 0 545862146 661307392 28752 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=645808 CPUtime=12.66 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8324 0 0 0 1263 3 0 0 25 0 8 0 545862146 661307392 28752 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=645808 CPUtime=12.59 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8515 0 0 0 1257 2 0 0 25 0 8 0 545862146 661307392 28752 33554432000 4194304 4627427 140734902051648 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=645808 CPUtime=12.67 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 7364 0 0 0 1265 2 0 0 25 0 8 0 545862146 661307392 28752 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=645808 CPUtime=12.67 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 6947 0 0 0 1265 2 0 0 25 0 8 0 545862146 661307392 28752 33554432000 4194304 4627427 140734902051648 18446744073709551615 4332298 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=645808 CPUtime=12.67 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 7527 0 0 0 1264 3 0 0 25 0 8 0 545862146 661307392 28752 33554432000 4194304 4627427 140734902051648 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=645808 CPUtime=12.68 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 5838 0 0 0 1266 2 0 0 25 0 8 0 545862146 661307392 28752 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 645808

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

[startup+13.5011 s]
/proc/loadavg: 7.60 7.91 7.96 9/200 30805
/proc/meminfo: memFree=17056524/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=645964 CPUtime=107.76 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 66464 0 0 0 10753 23 0 0 25 0 8 0 545862146 661467136 29842 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 161491 29842 390 106 0 156462 0
[pid=30796/tid=30797] ppid=30794 vsize=645964 CPUtime=13.48 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 9871 0 0 0 1346 2 0 0 25 0 8 0 545862146 661467136 29842 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=645964 CPUtime=13.46 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8694 0 0 0 1343 3 0 0 25 0 8 0 545862146 661467136 29842 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=645964 CPUtime=13.39 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8538 0 0 0 1337 2 0 0 25 0 8 0 545862146 661467136 29842 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=645964 CPUtime=13.47 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 7547 0 0 0 1344 3 0 0 25 0 8 0 545862146 661467136 29842 33554432000 4194304 4627427 140734902051648 18446744073709551615 230809190295 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=645964 CPUtime=13.47 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 7331 0 0 0 1345 2 0 0 25 0 8 0 545862146 661467136 29842 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=645964 CPUtime=13.47 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 7740 0 0 0 1344 3 0 0 25 0 8 0 545862146 661467136 29842 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=645964 CPUtime=13.47 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 6274 0 0 0 1345 2 0 0 25 0 8 0 545862146 661467136 29842 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 107.76
Current children cumulated vsize (KiB) 645964

[startup+13.901 s]
/proc/loadavg: 7.60 7.91 7.96 9/200 30805
/proc/meminfo: memFree=17056524/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=636980 CPUtime=110.96 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 68512 0 0 0 11072 24 0 0 25 0 8 0 545862146 652267520 30833 33554432000 4194304 4627427 140734902051648 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 159245 30833 390 106 0 154216 0
[pid=30796/tid=30797] ppid=30794 vsize=636980 CPUtime=13.88 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 10163 0 0 0 1386 2 0 0 25 0 8 0 545862146 652267520 30834 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=636980 CPUtime=13.86 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8831 0 0 0 1383 3 0 0 25 0 8 0 545862146 652267520 30834 33554432000 4194304 4627427 140734902051648 18446744073709551615 4333663 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=636980 CPUtime=13.79 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8629 0 0 0 1377 2 0 0 25 0 8 0 545862146 652267520 30834 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=636980 CPUtime=13.87 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8489 0 0 0 1384 3 0 0 25 0 8 0 545862146 652267520 30834 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=636980 CPUtime=13.87 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 7421 0 0 0 1385 2 0 0 25 0 8 0 545862146 652267520 30834 33554432000 4194304 4627427 140734902051648 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=636980 CPUtime=13.87 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 7827 0 0 0 1384 3 0 0 25 0 8 0 545862146 652267520 30834 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=636980 CPUtime=13.87 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 6389 0 0 0 1385 2 0 0 25 0 8 0 545862146 652267520 30834 33554432000 4194304 4627427 140734902051648 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 110.96
Current children cumulated vsize (KiB) 636980

[startup+14.101 s]
/proc/loadavg: 7.60 7.91 7.96 9/200 30805
/proc/meminfo: memFree=17056524/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=636996 CPUtime=112.56 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 69373 0 0 0 11232 24 0 0 25 0 8 0 545862146 652283904 31218 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 159249 31218 390 106 0 154220 0
[pid=30796/tid=30797] ppid=30794 vsize=636996 CPUtime=14.08 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 10244 0 0 0 1406 2 0 0 25 0 8 0 545862146 652283904 31218 33554432000 4194304 4627427 140734902051648 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=636996 CPUtime=14.06 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8890 0 0 0 1403 3 0 0 25 0 8 0 545862146 652283904 31218 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=636996 CPUtime=13.99 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8892 0 0 0 1397 2 0 0 25 0 8 0 545862146 652283904 31218 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=636996 CPUtime=14.07 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8575 0 0 0 1404 3 0 0 25 0 8 0 545862146 652283904 31218 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=636996 CPUtime=14.07 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 7461 0 0 0 1405 2 0 0 25 0 8 0 545862146 652283904 31218 33554432000 4194304 4627427 140734902051648 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=636996 CPUtime=14.07 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8048 0 0 0 1404 3 0 0 25 0 8 0 545862146 652283904 31218 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=636996 CPUtime=14.07 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 6431 0 0 0 1405 2 0 0 25 0 8 0 545862146 652283904 31218 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 112.56
Current children cumulated vsize (KiB) 636996

[startup+14.201 s]
/proc/loadavg: 7.60 7.91 7.96 9/200 30805
/proc/meminfo: memFree=17050820/32951124 swapFree=67111448/67111528
[pid=30796] ppid=30794 vsize=636996 CPUtime=113.4 cores=0-7
/proc/30796/stat : 30796 (strangenight2-m) R 30794 30796 30702 0 -1 4202496 69655 0 0 0 11316 24 0 0 25 0 8 0 545862146 652283904 31500 33554432000 4194304 4627427 140734902051648 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30796/statm: 159249 31500 390 106 0 154220 0
[pid=30796/tid=30797] ppid=30794 vsize=636996 CPUtime=14.18 cores=0-7
/proc/30796/task/30797/stat : 30797 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 10273 0 0 0 1416 2 0 0 25 0 8 0 545862146 652283904 31500 33554432000 4194304 4627427 140734902051648 18446744073709551615 4321883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30796/tid=30798] ppid=30794 vsize=636996 CPUtime=14.17 cores=0-7
/proc/30796/task/30798/stat : 30798 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8925 0 0 0 1414 3 0 0 25 0 8 0 545862146 652283904 31500 33554432000 4194304 4627427 140734902051648 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30796/tid=30799] ppid=30794 vsize=636996 CPUtime=14.09 cores=0-7
/proc/30796/task/30799/stat : 30799 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8943 0 0 0 1407 2 0 0 25 0 8 0 545862146 652283904 31500 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30796/tid=30800] ppid=30794 vsize=636996 CPUtime=14.18 cores=0-7
/proc/30796/task/30800/stat : 30800 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8599 0 0 0 1415 3 0 0 25 0 8 0 545862146 652283904 31500 33554432000 4194304 4627427 140734902051648 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30796/tid=30801] ppid=30794 vsize=636996 CPUtime=14.17 cores=0-7
/proc/30796/task/30801/stat : 30801 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 7481 0 0 0 1415 2 0 0 25 0 8 0 545862146 652283904 31500 33554432000 4194304 4627427 140734902051648 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30796/tid=30802] ppid=30794 vsize=636996 CPUtime=14.17 cores=0-7
/proc/30796/task/30802/stat : 30802 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 8084 0 0 0 1414 3 0 0 25 0 8 0 545862146 652283904 31500 33554432000 4194304 4627427 140734902051648 18446744073709551615 4334754 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30796/tid=30803] ppid=30794 vsize=636996 CPUtime=14.18 cores=0-7
/proc/30796/task/30803/stat : 30803 (strangenight2-m) R 30794 30796 30702 0 -1 4202560 6460 0 0 0 1416 2 0 0 25 0 8 0 545862146 652283904 31500 33554432000 4194304 4627427 140734902051648 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 113.4
Current children cumulated vsize (KiB) 636996

Child status: 20
Real time (s): 14.2387
CPU time (s): 113.607
CPU user time (s): 113.359
CPU system time (s): 0.247962
CPU usage (%): 797.872
Max. virtual memory (cumulated for all children) (KiB): 653888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.359
system time used= 0.247962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69664
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= 11328
involuntary context switches= 626

runsolver used 0.027995 second user time and 0.066989 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-02 15:23:37
IDJOB=3321272
IDBENCH=88045
IDSOLVER=1709
FILE ID=node104/3321272-1304342617
RUNJOBID= node104-1304342614-30716
PBS_JOBID= 13178062
Free space on /tmp= 73436 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321272-1304342617/watcher-3321272-1304342617 -o /tmp/evaluation-result-3321272-1304342617/solver-3321272-1304342617 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321272-1304342617.cnf

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

MD5SUM BENCH= 0e9d17eb95ee436fc1015c5591cfb63f
RANDOM SEED=204656664

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17171616 kB
Buffers:        467824 kB
Cached:        2777332 kB
SwapCached:         80 kB
Active:       12485216 kB
Inactive:      2846552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17171616 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            6136 kB
Writeback:           0 kB
AnonPages:    12086404 kB
Mapped:          20452 kB
Slab:           351224 kB
PageTables:      31492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 13613084 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= 73428 MiB
End job on node104 at 2011-05-02 15:23:51