Trace number 3321207

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-mtSAT 7511.91 951.46

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_1_keyfind_1.cnf
MD5SUM9e18e0ee8a56ea2c59fe8e682ff6c747
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark91.1631
Satisfiable
(Un)Satisfiability was proved
Number of variables596
Number of clauses2780
Sum of the clauses size10460
Maximum clause length5
Minimum clause length1
Number of clauses of size 1132
Number of clauses of size 280
Number of clauses of size 31168
Number of clauses of size 4336
Number of clauses of size 51064
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3321207-1304332545.cnf'
0.00/0.02	c -- header says num vars:            596
0.00/0.02	c -- header says num clauses:        2780
0.00/0.03	c -- clauses added:            0 learnts,         2780 normals,            0 xors
0.00/0.03	c -- vars added        596
0.00/0.03	c Parsing time:  0.00 s
0.00/0.03	c  N st     0         0       596      2552        80         0     10248         0   no data   no data
0.00/0.03	c asymm  cl-useful: 0/2040/2040 lits-rem:0 time: 0.00
0.00/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  160 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.03	c Replacing      160 vars Replaced     3688 lits Time:     0.00 s 
0.00/0.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    304 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.04	c Finding non-binary XORs:     0.00 s (found:     160, avg size: 3.8)
0.00/0.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     28 locsubst:     0 time:   0.00
0.00/0.04	c calculated reachability. Time: 0.00
0.00/0.04	c Calc default polars -  time:   0.00 s pos:       2 undec:     320 neg:     274
0.00/0.04	c =========================================================================================
0.00/0.04	c types(t): F = full restart, N = normal restart
0.00/0.04	c types(t): S = simplification begin/end, E = solution found
0.00/0.04	c restart types(rt): st = static, dy = dynamic
0.00/0.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.04	c  B st     0         0       276       632        16         0      2864         0   no data   no data
7.09/0.92	c Decided on static restart strategy
7.09/0.92	c  N st     8      4915       276       632        25      4603      2864    102864   no data   no data
7.09/0.92	c  N st    10     11297       276       632        36      4281      2864     70312   no data   no data
7.09/0.92	c  N st    11     17040       276       632        37      9671      2864    192601   no data   no data
7.89/1.02	c  F st    12     25001       276       632        44     11958      2864    242149   no data   no data
7.89/1.02	c  N st    12     25001       276       632        44     11958      2864    242149   no data   no data
9.49/1.23	c Decided on static restart strategy
9.49/1.23	c  N st    18     30000       276       632        47     10315      2864    199552   no data   no data
9.49/1.23	c  S st    18     30000       276       632        47     10315      2864    199552   no data   no data
9.49/1.23	c Finding binary XORs  T:     0.00 s  found:      22
9.49/1.24	c Replacing       22 vars Replaced    15152 lits Time:     0.01 s 
9.49/1.26	c  S st    18     30501       254       632         4     10782      2832    208083   no data   no data
9.49/1.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      4 locsubst:     0 time:   0.00
9.49/1.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.49/1.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.49/1.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.49/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.49/1.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    250 time:  0.00 s
9.49/1.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.49/1.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.49/1.28	c subs with bin:        3  lits-rem:        26  v-fix:    0  time:  0.00 s
11.11/1.44	c lits-rem:      2316  cl-subs:     1444  v-elim:      0  v-fix:    0  time:  0.16 s
11.11/1.45	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.00
11.11/1.45	c calculated reachability. Time: 0.00
11.11/1.45	c  N st    18     30501       250       632         4      7943      2824    142552   no data   no data
14.28/1.84	c  N st    20     37612       250       632         5      7883      2824    127897   no data   no data
17.49/2.22	c  N st    21     44011       250       632         5     13632      2824    258413   no data   no data
18.28/2.31	c  S st    22     45752       250       632         7     15195      2824    293290   no data   no data
18.28/2.34	c  S st    22     46254       250       632         8     15670      2824    300685   no data   no data
18.28/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.28/2.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
18.28/2.35	c Replacing        1 vars Replaced       79 lits Time:     0.00 s 
18.28/2.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18.28/2.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.28/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.28/2.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    249 time:  0.00 s
18.28/2.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.28/2.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
18.28/2.36	c subs with bin:        1  lits-rem:        93  v-fix:    0  time:  0.00 s
23.08/2.90	c lits-rem:       679  cl-subs:     2939  v-elim:      0  v-fix:    0  time:  0.55 s
23.08/2.90	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
23.08/2.91	c vivif2 --  cl tried    12730 cl shrink        0 lits rem          0 time: 0.00
23.08/2.91	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.00
23.08/2.91	c calculated reachability. Time: 0.00
23.08/2.91	c  N st    22     46254       249       632         6     12730      2824    241787   no data   no data
28.69/3.70	c  N st    23     60651       249       632         6      9352      2824    144326   no data   no data
32.67/4.18	c  N st    24     69382       249       632        11     17174      2824    322980   no data   no data
32.67/4.18	c  S st    24     69382       249       632        11     17174      2824    322980   no data   no data
32.67/4.18	c Finding binary XORs  T:     0.00 s  found:       5
32.67/4.19	c Replacing        5 vars Replaced     2095 lits Time:     0.00 s 
33.47/4.22	c  S st    24     69884       244       632         3     17641      2824    330136   no data   no data
33.47/4.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.47/4.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
33.47/4.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
33.47/4.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.47/4.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.47/4.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    244 time:  0.00 s
33.47/4.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
33.47/4.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
33.47/4.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.07/4.96	c lits-rem:       957  cl-subs:     3504  v-elim:      0  v-fix:    0  time:  0.72 s
39.07/4.96	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
39.07/4.96	c vivif2 --  cl tried    14137 cl shrink        0 lits rem          0 time: 0.00
39.07/4.97	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.01
39.07/4.97	c calculated reachability. Time: 0.00
39.07/4.97	c  N st    24     69884       244       632         3     14137      2824    258943   no data   no data
49.45/6.20	c  F st    25     87500       244       632         3     20516      2824    393593   no data   no data
49.45/6.20	c  N st    25     87500       244       632         3     20516      2824    393593   no data   no data
51.85/6.50	c Decided on static restart strategy
52.65/6.67	c  N st    32     95538       244       632         8     17104      2824    304777   no data   no data
57.44/7.29	c  N st    34    104827       244       632         8     13877      2824    220873   no data   no data
57.44/7.29	c  S st    34    104827       244       632         8     13877      2824    220873   no data   no data
58.24/7.32	c  S st    34    105329       244       632         8     14358      2824    229563   no data   no data
58.24/7.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.24/7.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
58.24/7.33	c Replacing        4 vars Replaced     1256 lits Time:     0.00 s 
58.24/7.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
58.24/7.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.24/7.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.24/7.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
58.24/7.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
58.24/7.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
58.24/7.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.84/7.51	c lits-rem:       526  cl-subs:     1195  v-elim:      0  v-fix:    0  time:  0.17 s
59.84/7.51	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
59.84/7.52	c vivif2 --  cl tried    13163 cl shrink        0 lits rem          0 time: 0.00
59.84/7.52	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.00
59.84/7.52	c calculated reachability. Time: 0.00
59.84/7.52	c  N st    34    105329       240       632         0     13163      2824    206267   no data   no data
64.69/8.15	c  N st    35    114927       240       632         0     22049      2824    405516   no data   no data
72.65/9.11	c  N st    36    129325       240       632         0     22702      2824    406636   no data   no data
72.65/9.11	c Finding binary XORs  T:     0.00 s  found:       0
87.81/11.02	c  N st    37    150920       240       632         0     28801      2824    566224   no data   no data
91.81/11.59	c  S st    38    157993       240       632         0     20589      2824    347398   no data   no data
92.61/11.63	c  S st    38    158497       240       632         0     21069      2824    355623   no data   no data
92.61/11.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
92.61/11.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
92.61/11.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.61/11.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.61/11.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.61/11.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
92.61/11.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
92.61/11.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
92.61/11.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.61/12.14	c lits-rem:       680  cl-subs:     2467  v-elim:      0  v-fix:    0  time:  0.50 s
96.61/12.14	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
96.61/12.15	c vivif2 --  cl tried    18602 cl shrink        0 lits rem          0 time: 0.00
96.61/12.16	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.01
96.61/12.16	c calculated reachability. Time: 0.00
96.61/12.16	c  N st    38    158497       240       632         0     18602      2824    306578   no data   no data
125.40/15.80	c  N st    39    207086       240       632         0     31506      2824    559005   no data   no data
146.96/18.45	c  N st    40    237745       240       632         0     23864      2824    391256   no data   no data
146.96/18.45	c  S st    40    237745       240       632         0     23864      2824    391256   no data   no data
147.76/18.50	c  S st    40    238247       240       632         0     24355      2824    400784   no data   no data
147.76/18.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.76/18.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
147.76/18.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.76/18.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.76/18.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.76/18.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
147.76/18.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
147.76/18.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.76/18.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.15/19.31	c lits-rem:      1275  cl-subs:     3533  v-elim:      0  v-fix:    0  time:  0.78 s
154.15/19.31	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
154.15/19.32	c vivif2 --  cl tried    20822 cl shrink        0 lits rem          0 time: 0.00
154.15/19.32	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.01
154.15/19.33	c calculated reachability. Time: 0.00
154.15/19.33	c  N st    40    238247       240       632         0     20822      2824    330939   no data   no data
205.36/25.74	c  F st    41    306250       240       632         0     23064      2824    343501   no data   no data
205.36/25.74	c  N st    41    306250       240       632         0     23064      2824    343501   no data   no data
208.51/26.18	c Decided on static restart strategy
233.27/29.25	c  N st    51    334553       240       632         0     27142      2824    431444   no data   no data
255.67/32.00	c  N st    53    357371       240       632         0     24949      2824    370366   no data   no data
255.67/32.00	c  S st    53    357371       240       632         0     24949      2824    370366   no data   no data
255.67/32.06	c  S st    53    357874       240       632         0     25433      2824    379685   no data   no data
255.67/32.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
255.67/32.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
255.67/32.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
255.67/32.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
255.67/32.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.67/32.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
255.67/32.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
255.67/32.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
255.67/32.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.12/32.34	c lits-rem:       648  cl-subs:     1065  v-elim:      0  v-fix:    0  time:  0.26 s
258.12/32.34	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
258.12/32.35	c vivif2 --  cl tried    24368 cl shrink        0 lits rem          0 time: 0.00
258.12/32.36	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.01
258.12/32.36	c calculated reachability. Time: 0.00
258.12/32.36	c  N st    53    357874       240       632         0     24368      2824    359601   no data   no data
287.63/36.07	c  N st    54    390266       240       632         0     30351      2824    483863   no data   no data
330.79/41.43	c  N st    55    438855       240       632         0     50272      2824    907577   no data   no data
397.13/49.71	c  N st    56    511738       240       632         0     37523      2824    603225   no data   no data
422.71/52.97	c  N st    57    536812       240       632         0     31866      2824    471679   no data   no data
422.71/52.97	c  S st    57    536812       240       632         0     31866      2824    471679   no data   no data
423.51/53.05	c  S st    57    537313       240       632         0     32347      2824    480366   no data   no data
423.51/53.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
423.51/53.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
423.51/53.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
423.51/53.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
423.51/53.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
423.51/53.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
423.51/53.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
423.51/53.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
423.51/53.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
428.30/53.60	c lits-rem:       825  cl-subs:     1702  v-elim:      0  v-fix:    0  time:  0.53 s
428.30/53.60	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
428.30/53.61	c vivif2 --  cl tried    30645 cl shrink        0 lits rem          0 time: 0.01
428.30/53.63	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.02
428.30/53.63	c calculated reachability. Time: 0.00
428.30/53.63	c  N st    57    537313       240       632         0     30645      2824    449921   no data   no data
592.21/74.12	c  N st    58    701297       240       632         0     58598      2824   1012766   no data   no data
699.26/87.52	c  N st    59    805969       240       632         0     52998      2824    866978   no data   no data
699.26/87.52	c  S st    59    805969       240       632         0     52998      2824    866978   no data   no data
700.06/87.64	c  S st    59    806471       240       632         0     53483      2824    875841   no data   no data
700.06/87.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
700.06/87.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.01
700.06/87.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
700.06/87.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
700.06/87.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
700.06/87.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
700.06/87.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
700.06/87.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
700.86/87.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
737.63/92.30	c lits-rem:      2894  cl-subs:     9846  v-elim:      0  v-fix:    0  time:  4.60 s
737.63/92.30	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
737.63/92.31	c vivif2 --  cl tried    43637 cl shrink        0 lits rem          0 time: 0.01
737.63/92.34	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.03
737.63/92.34	c calculated reachability. Time: 0.00
737.63/92.34	c  N st    59    806471       240       632         0     43637      2824    694568   no data   no data
1090.11/136.40	c  F st    60   1071875       240       632         0     59320      2824    965519   no data   no data
1090.11/136.40	c  N st    60   1071875       240       632         0     59320      2824    965519   no data   no data
1095.70/137.17	c Decided on static restart strategy
1125.27/140.83	c  N st    70   1100181       240       632         0     43830      2824    637887   no data   no data
1162.04/145.40	c  N st    72   1136175       240       632         0     77544      2824   1396202   no data   no data
1205.21/150.85	c  N st    73   1168567       240       632         0     64769      2824   1092085   no data   no data
1253.16/156.82	c  N st    74   1209706       240       632         0     59216      2824    953272   no data   no data
1253.16/156.82	c  S st    74   1209706       240       632         0     59216      2824    953272   no data   no data
1253.96/156.96	c  S st    74   1210210       240       632         0     59700      2824    962558   no data   no data
1253.96/156.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1253.96/156.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1253.96/156.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1253.96/156.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1253.96/156.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1253.96/156.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
1253.96/156.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1254.76/157.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1254.76/157.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1296.32/162.23	c lits-rem:      1886  cl-subs:     9694  v-elim:      0  v-fix:    0  time:  5.21 s
1296.32/162.23	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
1296.32/162.24	c vivif2 --  cl tried    50006 cl shrink        0 lits rem          0 time: 0.01
1296.32/162.29	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.04
1296.32/162.29	c calculated reachability. Time: 0.00
1296.32/162.29	c  N st    74   1210210       240       632         0     50006      2824    773854   no data   no data
1389.84/173.90	c  N st    75   1283092       240       632         0     73924      2824   1260596   no data   no data
1538.49/192.54	c  N st    76   1392415       240       632         0     83167      2824   1473414   no data   no data
1755.90/219.79	c  N st    77   1556399       240       632         0     91192      2824   1543390   no data   no data
1958.92/245.18	c  N st    78   1710212       240       632         0     81354      2824   1349321   no data   no data
1958.92/245.18	c  S st    78   1710212       240       632         0     81354      2824   1349321   no data   no data
1960.52/245.39	c  S st    78   1710717       240       632         0     81845      2824   1359163   no data   no data
1960.52/245.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1961.32/245.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
1961.32/245.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1961.32/245.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1961.32/245.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1961.32/245.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
1961.32/245.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1961.32/245.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1961.32/245.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2059.65/257.76	c lits-rem:      3007  cl-subs:    12163  v-elim:      0  v-fix:    0  time: 12.27 s
2059.65/257.76	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
2059.65/257.77	c vivif2 --  cl tried    69682 cl shrink        0 lits rem          0 time: 0.01
2060.49/257.84	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.06
2060.49/257.84	c calculated reachability. Time: 0.00
2060.49/257.84	c  N st    78   1710717       240       632         0     69682      2824   1136721   no data   no data
2584.75/323.47	c  N st    79   2079682       240       632         0     80947      2824   1281214   no data   no data
2774.19/347.18	c  N st    80   2210718       240       632         0     84852      2824   1368077   no data   no data
2774.19/347.18	c  S st    80   2210718       240       632         0     84852      2824   1368077   no data   no data
2776.58/347.40	c  S st    80   2211221       240       632         0     85347      2824   1378405   no data   no data
2776.58/347.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2776.58/347.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
2776.58/347.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2776.58/347.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2776.58/347.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2776.58/347.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
2776.58/347.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2776.58/347.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2777.38/347.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2865.30/358.59	c lits-rem:      3276  cl-subs:     9764  v-elim:      0  v-fix:    0  time: 11.07 s
2865.30/358.59	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
2866.10/358.61	c vivif2 --  cl tried    75583 cl shrink        0 lits rem          0 time: 0.02
2866.10/358.68	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.07
2866.10/358.68	c calculated reachability. Time: 0.00
2866.10/358.68	c  N st    80   2211221       240       632         0     75583      2824   1197152   no data   no data
3722.92/465.88	c  N st    81   2711222       240       632         0     97595      2824   1553663   no data   no data
3722.92/465.88	c  S st    81   2711222       240       632         0     97595      2824   1553663   no data   no data
3726.11/466.26	c  S st    81   2711725       240       632         0     98092      2824   1564343   no data   no data
3726.11/466.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3726.91/466.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3726.91/466.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3726.91/466.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3726.91/466.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3726.91/466.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
3726.91/466.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3726.91/466.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3727.71/466.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3953.12/494.64	c lits-rem:      2039  cl-subs:    19329  v-elim:      0  v-fix:    0  time: 28.23 s
3953.12/494.64	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
3953.12/494.66	c vivif2 --  cl tried    78763 cl shrink        0 lits rem          0 time: 0.02
3953.92/494.76	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.10
3953.92/494.76	c calculated reachability. Time: 0.00
3953.92/494.76	c  N st    81   2711725       240       632         0     78763      2824   1220764   no data   no data
4925.05/616.28	c  N st    82   3211726       240       632         0    128689      2824   2092665   no data   no data
4925.05/616.28	c  S st    82   3211726       240       632         0    128689      2824   2092665   no data   no data
4928.24/616.67	c  S st    82   3212228       240       632         0    129171      2824   2102650   no data   no data
4928.24/616.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4929.04/616.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
4929.04/616.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4929.04/616.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4929.04/616.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4929.04/616.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
4929.04/616.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4929.04/616.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4929.84/616.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5406.21/676.42	c lits-rem:      3916  cl-subs:    40337  v-elim:      0  v-fix:    0  time: 59.59 s
5406.21/676.42	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
5406.21/676.44	c vivif2 --  cl tried    88834 cl shrink        0 lits rem          0 time: 0.02
5407.01/676.53	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.09
5407.01/676.53	c calculated reachability. Time: 0.00
5407.01/676.53	c  N st    82   3212228       240       632         0     88834      2824   1405623   no data   no data
6464.46/808.82	c  N st    83   3712231       240       632         0    107246      2824   1677804   no data   no data
6464.46/808.82	c  S st    83   3712231       240       632         0    107246      2824   1677804   no data   no data
6467.64/809.20	c  S st    83   3712734       240       632         0    107740      2824   1687481   no data   no data
6467.64/809.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
6467.64/809.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
6467.64/809.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6467.64/809.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6467.64/809.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6467.64/809.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
6467.64/809.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6468.44/809.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
6468.44/809.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6710.64/839.61	c lits-rem:      2040  cl-subs:    21558  v-elim:      0  v-fix:    0  time: 30.26 s
6710.64/839.61	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
6710.64/839.63	c vivif2 --  cl tried    86182 cl shrink        0 lits rem          0 time: 0.02
6711.49/839.74	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.11
6711.49/839.74	c calculated reachability. Time: 0.00
6711.49/839.74	c  N st    83   3712734       240       632         0     86182      2824   1329177   no data   no data
6784.95/848.93	c  F st    84   3751562       240       632         0    122039      2824   2078304   no data   no data
6784.95/848.93	c  N st    84   3751562       240       632         0    122039      2824   2078304   no data   no data
6794.56/850.17	c Decided on static restart strategy
6843.37/856.29	c  N st    94   3779866       240       632         0    148563      2824   2692069   no data   no data
6910.44/864.60	c  N st    96   3815861       240       632         0    105338      2824   1708302   no data   no data
6977.59/873.01	c  N st    97   3848253       240       632         0    135294      2824   2361462   no data   no data
7080.76/885.91	c  N st    98   3896841       240       632         0    102396      2824   1620998   no data   no data
7261.33/908.54	c  N st    99   3969724       240       632         0     90599      2824   1347384   no data   no data
7511.82/951.42	c Following stats are for *FIRST FINISHED THREAD ONLY*
7511.82/951.42	c num threads              : 8          
7511.82/951.42	c restarts                 : 82         
7511.82/951.42	c dynamic restarts         : 0          
7511.82/951.42	c static restarts          : 82         
7511.82/951.42	c full restarts            : 4          
7511.82/951.42	c total simplify time      : 0.01       
7511.82/951.42	c learnts DL2              : 0          
7511.82/951.42	c learnts size 2           : 384        
7511.82/951.42	c learnts size 1           : 132         (22.15     % of vars)
7511.82/951.42	c filedLit time            : 0.19        (0.02      % time)
7511.82/951.42	c v-elim SatELite          : 0           (0.00      % vars)
7511.82/951.42	c SatELite time            : 61.19       (6.48      % time)
7511.82/951.42	c v-elim xor               : 32          (5.37      % vars)
7511.82/951.42	c xor elim time            : 0.04        (0.00      % time)
7511.82/951.42	c num binary xor trees     : 192        
7511.82/951.42	c binxor trees' crown      : 192         (1.00      leafs/tree)
7511.82/951.42	c bin xor find time        : 0.00       
7511.82/951.42	c OTF clause improved      : 278479      (0.08      clauses/conflict)
7511.82/951.42	c OTF impr. size diff      : 285568      (1.03       lits/clause)
7511.82/951.42	c OTF cl watch-shrink      : 882179      (0.27      clauses/conflict)
7511.82/951.42	c OTF cl watch-sh-lit      : 1567978     (1.78       lits/clause)
7511.82/951.42	c tried to recurMin cls    : 145101      (4.41       % of conflicts)
7511.82/951.42	c updated cache            : 4336        (0.03       lits/tried recurMin)
7511.82/951.42	c unit cls recevied        : 0           (0.00      % of units)
7511.82/951.42	c unit cls sent            : 0           (0.00      % of units)
7511.82/951.42	c bin cls recevied         : 321        
7511.82/951.42	c bin cls sent             : 4          
7511.82/951.42	c clauses over max glue    : 0           (0.00      % of all clauses)
7511.82/951.42	c conflicts                : 3288099     (3482.02   / sec)
7511.82/951.42	c decisions                : 3505673     (1.27      % random)
7511.82/951.42	c bogo-props               : 209821456786 (222196127.27 / sec)
7511.82/951.42	c conflict literals        : 68552671    (41.86     % deleted)
7511.82/951.42	c Memory used              : 1079.71     MB
7511.82/951.42	c single-thread CPU time   : 944.31      s
7511.82/951.42	c all-threads sum CPU time : 7508.78     s
7511.82/951.42	s SATISFIABLE
7511.82/951.42	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 -203 -204 -205 -206 -207 208 -209 -210 211 -212 213 214 -215 -216 217 218 -219 -220 221 -222 -223 224 225 226 227 -228 229 -230 -231 232 233 -234 235 -236 237 238 239 240 241 242 -243 -244 -245 -246 -247 248 249 250 -251 252 253 -254 -255 -256 -257 258 -259 260 261 262 -263 264 265 -266 -267 268 269 270 271 272 273 274 -275 -276 277 -278 -279 -280 -281 282 -283 284 -285 -286 -287 288 289 290 291 -292 293 -294 295 -296 297 298 299 300 -301 -302 303 304 305 -306 307 -308 309 310 311 -312 -313 -314 315 316 -317 318 319 320 321 -322 323 324 325 -326 -327 328 -329 -330 331 -332 -333 -334 -335 336 -337 338 -339 -340 -341 342 -343 -344 -345 346 -347 -348 -349 350 351 -352 -353 -354 -355 356 357 358 359 -360 361 -362 363 364 -365 -366 -367 -368 -369 -370 371 372 373 -374 375 376 -377 378 -379 380 381 382 383 -384 -385 386 -387 -388 -389 -390 391 392 393 394 395 396 397 -398 -399 400 -401 402 -403 404 405 406 -407 408 -409 -410 -411 412 413 -414 415 416 -417 -418 -419 -420 421 -422 423 424 -425 -426 427 -428 429 430 -431 432 -433 -434 435 436 437 -438 439 440 -441 -442 443 444 445 -446 -447 -448 -449 -450 -451 452 453 454 -455 -456 457 -458 -459 -460 461 462 -463 464 -465 -466 467 -468 -469 470 471 -472 -473 474 -475 476 477 -478 -479 -480 -481 482 -483 484 485 486 487 488 489 490 491 -492 -493 -494 495 -496 -497 -498 499 500 501 -502 -503 504 -505 506 -507 -508 509 -510 511 -512 513 -514 -515 516 -517 -518 -519 -520 -521 522 -523 -524 -525 526 -527 -528 -529 530 531 -532 -533 534 -535 536 537 538 539 -540 -541 -542 -543 -544 -545 -546 547 548 -549 550 -551 552 553 -554 555 556 -557 558 559 -560 -561 562 -563 564 -565 566 -567 568 569 570 571 -572 -573 574 575 -576 -577 -578 -579 580 -581 -582 583 -584 -585 -586 587 588 -589 -590 591 -592 -593 -594 595 -596 0

