Trace number 3321193

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 2666.52 333.778

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom14.cnf
MD5SUM7af4cc1b94644f101ccf5f2373fdbfea
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark762.1
Satisfiable
(Un)Satisfiability was proved
Number of variables22886
Number of clauses76038
Sum of the clauses size193162
Maximum clause length786
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 240006
Number of clauses of size 335619
Number of clauses of size 4104
Number of clauses of size 512
Number of clauses of size over 5296

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-3321193-1304326491.cnf'
0.00/0.03	c -- header says num vars:          22886
0.00/0.03	c -- header says num clauses:       76038
0.57/0.13	c -- clauses added:            0 learnts,        76038 normals,            0 xors
0.57/0.13	c -- vars added      22886
0.57/0.13	c Parsing time:  0.05 s
0.57/0.13	c  N st     0         0     22886     35405     36071         0    182356         0   no data   no data
0.57/0.68	c asymm  cl-useful: 8/35405/35405 lits-rem:88 time: 0.57
13.27/1.82	c Flit:    62 Blit:   2152 bXBeca:    0 bXProp: 3731 Bins:      0 BRemL:      0 BRemN:      0 P: 18.0M T:  0.99
13.27/1.82	c Cleaning up after failed var search:     0.00 s 
13.27/1.84	c Replacing     3731 vars Replaced   100834 lits Time:     0.02 s 
13.27/1.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.27/1.87	c bin-w-bin subsume rem          557 bins  time:  0.00 s
13.27/1.87	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.01 s
13.27/1.89	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  15722 time:  0.02 s
14.03/1.91	c Removed useless bin:      39  fixed:     0  props:   2.13M  time:  0.02 s
14.78/2.00	c lits-rem:         0  cl-subs:      165  v-elim:   5240  v-fix:    0  time:  0.07 s
14.78/2.03	c Finding binary XORs  T:     0.03 s  found:      14
14.78/2.03	c Replacing       14 vars Replaced      179 lits Time:     0.00 s 
14.78/2.06	c Finding non-binary XORs:     0.01 s (found:    4809, avg size: 3.0)
14.78/2.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    756 locsubst:  3068 time:   0.01
14.78/2.06	c Replacing     1534 vars Replaced     9204 lits Time:     0.00 s 
14.78/2.06	c calculated reachability. Time: 0.00
14.78/2.06	c Calc default polars -  time:   0.00 s pos:    1194 undec:   14739 neg:    6953
14.78/2.06	c =========================================================================================
14.78/2.06	c types(t): F = full restart, N = normal restart
14.78/2.06	c types(t): S = simplification begin/end, E = solution found
14.78/2.06	c restart types(rt): st = static, dy = dynamic
14.78/2.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
14.78/2.06	c  B st     0         0      8178     13295     11219         0     87776         0   no data   no data
16.38/2.27	c Decided on static restart strategy
18.83/2.59	c  N st     8      4914      8177     13295     11273      4644     87776    159841   no data   no data
25.98/3.40	c  N st    10     11300      8175     13295     11507      8139     87776    447619   no data   no data
33.17/4.39	c  N st    11     17043      8164     13295     11514      9075     87776    497159   no data   no data
44.37/5.76	c  F st    12     25002      8152     13295     11847     10736     87776    464452   no data   no data
44.37/5.77	c  N st    12     25002      8152     13290     11538     10722     87137    463546   no data   no data
44.37/5.79	c Finding binary XORs  T:     0.02 s  found:       3
51.55/6.63	c Decided on static restart strategy
51.55/6.63	c  N st    18     30000      8148     13289     11680      8246     87085    284438   no data   no data
51.55/6.63	c  S st    18     30000      8148     13289     11680      8246     87085    284438   no data   no data
52.35/6.72	c  S st    18     30502      8148     13289     11727      8698     87085    291585   no data   no data
52.35/6.73	c x-sub:  1534 x-cut:      0 vfix:      0 v-elim:    378 locsubst:     0 time:   0.01
54.81/7.09	c Flit:    71 Blit:     12 bXBeca:    0 bXProp:   24 Bins:  62325 BRemL:  35933 BRemN:     10 P:  5.5M T:  0.36
55.55/7.10	c Replacing       27 vars Replaced     2217 lits Time:     0.01 s 
55.55/7.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
55.55/7.11	c bin-w-bin subsume rem          276 bins  time:  0.00 s
55.55/7.12	c subs with bin:      578  lits-rem:       432  v-fix:    0  time:  0.01 s
55.55/7.13	c Subs w/ non-existent bins:      0 l-rem:      8 v-fix:     0 done:   7660 time:  0.01 s
55.55/7.13	c Removed useless bin:      45  fixed:     0  props:   0.22M  time:  0.00 s
55.55/7.16	c lits-rem:       192  cl-subs:      188  v-elim:   1364  v-fix:    0  time:  0.03 s
55.55/7.17	c subs with bin:       43  lits-rem:       265  v-fix:    0  time:  0.01 s
55.55/7.19	c lits-rem:        94  cl-subs:      157  v-elim:      0  v-fix:    0  time:  0.01 s
57.15/7.30	c asymm  cl-useful: 183/12809/12809 lits-rem:718 time: 0.12
57.15/7.31	c calculated reachability. Time: 0.00
57.15/7.31	c  N st    18     30502      6296     12808     28550      2535     75796     78308   no data   no data
57.15/7.33	c Finding binary XORs  T:     0.02 s  found:       0
65.13/8.37	c  N st    20     37612      6294     12808     28606      9483     75796    663790   no data   no data
72.39/9.24	c  N st    21     44012      6291     12808     28608     10105     75796    437656   no data   no data
72.39/9.27	c Finding binary XORs  T:     0.02 s  found:       0
74.73/9.55	c  S st    22     45753      6291     12804     62378     11800     75538    629098   no data   no data
75.53/9.66	c  S st    22     46255      6291     12804     62382     12294     75538    642267   no data   no data
75.53/9.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    179 locsubst:     0 time:   0.01
77.14/9.89	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    4 Bins:   2071 BRemL:  34957 BRemN:     61 P:  3.0M T:  0.22
77.14/9.90	c Replacing        5 vars Replaced      124 lits Time:     0.01 s 
77.94/9.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.94/9.90	c bin-w-bin subsume rem         6423 bins  time:  0.00 s
77.94/9.91	c subs with bin:      105  lits-rem:        41  v-fix:    0  time:  0.00 s
77.94/9.92	c Subs w/ non-existent bins:      0 l-rem:     35 v-fix:     0 done:   6104 time:  0.01 s
77.94/9.92	c Removed useless bin:       1  fixed:     0  props:   0.17M  time:  0.00 s
77.94/9.93	c lits-rem:         0  cl-subs:       45  v-elim:     46  v-fix:    0  time:  0.01 s
77.94/9.97	c subs with bin:        5  lits-rem:        70  v-fix:    0  time:  0.03 s
78.73/10.02	c lits-rem:       262  cl-subs:      505  v-elim:      0  v-fix:    0  time:  0.05 s
78.73/10.02	c vivif2 --  cl tried    12638 cl shrink      109 lits rem        234 time: 0.00
78.73/10.03	c vivif2 --  cl tried     5396 cl shrink      560 lits rem       1710 time: 0.01
79.53/10.16	c asymm  cl-useful: 52/12620/12620 lits-rem:115 time: 0.13
79.53/10.16	c calculated reachability. Time: 0.00
79.53/10.16	c  N st    22     46255      6058     12620     22338      5396     73848    194875   no data   no data
97.96/12.44	c  N st    23     60653      6058     12620     22338     14655     73848    740384   no data   no data
97.96/12.47	c Finding binary XORs  T:     0.02 s  found:      11
109.10/13.83	c  N st    24     69383      6046     12601     20534     14928     73602    744264   no data   no data
109.10/13.83	c  S st    24     69383      6046     12601     20534     14928     73602    744264   no data   no data
109.89/13.93	c  S st    24     69884      6045     12601     21782     15426     73602    758751   no data   no data
109.89/13.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     90 locsubst:     0 time:   0.01
111.49/14.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    197 BRemL:   2170 BRemN:     11 P:  3.6M T:  0.17
111.49/14.11	c Replacing       12 vars Replaced      251 lits Time:     0.01 s 
111.49/14.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
111.49/14.12	c bin-w-bin subsume rem          177 bins  time:  0.00 s
111.49/14.12	c subs with bin:       69  lits-rem:        41  v-fix:    0  time:  0.00 s
111.49/14.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5943 time:  0.00 s
111.49/14.13	c Removed useless bin:       1  fixed:     0  props:   0.15M  time:  0.00 s
111.49/14.15	c lits-rem:         2  cl-subs:       59  v-elim:     34  v-fix:    0  time:  0.02 s
113.10/14.38	c subs with bin:        1  lits-rem:       525  v-fix:    0  time:  0.21 s
117.10/14.81	c lits-rem:       779  cl-subs:      632  v-elim:      0  v-fix:    0  time:  0.42 s
117.10/14.81	c vivif2 --  cl tried    12468 cl shrink       31 lits rem         43 time: 0.00
117.10/14.84	c vivif2 --  cl tried    14658 cl shrink     3022 lits rem      21662 time: 0.03
117.89/14.99	c asymm  cl-useful: 290/12468/12468 lits-rem:792 time: 0.15
117.89/14.99	c calculated reachability. Time: 0.00
117.89/14.99	c  N st    24     69884      5909     12277     19419     14658     72504    690957   no data   no data
123.50/15.69	c Finding binary XORs  T:     0.02 s  found:      85
123.50/15.70	c Replacing       85 vars Replaced     2353 lits Time:     0.01 s 
145.87/18.40	c  F st    25     87500      5823     12276     19237     21408     72297   1069382   no data   no data
145.87/18.41	c  N st    25     87500      5823     12276     19237     21408     72297   1069382   no data   no data
145.87/18.44	c Finding binary XORs  T:     0.01 s  found:       7
152.27/19.22	c Decided on static restart strategy
155.46/19.67	c  N st    32     95535      5813     12261     21327     17337     71993    613315   no data   no data
167.46/21.19	c  N st    34    104827      5811     12261     21873     26465     71993   1032062   no data   no data
167.46/21.19	c  S st    34    104827      5811     12261     21873     26465     71993   1032062   no data   no data
169.11/21.32	c  S st    34    105327      5809     12261     21913     26960     71993   1043595   no data   no data
169.11/21.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
170.65/21.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:   1114 BRemL:   5539 BRemN:      1 P:  4.7M T:  0.21
170.65/21.56	c Replacing       12 vars Replaced     4100 lits Time:     0.02 s 
170.65/21.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
170.65/21.56	c bin-w-bin subsume rem         1127 bins  time:  0.00 s
170.65/21.57	c subs with bin:      105  lits-rem:       148  v-fix:    0  time:  0.00 s
170.65/21.57	c Subs w/ non-existent bins:      0 l-rem:      5 v-fix:     0 done:   5797 time:  0.00 s
170.65/21.58	c Removed useless bin:       6  fixed:     0  props:   0.14M  time:  0.00 s
171.46/21.60	c lits-rem:        17  cl-subs:      194  v-elim:     51  v-fix:    0  time:  0.02 s
173.05/21.86	c subs with bin:       15  lits-rem:      1870  v-fix:    0  time:  0.23 s
177.11/22.34	c lits-rem:      2088  cl-subs:      774  v-elim:      0  v-fix:    0  time:  0.48 s
177.11/22.34	c vivif2 --  cl tried    11930 cl shrink        4 lits rem          4 time: 0.00
177.11/22.39	c vivif2 --  cl tried    24517 cl shrink     5751 lits rem      17741 time: 0.05
178.65/22.59	c asymm  cl-useful: 34/11929/11929 lits-rem:45 time: 0.20
179.45/22.60	c calculated reachability. Time: 0.00
179.45/22.60	c  N st    34    105327      5746     11926     14961     24517     70483    893514   no data   no data
193.84/24.48	c  N st    35    114926      5746     11926     14961     21627     70483    993119   no data   no data
194.69/24.51	c Finding binary XORs  T:     0.01 s  found:       0
214.61/27.04	c  N st    36    129324      5743     11923     14775     21613     70401    661293   no data   no data
214.61/27.06	c Finding binary XORs  T:     0.01 s  found:       0
246.59/31.00	c  N st    37    150920      5742     11921     15359     27581     70371   1010976   no data   no data
261.77/32.90	c  S st    38    157990      5742     11921     15397     18087     70371    476054   no data   no data
262.58/33.03	c  S st    38    158495      5741     11921     15404     18591     70371    490558   no data   no data
262.58/33.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
264.17/33.21	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   11 Bins:     90 BRemL:   1483 BRemN:      3 P:  4.0M T:  0.18
264.17/33.22	c Replacing       11 vars Replaced     1023 lits Time:     0.01 s 
264.17/33.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
264.17/33.23	c bin-w-bin subsume rem          160 bins  time:  0.00 s
264.17/33.23	c subs with bin:       18  lits-rem:        24  v-fix:    0  time:  0.00 s
264.17/33.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5729 time:  0.01 s
264.17/33.24	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.00 s
264.17/33.26	c lits-rem:         1  cl-subs:       20  v-elim:     16  v-fix:    0  time:  0.01 s
265.03/33.36	c subs with bin:       13  lits-rem:      1148  v-fix:    0  time:  0.09 s
265.83/33.46	c lits-rem:       391  cl-subs:      417  v-elim:      0  v-fix:    0  time:  0.10 s
265.83/33.46	c vivif2 --  cl tried    11847 cl shrink        0 lits rem          0 time: 0.00
265.83/33.48	c vivif2 --  cl tried    17490 cl shrink     1914 lits rem       4703 time: 0.02
267.37/33.64	c asymm  cl-useful: 27/11847/11847 lits-rem:37 time: 0.16
267.37/33.64	c calculated reachability. Time: 0.00
267.37/33.64	c  N st    38    158495      5713     11846     13773     17488     69909    446738   no data   no data
346.50/43.52	c  N st    39    207083      5713     11846     13774     29607     69909    938445   no data   no data
346.50/43.53	c Finding binary XORs  T:     0.02 s  found:       1
391.28/49.18	c  N st    40    237742      5713     11846     13789     40032     69909   1261863   no data   no data
391.28/49.18	c  S st    40    237742      5713     11846     13789     40032     69909   1261863   no data   no data
392.87/49.39	c  S st    40    238244      5709     11846     13982     40531     69909   1271658   no data   no data
392.87/49.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
395.27/49.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    137 BRemL:    611 BRemN:      3 P:  6.5M T:  0.28
395.27/49.69	c Replacing        1 vars Replaced      162 lits Time:     0.02 s 
396.07/49.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
396.07/49.70	c bin-w-bin subsume rem           85 bins  time:  0.00 s
396.07/49.70	c subs with bin:        6  lits-rem:         4  v-fix:    0  time:  0.00 s
396.07/49.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5708 time:  0.01 s
396.07/49.71	c Removed useless bin:       2  fixed:     0  props:   0.17M  time:  0.00 s
396.07/49.73	c lits-rem:         0  cl-subs:        8  v-elim:      3  v-fix:    0  time:  0.02 s
396.92/49.86	c subs with bin:        6  lits-rem:       705  v-fix:    0  time:  0.11 s
399.26/50.16	c lits-rem:       777  cl-subs:     1491  v-elim:      0  v-fix:    0  time:  0.29 s
399.26/50.16	c vivif2 --  cl tried    11826 cl shrink        0 lits rem          0 time: 0.00
399.26/50.19	c vivif2 --  cl tried    24686 cl shrink     3569 lits rem      11938 time: 0.03
401.66/50.41	c asymm  cl-useful: 11/11826/11826 lits-rem:13 time: 0.21
401.66/50.41	c calculated reachability. Time: 0.00
401.66/50.41	c  N st    40    238244      5705     11825     13066     24686     69722    564531   no data   no data
401.66/50.42	c Finding binary XORs  T:     0.01 s  found:       0
530.36/66.53	c  F st    41    306250      5705     11825     13066     39402     69722   1182291   no data   no data
530.36/66.54	c  N st    41    306250      5705     11825     13066     39402     69722   1182291   no data   no data
530.36/66.57	c Finding binary XORs  T:     0.02 s  found:      13
539.95/67.77	c Decided on static restart strategy
580.72/72.81	c  N st    51    334551      5697     11819     13223     44645     69545   1375554   no data   no data
580.72/72.84	c Finding binary XORs  T:     0.02 s  found:       3
619.08/77.64	c  N st    53    357366      5695     11802     12932     42968     69409   1395466   no data   no data
619.08/77.64	c  S st    53    357366      5695     11802     12932     42968     69409   1395466   no data   no data
620.69/77.86	c  S st    53    357870      5694     11802     12938     43467     69409   1405326   no data   no data
620.69/77.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
623.09/78.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    112 BRemL:    529 BRemN:      0 P:  6.3M T:  0.27
623.09/78.17	c Replacing       21 vars Replaced     4641 lits Time:     0.03 s 
623.09/78.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
623.09/78.18	c bin-w-bin subsume rem           86 bins  time:  0.00 s
623.09/78.18	c subs with bin:       43  lits-rem:        32  v-fix:    0  time:  0.00 s
623.09/78.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5673 time:  0.01 s
623.09/78.19	c Removed useless bin:       1  fixed:     0  props:   0.17M  time:  0.00 s
623.89/78.22	c lits-rem:         6  cl-subs:       25  v-elim:      6  v-fix:    0  time:  0.03 s
626.34/78.56	c subs with bin:       59  lits-rem:      2159  v-fix:    0  time:  0.30 s
637.48/79.95	c lits-rem:      3364  cl-subs:     2151  v-elim:      0  v-fix:    0  time:  1.38 s
637.48/79.95	c vivif2 --  cl tried    11706 cl shrink        0 lits rem          0 time: 0.00
638.28/80.04	c vivif2 --  cl tried    39775 cl shrink    12902 lits rem      42560 time: 0.09
640.67/80.35	c asymm  cl-useful: 13/11706/11706 lits-rem:31 time: 0.31
640.67/80.35	c calculated reachability. Time: 0.00
640.67/80.35	c  N st    53    357870      5667     11706     12338     39775     68960   1224907   no data   no data
653.46/81.97	c Finding binary XORs  T:     0.01 s  found:       1
691.83/86.76	c  N st    54    390264      5666     11705     12318     46025     68913   1664854   no data   no data
794.94/99.66	c  N st    55    438852      5665     11705     12433     42197     68913   1234998   no data   no data
794.94/99.69	c Finding binary XORs  T:     0.02 s  found:       0
937.23/117.48	c  N st    56    511734      5663     11704     12305     56477     68812   2129288   no data   no data
986.05/123.58	c  N st    57    536805      5661     11704     12379     50790     68812   1375350   no data   no data
986.05/123.58	c  S st    57    536805      5661     11704     12379     50790     68812   1375350   no data   no data
986.85/123.61	c Finding binary XORs  T:     0.02 s  found:       3
988.39/123.84	c  S st    57    537306      5660     11702     12312     51120     68707   1381467   no data   no data
988.39/123.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
990.79/124.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:     54 BRemL:    167 BRemN:      0 P:  7.5M T:  0.26
990.79/124.14	c Replacing        8 vars Replaced     8253 lits Time:     0.03 s 
990.79/124.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
990.79/124.15	c bin-w-bin subsume rem           74 bins  time:  0.00 s
990.79/124.15	c subs with bin:       19  lits-rem:        10  v-fix:    0  time:  0.00 s
990.79/124.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5652 time:  0.01 s
990.79/124.16	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.00 s
990.79/124.18	c lits-rem:         0  cl-subs:       26  v-elim:     11  v-fix:    0  time:  0.02 s
992.39/124.33	c subs with bin:      245  lits-rem:      2778  v-fix:    0  time:  0.13 s
994.85/124.68	c lits-rem:       938  cl-subs:     1826  v-elim:      0  v-fix:    0  time:  0.35 s
994.85/124.68	c vivif2 --  cl tried    11649 cl shrink        0 lits rem          0 time: 0.00
995.64/124.72	c vivif2 --  cl tried    31947 cl shrink     4810 lits rem      15556 time: 0.04
997.19/124.98	c asymm  cl-useful: 35/11649/11649 lits-rem:37 time: 0.25
997.19/124.98	c calculated reachability. Time: 0.00
997.19/124.98	c  N st    57    537306      5641     11649     11900     31947     68396    664822   no data   no data
997.99/125.00	c Finding binary XORs  T:     0.02 s  found:       0
1367.28/171.21	c  N st    58    701290      5641     11649     11901     44176     68396   1371687   no data   no data
1367.28/171.24	c Finding binary XORs  T:     0.01 s  found:       6
1642.27/205.69	c  N st    59    805959      5623     11586     11728     72315     67931   2623295   no data   no data
1642.27/205.69	c  S st    59    805959      5623     11586     11728     72315     67931   2623295   no data   no data
1643.07/205.74	c Finding binary XORs  T:     0.02 s  found:      39
1644.67/205.98	c Replacing       57 vars Replaced    57994 lits Time:     0.24 s 
1647.06/206.25	c  S st    59    806461      5523     11407     11565     69612     66836   2532186   no data   no data
1647.06/206.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1649.46/206.58	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    3 Bins:    238 BRemL:    359 BRemN:      0 P:  9.6M T:  0.31
1650.26/206.61	c Replacing        3 vars Replaced      472 lits Time:     0.03 s 
1650.26/206.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1650.26/206.61	c bin-w-bin subsume rem          136 bins  time:  0.00 s
1650.26/206.62	c subs with bin:       62  lits-rem:        36  v-fix:    0  time:  0.00 s
1650.26/206.62	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:   5519 time:  0.01 s
1650.26/206.63	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.00 s
1650.26/206.66	c lits-rem:         6  cl-subs:       45  v-elim:     12  v-fix:    0  time:  0.04 s
1658.25/207.61	c subs with bin:      259  lits-rem:     19705  v-fix:    0  time:  0.85 s
1720.60/215.47	c lits-rem:      9571  cl-subs:     3943  v-elim:      0  v-fix:    0  time:  7.86 s
1720.60/215.47	c vivif2 --  cl tried    11295 cl shrink        4 lits rem          4 time: 0.00
1722.20/215.65	c vivif2 --  cl tried    62713 cl shrink    29589 lits rem     109090 time: 0.18
1725.45/216.01	c asymm  cl-useful: 38/6729/11293 lits-rem:62 time: 0.36
1725.45/216.02	c calculated reachability. Time: 0.00
1725.45/216.02	c  N st    59    806461      5507     11293     11227     62712     66270   2123255   no data   no data
1725.45/216.03	c Finding binary XORs  T:     0.02 s  found:       0
2575.91/322.42	c  F st    60   1071875      5507     11293     11228     86667     66270   3217418   no data   no data
2575.91/322.42	c  N st    60   1071875      5507     11293     11228     86667     66270   3217418   no data   no data
2576.71/322.52	c Finding binary XORs  T:     0.02 s  found:     347
2578.37/322.71	c Replacing      347 vars Replaced   170742 lits Time:     0.19 s 
2595.16/324.81	c Decided on static restart strategy
2627.08/328.87	c Finding binary XORs  T:     0.02 s  found:      12
2653.45/332.14	c  N st    70   1100187      4880     10006     13501     52977     58645   1395979   no data   no data
2666.31/333.72	c Following stats are for *FIRST FINISHED THREAD ONLY*
2666.31/333.72	c num threads              : 8          
2666.31/333.72	c restarts                 : 68         
2666.31/333.72	c dynamic restarts         : 0          
2666.31/333.72	c static restarts          : 68         
2666.31/333.72	c full restarts            : 4          
2666.31/333.72	c total simplify time      : 1.57       
2666.31/333.72	c learnts DL2              : 0          
2666.31/333.72	c learnts size 2           : 131181     
2666.31/333.72	c learnts size 1           : 4266        (18.64     % of vars)
2666.31/333.72	c filedLit time            : 2.20        (0.66      % time)
2666.31/333.72	c v-elim SatELite          : 6797        (29.70     % vars)
2666.31/333.72	c SatELite time            : 5.88        (1.76      % time)
2666.31/333.72	c v-elim xor               : 1403        (6.13      % vars)
2666.31/333.72	c xor elim time            : 0.05        (0.02      % time)
2666.31/333.72	c num binary xor trees     : 2267       
2666.31/333.72	c binxor trees' crown      : 6035        (2.66      leafs/tree)
2666.31/333.72	c bin xor find time        : 0.34       
2666.31/333.72	c OTF clause improved      : 43215       (0.04      clauses/conflict)
2666.31/333.72	c OTF impr. size diff      : 64388       (1.49       lits/clause)
2666.31/333.72	c OTF cl watch-shrink      : 835329      (0.77      clauses/conflict)
2666.31/333.72	c OTF cl watch-sh-lit      : 3360250     (4.02       lits/clause)
2666.31/333.72	c tried to recurMin cls    : 250804      (23.08      % of conflicts)
2666.31/333.72	c updated cache            : 8038        (0.03       lits/tried recurMin)
2666.31/333.72	c unit cls recevied        : 203         (4.76      % of units)
2666.31/333.72	c unit cls sent            : 3003        (70.39     % of units)
2666.31/333.72	c bin cls recevied         : 96122      
2666.31/333.72	c bin cls sent             : 17926      
2666.31/333.72	c clauses over max glue    : 0           (0.00      % of all clauses)
2666.31/333.72	c conflicts                : 1086764     (3261.04   / sec)
2666.31/333.72	c decisions                : 1382364     (1.94      % random)
2666.31/333.72	c bogo-props               : 32157300243 (96493900.28 / sec)
2666.31/333.72	c conflict literals        : 52423584    (45.67     % deleted)
2666.31/333.72	c Memory used              : 1339.32     MB
2666.31/333.72	c single-thread CPU time   : 333.26      s
2666.31/333.72	c all-threads sum CPU time : 2664.30     s
2666.31/333.72	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321193-1304326491/watcher-3321193-1304326491 -o /tmp/evaluation-result-3321193-1304326491/solver-3321193-1304326491 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321193-1304326491.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.09 8.05 7.92 1/221 26720
/proc/meminfo: memFree=30291896/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 413 0 0 0 1 0 0 0 25 0 8 0 525065048 94400512 352 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386385320 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26720/statm: 23047 352 299 106 0 18018 0
[pid=26720/tid=26721] ppid=26718 vsize=92188 CPUtime=0 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 525065048 94400512 352 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386385330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=92188 CPUtime=0 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 525065049 94400512 352 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386385330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=92188 CPUtime=0 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 525065049 94400512 352 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=92188 CPUtime=0 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 525065049 94400512 352 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=92188 CPUtime=0 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 525065049 94400512 352 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386385330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=92188 CPUtime=0 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 525065049 94400512 352 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386385330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=92188 CPUtime=0 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 525065049 94400512 352 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386385324 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.068006 s]
/proc/loadavg: 8.09 8.05 7.92 1/221 26720
/proc/meminfo: memFree=30291896/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=648404 CPUtime=0.37 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 21351 0 0 0 27 10 0 0 18 0 8 0 525065048 663965696 17463 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 162101 17470 341 106 0 157072 0
[pid=26720/tid=26721] ppid=26718 vsize=648404 CPUtime=0.03 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) S 26718 26720 26192 0 -1 4202560 2760 0 0 0 3 0 0 0 17 0 8 0 525065048 663965696 17475 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341486 0 0 4096 2 18446604447942943104 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=648404 CPUtime=0.04 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 2660 0 0 0 3 1 0 0 17 0 8 0 525065049 663965696 17477 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341535 0 0 4096 2 18446604447942943104 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=648404 CPUtime=0.01 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) S 26718 26720 26192 0 -1 4202560 2663 0 0 0 0 1 0 0 17 0 8 0 525065049 663965696 17484 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341486 0 0 4096 2 18446604447942943104 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=648404 CPUtime=0.03 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 2551 0 0 0 3 0 0 0 17 0 8 0 525065049 663965696 17498 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=648404 CPUtime=0.04 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) S 26718 26720 26192 0 -1 4202560 2337 0 0 0 3 1 0 0 17 0 8 0 525065049 663965696 17510 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341486 0 0 4096 2 18446604447942943104 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=648404 CPUtime=0.04 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) S 26718 26720 26192 0 -1 4202560 2468 0 0 0 3 1 0 0 17 0 8 0 525065049 663965696 17510 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341486 0 0 4096 2 18446604447942943104 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=648404 CPUtime=0.04 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 2792 0 0 0 3 1 0 0 17 0 8 0 525065049 663965696 17511 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 648404

