Trace number 3421611

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 1277.27 160.129

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
MD5SUM213e4c0c58f043e67e86cf993698317a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.864
Satisfiable
(Un)Satisfiability was proved
Number of variables202
Number of clauses22023
Sum of the clauses size98860
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 267
Number of clauses of size 320125
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51831

Solver Data 

0.00/0.00	c Outputting solution to console
0.13/0.10	c Using 8 threads
0.78/0.12	c This is CryptoMiniSat 3.0.0
0.78/0.12	c WARNING: for repeatability, setting FPU to use double precision
0.78/0.12	c Reading file 'HOME/instance-3421611-1306681418.cnf'
0.78/0.12	c -- header says num vars:            202
0.78/0.12	c -- header says num clauses:       22023
0.78/0.14	c -- clauses added:            0 learnts,        22023 normals,            0 xors
0.78/0.14	c -- vars added        202
0.78/0.14	c Parsing time:  0.01 s
0.78/0.14	c  N st     0         0       202     21956        67         0     98860         0   no data   no data
0.78/0.28	c asymm  cl-useful: 0/21956/21956 lits-rem:0 time: 0.13
0.78/0.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.39/1.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.39/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.39/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.39/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
8.39/1.15	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
8.39/1.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
8.39/1.15	c Finding binary XORs  T:     0.00 s  found:       0
8.39/1.15	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
8.39/1.15	c calculated reachability. Time: 0.00
8.39/1.15	c Calc default polars -  time:   0.00 s pos:     202 undec:       0 neg:       0
8.39/1.15	c =========================================================================================
8.39/1.15	c types(t): F = full restart, N = normal restart
8.39/1.15	c types(t): S = simplification begin/end, E = solution found
8.39/1.15	c restart types(rt): st = static, dy = dynamic
8.39/1.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
8.39/1.15	c  B st     0         0       202     21956        67         0     98860         0   no data   no data
8.39/1.15	c  N dy    11      4057       202     21956        67      3816     98860     77750     11.35     13.67
8.39/1.15	c  N dy    24      8114       202     21956        67      5292     98860     97755     10.81     11.41
8.39/1.15	c  N dy    38     12204       202     21956        67      5157     98860     85699     10.66     11.32
10.79/1.49	c  N dy    64     17810       202     21956        67     10508     98860    190828     10.85     11.47
13.31/1.73	c  N dy    87     21857       202     21956        67      9024     98860    153134     10.98     12.06
14.77/1.92	c  F st    94     25000       202     21956        67     12023     98860    208211     10.94     10.08
15.57/2.01	c  N st    97     26187       202     21956        67      6656     98860    102568     10.94   no data
17.17/2.24	c  S st   100     30002       202     21956        67     10338     98860    174895     10.94   no data
17.17/2.27	c  S st   100     30502       202     21956        67     10829     98860    185666     10.94   no data
17.17/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.17/2.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.17/2.28	c blocked clauses removed:        0 vars:      0 tried:         202 T: 0.00 s
17.17/2.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.17/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.17/2.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
17.17/2.28	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
17.17/2.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.17/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.77/2.41	c lits-rem:       267  cl-subs:     1757  v-elim:      0  v-fix:    0  time:  0.11 s
20.36/2.63	c asymm  cl-useful: 3/21956/21956 lits-rem:3 time: 0.22
20.36/2.63	c calculated reachability. Time: 0.00
20.36/2.63	c  N dy   100     30502       202     21956        67      9072     98857    166476     10.94   no data
22.75/2.96	c  N dy   107     35490       202     21956        67     13801     98857    254269     10.81     11.47
25.17/3.22	c  N dy   120     39559       202     21956        67     10170     98857    168890     10.77     11.44
26.76/3.48	c  N dy   134     43621       202     21956        67     14032     98857    245210     10.75     12.56
28.36/3.63	c  S st   149     45753       202     21956        67     16053     98857    287431     10.81     10.80
28.36/3.67	c  S st   149     46253       202     21956        67     16544     98857    298789     10.81   no data
28.36/3.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.36/3.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.36/3.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.36/3.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.36/3.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.36/3.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
28.36/3.69	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
28.36/3.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
29.16/3.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.00/3.89	c lits-rem:       187  cl-subs:     1856  v-elim:      0  v-fix:    0  time:  0.17 s
30.00/3.90	c vivif2 --  cl tried    21956 cl shrink        0 lits rem          0 time: 0.00
30.00/3.90	c vivif2 --  cl tried    14688 cl shrink        0 lits rem          0 time: 0.00
32.34/4.18	c asymm  cl-useful: 1/21956/21956 lits-rem:1 time: 0.27
32.34/4.18	c calculated reachability. Time: 0.00
32.34/4.18	c  N dy   149     46253       202     21956        67     14688     98856    277292     10.81   no data
35.54/4.50	c  N dy   164     50994       202     21956        67     10717     98856    172440     10.76     11.35
37.14/4.79	c  N dy   184     55232       202     21956        67     14740     98856    250788     10.78     11.41
41.12/5.20	c  N dy   190     61047       202     21956        67     10785     98856    162141     10.60     11.18
42.72/5.47	c  N dy   206     65174       202     21956        67     14713     98856    234947     10.60     11.18
45.12/5.75	c  N dy   218     69379       202     21956        67     18706     98856    310793     10.58      9.37
45.12/5.75	c  S st   218     69379       202     21956        67     18706     98856    310793     10.58      9.37
45.12/5.79	c  S st   218     69879       202     21956        67     19202     98856    321886     10.58   no data
45.12/5.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.92/5.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.92/5.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.92/5.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.92/5.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.92/5.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
45.92/5.80	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
45.92/5.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
45.92/5.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.56/6.10	c lits-rem:       231  cl-subs:     3704  v-elim:      0  v-fix:    0  time:  0.26 s
47.56/6.10	c vivif2 --  cl tried    21956 cl shrink        0 lits rem          0 time: 0.00
47.56/6.10	c vivif2 --  cl tried    15498 cl shrink        0 lits rem          0 time: 0.00
49.90/6.38	c asymm  cl-useful: 0/21956/21956 lits-rem:0 time: 0.28
49.90/6.39	c calculated reachability. Time: 0.00
49.90/6.39	c  N dy   218     69879       202     21956        67     15498     98856    282556     10.58   no data
53.10/6.76	c  N dy   233     75089       202     21956        67     20429     98856    374190     10.56     11.16
56.33/7.12	c  N dy   252     79941       202     21956        67     14723     98856    250284     10.56     12.95
58.69/7.49	c  N dy   266     85303       202     21956        67     19822     98856    344389     10.52     11.14
60.29/7.64	c  F st   269     87501       202     21956        67     21888     98856    385144     10.49      9.50
61.88/7.89	c  N st   274     90798       202     21956        67     13712     98856    218266     10.49   no data
65.12/8.31	c  N dy   291     96833       202     21956        67     19455     98856    330816     10.47     11.04
69.88/8.80	c  N dy   315    103103       202     21956        67     13071     98856    190598     10.46     11.92
70.68/8.92	c  S st   324    104821       202     21956        67     14716     98856    221183     10.47     10.52
70.68/8.95	c  S st   324    105322       202     21956        67     15210     98856    231922     10.47   no data
70.68/8.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
70.68/8.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
70.68/8.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
70.68/8.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
70.68/8.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.68/8.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
70.68/8.96	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
70.68/8.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
70.68/8.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.48/9.08	c lits-rem:       102  cl-subs:     1454  v-elim:      0  v-fix:    0  time:  0.10 s
71.48/9.08	c vivif2 --  cl tried    21956 cl shrink        0 lits rem          0 time: 0.00
71.48/9.09	c vivif2 --  cl tried    13756 cl shrink        0 lits rem          0 time: 0.00
73.91/9.37	c asymm  cl-useful: 0/21956/21956 lits-rem:0 time: 0.26
73.91/9.37	c calculated reachability. Time: 0.00
73.91/9.37	c  N dy   324    105322       202     21956        67     13756     98856    218185     10.47   no data
77.86/9.84	c  N dy   354    112085       202     21956        67     20185     98856    342010     10.48     12.00
82.70/10.45	c  N dy   381    119576       202     21956        67     14010     98856    208587     10.48     11.05
87.44/11.00	c  N dy   407    127443       202     21956        67     21423     98856    348260     10.46     11.02
92.36/11.65	c  N dy   432    135654       202     21956        67     15006     98856    214698     10.44     12.43
97.82/12.31	c  N dy   478    144851       202     21956        67     23760     98856    382273     10.45     11.02
104.20/13.12	c  N dy   500    155621       202     21956        67     18766     98856    273673     10.39     11.01
105.00/13.28	c  S st   510    157984       202     21956        67     21014     98856    315506     10.38   no data
105.80/13.33	c  S st   510    158488       202     21956        67     21511     98856    325654     10.38   no data
105.80/13.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
105.80/13.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
105.80/13.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
105.80/13.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
105.80/13.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
105.80/13.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
105.80/13.34	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
105.80/13.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
105.80/13.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
108.20/13.60	c lits-rem:       212  cl-subs:     3473  v-elim:      0  v-fix:    0  time:  0.24 s
108.20/13.60	c vivif2 --  cl tried    21956 cl shrink        0 lits rem          0 time: 0.00
108.20/13.61	c vivif2 --  cl tried    18038 cl shrink        0 lits rem          0 time: 0.00
110.59/13.92	c asymm  cl-useful: 3/21956/21956 lits-rem:3 time: 0.29
110.59/13.92	c calculated reachability. Time: 0.00
110.59/13.92	c  N dy   510    158488       202     21956        67     18038     98853    293202     10.38   no data
118.71/14.94	c  N dy   546    171356       202     21956        67     30269     98853    515525     10.35     10.94
125.78/15.81	c  N dy   584    182373       202     21956        67     24744     98853    387852     10.34     12.55
133.76/16.86	c  N dy   633    194999       202     21956        67     19664     98853    288109     10.33     10.89
141.74/17.86	c  N dy   681    207487       202     21956        67     31476     98853    510200     10.33     10.98
151.32/19.00	c  N dy   736    221204       202     21956        67     26473     98853    413516     10.34     10.95
160.91/20.23	c  N dy   793    235352       202     21956        67     20936     98853    310025     10.34     13.09
161.75/20.41	c  S st   798    237733       202     21956        67     23176     98853    349585     10.34   no data
162.62/20.45	c  S st   798    238234       202     21956        67     23671     98853    359743     10.34   no data
162.62/20.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
162.62/20.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
162.62/20.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
162.62/20.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
162.62/20.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.62/20.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
162.62/20.46	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
162.62/20.47	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.00 s
162.62/20.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
164.89/20.71	c lits-rem:       264  cl-subs:     2484  v-elim:      0  v-fix:    0  time:  0.23 s
164.89/20.71	c vivif2 --  cl tried    21955 cl shrink        0 lits rem          0 time: 0.00
164.89/20.72	c vivif2 --  cl tried    21187 cl shrink        0 lits rem          0 time: 0.01
167.29/21.04	c asymm  cl-useful: 0/21955/21955 lits-rem:0 time: 0.32
167.29/21.04	c calculated reachability. Time: 0.00
167.29/21.04	c  N dy   798    238234       202     21955        67     21187     98832    336972     10.34   no data
177.67/22.38	c  N dy   844    254694       202     21955        67     36773     98832    621042     10.32     10.92
188.98/23.78	c  N dy   896    271014       202     21955        67     32394     98832    523644     10.31     10.88
202.42/25.45	c  N dy   978    289000       202     21955        67     28676     98832    451915     10.31     10.90
215.33/27.08	c  F st  1060    306250       202     21955        67     23296     98832    338940     10.32   no data
216.79/27.22	c  N st  1064    308284       202     21955        67     25228     98832    375632     10.32   no data
232.01/29.18	c  N dy  1130    330528       202     21955        67     23509     98832    326174     10.31     10.86
246.29/30.92	c  N dy  1227    350559       202     21955        67     42609     98832    681921     10.33     10.88
251.85/31.64	c  S st  1269    357353       202     21955        67     25313     98832    351717     10.34   no data
251.85/31.68	c  S st  1269    357855       202     21955        67     25807     98832    361518     10.34   no data
251.85/31.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.85/31.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
251.85/31.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.64/31.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.64/31.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.64/31.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
252.64/31.70	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
252.64/31.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
252.64/31.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.24/31.90	c lits-rem:       145  cl-subs:     1417  v-elim:      0  v-fix:    0  time:  0.18 s
254.24/31.90	c vivif2 --  cl tried    21955 cl shrink        0 lits rem          0 time: 0.00
254.24/31.91	c vivif2 --  cl tried    24390 cl shrink        0 lits rem          0 time: 0.01
256.63/32.23	c asymm  cl-useful: 0/21955/21955 lits-rem:0 time: 0.32
256.63/32.23	c calculated reachability. Time: 0.00
256.63/32.23	c  N dy  1269    357855       202     21955        67     24390     98832    349321     10.34   no data
270.14/33.97	c  N dy  1353    377890       202     21955        67     43397     98832    703875     10.34     13.42
286.05/35.93	c  N dy  1423    399219       202     21955        67     38917     98832    599033     10.33     11.00
301.15/37.88	c  N dy  1509    419736       202     21955        67     32740     98832    471187     10.33     10.88
316.22/39.76	c  N dy  1589    439829       202     21955        67     51876     98832    823211     10.33     10.90
330.50/41.59	c  N dy  1678    459933       202     21955        67     44446     98832    679496     10.33     11.01
346.50/43.57	c  N dy  1777    479983       202     21955        67     36024     98832    516042     10.35     10.96
362.26/45.55	c  N dy  1846    500176       202     21955        67     55226     98831    866894     10.34     11.00
377.33/47.47	c  N dy  1904    521085       202     21955        67     46455     98831    683806     10.33     10.91
390.87/49.11	c  S st  1966    536782       202     21955        67     31941     98831    415995     10.33      9.57
390.87/49.15	c  S st  1966    537291       202     21955        67     32446     98831    427305     10.33   no data
390.87/49.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
390.87/49.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
390.87/49.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
390.87/49.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
390.87/49.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
390.87/49.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
390.87/49.17	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
390.87/49.18	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
390.87/49.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
394.06/49.55	c lits-rem:       220  cl-subs:     2393  v-elim:      0  v-fix:    0  time:  0.35 s
394.06/49.55	c vivif2 --  cl tried    21954 cl shrink        0 lits rem          0 time: 0.00
394.06/49.56	c vivif2 --  cl tried    30053 cl shrink        0 lits rem          0 time: 0.01
395.66/49.77	c asymm  cl-useful: 0/6191/21954 lits-rem:0 time: 0.21
395.66/49.77	c calculated reachability. Time: 0.00
395.66/49.77	c  N dy  1966    537291       202     21954        67     30053     98810    407140     10.33   no data
410.83/51.65	c  N dy  2041    557468       202     21954        67     49241     98810    760277     10.33     10.97
426.80/53.69	c  N dy  2122    577680       202     21954        67     38102     98810    534589     10.33     10.93
442.90/55.69	c  N dy  2216    598167       202     21954        67     57519     98810    895251     10.34     10.94
458.74/57.63	c  N dy  2294    618332       202     21954        67     45355     98810    654005     10.33     10.98
477.15/59.96	c  N dy  2364    639997       202     21954        67     33650     98810    430666     10.33     10.92
491.48/61.79	c  N dy  2445    660167       202     21954        67     52739     98810    783240     10.33     10.88
509.85/64.04	c  N dy  2500    682464       202     21954        67     40679     98810    543360     10.31     10.88
525.82/66.08	c  N dy  2583    702487       202     21954        67     59653     98810    887047     10.31     13.62
545.78/68.55	c  N dy  2667    724118       202     21954        67     46102     98810    638746     10.31     10.90
564.15/70.83	c  N dy  2754    745895       202     21954        67     66799     98810   1019616     10.31     10.90
581.72/73.09	c  N dy  2824    768348       202     21954        67     53001     98810    746371     10.30     10.94
601.66/75.53	c  N dy  2901    789062       202     21954        67     36598     98810    450466     10.30     10.85
613.65/77.00	c  S st  2940    805936       202     21954        67     52530     98810    730221     10.28      7.96
613.65/77.07	c  S st  2940    806439       202     21954        67     53028     98810    741178     10.28   no data
613.65/77.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
613.65/77.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
613.65/77.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
613.65/77.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
613.65/77.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
613.65/77.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
613.65/77.09	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
614.45/77.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
614.45/77.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
624.84/78.48	c lits-rem:       617  cl-subs:     8062  v-elim:      0  v-fix:    0  time:  1.33 s
624.84/78.49	c vivif2 --  cl tried    21954 cl shrink        0 lits rem          0 time: 0.00
625.64/78.50	c vivif2 --  cl tried    44966 cl shrink        0 lits rem          0 time: 0.01
627.35/78.73	c asymm  cl-useful: 0/12072/21954 lits-rem:0 time: 0.21
627.35/78.73	c calculated reachability. Time: 0.00
627.35/78.73	c  N dy  2940    806439       202     21954        67     44966     98810    662286     10.28   no data
644.03/80.91	c  N dy  3018    826630       202     21954        67     64082     98810   1007229     10.28     10.84
662.48/83.13	c  N dy  3065    847502       202     21954        67     47053     98810    647176     10.27     10.83
680.05/85.34	c  N dy  3142    867798       202     21954        67     66245     98810    991065     10.27     10.84
698.29/87.65	c  N dy  3226    887902       202     21954        67     47563     98810    648926     10.27     11.00
715.86/89.81	c  N dy  3312    907932       202     21954        67     66562     98810   1000928     10.27     14.56
734.21/92.15	c  N dy  3394    928034       202     21954        67     46823     98810    634422     10.28     10.82
751.78/94.33	c  N dy  3479    949025       202     21954        67     66769     98810    995945     10.28     10.92
771.75/96.84	c  N dy  3572    969904       202     21954        67     46753     98810    619469     10.28     10.92
788.50/98.96	c  N dy  3645    989975       202     21954        67     65709     98810    962584     10.27     11.68
807.68/101.39	c  N dy  3697   1010007       202     21954        67     43868     98810    562016     10.26     11.19
825.24/103.50	c  N dy  3785   1030377       202     21954        67     63207     98810    910187     10.27     10.84
845.22/106.03	c  N dy  3872   1050392       202     21954        67     82195     98810   1250305     10.27     11.47
863.62/108.40	c  N dy  3942   1070466       202     21954        67     59635     98810    849566     10.26     12.68
865.16/108.55	c  F st  3952   1071875       202     21954        67     60982     98810    875004     10.26     10.33
883.54/110.88	c  N dy  3990   1092774       202     21954        67     80688     98810   1223025     10.26     10.81
901.89/113.16	c  N dy  4059   1112866       202     21954        67     57121     98810    795743     10.25     14.04
921.06/115.51	c  N dy  4147   1132960       202     21954        67     76213     98810   1142730     10.25     10.85
941.03/118.01	c  N dy  4231   1153145       202     21954        67     51749     98810    703768     10.25     10.83
958.60/120.27	c  N dy  4321   1173236       202     21954        67     70795     98810   1052431     10.26     10.89
982.55/123.28	c  N dy  4397   1194017       202     21954        67     45912     98810    592531     10.26     10.83
996.25/124.91	c  S st  4466   1209659       202     21954        67     60761     98810    863624     10.26     10.12
996.25/124.98	c  S st  4466   1210166       202     21954        67     61262     98810    875269     10.26   no data
996.25/124.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
996.91/125.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
996.91/125.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
996.91/125.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
996.91/125.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
996.91/125.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    202 time:  0.00 s
996.91/125.03	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
996.91/125.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
996.91/125.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1010.49/126.72	c lits-rem:       806  cl-subs:     6507  v-elim:      0  v-fix:    0  time:  1.62 s
1010.49/126.73	c vivif2 --  cl tried    21954 cl shrink        0 lits rem          0 time: 0.00
1010.49/126.74	c vivif2 --  cl tried    54755 cl shrink        0 lits rem          0 time: 0.01
1011.29/126.81	c asymm  cl-useful: 0/3691/21954 lits-rem:0 time: 0.07
1011.29/126.82	c calculated reachability. Time: 0.00
1011.29/126.82	c  N dy  4466   1210166       202     21954        67     54755     98810    816441     10.26   no data
1029.66/129.11	c  N dy  4524   1230460       202     21954        67     73946     98810   1158218     10.25     10.85
1056.01/132.41	c  N dy  4607   1255278       202     21954        67     52064     98810    710300     10.25     10.79
1073.58/134.66	c  N dy  4690   1275676       202     21954        67     71437     98810   1061185     10.25     10.83
1094.32/137.24	c  N dy  4761   1295717       202     21954        67     90521     98810   1401867     10.24     11.23
1113.49/139.66	c  N dy  4838   1316190       202     21954        67     63543     98810    912998     10.24     10.89
1133.46/142.15	c  N dy  4917   1336681       202     21954        67     83018     98810   1260139     10.24     10.83
1156.61/145.02	c  N dy  4994   1358388       202     21954        67     56202     98810    779365     10.24     11.01
1174.18/147.29	c  N dy  5067   1378415       202     21954        67     75200     98810   1121667     10.24     10.98
1194.14/149.78	c  N dy  5109   1398699       202     21954        67     94343     98810   1441769     10.23     10.83
1214.11/152.26	c  N dy  5185   1418786       202     21954        67     65043     98810    936237     10.23     10.83
1234.06/154.72	c  N dy  5258   1438818       202     21954        67     83985     98810   1277351     10.23     10.80
1256.43/157.59	c  N dy  5339   1459113       202     21954        67     53987     98810    742587     10.23     10.78
1275.59/159.98	c  N dy  5420   1479449       202     21954        67     73282     98810   1081129     10.23     10.89
1276.43/160.10	c Following stats are for *FIRST FINISHED THREAD ONLY*
1276.43/160.10	c num threads              : 8          
1276.43/160.10	c restarts                 : 5462       
1276.43/160.10	c dynamic restarts         : 5432       
1276.43/160.10	c static restarts          : 30         
1276.43/160.10	c full restarts            : 4          
1276.43/160.10	c total simplify time      : 0.00       
1276.43/160.10	c learnts DL2              : 0          
1276.43/160.10	c learnts size 2           : 67         
1276.43/160.10	c learnts size 1           : 0           (0.00      % of vars)
1276.43/160.10	c filedLit time            : 0.05        (0.03      % time)
1276.43/160.10	c v-elim SatELite          : 0           (0.00      % vars)
1276.43/160.10	c SatELite time            : 5.34        (3.34      % time)
1276.43/160.10	c v-elim xor               : 0           (0.00      % vars)
1276.43/160.10	c xor elim time            : 0.01        (0.01      % time)
1276.43/160.10	c num binary xor trees     : 0          
1276.43/160.10	c binxor trees' crown      : 0           (nan       leafs/tree)
1276.43/160.10	c bin xor find time        : 0.00       
1276.43/160.10	c OTF clause improved      : 78721       (0.05      clauses/conflict)
1276.43/160.10	c OTF impr. size diff      : 86100       (1.09       lits/clause)
1276.43/160.10	c OTF cl watch-shrink      : 1234820     (0.81      clauses/conflict)
1276.43/160.10	c OTF cl watch-sh-lit      : 5534039     (4.48       lits/clause)
1276.43/160.10	c tried to recurMin cls    : 214580      (14.06      % of conflicts)
1276.43/160.10	c updated cache            : 967         (0.00       lits/tried recurMin)
1276.43/160.10	c unit cls recevied        : 0           (nan       % of units)
1276.43/160.10	c unit cls sent            : 0           (nan       % of units)
1276.43/160.10	c bin cls recevied         : 0          
1276.43/160.10	c bin cls sent             : 0          
1276.43/160.10	c clauses over max glue    : 0           (0.00      % of all clauses)
1276.43/160.10	c conflicts                : 1526458     (9546.88   / sec)
1276.43/160.10	c decisions                : 1967478     (0.62      % random)
1276.43/160.10	c bogo-props               : 22986148514 (143761642.57 / sec)
1276.43/160.10	c conflict literals        : 27525443    (54.84     % deleted)
1276.43/160.10	c Memory used              : 647.25      MB
1276.43/160.10	c single-thread CPU time   : 159.89      s
1276.43/160.10	c all-threads sum CPU time : 1276.04     s
1276.43/160.10	s SATISFIABLE
1276.43/160.10	v 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 -21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 -36 37 -38 39 40 41 42 43 -44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 -59 60 -61 62 63 64 65 66 67 68 69 70 71 -72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 -90 91 92 93 94 95 96 97 98 99 100 101 102 -103 104 105 106 107 108 109 110 111 112 -113 -114 115 116 117 -118 119 120 121 122 123 124 125 -126 127 -128 129 130 131 -132 133 134 135 136 -137 138 139 140 -141 142 143 144 145 146 147 148 149 150 151 152 153 154 -155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 -172 173 174 175 176 177 178 179 180 -181 182 183 184 185 -186 187 188 189 190 191 192 193 194 195 196 197 198 -199 200 -201 202 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3421611-1306681418/watcher-3421611-1306681418 -o /tmp/evaluation-result-3421611-1306681418/solver-3421611-1306681418 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421611-1306681418.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: 1.12 1.45 1.75 1/457 5153
/proc/meminfo: memFree=14879660/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=92144 CPUtime=0 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5153/statm: 23036 352 299 95 0 18018 0
[pid=5153/tid=5154] ppid=5151 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802998 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=92144 CPUtime=0 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802994 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802994 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=92144 CPUtime=0 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802994 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=92144 CPUtime=0 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802994 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.031793 s]
/proc/loadavg: 1.12 1.45 1.75 1/457 5153
/proc/meminfo: memFree=14879660/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=92144 CPUtime=0.13 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 412 0 0 0 13 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5153/statm: 23036 352 299 95 0 18018 0
[pid=5153/tid=5154] ppid=5151 vsize=92144 CPUtime=0.02 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802994 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=92144 CPUtime=0.02 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802988 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=92144 CPUtime=0.02 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802998 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=92144 CPUtime=0 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=92144 CPUtime=0.02 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802992 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=92144 CPUtime=0 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=92144 CPUtime=0.02 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 779741596 94355456 352 33554432000 4194304 4580107 140734899595376 18446744073709551615 47661372802994 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 92144