Verifier Data 

OK

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-3321207-1304332545/watcher-3321207-1304332545 -o /tmp/evaluation-result-3321207-1304332545/solver-3321207-1304332545 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321207-1304332545.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: 0.00 0.99 3.64 1/232 610
/proc/meminfo: memFree=28087248/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=92188 CPUtime=0 cores=0-7
/proc/610/stat : 610 (strangenight2-m) R 608 610 574 0 -1 4202496 414 0 0 0 0 0 0 0 20 0 8 0 544852731 94400512 353 33554432000 4194304 4627427 140737046540496 18446744073709551615 246516890609 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/610/statm: 23047 353 299 106 0 18018 0
[pid=610/tid=611] ppid=608 vsize=92188 CPUtime=0 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 544852731 94400512 353 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245810 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=92188 CPUtime=0 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) R 608 610 574 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544852731 94400512 353 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245810 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=92188 CPUtime=0 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) R 608 610 574 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544852731 94400512 353 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245810 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=92188 CPUtime=0 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) R 608 610 574 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544852731 94400512 353 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245810 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=92188 CPUtime=0 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) R 608 610 574 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544852731 94400512 353 33554432000 4194304 4627427 140737046540496 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=92188 CPUtime=0 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544852731 94400512 353 33554432000 4194304 4627427 140737046540496 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=610/tid=617] ppid=608 vsize=92188 CPUtime=0 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) R 608 610 574 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544852731 94400512 353 33554432000 4194304 4627427 140737046540496 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.43299 s]
/proc/loadavg: 0.00 0.99 3.64 1/232 610
/proc/meminfo: memFree=28087248/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=491216 CPUtime=3.35 cores=0-7
/proc/610/stat : 610 (strangenight2-m) R 608 610 574 0 -1 4202496 6285 0 0 0 332 3 0 0 18 0 8 0 544852731 503005184 3764 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 122804 3764 388 106 0 117775 0
[pid=610/tid=611] ppid=608 vsize=491216 CPUtime=0.42 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 745 0 0 0 42 0 0 0 18 0 8 0 544852731 503005184 3764 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=491216 CPUtime=0.42 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) R 608 610 574 0 -1 4202560 707 0 0 0 42 0 0 0 18 0 8 0 544852731 503005184 3764 33554432000 4194304 4627427 140737046540496 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=491216 CPUtime=0.42 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) R 608 610 574 0 -1 4202560 721 0 0 0 42 0 0 0 18 0 8 0 544852731 503005184 3764 33554432000 4194304 4627427 140737046540496 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=491216 CPUtime=0.42 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) R 608 610 574 0 -1 4202560 806 0 0 0 42 0 0 0 18 0 8 0 544852731 503005184 3764 33554432000 4194304 4627427 140737046540496 18446744073709551615 4330943 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=491216 CPUtime=0.41 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) R 608 610 574 0 -1 4202560 840 0 0 0 41 0 0 0 18 0 8 0 544852731 503005184 3764 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=491216 CPUtime=0.39 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 680 0 0 0 39 0 0 0 18 0 8 0 544852731 503005184 3764 33554432000 4194304 4627427 140737046540496 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=610/tid=617] ppid=608 vsize=491216 CPUtime=0.4 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) R 608 610 574 0 -1 4202560 521 0 0 0 40 0 0 0 18 0 8 0 544852731 503005184 3764 33554432000 4194304 4627427 140737046540496 18446744073709551615 4324754 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 491216