[startup+0.101981 s]
/proc/loadavg: 8.09 8.05 7.92 1/221 26720
/proc/meminfo: memFree=30291896/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=650340 CPUtime=0.57 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) S 26718 26720 26192 0 -1 4202496 24058 0 0 0 40 17 0 0 17 0 8 0 525065048 665948160 20170 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341486 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 162585 20207 347 106 0 157556 0
[pid=26720/tid=26721] ppid=26718 vsize=650340 CPUtime=0.06 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 3150 0 0 0 5 1 0 0 17 0 8 0 525065048 665948160 20247 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=650340 CPUtime=0.07 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 3052 0 0 0 5 2 0 0 17 0 8 0 525065049 665948160 20269 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=650340 CPUtime=0.04 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) D 26718 26720 26192 0 -1 4202560 2993 0 0 0 2 2 0 0 17 0 8 0 525065049 665948160 20312 33554432000 4194304 4627427 140735588330016 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=650524 CPUtime=0.06 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 3006 0 0 0 5 1 0 0 17 0 8 0 525065049 666136576 20423 33554432000 4194304 4627427 140735588330016 18446744073709551615 4222438 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=650844 CPUtime=0.07 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) S 26718 26720 26192 0 -1 4202560 2566 0 0 0 5 2 0 0 17 0 8 0 525065049 666464256 20437 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341486 0 0 4096 2 18446604447942943104 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=650844 CPUtime=0.06 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 2912 0 0 0 4 2 0 0 17 0 8 0 525065049 666464256 20454 33554432000 4194304 4627427 140735588330016 18446744073709551615 220815933536 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=650844 CPUtime=0.06 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) S 26718 26720 26192 0 -1 4202560 3220 0 0 0 5 1 0 0 17 0 8 0 525065049 666464256 20469 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341486 0 0 4096 2 18446604447942943104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 650340