[startup+0.126791 s]
/proc/loadavg: 1.12 1.45 1.75 1/457 5153
/proc/meminfo: memFree=14879660/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=92144 CPUtime=0.78 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 445 0 0 0 78 0 0 0 25 0 8 0 779741596 94355456 375 33554432000 4194304 4580107 140734899595376 18446744073709551615 4284112 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 23036 375 308 95 0 18018 0
[pid=5153/tid=5154] ppid=5151 vsize=92144 CPUtime=0.09 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) D 5151 5153 5127 0 -1 4202560 3 0 0 0 9 0 0 0 25 0 8 0 779741596 94355456 375 33554432000 4194304 4580107 140734899595376 18446744073709551615 4284112 0 0 4096 2 18446744071562234166 0 0 -1 4 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=92144 CPUtime=0.11 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) D 5151 5153 5127 0 -1 4202560 7 0 0 0 11 0 0 0 25 0 8 0 779741596 94355456 375 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089353200 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=92144 CPUtime=0.12 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) D 5151 5153 5127 0 -1 4202560 5 0 0 0 12 0 0 0 25 0 8 0 779741596 94355456 375 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089373016 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=92144 CPUtime=0.02 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) D 5151 5153 5127 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 8 0 779741596 94355456 375 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089359045 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=92144 CPUtime=0.12 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) D 5151 5153 5127 0 -1 4202560 2 0 0 0 12 0 0 0 25 0 8 0 779741596 94355456 375 33554432000 4194304 4580107 140734899595376 18446744073709551615 4284112 0 0 4096 2 18446744071562234166 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=92144 CPUtime=0.08 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) D 5151 5153 5127 0 -1 4202560 6 0 0 0 8 0 0 0 25 0 8 0 779741596 94355456 375 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089741402 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=92144 CPUtime=0.12 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) D 5151 5153 5127 0 -1 4202560 4 0 0 0 12 0 0 0 25 0 8 0 779741596 94355456 375 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089353200 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 92144