[startup+0.540581 s]
/proc/loadavg: 0.00 0.99 3.64 1/232 610
/proc/meminfo: memFree=28087248/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=491644 CPUtime=4.21 cores=0-7
/proc/610/stat : 610 (strangenight2-m) R 608 610 574 0 -1 4202496 7022 0 0 0 418 3 0 0 18 0 8 0 544852731 503443456 4291 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 122911 4291 388 106 0 117882 0
[pid=610/tid=611] ppid=608 vsize=491644 CPUtime=0.53 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 834 0 0 0 53 0 0 0 18 0 8 0 544852731 503443456 4291 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309763 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=491644 CPUtime=0.53 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) R 608 610 574 0 -1 4202560 775 0 0 0 53 0 0 0 18 0 8 0 544852731 503443456 4291 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=491644 CPUtime=0.52 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) R 608 610 574 0 -1 4202560 797 0 0 0 52 0 0 0 18 0 8 0 544852731 503443456 4291 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=491644 CPUtime=0.53 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) R 608 610 574 0 -1 4202560 884 0 0 0 53 0 0 0 18 0 8 0 544852731 503443456 4291 33554432000 4194304 4627427 140737046540496 18446744073709551615 4332314 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=491644 CPUtime=0.52 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) R 608 610 574 0 -1 4202560 944 0 0 0 52 0 0 0 18 0 8 0 544852731 503443456 4291 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=491644 CPUtime=0.5 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 751 0 0 0 50 0 0 0 18 0 8 0 544852731 503443456 4291 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=610/tid=617] ppid=608 vsize=491644 CPUtime=0.5 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) R 608 610 574 0 -1 4202560 677 0 0 0 50 0 0 0 18 0 8 0 544852731 503443456 4292 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 491644