[startup+0.684968 s]
/proc/loadavg: 8.09 8.05 7.92 1/221 26720
/proc/meminfo: memFree=30291896/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=653116 CPUtime=5.24 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 27460 0 0 0 504 20 0 0 18 0 8 0 525065048 668790784 23562 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 163411 24164 368 106 0 158382 0
[pid=26720/tid=26721] ppid=26718 vsize=653908 CPUtime=0.65 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 3591 0 0 0 63 2 0 0 18 0 8 0 525065048 669601792 24527 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=653908 CPUtime=0.67 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 3972 0 0 0 65 2 0 0 18 0 8 0 525065049 669601792 24527 33554432000 4194304 4627427 140735588330016 18446744073709551615 4229090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=653908 CPUtime=0.63 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) D 26718 26720 26192 0 -1 4202560 3423 0 0 0 61 2 0 0 18 0 8 0 525065049 669601792 24527 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=653908 CPUtime=0.66 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) D 26718 26720 26192 0 -1 4202560 3676 0 0 0 65 1 0 0 18 0 8 0 525065049 669601792 24527 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=653908 CPUtime=0.66 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 2884 0 0 0 64 2 0 0 18 0 8 0 525065049 669601792 24528 33554432000 4194304 4627427 140735588330016 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=653908 CPUtime=0.65 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) D 26718 26720 26192 0 -1 4202560 3264 0 0 0 63 2 0 0 18 0 8 0 525065049 669601792 24528 33554432000 4194304 4627427 140735588330016 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=653908 CPUtime=0.66 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 3738 0 0 0 64 2 0 0 18 0 8 0 525065049 669601792 24646 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 653116