[startup+0.30275 s]
/proc/loadavg: 1.12 1.45 1.75 1/457 5153
/proc/meminfo: memFree=14879660/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=497804 CPUtime=2.04 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) S 5151 5153 5127 0 -1 4202496 9531 0 0 0 199 5 0 0 17 0 8 0 779741596 509751296 9403 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089803246 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 124451 9433 372 95 0 119433 0
[pid=5153/tid=5154] ppid=5151 vsize=498164 CPUtime=0.24 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 718 0 0 0 24 0 0 0 17 0 8 0 779741596 510119936 9534 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=498164 CPUtime=0.26 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 1133 0 0 0 26 0 0 0 17 0 8 0 779741596 510119936 9582 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=498416 CPUtime=0.26 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) D 5151 5153 5127 0 -1 4202560 1268 0 0 0 26 0 0 0 18 0 8 0 779741596 510377984 9629 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=498416 CPUtime=0.17 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 1627 0 0 0 17 0 0 0 18 0 8 0 779741596 510377984 9648 33554432000 4194304 4580107 140734899595376 18446744073709551615 4421592 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=498844 CPUtime=0.27 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 1380 0 0 0 27 0 0 0 18 0 8 0 779741596 510816256 9691 33554432000 4194304 4580107 140734899595376 18446744073709551615 4421446 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=498844 CPUtime=0.23 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 1432 0 0 0 23 0 0 0 18 0 8 0 779741596 510816256 9708 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089395319 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=498844 CPUtime=0.28 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 754 0 0 0 28 0 0 0 18 0 8 0 779741596 510816256 9727 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 497804