[startup+0.60057 s]
/proc/loadavg: 0.00 0.99 3.64 1/232 610
/proc/meminfo: memFree=28087248/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=491644 CPUtime=4.69 cores=0-7
/proc/610/stat : 610 (strangenight2-m) R 608 610 574 0 -1 4202496 7318 0 0 0 466 3 0 0 18 0 8 0 544852731 503443456 4587 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 122911 4587 388 106 0 117882 0
[pid=610/tid=611] ppid=608 vsize=491644 CPUtime=0.59 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 866 0 0 0 59 0 0 0 18 0 8 0 544852731 503443456 4587 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=491644 CPUtime=0.59 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) R 608 610 574 0 -1 4202560 807 0 0 0 59 0 0 0 18 0 8 0 544852731 503443456 4588 33554432000 4194304 4627427 140737046540496 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=491644 CPUtime=0.58 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) R 608 610 574 0 -1 4202560 849 0 0 0 58 0 0 0 18 0 8 0 544852731 503443456 4588 33554432000 4194304 4627427 140737046540496 18446744073709551615 4329689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=491644 CPUtime=0.59 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) R 608 610 574 0 -1 4202560 917 0 0 0 59 0 0 0 18 0 8 0 544852731 503443456 4588 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=491644 CPUtime=0.58 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) R 608 610 574 0 -1 4202560 985 0 0 0 58 0 0 0 18 0 8 0 544852731 503443456 4588 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=491644 CPUtime=0.56 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 782 0 0 0 56 0 0 0 18 0 8 0 544852731 503443456 4588 33554432000 4194304 4627427 140737046540496 18446744073709551615 4322321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=610/tid=617] ppid=608 vsize=491644 CPUtime=0.56 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) R 608 610 574 0 -1 4202560 705 0 0 0 56 0 0 0 18 0 8 0 544852731 503443456 4588 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 491644