[startup+0.71892 s]
/proc/loadavg: 8.09 8.05 7.92 1/221 26720
/proc/meminfo: memFree=30291896/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=654576 CPUtime=5.49 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 29591 0 0 0 528 21 0 0 18 0 8 0 525065048 670285824 25692 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 163678 25906 368 106 0 158649 0
[pid=26720/tid=26721] ppid=26718 vsize=654712 CPUtime=0.68 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 3741 0 0 0 66 2 0 0 18 0 8 0 525065048 670425088 25966 33554432000 4194304 4627427 140735588330016 18446744073709551615 4297761 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=654844 CPUtime=0.69 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 4264 0 0 0 67 2 0 0 18 0 8 0 525065049 670560256 26064 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=654844 CPUtime=0.66 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) D 26718 26720 26192 0 -1 4202560 3594 0 0 0 63 3 0 0 18 0 8 0 525065049 670560256 26064 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=654844 CPUtime=0.68 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) D 26718 26720 26192 0 -1 4202560 4022 0 0 0 67 1 0 0 18 0 8 0 525065049 670560256 26064 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=654844 CPUtime=0.68 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) D 26718 26720 26192 0 -1 4202560 3084 0 0 0 66 2 0 0 18 0 8 0 525065049 670560256 26064 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=654844 CPUtime=0.68 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) D 26718 26720 26192 0 -1 4202560 3455 0 0 0 66 2 0 0 18 0 8 0 525065049 670560256 26064 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=654844 CPUtime=0.69 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) S 26718 26720 26192 0 -1 4202560 3746 0 0 0 67 2 0 0 18 0 8 0 525065049 670560256 26064 33554432000 4194304 4627427 140735588330016 18446744073709551615 220816341486 0 0 4096 2 18446604447942943104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 654576