[startup+1.05863 s]
/proc/loadavg: 1.12 1.45 1.75 1/457 5153
/proc/meminfo: memFree=14879660/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=521632 CPUtime=8.05 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 16690 0 0 0 798 7 0 0 19 0 8 0 779741596 534151168 12572 33554432000 4194304 4580107 140734899595376 18446744073709551615 248089741495 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 130408 12572 377 95 0 125390 0
[pid=5153/tid=5154] ppid=5151 vsize=521632 CPUtime=0.99 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) D 5151 5153 5127 0 -1 4202560 1968 0 0 0 99 0 0 0 18 0 8 0 779741596 534151168 12572 33554432000 4194304 4580107 140734899595376 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=521632 CPUtime=1.02 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 2213 0 0 0 101 1 0 0 18 0 8 0 779741596 534151168 12572 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=521632 CPUtime=1.03 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 2204 0 0 0 102 1 0 0 19 0 8 0 779741596 534151168 12572 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=521632 CPUtime=0.91 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 2145 0 0 0 91 0 0 0 18 0 8 0 779741596 534151168 12572 33554432000 4194304 4580107 140734899595376 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=521632 CPUtime=1.02 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 1981 0 0 0 102 0 0 0 19 0 8 0 779741596 534151168 12572 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=521632 CPUtime=0.99 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 2444 0 0 0 98 1 0 0 18 0 8 0 779741596 534151168 12572 33554432000 4194304 4580107 140734899595376 18446744073709551615 4318731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=521632 CPUtime=1.03 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 1295 0 0 0 103 0 0 0 19 0 8 0 779741596 534151168 12572 33554432000 4194304 4580107 140734899595376 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.05
Current children cumulated vsize (KiB) 521632