[startup+0.700553 s]
/proc/loadavg: 0.00 0.99 3.64 1/232 610
/proc/meminfo: memFree=28087248/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=492312 CPUtime=5.5 cores=0-7
/proc/610/stat : 610 (strangenight2-m) R 608 610 574 0 -1 4202496 8266 0 0 0 546 4 0 0 18 0 8 0 544852731 504127488 4537 33554432000 4194304 4627427 140737046540496 18446744073709551615 4504795 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 123078 4537 388 106 0 118049 0
[pid=610/tid=611] ppid=608 vsize=492312 CPUtime=0.69 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 1034 0 0 0 69 0 0 0 18 0 8 0 544852731 504127488 4537 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=492312 CPUtime=0.69 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) R 608 610 574 0 -1 4202560 878 0 0 0 69 0 0 0 18 0 8 0 544852731 504127488 4538 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=492312 CPUtime=0.68 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) R 608 610 574 0 -1 4202560 909 0 0 0 68 0 0 0 18 0 8 0 544852731 504127488 4538 33554432000 4194304 4627427 140737046540496 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=492312 CPUtime=0.68 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) R 608 610 574 0 -1 4202560 1076 0 0 0 68 0 0 0 18 0 8 0 544852731 504127488 4538 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=492312 CPUtime=0.68 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) R 608 610 574 0 -1 4202560 1172 0 0 0 68 0 0 0 18 0 8 0 544852731 504127488 4539 33554432000 4194304 4627427 140737046540496 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=492312 CPUtime=0.66 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 848 0 0 0 66 0 0 0 18 0 8 0 544852731 504127488 4539 33554432000 4194304 4627427 140737046540496 18446744073709551615 4333319 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=610/tid=617] ppid=608 vsize=492312 CPUtime=0.66 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) R 608 610 574 0 -1 4202560 768 0 0 0 66 0 0 0 18 0 8 0 544852731 504127488 4539 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 492312