[startup+1.50872 s]
/proc/loadavg: 8.08 8.05 7.92 9/229 26728
/proc/meminfo: memFree=30022752/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=679352 CPUtime=10.94 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 72093 0 0 0 1054 40 0 0 18 0 8 0 525065048 695656448 67791 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 169838 67791 370 106 0 164809 0
[pid=26720/tid=26721] ppid=26718 vsize=679352 CPUtime=1.35 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 9928 0 0 0 130 5 0 0 18 0 8 0 525065048 695656448 67791 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=679352 CPUtime=1.37 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 9481 0 0 0 133 4 0 0 18 0 8 0 525065049 695656448 67791 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=679352 CPUtime=1.33 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 9724 0 0 0 127 6 0 0 18 0 8 0 525065049 695656448 67791 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=679352 CPUtime=1.36 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 9461 0 0 0 133 3 0 0 18 0 8 0 525065049 695656448 67791 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=679352 CPUtime=1.35 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 9166 0 0 0 130 5 0 0 18 0 8 0 525065049 695656448 67791 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=679352 CPUtime=1.35 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 9606 0 0 0 129 6 0 0 18 0 8 0 525065049 695656448 67791 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=679352 CPUtime=1.39 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 4552 0 0 0 137 2 0 0 18 0 8 0 525065049 695656448 67791 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.94
Current children cumulated vsize (KiB) 679352