[startup+1.50054 s]
/proc/loadavg: 1.12 1.45 1.75 1/457 5153
/proc/meminfo: memFree=14879660/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=508304 CPUtime=11.59 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 21410 0 0 0 1151 8 0 0 19 0 8 0 779741596 520503296 12650 33554432000 4194304 4580107 140734899595376 18446744073709551615 4321100 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 127076 12650 377 95 0 122058 0
[pid=5153/tid=5154] ppid=5151 vsize=508304 CPUtime=1.43 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 2667 0 0 0 143 0 0 0 19 0 8 0 779741596 520503296 12650 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=508304 CPUtime=1.46 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 2713 0 0 0 145 1 0 0 19 0 8 0 779741596 520503296 12650 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=508304 CPUtime=1.47 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 2680 0 0 0 146 1 0 0 19 0 8 0 779741596 520503296 12650 33554432000 4194304 4580107 140734899595376 18446744073709551615 4339024 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=508304 CPUtime=1.35 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 2855 0 0 0 135 0 0 0 19 0 8 0 779741596 520503296 12650 33554432000 4194304 4580107 140734899595376 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=508304 CPUtime=1.46 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 2689 0 0 0 146 0 0 0 19 0 8 0 779741596 520503296 12650 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=508304 CPUtime=1.44 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 2947 0 0 0 143 1 0 0 19 0 8 0 779741596 520503296 12650 33554432000 4194304 4580107 140734899595376 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=508304 CPUtime=1.47 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 1716 0 0 0 147 0 0 0 19 0 8 0 779741596 520503296 12650 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 508304