[startup+1.50841 s]
/proc/loadavg: 0.64 1.10 3.66 9/240 618
/proc/meminfo: memFree=28060040/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=494576 CPUtime=11.95 cores=0-7
/proc/610/stat : 610 (strangenight2-m) R 608 610 574 0 -1 4202496 14595 0 0 0 1190 5 0 0 19 0 8 0 544852731 506445824 6958 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 123644 6958 390 106 0 118615 0
[pid=610/tid=611] ppid=608 vsize=494576 CPUtime=1.49 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 1585 0 0 0 149 0 0 0 20 0 8 0 544852731 506445824 6960 33554432000 4194304 4627427 140737046540496 18446744073709551615 4332452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=494576 CPUtime=1.49 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) R 608 610 574 0 -1 4202560 1538 0 0 0 149 0 0 0 20 0 8 0 544852731 506445824 6960 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=494576 CPUtime=1.49 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) R 608 610 574 0 -1 4202560 1593 0 0 0 149 0 0 0 20 0 8 0 544852731 506445824 6960 33554432000 4194304 4627427 140737046540496 18446744073709551615 4327381 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=494576 CPUtime=1.49 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) R 608 610 574 0 -1 4202560 1854 0 0 0 149 0 0 0 20 0 8 0 544852731 506445824 6960 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=494576 CPUtime=1.49 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) R 608 610 574 0 -1 4202560 1780 0 0 0 149 0 0 0 20 0 8 0 544852731 506445824 6960 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=494576 CPUtime=1.46 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 1517 0 0 0 146 0 0 0 20 0 8 0 544852731 506445824 6960 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308780 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=610/tid=617] ppid=608 vsize=494576 CPUtime=1.47 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) R 608 610 574 0 -1 4202560 1528 0 0 0 147 0 0 0 19 0 8 0 544852731 506445824 6960 33554432000 4194304 4627427 140737046540496 18446744073709551615 246516530955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.95
Current children cumulated vsize (KiB) 494576

[startup+3.10111 s]
/proc/loadavg: 0.64 1.10 3.66 9/240 618
/proc/meminfo: memFree=28038216/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=492396 CPUtime=24.68 cores=0-7
/proc/610/stat : 610 (strangenight2-m) R 608 610 574 0 -1 4202496 27785 0 0 0 2461 7 0 0 25 0 8 0 544852731 504213504 13126 33554432000 4194304 4627427 140737046540496 18446744073709551615 4350064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 123099 13126 390 106 0 118070 0
[pid=610/tid=611] ppid=608 vsize=492396 CPUtime=3.08 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 3654 0 0 0 308 0 0 0 25 0 8 0 544852731 504213504 13126 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=492396 CPUtime=3.08 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) R 608 610 574 0 -1 4202560 3794 0 0 0 308 0 0 0 25 0 8 0 544852731 504213504 13126 33554432000 4194304 4627427 140737046540496 18446744073709551615 4330330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=492396 CPUtime=3.09 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) R 608 610 574 0 -1 4202560 3904 0 0 0 308 1 0 0 25 0 8 0 544852731 504213504 13127 33554432000 4194304 4627427 140737046540496 18446744073709551615 4330022 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=492396 CPUtime=3.08 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) R 608 610 574 0 -1 4202560 3851 0 0 0 308 0 0 0 25 0 8 0 544852731 504213504 13127 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309760 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=492396 CPUtime=3.08 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) R 608 610 574 0 -1 4202560 2946 0 0 0 308 0 0 0 25 0 8 0 544852731 504213504 13127 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=492396 CPUtime=3.05 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 2397 0 0 0 304 1 0 0 25 0 8 0 544852731 504213504 13127 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=610/tid=617] ppid=608 vsize=492396 CPUtime=3.06 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) R 608 610 574 0 -1 4202560 2523 0 0 0 306 0 0 0 25 0 8 0 544852731 504213504 13127 33554432000 4194304 4627427 140737046540496 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 492396