[startup+3.10043 s]
/proc/loadavg: 8.08 8.05 7.92 9/229 26728
/proc/meminfo: memFree=29941408/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=662424 CPUtime=23.57 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 101545 0 0 0 2307 50 0 0 19 0 8 0 525065048 678322176 86960 33554432000 4194304 4627427 140735588330016 18446744073709551615 4324759 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 165606 86960 389 106 0 160577 0
[pid=26720/tid=26721] ppid=26718 vsize=662424 CPUtime=2.93 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 13543 0 0 0 286 7 0 0 19 0 8 0 525065048 678322176 86960 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=662424 CPUtime=2.95 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 13954 0 0 0 289 6 0 0 19 0 8 0 525065049 678322176 86961 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308171 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=662424 CPUtime=2.9 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 14007 0 0 0 282 8 0 0 19 0 8 0 525065049 678322176 86961 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=662424 CPUtime=2.95 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 13399 0 0 0 291 4 0 0 19 0 8 0 525065049 678322176 86961 33554432000 4194304 4627427 140735588330016 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=662424 CPUtime=2.93 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 13565 0 0 0 287 6 0 0 19 0 8 0 525065049 678322176 86961 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=662424 CPUtime=2.93 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 13415 0 0 0 286 7 0 0 19 0 8 0 525065049 678322176 86961 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308787 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=662424 CPUtime=2.97 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 5207 0 0 0 295 2 0 0 20 0 8 0 525065049 678322176 86961 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.57
Current children cumulated vsize (KiB) 662424

[startup+6.30084 s]
/proc/loadavg: 8.08 8.05 7.92 9/229 26728
/proc/meminfo: memFree=29917872/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=703156 CPUtime=49.15 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 117535 0 0 0 4862 53 0 0 25 0 8 0 525065048 720031744 93647 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 175789 93647 390 106 0 170760 0
[pid=26720/tid=26721] ppid=26718 vsize=703156 CPUtime=6.13 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 15946 0 0 0 606 7 0 0 25 0 8 0 525065048 720031744 93647 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=703156 CPUtime=6.15 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 16058 0 0 0 609 6 0 0 25 0 8 0 525065049 720031744 93647 33554432000 4194304 4627427 140735588330016 18446744073709551615 4330222 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=703156 CPUtime=6.07 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 16189 0 0 0 599 8 0 0 25 0 8 0 525065049 720031744 93647 33554432000 4194304 4627427 140735588330016 18446744073709551615 4310600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=703156 CPUtime=6.15 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 15309 0 0 0 611 4 0 0 25 0 8 0 525065049 720031744 93647 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=703156 CPUtime=6.13 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 15692 0 0 0 607 6 0 0 25 0 8 0 525065049 720031744 93647 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=703156 CPUtime=6.13 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 15241 0 0 0 606 7 0 0 25 0 8 0 525065049 720031744 93647 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=703156 CPUtime=6.18 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 6568 0 0 0 615 3 0 0 25 0 8 0 525065049 720031744 93647 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0

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

/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 70439 0 0 0 30714 21 0 0 25 0 8 0 525065049 1387900928 245487 33554432000 4194304 4627427 140735588330016 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=1355372 CPUtime=307.33 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 80179 0 0 0 30706 27 0 0 25 0 8 0 525065049 1387900928 245487 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=1355372 CPUtime=307.34 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 84729 0 0 0 30708 26 0 0 25 0 8 0 525065049 1387900928 245487 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=1355372 CPUtime=307.38 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 45439 0 0 0 30724 14 0 0 25 0 8 0 525065049 1387900928 245487 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2456.81
Current children cumulated vsize (KiB) 1355372