[startup+3.10126 s]
/proc/loadavg: 1.91 1.61 1.80 9/465 5161
/proc/meminfo: memFree=14817868/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=501448 CPUtime=24.36 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 33239 0 0 0 2426 10 0 0 23 0 8 0 779741596 513482752 16373 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 125362 16373 379 95 0 120344 0
[pid=5153/tid=5154] ppid=5151 vsize=501448 CPUtime=3.04 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 4584 0 0 0 303 1 0 0 23 0 8 0 779741596 513482752 16373 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=501448 CPUtime=3.06 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 3939 0 0 0 305 1 0 0 23 0 8 0 779741596 513482752 16373 33554432000 4194304 4580107 140734899595376 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=501448 CPUtime=3.07 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 3937 0 0 0 306 1 0 0 23 0 8 0 779741596 513482752 16373 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=501448 CPUtime=2.95 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 4106 0 0 0 295 0 0 0 23 0 8 0 779741596 513482752 16373 33554432000 4194304 4580107 140734899595376 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=501448 CPUtime=3.06 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 3839 0 0 0 305 1 0 0 24 0 8 0 779741596 513482752 16373 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=501448 CPUtime=3.03 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 4186 0 0 0 302 1 0 0 23 0 8 0 779741596 513482752 16373 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=501448 CPUtime=3.07 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 3312 0 0 0 307 0 0 0 24 0 8 0 779741596 513482752 16373 33554432000 4194304 4580107 140734899595376 18446744073709551615 4322517 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.36
Current children cumulated vsize (KiB) 501448

[startup+6.30069 s]
/proc/loadavg: 2.39 1.72 1.84 9/465 5161
/proc/meminfo: memFree=14763680/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=512232 CPUtime=49.9 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 58997 0 0 0 4975 15 0 0 25 0 8 0 779741596 524525568 28823 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293121 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 128058 28823 379 95 0 123040 0
[pid=5153/tid=5154] ppid=5151 vsize=512232 CPUtime=6.24 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 7129 0 0 0 623 1 0 0 25 0 8 0 779741596 524525568 28823 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=512232 CPUtime=6.25 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 7702 0 0 0 623 2 0 0 25 0 8 0 779741596 524525568 28823 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=512232 CPUtime=6.27 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 7671 0 0 0 625 2 0 0 25 0 8 0 779741596 524525568 28823 33554432000 4194304 4580107 140734899595376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=512232 CPUtime=6.15 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 7553 0 0 0 614 1 0 0 25 0 8 0 779741596 524525568 28823 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=512232 CPUtime=6.27 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 7407 0 0 0 625 2 0 0 25 0 8 0 779741596 524525568 28823 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=512232 CPUtime=6.23 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 6917 0 0 0 622 1 0 0 25 0 8 0 779741596 524525568 28823 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=512232 CPUtime=6.28 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 6532 0 0 0 627 1 0 0 25 0 8 0 779741596 524525568 28823 33554432000 4194304 4580107 140734899595376 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 6 0 0 0

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

/proc/loadavg: 7.44 3.90 2.62 9/465 5167
/proc/meminfo: memFree=14553592/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=578700 CPUtime=1024.87 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 417521 0 0 0 102385 102 0 0 25 0 8 0 779741596 592588800 82256 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 144675 82256 383 95 0 139657 0
[pid=5153/tid=5154] ppid=5151 vsize=578700 CPUtime=128.44 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 53792 0 0 0 12834 10 0 0 25 0 8 0 779741596 592588800 82256 33554432000 4194304 4580107 140734899595376 18446744073709551615 4318389 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=578700 CPUtime=127.81 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 51109 0 0 0 12767 14 0 0 25 0 8 0 779741596 592588800 82256 33554432000 4194304 4580107 140734899595376 18446744073709551615 4319950 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=578700 CPUtime=128.46 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 50615 0 0 0 12834 12 0 0 25 0 8 0 779741596 592588800 82256 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=578700 CPUtime=128.32 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 48575 0 0 0 12822 10 0 0 25 0 8 0 779741596 592588800 82257 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=578700 CPUtime=128.46 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 55868 0 0 0 12832 14 0 0 25 0 8 0 779741596 592588800 82257 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=578700 CPUtime=128.43 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 55098 0 0 0 12830 13 0 0 25 0 8 0 779741596 592588800 82257 33554432000 4194304 4580107 140734899595376 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=578700 CPUtime=128.34 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 53744 0 0 0 12823 11 0 0 25 0 8 0 779741596 592588800 82257 33554432000 4194304 4580107 140734899595376 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1024.87
Current children cumulated vsize (KiB) 578700