[startup+6.30053 s]
/proc/loadavg: 0.64 1.10 3.66 9/240 618
/proc/meminfo: memFree=27999792/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=466260 CPUtime=50.25 cores=0-7
/proc/610/stat : 610 (strangenight2-m) R 608 610 574 0 -1 4202496 45658 0 0 0 5014 11 0 0 25 0 8 0 544852731 477450240 22570 33554432000 4194304 4627427 140737046540496 18446744073709551615 4338562 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 116565 22570 390 106 0 111536 0
[pid=610/tid=611] ppid=608 vsize=466260 CPUtime=6.29 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 6266 0 0 0 628 1 0 0 25 0 8 0 544852731 477450240 22570 33554432000 4194304 4627427 140737046540496 18446744073709551615 4322044 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=466260 CPUtime=6.28 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) R 608 610 574 0 -1 4202560 6120 0 0 0 628 0 0 0 25 0 8 0 544852731 477450240 22570 33554432000 4194304 4627427 140737046540496 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=466260 CPUtime=6.28 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) R 608 610 574 0 -1 4202560 5176 0 0 0 627 1 0 0 25 0 8 0 544852731 477450240 22570 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=466260 CPUtime=6.29 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) R 608 610 574 0 -1 4202560 5587 0 0 0 628 1 0 0 25 0 8 0 544852731 477450240 22571 33554432000 4194304 4627427 140737046540496 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=466260 CPUtime=6.28 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) R 608 610 574 0 -1 4202560 6116 0 0 0 627 1 0 0 25 0 8 0 544852731 477450240 22571 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=466260 CPUtime=6.22 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 4345 0 0 0 621 1 0 0 25 0 8 0 544852731 477450240 22571 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=610/tid=617] ppid=608 vsize=466260 CPUtime=6.27 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) R 608 610 574 0 -1 4202560 5574 0 0 0 626 1 0 0 25 0 8 0 544852731 477450240 22571 33554432000 4194304 4627427 140737046540496 18446744073709551615 4333319 0 0 4096 2 0 0 0 -1 3 0 0 0

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

/proc/610/task/615/stat : 615 (strangenight2-m) R 608 610 574 0 -1 4202560 142778 0 0 0 88183 47 0 0 25 0 8 0 544852731 1154347008 169253 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=1127292 CPUtime=875.87 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 90002 0 0 0 87557 30 0 0 25 0 8 0 544852731 1154347008 169253 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=610/tid=617] ppid=608 vsize=1127292 CPUtime=882.26 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) R 608 610 574 0 -1 4202560 103203 0 0 0 88191 35 0 0 25 0 8 0 544852731 1154347008 169253 33554432000 4194304 4627427 140737046540496 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7051.92
Current children cumulated vsize (KiB) 1127292

[startup+942.3 s]
/proc/loadavg: 7.35 7.64 6.42 3/240 643
/proc/meminfo: memFree=27389012/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=1105620 CPUtime=7493.62 cores=0-7
/proc/610/stat : 610 (strangenight2-m) S 608 610 574 0 -1 4202496 925432 0 0 0 749053 309 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 276405 174520 390 106 0 271376 0
[pid=610/tid=611] ppid=608 vsize=1105620 CPUtime=942.31 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 114514 0 0 0 94198 33 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=1105620 CPUtime=935.15 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) S 608 610 574 0 -1 4202560 104751 0 0 0 93485 30 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=1105620 CPUtime=935.28 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) S 608 610 574 0 -1 4202560 100926 0 0 0 93494 34 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) S 608 610 574 0 -1 4202560 112880 0 0 0 93488 39 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) S 608 610 574 0 -1 4202560 149290 0 0 0 93477 50 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=1105620 CPUtime=935.49 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 91780 0 0 0 93518 31 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846220996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=617] ppid=608 vsize=1105620 CPUtime=939.5 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) S 608 610 574 0 -1 4202560 107829 0 0 0 93914 36 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7493.62
Current children cumulated vsize (KiB) 1105620

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

[startup+947.508 s]
/proc/loadavg: 6.92 7.54 6.39 3/240 643
/proc/meminfo: memFree=27388764/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=1105620 CPUtime=7504.03 cores=0-7
/proc/610/stat : 610 (strangenight2-m) S 608 610 574 0 -1 4202496 925432 0 0 0 750094 309 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 276405 174520 390 106 0 271376 0
[pid=610/tid=611] ppid=608 vsize=1105620 CPUtime=947.52 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 114514 0 0 0 94719 33 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=1105620 CPUtime=935.15 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) S 608 610 574 0 -1 4202560 104751 0 0 0 93485 30 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=1105620 CPUtime=935.28 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) S 608 610 574 0 -1 4202560 100926 0 0 0 93494 34 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) S 608 610 574 0 -1 4202560 112880 0 0 0 93488 39 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) S 608 610 574 0 -1 4202560 149290 0 0 0 93477 50 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=1105620 CPUtime=940.7 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 91780 0 0 0 94039 31 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 4205248 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=617] ppid=608 vsize=1105620 CPUtime=939.5 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) S 608 610 574 0 -1 4202560 107829 0 0 0 93914 36 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7504.03
Current children cumulated vsize (KiB) 1105620

[startup+949.101 s]
/proc/loadavg: 6.92 7.54 6.39 3/240 643
/proc/meminfo: memFree=27388640/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=1105620 CPUtime=7507.22 cores=0-7
/proc/610/stat : 610 (strangenight2-m) S 608 610 574 0 -1 4202496 925432 0 0 0 750413 309 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 276405 174520 390 106 0 271376 0
[pid=610/tid=611] ppid=608 vsize=1105620 CPUtime=949.11 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 114514 0 0 0 94878 33 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=1105620 CPUtime=935.15 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) S 608 610 574 0 -1 4202560 104751 0 0 0 93485 30 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=1105620 CPUtime=935.28 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) S 608 610 574 0 -1 4202560 100926 0 0 0 93494 34 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) S 608 610 574 0 -1 4202560 112880 0 0 0 93488 39 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) S 608 610 574 0 -1 4202560 149290 0 0 0 93477 50 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=1105620 CPUtime=942.29 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 91780 0 0 0 94198 31 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846220843 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=617] ppid=608 vsize=1105620 CPUtime=939.5 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) S 608 610 574 0 -1 4202560 107829 0 0 0 93914 36 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7507.22
Current children cumulated vsize (KiB) 1105620

[startup+950.701 s]
/proc/loadavg: 6.92 7.54 6.39 3/240 643
/proc/meminfo: memFree=27388760/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=1105620 CPUtime=7510.42 cores=0-7
/proc/610/stat : 610 (strangenight2-m) S 608 610 574 0 -1 4202496 925432 0 0 0 750733 309 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 276405 174520 390 106 0 271376 0
[pid=610/tid=611] ppid=608 vsize=1105620 CPUtime=950.72 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 114514 0 0 0 95039 33 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=1105620 CPUtime=935.15 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) S 608 610 574 0 -1 4202560 104751 0 0 0 93485 30 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=1105620 CPUtime=935.28 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) S 608 610 574 0 -1 4202560 100926 0 0 0 93494 34 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) S 608 610 574 0 -1 4202560 112880 0 0 0 93488 39 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) S 608 610 574 0 -1 4202560 149290 0 0 0 93477 50 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=1105620 CPUtime=943.9 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 91780 0 0 0 94359 31 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 4219945 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=617] ppid=608 vsize=1105620 CPUtime=939.5 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) S 608 610 574 0 -1 4202560 107829 0 0 0 93914 36 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7510.42
Current children cumulated vsize (KiB) 1105620