[startup+320.301 s]
/proc/loadavg: 8.07 8.04 7.94 9/229 26736
/proc/meminfo: memFree=29284384/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=1371140 CPUtime=2559.14 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 629316 0 0 0 255701 213 0 0 25 0 8 0 525065048 1404047360 252156 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 342785 252156 391 106 0 337756 0
[pid=26720/tid=26721] ppid=26718 vsize=1371140 CPUtime=320.14 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 81593 0 0 0 31986 28 0 0 25 0 8 0 525065048 1404047360 252156 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=1371140 CPUtime=320.12 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 86439 0 0 0 31983 29 0 0 25 0 8 0 525065049 1404047360 252156 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=1371140 CPUtime=318.05 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 77123 0 0 0 31778 27 0 0 25 0 8 0 525065049 1404047360 252156 33554432000 4194304 4627427 140735588330016 18446744073709551615 4299545 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=1371140 CPUtime=320.15 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 70532 0 0 0 31994 21 0 0 25 0 8 0 525065049 1404047360 252156 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=1371140 CPUtime=320.13 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 81023 0 0 0 31985 28 0 0 25 0 8 0 525065049 1404047360 252156 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=1371140 CPUtime=320.14 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 86283 0 0 0 31987 27 0 0 25 0 8 0 525065049 1404047360 252156 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=1371140 CPUtime=320.18 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 45462 0 0 0 32004 14 0 0 25 0 8 0 525065049 1404047360 252156 33554432000 4194304 4627427 140735588330016 18446744073709551615 4332676 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2559.14
Current children cumulated vsize (KiB) 1371140

[startup+326.701 s]
/proc/loadavg: 8.06 8.04 7.94 9/229 26737
/proc/meminfo: memFree=29272340/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=1371460 CPUtime=2610.29 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 633841 0 0 0 260815 214 0 0 25 0 8 0 525065048 1404375040 253556 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 342865 253556 391 106 0 337836 0
[pid=26720/tid=26721] ppid=26718 vsize=1371460 CPUtime=326.53 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 83047 0 0 0 32625 28 0 0 25 0 8 0 525065048 1404375040 253556 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=1371460 CPUtime=326.52 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 86439 0 0 0 32623 29 0 0 25 0 8 0 525065049 1404375040 253556 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=1371460 CPUtime=324.41 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 79299 0 0 0 32414 27 0 0 25 0 8 0 525065049 1404375040 253556 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=1371460 CPUtime=326.55 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 70532 0 0 0 32634 21 0 0 25 0 8 0 525065049 1404375040 253556 33554432000 4194304 4627427 140735588330016 18446744073709551615 4348352 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=1371460 CPUtime=326.53 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 81023 0 0 0 32625 28 0 0 25 0 8 0 525065049 1404375040 253556 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=1371460 CPUtime=326.54 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 86862 0 0 0 32627 27 0 0 25 0 8 0 525065049 1404375040 253556 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=1371460 CPUtime=326.58 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 45462 0 0 0 32644 14 0 0 25 0 8 0 525065049 1404375040 253556 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2610.29
Current children cumulated vsize (KiB) 1371460

[startup+329.901 s]
/proc/loadavg: 8.06 8.04 7.94 9/229 26737
/proc/meminfo: memFree=29274312/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=1371460 CPUtime=2635.88 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 635556 0 0 0 263373 215 0 0 25 0 8 0 525065048 1404375040 255270 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 342865 255270 391 106 0 337836 0
[pid=26720/tid=26721] ppid=26718 vsize=1371460 CPUtime=329.73 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 83371 0 0 0 32945 28 0 0 25 0 8 0 525065048 1404375040 255270 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=1371460 CPUtime=329.72 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 87197 0 0 0 32943 29 0 0 25 0 8 0 525065049 1404375040 255270 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=1371460 CPUtime=327.59 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 79684 0 0 0 32731 28 0 0 25 0 8 0 525065049 1404375040 255270 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=1371460 CPUtime=329.75 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 70532 0 0 0 32954 21 0 0 25 0 8 0 525065049 1404375040 255270 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=1371460 CPUtime=329.73 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 81023 0 0 0 32945 28 0 0 25 0 8 0 525065049 1404375040 255270 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=1371460 CPUtime=329.75 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 87109 0 0 0 32947 28 0 0 25 0 8 0 525065049 1404375040 255270 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=1371460 CPUtime=329.78 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 45463 0 0 0 32964 14 0 0 25 0 8 0 525065049 1404375040 255270 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2635.88
Current children cumulated vsize (KiB) 1371460

[startup+331.508 s]
/proc/loadavg: 8.05 8.04 7.94 9/229 26737
/proc/meminfo: memFree=29277412/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=1371460 CPUtime=2648.71 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 636115 0 0 0 264656 215 0 0 25 0 8 0 525065048 1404375040 253400 33554432000 4194304 4627427 140735588330016 18446744073709551615 4322168 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 342865 253401 391 106 0 337836 0
[pid=26720/tid=26721] ppid=26718 vsize=1371460 CPUtime=331.34 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 83524 0 0 0 33106 28 0 0 25 0 8 0 525065048 1404375040 253401 33554432000 4194304 4627427 140735588330016 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=1371460 CPUtime=331.32 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 87387 0 0 0 33103 29 0 0 25 0 8 0 525065049 1404375040 253401 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=1371460 CPUtime=329.18 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 79837 0 0 0 32890 28 0 0 25 0 8 0 525065049 1404375040 253401 33554432000 4194304 4627427 140735588330016 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=1371460 CPUtime=331.36 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 70532 0 0 0 33115 21 0 0 25 0 8 0 525065049 1404375040 253401 33554432000 4194304 4627427 140735588330016 18446744073709551615 4333333 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=1371460 CPUtime=331.34 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 81023 0 0 0 33106 28 0 0 25 0 8 0 525065049 1404375040 253401 33554432000 4194304 4627427 140735588330016 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=1371460 CPUtime=331.35 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 87173 0 0 0 33107 28 0 0 25 0 8 0 525065049 1404375040 253401 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=1371460 CPUtime=331.39 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 45463 0 0 0 33125 14 0 0 25 0 8 0 525065049 1404375040 253401 33554432000 4194304 4627427 140735588330016 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2648.71
Current children cumulated vsize (KiB) 1371460