[startup+141.301 s]
/proc/loadavg: 7.56 4.10 2.71 9/465 5167
/proc/meminfo: memFree=14521800/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=646784 CPUtime=1127.1 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 450690 0 0 0 112600 110 0 0 25 0 8 0 779741596 662306816 89966 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 161696 89966 383 95 0 156678 0
[pid=5153/tid=5154] ppid=5151 vsize=646784 CPUtime=141.26 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 57761 0 0 0 14115 11 0 0 25 0 8 0 779741596 662306816 89973 33554432000 4194304 4580107 140734899595376 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=646784 CPUtime=140.63 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 59671 0 0 0 14047 16 0 0 25 0 8 0 779741596 662306816 89973 33554432000 4194304 4580107 140734899595376 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=646784 CPUtime=141.28 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 54515 0 0 0 14115 13 0 0 25 0 8 0 779741596 662306816 89973 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=646784 CPUtime=141.12 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 52368 0 0 0 14101 11 0 0 25 0 8 0 779741596 662306816 89973 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=646784 CPUtime=141.27 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 59715 0 0 0 14112 15 0 0 25 0 8 0 779741596 662306816 89973 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=646784 CPUtime=141.25 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 59042 0 0 0 14111 14 0 0 25 0 8 0 779741596 662306816 89973 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=646784 CPUtime=141.16 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 54906 0 0 0 14104 12 0 0 25 0 8 0 779741596 662306816 89973 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1127.1
Current children cumulated vsize (KiB) 646784

[startup+147.701 s]
/proc/loadavg: 7.68 4.18 2.74 9/465 5168
/proc/meminfo: memFree=14516964/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=660524 CPUtime=1178.18 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 464686 0 0 0 117704 114 0 0 25 0 8 0 779741596 676376576 93199 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 165131 93199 382 95 0 160113 0
[pid=5153/tid=5154] ppid=5151 vsize=660524 CPUtime=147.65 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 59681 0 0 0 14753 12 0 0 25 0 8 0 779741596 676376576 93199 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=660524 CPUtime=147.01 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 60177 0 0 0 14685 16 0 0 25 0 8 0 779741596 676376576 93199 33554432000 4194304 4580107 140734899595376 18446744073709551615 4305413 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=660524 CPUtime=147.66 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 55137 0 0 0 14753 13 0 0 25 0 8 0 779741596 676376576 93199 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=660524 CPUtime=147.51 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 55634 0 0 0 14739 12 0 0 25 0 8 0 779741596 676376576 93199 33554432000 4194304 4580107 140734899595376 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=660524 CPUtime=147.66 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 61642 0 0 0 14750 16 0 0 25 0 8 0 779741596 676376576 93199 33554432000 4194304 4580107 140734899595376 18446744073709551615 4318689 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=660524 CPUtime=147.64 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 60992 0 0 0 14749 15 0 0 25 0 8 0 779741596 676376576 93199 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=660524 CPUtime=147.55 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 56781 0 0 0 14743 12 0 0 25 0 8 0 779741596 676376576 93199 33554432000 4194304 4580107 140734899595376 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1178.18
Current children cumulated vsize (KiB) 660524

[startup+154.101 s]
/proc/loadavg: 7.70 4.25 2.77 9/465 5168
/proc/meminfo: memFree=14511136/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=662208 CPUtime=1229.28 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 476296 0 0 0 122810 118 0 0 25 0 8 0 779741596 678100992 92862 33554432000 4194304 4580107 140734899595376 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 165552 92862 382 95 0 160534 0
[pid=5153/tid=5154] ppid=5151 vsize=662208 CPUtime=154.05 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 59715 0 0 0 15393 12 0 0 25 0 8 0 779741596 678100992 92862 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=662208 CPUtime=153.41 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 62114 0 0 0 15324 17 0 0 25 0 8 0 779741596 678100992 92862 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=662208 CPUtime=154.07 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 56551 0 0 0 15393 14 0 0 25 0 8 0 779741596 678100992 92862 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=662208 CPUtime=153.9 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 56062 0 0 0 15378 12 0 0 25 0 8 0 779741596 678100992 92862 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=662208 CPUtime=154.06 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 63566 0 0 0 15389 17 0 0 25 0 8 0 779741596 678100992 92862 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=662208 CPUtime=154.03 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 62924 0 0 0 15388 15 0 0 25 0 8 0 779741596 678100992 92862 33554432000 4194304 4580107 140734899595376 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=662208 CPUtime=153.95 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 58802 0 0 0 15382 13 0 0 25 0 8 0 779741596 678100992 92863 33554432000 4194304 4580107 140734899595376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1229.28
Current children cumulated vsize (KiB) 662208

[startup+157.301 s]
/proc/loadavg: 7.73 4.31 2.80 9/465 5168
/proc/meminfo: memFree=14508904/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=662612 CPUtime=1254.83 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 484741 0 0 0 125364 119 0 0 25 0 8 0 779741596 678514688 91298 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 165653 91298 382 95 0 160635 0
[pid=5153/tid=5154] ppid=5151 vsize=662612 CPUtime=157.24 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 61186 0 0 0 15712 12 0 0 25 0 8 0 779741596 678514688 91298 33554432000 4194304 4580107 140734899595376 18446744073709551615 4318683 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=662612 CPUtime=156.61 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 63582 0 0 0 15644 17 0 0 25 0 8 0 779741596 678514688 91298 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=662612 CPUtime=157.26 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 57149 0 0 0 15712 14 0 0 25 0 8 0 779741596 678514688 91298 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=662612 CPUtime=157.11 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 57552 0 0 0 15698 13 0 0 25 0 8 0 779741596 678514688 91298 33554432000 4194304 4580107 140734899595376 18446744073709551615 4320512 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=662612 CPUtime=157.27 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 64092 0 0 0 15710 17 0 0 25 0 8 0 779741596 678514688 91298 33554432000 4194304 4580107 140734899595376 18446744073709551615 4318850 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=662612 CPUtime=157.23 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 64301 0 0 0 15708 15 0 0 25 0 8 0 779741596 678514688 91298 33554432000 4194304 4580107 140734899595376 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=662612 CPUtime=157.15 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 58940 0 0 0 15702 13 0 0 25 0 8 0 779741596 678514688 91298 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1254.83
Current children cumulated vsize (KiB) 662612