[startup+951.101 s]
/proc/loadavg: 6.92 7.54 6.39 3/240 643
/proc/meminfo: memFree=27388760/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=1105620 CPUtime=7511.22 cores=0-7
/proc/610/stat : 610 (strangenight2-m) S 608 610 574 0 -1 4202496 925432 0 0 0 750813 309 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 276405 174520 390 106 0 271376 0
[pid=610/tid=611] ppid=608 vsize=1105620 CPUtime=951.11 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 114514 0 0 0 95078 33 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 4428192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=1105620 CPUtime=935.15 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) S 608 610 574 0 -1 4202560 104751 0 0 0 93485 30 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=1105620 CPUtime=935.28 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) S 608 610 574 0 -1 4202560 100926 0 0 0 93494 34 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) S 608 610 574 0 -1 4202560 112880 0 0 0 93488 39 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) S 608 610 574 0 -1 4202560 149290 0 0 0 93477 50 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=1105620 CPUtime=944.29 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 91780 0 0 0 94398 31 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846220996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=617] ppid=608 vsize=1105620 CPUtime=939.5 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) S 608 610 574 0 -1 4202560 107829 0 0 0 93914 36 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7511.22
Current children cumulated vsize (KiB) 1105620

[startup+951.301 s]
/proc/loadavg: 6.92 7.54 6.39 3/240 643
/proc/meminfo: memFree=27388760/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=1105620 CPUtime=7511.62 cores=0-7
/proc/610/stat : 610 (strangenight2-m) S 608 610 574 0 -1 4202496 925432 0 0 0 750853 309 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 276405 174520 390 106 0 271376 0
[pid=610/tid=611] ppid=608 vsize=1105620 CPUtime=951.31 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 114514 0 0 0 95098 33 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 4527224 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=1105620 CPUtime=935.15 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) S 608 610 574 0 -1 4202560 104751 0 0 0 93485 30 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=1105620 CPUtime=935.28 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) S 608 610 574 0 -1 4202560 100926 0 0 0 93494 34 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) S 608 610 574 0 -1 4202560 112880 0 0 0 93488 39 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) S 608 610 574 0 -1 4202560 149290 0 0 0 93477 50 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=1105620 CPUtime=944.49 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 91780 0 0 0 94418 31 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846220843 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=617] ppid=608 vsize=1105620 CPUtime=939.5 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) S 608 610 574 0 -1 4202560 107829 0 0 0 93914 36 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7511.62
Current children cumulated vsize (KiB) 1105620

[startup+951.401 s]
/proc/loadavg: 6.92 7.54 6.39 3/240 643
/proc/meminfo: memFree=27388760/32951124 swapFree=67102756/67111528
[pid=610] ppid=608 vsize=1105620 CPUtime=7511.82 cores=0-7
/proc/610/stat : 610 (strangenight2-m) S 608 610 574 0 -1 4202496 925432 0 0 0 750873 309 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/610/statm: 276405 174520 390 106 0 271376 0
[pid=610/tid=611] ppid=608 vsize=1105620 CPUtime=951.41 cores=0-7
/proc/610/task/611/stat : 611 (strangenight2-m) R 608 610 574 0 -1 4202560 114514 0 0 0 95108 33 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=610/tid=612] ppid=608 vsize=1105620 CPUtime=935.15 cores=0-7
/proc/610/task/612/stat : 612 (strangenight2-m) S 608 610 574 0 -1 4202560 104751 0 0 0 93485 30 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 6 0 0 0
[pid=610/tid=613] ppid=608 vsize=1105620 CPUtime=935.28 cores=0-7
/proc/610/task/613/stat : 613 (strangenight2-m) S 608 610 574 0 -1 4202560 100926 0 0 0 93494 34 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 0 0 0 0
[pid=610/tid=614] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/614/stat : 614 (strangenight2-m) S 608 610 574 0 -1 4202560 112880 0 0 0 93488 39 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 1 0 0 0
[pid=610/tid=615] ppid=608 vsize=1105620 CPUtime=935.27 cores=0-7
/proc/610/task/615/stat : 615 (strangenight2-m) S 608 610 574 0 -1 4202560 149290 0 0 0 93477 50 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 2 0 0 0
[pid=610/tid=616] ppid=608 vsize=1105620 CPUtime=944.59 cores=0-7
/proc/610/task/616/stat : 616 (strangenight2-m) R 608 610 574 0 -1 4202560 91780 0 0 0 94428 31 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846220996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=610/tid=617] ppid=608 vsize=1105620 CPUtime=939.5 cores=0-7
/proc/610/task/617/stat : 617 (strangenight2-m) S 608 610 574 0 -1 4202560 107829 0 0 0 93914 36 0 0 25 0 8 0 544852731 1132154880 174520 33554432000 4194304 4627427 140737046540496 18446744073709551615 47452846245428 0 0 4096 2 18446604463709226944 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7511.82
Current children cumulated vsize (KiB) 1105620

Child status: 10
Real time (s): 951.46
CPU time (s): 7511.91
CPU user time (s): 7508.78
CPU system time (s): 3.12452
CPU usage (%): 789.513
Max. virtual memory (cumulated for all children) (KiB): 1161280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7508.78
system time used= 3.12453
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925440
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= 3363
involuntary context switches= 71104

runsolver used 1.93371 second user time and 4.99324 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-02 12:35:45
IDJOB=3321207
IDBENCH=83420
IDSOLVER=1709
FILE ID=node134/3321207-1304332545
RUNJOBID= node134-1304332544-588
PBS_JOBID= 13177706
Free space on /tmp= 73152 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321207-1304332545/watcher-3321207-1304332545 -o /tmp/evaluation-result-3321207-1304332545/solver-3321207-1304332545 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321207-1304332545.cnf

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

MD5SUM BENCH= 9e18e0ee8a56ea2c59fe8e682ff6c747
RANDOM SEED=812922590

node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28087652 kB
Buffers:       1079344 kB
Cached:        1963540 kB
SwapCached:       4840 kB
Active:        1731916 kB
Inactive:      2717272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28087652 kB
SwapTotal:    67111528 kB
SwapFree:     67102756 kB
Dirty:            5848 kB
Writeback:           0 kB
AnonPages:     1403464 kB
Mapped:          20440 kB
Slab:           340948 kB
PageTables:      13092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 27851372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73144 MiB
End job on node134 at 2011-05-02 12:51:37