[startup+333.101 s]
/proc/loadavg: 8.05 8.04 7.94 9/229 26737
/proc/meminfo: memFree=29276296/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=1371460 CPUtime=2661.45 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 636564 0 0 0 265929 216 0 0 25 0 8 0 525065048 1404375040 253849 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308760 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 342865 253849 391 106 0 337836 0
[pid=26720/tid=26721] ppid=26718 vsize=1371460 CPUtime=332.93 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 83666 0 0 0 33265 28 0 0 25 0 8 0 525065048 1404375040 253849 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=1371460 CPUtime=332.93 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 87554 0 0 0 33263 30 0 0 25 0 8 0 525065049 1404375040 253849 33554432000 4194304 4627427 140735588330016 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=1371460 CPUtime=330.77 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 79976 0 0 0 33049 28 0 0 25 0 8 0 525065049 1404375040 253849 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=1371460 CPUtime=332.95 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 70532 0 0 0 33274 21 0 0 25 0 8 0 525065049 1404375040 253849 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=1371460 CPUtime=332.93 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 81023 0 0 0 33265 28 0 0 25 0 8 0 525065049 1404375040 253849 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=1371460 CPUtime=332.94 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 87173 0 0 0 33266 28 0 0 25 0 8 0 525065049 1404375040 253849 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=1371460 CPUtime=332.98 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 45463 0 0 0 33284 14 0 0 25 0 8 0 525065049 1404375040 253849 33554432000 4194304 4627427 140735588330016 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2661.45
Current children cumulated vsize (KiB) 1371460

[startup+333.501 s]
/proc/loadavg: 8.05 8.04 7.94 9/229 26737
/proc/meminfo: memFree=29276296/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=1371460 CPUtime=2664.65 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 636659 0 0 0 266249 216 0 0 25 0 8 0 525065048 1404375040 253944 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309979 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 342865 253944 391 106 0 337836 0
[pid=26720/tid=26721] ppid=26718 vsize=1371460 CPUtime=333.33 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 83700 0 0 0 33305 28 0 0 25 0 8 0 525065048 1404375040 253944 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=1371460 CPUtime=333.33 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 87587 0 0 0 33303 30 0 0 25 0 8 0 525065049 1404375040 253944 33554432000 4194304 4627427 140735588330016 18446744073709551615 4324107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=1371460 CPUtime=331.17 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 80004 0 0 0 33089 28 0 0 25 0 8 0 525065049 1404375040 253944 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=1371460 CPUtime=333.35 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 70532 0 0 0 33314 21 0 0 25 0 8 0 525065049 1404375040 253944 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=1371460 CPUtime=333.33 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 81023 0 0 0 33305 28 0 0 25 0 8 0 525065049 1404375040 253944 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=1371460 CPUtime=333.34 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 87173 0 0 0 33306 28 0 0 25 0 8 0 525065049 1404375040 253944 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=1371460 CPUtime=333.38 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 45463 0 0 0 33324 14 0 0 25 0 8 0 525065049 1404375040 253944 33554432000 4194304 4627427 140735588330016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2664.65
Current children cumulated vsize (KiB) 1371460

[startup+333.708 s]
/proc/loadavg: 8.05 8.04 7.94 9/229 26737
/proc/meminfo: memFree=29275056/32951124 swapFree=67105204/67111528
[pid=26720] ppid=26718 vsize=1371460 CPUtime=2666.31 cores=0-7
/proc/26720/stat : 26720 (strangenight2-m) R 26718 26720 26192 0 -1 4202496 636689 0 0 0 266415 216 0 0 25 0 8 0 525065048 1404375040 253974 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386384921 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26720/statm: 342865 253974 391 106 0 337836 0
[pid=26720/tid=26721] ppid=26718 vsize=1371460 CPUtime=333.54 cores=0-7
/proc/26720/task/26721/stat : 26721 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 83712 0 0 0 33326 28 0 0 25 0 8 0 525065048 1404375040 253974 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386384921 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26720/tid=26722] ppid=26718 vsize=1371460 CPUtime=333.53 cores=0-7
/proc/26720/task/26722/stat : 26722 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 87595 0 0 0 33323 30 0 0 25 0 8 0 525065049 1404375040 253974 33554432000 4194304 4627427 140735588330016 18446744073709551615 4219962 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26720/tid=26723] ppid=26718 vsize=1371460 CPUtime=331.38 cores=0-7
/proc/26720/task/26723/stat : 26723 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 80014 0 0 0 33109 29 0 0 25 0 8 0 525065049 1404375040 253974 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386384915 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26720/tid=26724] ppid=26718 vsize=1371460 CPUtime=333.56 cores=0-7
/proc/26720/task/26724/stat : 26724 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 70532 0 0 0 33335 21 0 0 25 0 8 0 525065049 1404375040 253974 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386384921 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26720/tid=26725] ppid=26718 vsize=1371460 CPUtime=333.54 cores=0-7
/proc/26720/task/26725/stat : 26725 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 81023 0 0 0 33326 28 0 0 25 0 8 0 525065049 1404375040 253974 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386384919 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26720/tid=26726] ppid=26718 vsize=1371460 CPUtime=333.55 cores=0-7
/proc/26720/task/26726/stat : 26726 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 87173 0 0 0 33327 28 0 0 25 0 8 0 525065049 1404375040 253974 33554432000 4194304 4627427 140735588330016 18446744073709551615 4261526 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26720/tid=26727] ppid=26718 vsize=1371460 CPUtime=333.59 cores=0-7
/proc/26720/task/26727/stat : 26727 (strangenight2-m) R 26718 26720 26192 0 -1 4202560 45463 0 0 0 33345 14 0 0 25 0 8 0 525065049 1404375040 253974 33554432000 4194304 4627427 140735588330016 18446744073709551615 47837386384921 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2666.31
Current children cumulated vsize (KiB) 1371460

Child status: 20
Real time (s): 333.778
CPU time (s): 2666.52
CPU user time (s): 2664.3
CPU system time (s): 2.21466
CPU usage (%): 798.89
Max. virtual memory (cumulated for all children) (KiB): 1426772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2664.3
system time used= 2.21466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 636692
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= 42287
involuntary context switches= 11673

runsolver used 0.666898 second user time and 1.50977 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-02 10:54:51
IDJOB=3321193
IDBENCH=83125
IDSOLVER=1709
FILE ID=node147/3321193-1304326491
RUNJOBID= node147-1304322183-26206
PBS_JOBID= 13176779
Free space on /tmp= 73552 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321193-1304326491/watcher-3321193-1304326491 -o /tmp/evaluation-result-3321193-1304326491/solver-3321193-1304326491 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321193-1304326491.cnf

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

MD5SUM BENCH= 7af4cc1b94644f101ccf5f2373fdbfea
RANDOM SEED=2071299633

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30292052 kB
Buffers:        185216 kB
Cached:         841076 kB
SwapCached:       3152 kB
Active:        1366936 kB
Inactive:      1003808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30292052 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:            7012 kB
Writeback:           0 kB
AnonPages:     1343324 kB
Mapped:          18984 kB
Slab:           213284 kB
PageTables:      12224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 24615016 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73544 MiB
End job on node147 at 2011-05-02 11:00:25