[startup+158.901 s]
/proc/loadavg: 7.73 4.31 2.80 9/465 5168
/proc/meminfo: memFree=14512624/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=662692 CPUtime=1267.65 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 487465 0 0 0 126645 120 0 0 25 0 8 0 779741596 678596608 91896 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 165673 91896 382 95 0 160655 0
[pid=5153/tid=5154] ppid=5151 vsize=662692 CPUtime=158.86 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 61444 0 0 0 15874 12 0 0 25 0 8 0 779741596 678596608 91908 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=662692 CPUtime=158.22 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 63827 0 0 0 15805 17 0 0 25 0 8 0 779741596 678596608 91908 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=662692 CPUtime=158.88 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 58299 0 0 0 15874 14 0 0 25 0 8 0 779741596 678596608 91908 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=662692 CPUtime=158.73 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 57807 0 0 0 15860 13 0 0 25 0 8 0 779741596 678596608 91908 33554432000 4194304 4580107 140734899595376 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=662692 CPUtime=158.88 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 64335 0 0 0 15871 17 0 0 25 0 8 0 779741596 678596608 91908 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=662692 CPUtime=158.85 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 64605 0 0 0 15870 15 0 0 25 0 8 0 779741596 678596608 91908 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=662692 CPUtime=158.77 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 58940 0 0 0 15864 13 0 0 25 0 8 0 779741596 678596608 91908 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1267.65
Current children cumulated vsize (KiB) 662692

[startup+159.701 s]
/proc/loadavg: 7.73 4.31 2.80 9/465 5168
/proc/meminfo: memFree=14512624/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=662784 CPUtime=1273.99 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) R 5151 5153 5127 0 -1 4202496 489309 0 0 0 127279 120 0 0 25 0 8 0 779741596 678690816 91747 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 165696 91747 382 95 0 160678 0
[pid=5153/tid=5154] ppid=5151 vsize=662784 CPUtime=159.64 cores=0-7
/proc/5153/task/5154/stat : 5154 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 61562 0 0 0 15952 12 0 0 25 0 8 0 779741596 678690816 91747 33554432000 4194304 4580107 140734899595376 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=662784 CPUtime=159.01 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 63942 0 0 0 15884 17 0 0 25 0 8 0 779741596 678690816 91747 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5153/tid=5156] ppid=5151 vsize=662784 CPUtime=159.66 cores=0-7
/proc/5153/task/5156/stat : 5156 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 58453 0 0 0 15952 14 0 0 25 0 8 0 779741596 678690816 91747 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5153/tid=5157] ppid=5151 vsize=662784 CPUtime=159.51 cores=0-7
/proc/5153/task/5157/stat : 5157 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 57924 0 0 0 15938 13 0 0 25 0 8 0 779741596 678690816 91747 33554432000 4194304 4580107 140734899595376 18446744073709551615 4316585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5153/tid=5158] ppid=5151 vsize=662784 CPUtime=159.66 cores=0-7
/proc/5153/task/5158/stat : 5158 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 65406 0 0 0 15949 17 0 0 25 0 8 0 779741596 678690816 91747 33554432000 4194304 4580107 140734899595376 18446744073709551615 4320263 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5153/tid=5159] ppid=5151 vsize=662784 CPUtime=159.63 cores=0-7
/proc/5153/task/5159/stat : 5159 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 64738 0 0 0 15948 15 0 0 25 0 8 0 779741596 678690816 91747 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5153/tid=5160] ppid=5151 vsize=662784 CPUtime=159.55 cores=0-7
/proc/5153/task/5160/stat : 5160 (strangenight2-m) R 5151 5153 5127 0 -1 4202560 58940 0 0 0 15942 13 0 0 25 0 8 0 779741596 678690816 91747 33554432000 4194304 4580107 140734899595376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1273.99
Current children cumulated vsize (KiB) 662784

[startup+160.118 s]
/proc/loadavg: 7.73 4.31 2.80 9/465 5168
/proc/meminfo: memFree=14512004/32950928 swapFree=56743108/67111528
[pid=5153] ppid=5151 vsize=0 CPUtime=1277.25 cores=0-7
/proc/5153/stat : 5153 (strangenight2-m) Z 5151 5153 5127 0 -1 4203548 489786 0 0 0 127604 121 0 0 25 0 2 0 779741596 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/5153/statm: 0 0 0 0 0 0 0
[pid=5153/tid=5155] ppid=5151 vsize=0 CPUtime=159.43 cores=0-7
/proc/5153/task/5155/stat : 5155 (strangenight2-m) R 5151 5153 5127 0 -1 4203588 63999 0 0 0 15925 18 0 0 25 0 2 0 779741596 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1277.25
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 160.129
CPU time (s): 1277.27
CPU user time (s): 1276.04
CPU system time (s): 1.22781
CPU usage (%): 797.652
Max. virtual memory (cumulated for all children) (KiB): 675272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1276.04
system time used= 1.22781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489786
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= 9937
involuntary context switches= 5837

runsolver used 0.694894 second user time and 1.72374 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-29 17:03:38
IDJOB=3421611
IDBENCH=83272
IDSOLVER=1878
FILE ID=node123/3421611-1306681418
RUNJOBID= node123-1306681418-5141
PBS_JOBID= 13471823
Free space on /tmp= 73444 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_404.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421611-1306681418/watcher-3421611-1306681418 -o /tmp/evaluation-result-3421611-1306681418/solver-3421611-1306681418 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421611-1306681418.cnf

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

MD5SUM BENCH= 213e4c0c58f043e67e86cf993698317a
RANDOM SEED=348979786

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14879692 kB
Buffers:        269748 kB
Cached:        4448756 kB
SwapCached:      18840 kB
Active:        3265772 kB
Inactive:     14531744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14879692 kB
SwapTotal:    67111528 kB
SwapFree:     56743108 kB
Dirty:            5824 kB
Writeback:           0 kB
AnonPages:    13068068 kB
Mapped:          30920 kB
Slab:           125000 kB
PageTables:      77376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133346524 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= 73440 MiB
End job on node123 at 2011-05-29 17:06:18