Trace number 3400818

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 160003 5016.32

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom16.cnf
MD5SUM73a2c2d9e5c062e561bfdb7c82071a99
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables29254
Number of clauses97456
Sum of the clauses size247986
Maximum clause length977
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 250701
Number of clauses of size 346235
Number of clauses of size 4135
Number of clauses of size 514
Number of clauses of size over 5370

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400818-1306831667.cnf'
0.00/0.09	c -- header says num vars:          29254
0.00/0.09	c -- header says num clauses:       97456
14.30/0.88	c -- clauses added:            0 learnts,        97456 normals,            0 xors
14.30/0.88	c -- vars added      29254
14.30/0.88	c Parsing time:  0.15 s
14.30/0.88	c  N st     0         0     29254     46008     45567         0    234144         0   no data   no data
64.08/2.43	c asymm  cl-useful: 8/46008/46008 lits-rem:88 time: 1.55
195.04/15.39	c Flit:    68 Blit:   2690 bXBeca:    0 bXProp: 4772 Bins:      0 BRemL:      0 BRemN:      0 P: 27.1M T:  3.32
195.04/15.40	c Cleaning up after failed var search:     0.01 s 
198.76/15.46	c Replacing     4772 vars Replaced   130585 lits Time:     0.03 s 
202.51/15.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
202.51/15.68	c bin-w-bin subsume rem          653 bins  time:  0.00 s
202.51/15.70	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.01 s
204.17/15.74	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  20256 time:  0.03 s
204.17/15.77	c Removed useless bin:      41  fixed:     0  props:   2.86M  time:  0.04 s
215.83/16.34	c lits-rem:         0  cl-subs:      195  v-elim:   6752  v-fix:    0  time:  0.20 s
218.00/16.41	c Finding binary XORs  T:     0.07 s  found:      16
218.00/16.42	c Replacing       16 vars Replaced      199 lits Time:     0.00 s 
218.00/16.49	c Finding non-binary XORs:     0.03 s (found:    6344, avg size: 3.0)
218.00/16.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1008 locsubst:  4050 time:   0.02
218.00/16.49	c Replacing     2025 vars Replaced    12150 lits Time:     0.01 s 
218.00/16.50	c calculated reachability. Time: 0.01
218.00/16.51	c Calc default polars -  time:   0.00 s pos:    1425 undec:   18840 neg:    8989
218.00/16.51	c =========================================================================================
218.00/16.51	c types(t): F = full restart, N = normal restart
218.00/16.51	c types(t): S = simplification begin/end, E = solution found
218.00/16.51	c restart types(rt): st = static, dy = dynamic
218.00/16.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
218.00/16.51	c  B st     0         0     10455     17068     14008         0    112497         0   no data   no data
238.58/17.10	c Decided on static restart strategy
255.18/17.66	c  N st     8      4918     10452     17068     14086      4761    112497    227052   no data   no data
290.32/18.80	c  N st    10     11303     10421     17068     15058      7354    112497    249706   no data   no data
340.82/20.31	c  N st    11     17047     10421     17068     15071      7098    112497    285410   no data   no data
340.82/20.37	c Finding binary XORs  T:     0.05 s  found:       3
404.73/22.31	c  F st    12     25000     10419     17060     15384     14887    111625    927583   no data   no data
404.73/22.32	c Replacing        3 vars Replaced      999 lits Time:     0.01 s 
404.73/22.34	c  N st    12     25000     10416     17060     15373     14887    111613    927573   no data   no data
434.13/23.28	c Decided on static restart strategy
434.13/23.28	c  N st    18     30000     10414     17060     15749     12147    111613    467929   no data   no data
434.13/23.28	c  S st    18     30000     10414     17060     15749     12147    111613    467929   no data   no data
439.89/23.46	c  S st    18     30504     10414     17060     15786     12611    111613    475695   no data   no data
439.89/23.48	c x-sub:  2025 x-cut:      0 vfix:      0 v-elim:    503 locsubst:     0 time:   0.02
469.29/24.39	c Flit:    67 Blit:      0 bXBeca:    0 bXProp:    7 Bins: 126185 BRemL:  83202 BRemN:     10 P:  8.3M T:  0.90
471.84/24.41	c Replacing        7 vars Replaced      566 lits Time:     0.01 s 
471.84/24.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
471.84/24.43	c bin-w-bin subsume rem          378 bins  time:  0.01 s
471.84/24.44	c subs with bin:      692  lits-rem:       418  v-fix:    0  time:  0.02 s
471.84/24.46	c Subs w/ non-existent bins:      0 l-rem:      7 v-fix:     0 done:   9837 time:  0.02 s
471.84/24.47	c Removed useless bin:      49  fixed:     0  props:   0.32M  time:  0.01 s
475.04/24.53	c lits-rem:       212  cl-subs:      186  v-elim:   1620  v-fix:    0  time:  0.05 s
475.04/24.55	c subs with bin:       57  lits-rem:       279  v-fix:    0  time:  0.01 s
475.04/24.58	c lits-rem:        98  cl-subs:      138  v-elim:      0  v-fix:    0  time:  0.02 s
484.62/24.85	c asymm  cl-useful: 212/16653/16653 lits-rem:855 time: 0.28
484.62/24.86	c calculated reachability. Time: 0.01
484.62/24.86	c  N st    18     30504      8217     16653     47047      3518     98282    126003   no data   no data
487.82/24.91	c Finding binary XORs  T:     0.05 s  found:       0
526.18/26.12	c  N st    20     37616      8217     16653     47127      5756     98282    181298   no data   no data
571.37/27.60	c  N st    21     44015      8215     16653     47127     11985     98282    502814   no data   no data
604.56/28.62	c Finding binary XORs  T:     0.04 s  found:       1
616.58/29.05	c  S st    22     45758      8214     16651    131370     13702     98179    845998   no data   no data
622.97/29.24	c  S st    22     46262      8214     16651    131376     14197     98179    857086   no data   no data
622.97/29.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    252 locsubst:     0 time:   0.02
642.78/29.84	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1712 BRemL:  64348 BRemN:    108 P:  5.0M T:  0.58
642.78/29.86	c Replacing        1 vars Replaced      126 lits Time:     0.02 s 
642.78/29.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
642.78/29.88	c bin-w-bin subsume rem        14187 bins  time:  0.01 s
642.78/29.90	c subs with bin:       45  lits-rem:        28  v-fix:    0  time:  0.01 s
645.33/29.91	c Subs w/ non-existent bins:      0 l-rem:     42 v-fix:     0 done:   7957 time:  0.01 s
645.33/29.92	c Removed useless bin:       1  fixed:     0  props:   0.22M  time:  0.01 s
645.33/29.94	c lits-rem:         0  cl-subs:       45  v-elim:     31  v-fix:    0  time:  0.02 s
648.53/30.04	c subs with bin:        4  lits-rem:        67  v-fix:    0  time:  0.08 s
651.73/30.17	c lits-rem:       383  cl-subs:      664  v-elim:      0  v-fix:    0  time:  0.12 s
651.73/30.18	c vivif2 --  cl tried    16575 cl shrink      139 lits rem        326 time: 0.01
651.73/30.20	c vivif2 --  cl tried     8827 cl shrink     1159 lits rem       3175 time: 0.02
664.52/30.51	c asymm  cl-useful: 66/16538/16538 lits-rem:164 time: 0.32
664.52/30.52	c calculated reachability. Time: 0.00
664.52/30.52	c  N st    22     46262      7926     16538     42687      8826     96639    296545   no data   no data
776.40/34.02	c  N st    23     60659      7926     16538     42689     17277     96639   1396435   no data   no data
776.40/34.08	c Finding binary XORs  T:     0.04 s  found:       2
846.73/36.26	c  N st    24     69393      7902     16490     34026     16883     96104    953010   no data   no data
846.73/36.26	c  S st    24     69393      7902     16490     34026     16883     96104    953010   no data   no data
853.74/36.48	c  S st    24     69895      7902     16490     35104     17383     96104    967073   no data   no data
853.74/36.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    126 locsubst:     0 time:   0.02
865.90/36.83	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:   23 Bins:   1594 BRemL:   4157 BRemN:      1 P:  4.4M T:  0.33
865.90/36.85	c Replacing       26 vars Replaced      714 lits Time:     0.01 s 
865.90/36.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
865.90/36.86	c bin-w-bin subsume rem          607 bins  time:  0.00 s
865.90/36.87	c subs with bin:       89  lits-rem:        63  v-fix:    0  time:  0.01 s
865.90/36.89	c Subs w/ non-existent bins:      4 l-rem:      2 v-fix:     0 done:   7747 time:  0.01 s
865.90/36.90	c Removed useless bin:       3  fixed:     0  props:   0.20M  time:  0.01 s
869.09/36.92	c lits-rem:         3  cl-subs:       86  v-elim:     55  v-fix:    0  time:  0.02 s
872.29/37.00	c subs with bin:       12  lits-rem:       586  v-fix:    0  time:  0.06 s
872.29/37.06	c lits-rem:       159  cl-subs:      250  v-elim:      0  v-fix:    0  time:  0.05 s
872.29/37.06	c vivif2 --  cl tried    16270 cl shrink       50 lits rem         65 time: 0.01
872.29/37.08	c vivif2 --  cl tried     9576 cl shrink     1045 lits rem       2341 time: 0.01
881.88/37.36	c asymm  cl-useful: 319/16269/16269 lits-rem:849 time: 0.28
881.88/37.37	c calculated reachability. Time: 0.00
881.88/37.37	c  N st    24     69895      7692     16051     31287      9575     94525    259777   no data   no data
888.90/37.54	c Finding binary XORs  T:     0.04 s  found:      80
888.90/37.55	c Replacing       80 vars Replaced     1262 lits Time:     0.01 s 
994.38/40.83	c  F st    25     87500      7611     16051     31113     19338     94335    593426   no data   no data
994.38/40.85	c  N st    25     87500      7611     16051     31113     19338     94335    593426   no data   no data
994.38/40.90	c Finding binary XORs  T:     0.04 s  found:       1
1032.07/42.07	c Decided on static restart strategy
1048.06/42.59	c  N st    32     95541      7604     16048     32332     16468     94256    533678   no data   no data
1111.98/44.54	c  N st    34    104844      7602     16048     33101     25544     94256   1303540   no data   no data
1111.98/44.54	c  S st    34    104844      7602     16048     33101     25544     94256   1303540   no data   no data
1115.19/44.60	c Finding binary XORs  T:     0.04 s  found:       2
1121.58/44.87	c  S st    34    105345      7599     16040     35493     26024     93952   1321090   no data   no data
1121.58/44.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1137.55/45.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    195 BRemL:   4461 BRemN:      1 P:  6.5M T:  0.45
1137.55/45.35	c Replacing        4 vars Replaced      502 lits Time:     0.01 s 
1137.55/45.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1137.55/45.37	c bin-w-bin subsume rem          840 bins  time:  0.00 s
1137.55/45.38	c subs with bin:      115  lits-rem:       126  v-fix:    0  time:  0.01 s
1137.55/45.40	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:   7596 time:  0.02 s
1140.75/45.40	c Removed useless bin:       3  fixed:     0  props:   0.20M  time:  0.01 s
1140.75/45.44	c lits-rem:        12  cl-subs:      177  v-elim:     42  v-fix:    0  time:  0.03 s
1163.14/46.21	c subs with bin:       11  lits-rem:       571  v-fix:    0  time:  0.68 s
1188.70/46.99	c lits-rem:       976  cl-subs:      899  v-elim:      0  v-fix:    0  time:  0.77 s
1188.70/46.99	c vivif2 --  cl tried    15715 cl shrink        2 lits rem          3 time: 0.01
1191.90/47.07	c vivif2 --  cl tried    24385 cl shrink     5326 lits rem      23938 time: 0.08
1205.32/47.48	c asymm  cl-useful: 54/15714/15714 lits-rem:102 time: 0.41
1205.32/47.49	c calculated reachability. Time: 0.00
1205.32/47.49	c  N st    34    105345      7554     15704     28750     24385     92479   1097304   no data   no data
1207.87/47.53	c Finding binary XORs  T:     0.04 s  found:       5
1278.20/49.73	c  N st    35    114945      7554     15704     28751     21231     92479    839355   no data   no data
1406.07/53.70	c  N st    36    129342      7541     15704     29419     20804     92479    701158   no data   no data
1406.07/53.75	c Finding binary XORs  T:     0.04 s  found:      18
1684.17/62.42	c  N st    37    150939      7536     15684     27093     26213     91979   2117267   no data   no data
1684.17/62.48	c Finding binary XORs  T:     0.04 s  found:       6
1764.68/64.97	c  S st    38    158017      7531     15672     27549     33241     91900   2878716   no data   no data
1773.66/65.26	c  S st    38    158520      7530     15672     27627     33741     91900   2893088   no data   no data
1773.66/65.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1789.65/65.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1069 BRemL:   4292 BRemN:      5 P:  6.7M T:  0.44
1789.65/65.78	c Replacing       29 vars Replaced     3211 lits Time:     0.05 s 
1789.65/65.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1792.85/65.80	c bin-w-bin subsume rem          699 bins  time:  0.00 s
1792.85/65.81	c subs with bin:       69  lits-rem:        78  v-fix:    0  time:  0.01 s
1792.85/65.82	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   7501 time:  0.01 s
1792.85/65.83	c Removed useless bin:       3  fixed:     0  props:   0.19M  time:  0.01 s
1792.85/65.88	c lits-rem:         8  cl-subs:       54  v-elim:     38  v-fix:    0  time:  0.05 s
1853.55/67.73	c subs with bin:       24  lits-rem:      5439  v-fix:    0  time:  1.66 s
1990.98/72.07	c lits-rem:       977  cl-subs:      645  v-elim:      0  v-fix:    0  time:  4.33 s
1990.98/72.07	c vivif2 --  cl tried    15501 cl shrink        1 lits rem          1 time: 0.01
1997.37/72.29	c vivif2 --  cl tried    31557 cl shrink    10069 lits rem     162602 time: 0.21
2013.99/72.77	c asymm  cl-useful: 32/15501/15501 lits-rem:50 time: 0.48
2013.99/72.77	c calculated reachability. Time: 0.00
2013.99/72.77	c  N st    38    158520      7463     15499     22829     31557     91171   2429746   no data   no data
2016.55/72.81	c Finding binary XORs  T:     0.04 s  found:       0
2588.75/90.71	c  N st    39    207108      7463     15499     22829     25943     91171   1123812   no data   no data
2588.75/90.77	c Finding binary XORs  T:     0.04 s  found:      11
2949.92/102.03	c  N st    40    237781      7455     15479     22677     35577     90941   1522538   no data   no data
2949.92/102.03	c  S st    40    237781      7455     15479     22677     35577     90941   1522538   no data   no data
2956.32/102.29	c  S st    40    238282      7453     15479     22940     36074     90941   1536623   no data   no data
2956.32/102.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2972.29/102.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:    173 BRemL:   2592 BRemN:      2 P:  6.8M T:  0.39
2972.29/102.75	c Replacing       21 vars Replaced     3240 lits Time:     0.05 s 
2972.29/102.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2972.29/102.77	c bin-w-bin subsume rem          353 bins  time:  0.00 s
2972.29/102.77	c subs with bin:       52  lits-rem:        52  v-fix:    0  time:  0.01 s
2972.29/102.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7432 time:  0.01 s
2972.29/102.79	c Removed useless bin:       2  fixed:     0  props:   0.19M  time:  0.01 s
2975.48/102.83	c lits-rem:         0  cl-subs:       40  v-elim:     14  v-fix:    0  time:  0.04 s
2991.48/103.34	c subs with bin:       43  lits-rem:      1853  v-fix:    0  time:  0.41 s
3093.76/106.59	c lits-rem:      2726  cl-subs:     3690  v-elim:      0  v-fix:    0  time:  3.24 s
3093.76/106.59	c vivif2 --  cl tried    15358 cl shrink        0 lits rem          0 time: 0.00
3096.96/106.69	c vivif2 --  cl tried    30526 cl shrink     6588 lits rem      26465 time: 0.09
3112.94/107.11	c asymm  cl-useful: 34/15358/15358 lits-rem:44 time: 0.42
3112.94/107.12	c calculated reachability. Time: 0.00
3112.94/107.12	c  N st    40    238282      7418     15358     19606     30526     90401   1182809   no data   no data
3112.94/107.16	c Finding binary XORs  T:     0.04 s  found:       0
3874.31/130.99	c  F st    41    306250      7418     15358     19607     31794     90401   1571516   no data   no data
3874.31/131.00	c  N st    41    306250      7418     15358     19607     31794     90401   1571516   no data   no data
3877.51/131.07	c Finding binary XORs  T:     0.04 s  found:       9
3921.63/132.46	c Decided on static restart strategy
4129.41/138.92	c  N st    51    334555      7416     15356     20815     35699     90372   1456619   no data   no data
4305.22/144.40	c  N st    53    357423      7415     15356     20823     33392     90372   1071470   no data   no data
4305.22/144.40	c  S st    53    357423      7415     15356     20823     33392     90372   1071470   no data   no data
4311.61/144.67	c  S st    53    357925      7415     15356     20825     33892     90372   1083968   no data   no data
4311.61/144.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4324.40/145.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     29 BRemL:   1839 BRemN:      2 P:  6.1M T:  0.37
4324.40/145.09	c Replacing       10 vars Replaced      590 lits Time:     0.03 s 
4327.60/145.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4327.60/145.11	c bin-w-bin subsume rem          257 bins  time:  0.00 s
4327.60/145.11	c subs with bin:       22  lits-rem:        19  v-fix:    0  time:  0.01 s
4327.60/145.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7405 time:  0.01 s
4327.60/145.14	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4327.60/145.17	c lits-rem:         4  cl-subs:       15  v-elim:      5  v-fix:    0  time:  0.03 s
4340.38/145.57	c subs with bin:        6  lits-rem:       388  v-fix:    0  time:  0.33 s
4362.76/146.29	c lits-rem:      1393  cl-subs:     1217  v-elim:      0  v-fix:    0  time:  0.72 s
4362.76/146.30	c vivif2 --  cl tried    15308 cl shrink        0 lits rem          0 time: 0.01
4366.58/146.37	c vivif2 --  cl tried    32532 cl shrink     5013 lits rem      26492 time: 0.07
4381.94/146.80	c asymm  cl-useful: 18/15308/15308 lits-rem:36 time: 0.43
4381.94/146.81	c calculated reachability. Time: 0.00
4381.94/146.81	c  N st    53    357925      7400     15308     18680     32531     90079   1005285   no data   no data
4781.50/159.32	c  N st    54    390317      7400     15308     18680     38484     90079   1465588   no data   no data
4781.50/159.38	c Finding binary XORs  T:     0.04 s  found:       0
5391.97/178.44	c  N st    55    438905      7398     15306     18593     30685     90014    905236   no data   no data
6168.71/202.72	c  N st    56    511787      7397     15306     18679     44103     90014   1983334   no data   no data
6168.71/202.78	c Finding binary XORs  T:     0.04 s  found:       2
6446.77/211.49	c  N st    57    536888      7397     15305     18720     37580     89950   1187180   no data   no data
6446.77/211.49	c  S st    57    536888      7397     15305     18720     37580     89950   1187180   no data   no data
6456.36/211.78	c  S st    57    537389      7397     15305     18722     38079     89950   1199770   no data   no data
6459.56/211.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
6469.16/212.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     11 BRemL:    184 BRemN:      0 P:  6.5M T:  0.39
6472.36/212.21	c Replacing        2 vars Replaced       57 lits Time:     0.01 s 
6472.36/212.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6472.36/212.22	c bin-w-bin subsume rem           30 bins  time:  0.00 s
6472.36/212.23	c subs with bin:       10  lits-rem:         6  v-fix:    0  time:  0.01 s
6472.36/212.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7395 time:  0.02 s
6472.36/212.26	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
6472.36/212.30	c lits-rem:         0  cl-subs:        9  v-elim:      1  v-fix:    0  time:  0.04 s
6488.32/212.74	c subs with bin:        5  lits-rem:       211  v-fix:    0  time:  0.36 s
6511.31/213.43	c lits-rem:      1706  cl-subs:      547  v-elim:      0  v-fix:    0  time:  0.69 s
6511.31/213.44	c vivif2 --  cl tried    15287 cl shrink        0 lits rem          0 time: 0.01
6511.31/213.52	c vivif2 --  cl tried    37270 cl shrink     4826 lits rem      25155 time: 0.08
6529.88/214.03	c asymm  cl-useful: 41/12644/15287 lits-rem:45 time: 0.51
6529.88/214.04	c calculated reachability. Time: 0.00
6529.88/214.04	c  N st    57    537389      7394     15287     18428     37270     89843   1132541   no data   no data
8905.48/288.32	c  N st    58    701374      7394     15287     18428     64180     89843   2713209   no data   no data
10628.29/342.27	c  N st    59    806085      7393     15287     18512     55782     89843   2571117   no data   no data
10628.29/342.27	c  S st    59    806085      7393     15287     18512     55782     89843   2571117   no data   no data
10630.85/342.33	c Finding binary XORs  T:     0.04 s  found:       1
10643.64/342.73	c  S st    59    806588      7392     15285     18681     56277     89810   2586818   no data   no data
10643.64/342.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
10660.25/343.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:     21 BRemL:    305 BRemN:      0 P:  8.2M T:  0.49
10660.25/343.26	c Replacing        6 vars Replaced      779 lits Time:     0.02 s 
10660.25/343.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10660.25/343.28	c bin-w-bin subsume rem           55 bins  time:  0.00 s
10660.25/343.29	c subs with bin:       18  lits-rem:         8  v-fix:    0  time:  0.01 s
10660.25/343.30	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   7386 time:  0.01 s
10660.25/343.31	c Removed useless bin:       3  fixed:     0  props:   0.19M  time:  0.01 s
10663.45/343.36	c lits-rem:         0  cl-subs:       15  v-elim:      6  v-fix:    0  time:  0.05 s
10701.17/344.57	c subs with bin:       13  lits-rem:      1760  v-fix:    0  time:  1.04 s
10960.07/352.62	c lits-rem:      3696  cl-subs:     2273  v-elim:      0  v-fix:    0  time:  8.03 s
10960.07/352.62	c vivif2 --  cl tried    15236 cl shrink        1 lits rem          1 time: 0.01
10966.47/352.82	c vivif2 --  cl tried    53349 cl shrink    12150 lits rem      85522 time: 0.19
10969.67/352.93	c asymm  cl-useful: 0/2592/15236 lits-rem:0 time: 0.11
10969.67/352.94	c calculated reachability. Time: 0.00
10969.67/352.94	c  N st    59    806588      7380     15236     18057     53349     89640   2326947   no data   no data
14636.56/467.67	c  F st    60   1071878      7380     15236     18058     66451     89640   2632317   no data   no data
14636.56/467.68	c  N st    60   1071878      7380     15236     18058     66451     89640   2632317   no data   no data
14639.14/467.75	c Finding binary XORs  T:     0.04 s  found:       5
14703.69/469.77	c Decided on static restart strategy
15016.32/479.56	c  N st    70   1100186      7377     15233     18243     49853     89574   1435646   no data   no data
15543.71/496.09	c  N st    72   1136178      7376     15233     18275     85048     89574   3609596   no data   no data
16043.00/511.70	c  N st    73   1168572      7376     15233     18291     71623     89574   2886190   no data   no data
16787.11/534.98	c  N st    74   1209882      7376     15233     18333     65384     89574   2702944   no data   no data
16787.11/534.98	c  S st    74   1209882      7376     15233     18333     65384     89574   2702944   no data   no data
16790.30/535.05	c Finding binary XORs  T:     0.04 s  found:       0
16803.10/535.47	c  S st    74   1210390      7376     15232     18330     65822     89523   2714705   no data   no data
16803.10/535.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
16822.26/536.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     29 BRemL:    455 BRemN:      0 P:  8.8M T:  0.53
16822.26/536.05	c Replacing        5 vars Replaced      958 lits Time:     0.02 s 
16822.26/536.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16822.26/536.07	c bin-w-bin subsume rem           44 bins  time:  0.00 s
16822.26/536.08	c subs with bin:       15  lits-rem:         7  v-fix:    0  time:  0.01 s
16822.26/536.09	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:   7371 time:  0.02 s
16825.46/536.10	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
16825.46/536.16	c lits-rem:         2  cl-subs:        7  v-elim:      3  v-fix:    0  time:  0.06 s
16867.02/537.42	c subs with bin:       43  lits-rem:      2342  v-fix:    0  time:  1.08 s
17116.34/545.26	c lits-rem:      5916  cl-subs:     2797  v-elim:      0  v-fix:    0  time:  7.83 s
17116.34/545.26	c vivif2 --  cl tried    15202 cl shrink        0 lits rem          0 time: 0.01
17122.74/545.48	c vivif2 --  cl tried    62323 cl shrink    12548 lits rem      80403 time: 0.22
17141.91/546.08	c asymm  cl-useful: 25/9214/15202 lits-rem:28 time: 0.59
17141.91/546.09	c calculated reachability. Time: 0.00
17141.91/546.09	c  N st    74   1210390      7368     15202     17856     62323     89374   2473261   no data   no data
18571.30/590.75	c  N st    75   1283273      7368     15202     17856     86403     89374   3883373   no data   no data
18574.50/590.83	c Finding binary XORs  T:     0.04 s  found:       1
20789.64/660.16	c  N st    76   1392598      7366     15200     17721     95411     89348   4407680   no data   no data
23956.61/759.26	c  N st    77   1556582      7366     15200     17796    101288     89348   5067227   no data   no data
23956.61/759.30	c Finding binary XORs  T:     0.04 s  found:       2
27277.62/863.20	c  N st    78   1710391      7366     15200     17919     88785     89348   3763651   no data   no data
27277.62/863.20	c  S st    78   1710391      7366     15200     17919     88785     89348   3763651   no data   no data
27299.98/863.84	c  S st    78   1710893      7365     15200     17975     89284     89348   3776037   no data   no data
27299.98/863.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
27322.37/864.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     12 BRemL:    229 BRemN:      0 P: 11.4M T:  0.72
27326.16/864.66	c Replacing        3 vars Replaced     1230 lits Time:     0.08 s 
27326.16/864.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27326.16/864.68	c bin-w-bin subsume rem           27 bins  time:  0.00 s
27326.16/864.69	c subs with bin:       12  lits-rem:         8  v-fix:    0  time:  0.01 s
27326.16/864.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7362 time:  0.02 s
27326.16/864.71	c Removed useless bin:       2  fixed:     0  props:   0.19M  time:  0.01 s
27329.36/864.79	c lits-rem:         0  cl-subs:       11  v-elim:      1  v-fix:    0  time:  0.08 s
27392.66/866.73	c subs with bin:      370  lits-rem:      1890  v-fix:    0  time:  1.68 s
27696.33/876.21	c lits-rem:      4296  cl-subs:     2291  v-elim:      0  v-fix:    0  time:  9.47 s
27696.33/876.22	c vivif2 --  cl tried    15173 cl shrink        0 lits rem          0 time: 0.01
27705.93/876.58	c vivif2 --  cl tried    85553 cl shrink    25667 lits rem     221504 time: 0.36
27721.90/877.09	c asymm  cl-useful: 0/5959/15173 lits-rem:0 time: 0.50
27725.10/877.10	c calculated reachability. Time: 0.00
27725.10/877.10	c  N st    78   1710893      7361     15173     17689     85553     89192   3348339   no data   no data
36563.21/1153.61	c  N st    79   2079857      7361     15173     17689     92923     89192   3972749   no data   no data
36563.21/1153.69	c Finding binary XORs  T:     0.04 s  found:       2
39673.32/1250.98	c  N st    80   2210893      7358     15170     17727     96545     89120   3909121   no data   no data
39673.32/1250.98	c  S st    80   2210893      7358     15170     17727     96545     89120   3909121   no data   no data
39698.91/1251.73	c  S st    80   2211398      7358     15170     17828     97047     89120   3924205   no data   no data
39698.91/1251.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
39724.47/1252.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:     40 BRemL:    134 BRemN:      0 P: 13.5M T:  0.75
39727.67/1252.69	c Replacing        5 vars Replaced    32335 lits Time:     0.18 s 
39730.88/1252.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39730.88/1252.71	c bin-w-bin subsume rem           42 bins  time:  0.00 s
39730.88/1252.72	c subs with bin:       16  lits-rem:         8  v-fix:    0  time:  0.01 s
39730.88/1252.73	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   7353 time:  0.02 s
39730.88/1252.74	c Removed useless bin:       2  fixed:     0  props:   0.19M  time:  0.01 s
39734.07/1252.82	c lits-rem:         0  cl-subs:        5  v-elim:      1  v-fix:    0  time:  0.08 s
39811.38/1255.29	c subs with bin:      167  lits-rem:     16334  v-fix:    0  time:  2.22 s
40117.63/1264.84	c lits-rem:      3484  cl-subs:     1894  v-elim:      0  v-fix:    0  time:  9.54 s
40117.63/1264.84	c vivif2 --  cl tried    15144 cl shrink        1 lits rem          2 time: 0.01
40130.40/1265.26	c vivif2 --  cl tried    94172 cl shrink    24062 lits rem     122558 time: 0.41
40152.79/1265.97	c asymm  cl-useful: 10/3810/15144 lits-rem:10 time: 0.71
40152.79/1265.98	c calculated reachability. Time: 0.00
40152.79/1265.98	c  N st    80   2211398      7352     15144     17685     94172     89021   3644993   no data   no data
40155.98/1266.02	c Finding binary XORs  T:     0.04 s  found:       0
52449.39/1650.65	c  N st    81   2711398      7352     15144     17685    112951     89021   5213929   no data   no data
52449.39/1650.65	c  S st    81   2711398      7352     15144     17685    112951     89021   5213929   no data   no data
52452.59/1650.75	c Finding binary XORs  T:     0.04 s  found:       5
52484.55/1651.74	c  S st    81   2711899      7345     15124     17552    112863     88804   5212005   no data   no data
52484.55/1651.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
52519.68/1652.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:    159 BRemN:      0 P: 13.8M T:  1.05
52532.48/1653.23	c Replacing        5 vars Replaced    87635 lits Time:     0.40 s 
52532.48/1653.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
52532.48/1653.25	c bin-w-bin subsume rem           24 bins  time:  0.00 s
52532.48/1653.26	c subs with bin:       10  lits-rem:         6  v-fix:    0  time:  0.01 s
52532.48/1653.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7340 time:  0.02 s
52532.48/1653.29	c Removed useless bin:       3  fixed:     0  props:   0.19M  time:  0.01 s
52536.30/1653.37	c lits-rem:         0  cl-subs:       12  v-elim:      6  v-fix:    0  time:  0.09 s
52577.22/1654.64	c subs with bin:      193  lits-rem:     11219  v-fix:    0  time:  1.12 s
52712.11/1658.90	c lits-rem:      1706  cl-subs:      855  v-elim:      0  v-fix:    0  time:  4.25 s
52712.11/1658.91	c vivif2 --  cl tried    15099 cl shrink        0 lits rem          0 time: 0.01
52717.87/1659.06	c vivif2 --  cl tried    70428 cl shrink     7382 lits rem      33212 time: 0.15
52740.25/1659.77	c asymm  cl-useful: 16/11289/15099 lits-rem:16 time: 0.71
52740.25/1659.78	c calculated reachability. Time: 0.00
52740.25/1659.78	c  N st    81   2711899      7334     15099     17303     70428     88657   2035046   no data   no data
65084.78/2045.91	c  N st    82   3211901      7334     15099     17303     83755     88657   2501102   no data   no data
65084.78/2045.92	c  S st    82   3211901      7334     15099     17303     83755     88657   2501102   no data   no data
65084.78/2045.96	c Finding binary XORs  T:     0.04 s  found:       0
65103.95/2046.56	c  S st    82   3212403      7334     15099     17497     84254     88657   2512044   no data   no data
65103.95/2046.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
65129.51/2047.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:    154 BRemN:      1 P: 10.6M T:  0.72
65129.51/2047.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65129.51/2047.33	c bin-w-bin subsume rem           15 bins  time:  0.00 s
65129.51/2047.34	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.01 s
65129.51/2047.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7334 time:  0.02 s
65129.51/2047.37	c Removed useless bin:       1  fixed:     0  props:   0.19M  time:  0.01 s
65132.71/2047.45	c lits-rem:         0  cl-subs:        3  v-elim:      2  v-fix:    0  time:  0.08 s
65174.27/2048.71	c subs with bin:       66  lits-rem:      2707  v-fix:    0  time:  1.09 s
65330.87/2053.67	c lits-rem:      2294  cl-subs:     2600  v-elim:      0  v-fix:    0  time:  4.95 s
65330.87/2053.68	c vivif2 --  cl tried    15096 cl shrink        0 lits rem          0 time: 0.01
65337.92/2053.86	c vivif2 --  cl tried    81412 cl shrink     8937 lits rem      47951 time: 0.18
65362.84/2054.66	c asymm  cl-useful: 11/8453/15096 lits-rem:11 time: 0.80
65362.84/2054.67	c calculated reachability. Time: 0.00
65362.84/2054.67	c  N st    82   3212403      7332     15096     17324     81412     88622   2362346   no data   no data
77183.84/2424.45	c  N st    83   3712405      7332     15096     17333     89482     88622   2540291   no data   no data
77183.84/2424.45	c  S st    83   3712405      7332     15096     17333     89482     88622   2540291   no data   no data
77187.05/2424.53	c Finding binary XORs  T:     0.04 s  found:       2
77205.60/2425.19	c  S st    83   3712911      7330     15094     17590     89833     88567   2548655   no data   no data
77208.80/2425.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
77234.36/2426.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      8 BRemL:    364 BRemN:      0 P:  9.6M T:  0.78
77237.56/2426.11	c Replacing        2 vars Replaced    11889 lits Time:     0.10 s 
77237.56/2426.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77237.56/2426.12	c bin-w-bin subsume rem           12 bins  time:  0.00 s
77237.56/2426.13	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.01 s
77237.56/2426.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7328 time:  0.02 s
77237.56/2426.16	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.01 s
77240.76/2426.25	c lits-rem:         0  cl-subs:        2  v-elim:      1  v-fix:    0  time:  0.09 s
77298.30/2428.09	c subs with bin:     1039  lits-rem:      3314  v-fix:    0  time:  1.66 s
77381.41/2430.65	c lits-rem:      1608  cl-subs:     1132  v-elim:      0  v-fix:    0  time:  2.55 s
77381.41/2430.65	c vivif2 --  cl tried    15087 cl shrink        0 lits rem          0 time: 0.01
77387.80/2430.81	c vivif2 --  cl tried    87316 cl shrink     4489 lits rem      27736 time: 0.16
77406.98/2431.42	c asymm  cl-useful: 0/6634/15087 lits-rem:0 time: 0.61
77406.98/2431.43	c calculated reachability. Time: 0.00
77406.98/2431.43	c  N st    83   3712911      7327     15087     17220     87316     88545   2452140   no data   no data
78136.40/2454.26	c  F st    84   3751562      7327     15087     17220    125569     88545   6481372   no data   no data
78136.40/2454.28	c  N st    84   3751562      7327     15087     17220    125569     88545   6481372   no data   no data
78260.42/2458.15	c Decided on static restart strategy
78807.00/2475.20	c  N st    94   3779872      7327     15087     17253    153457     88545   8381351   no data   no data
79491.09/2496.60	c  N st    96   3815866      7327     15087     17266    105291     88545   4172625   no data   no data
80286.97/2521.59	c  N st    97   3848260      7327     15087     17282    137049     88545   6252883   no data   no data
81587.92/2562.27	c  N st    98   3896851      7327     15087     17285     99286     88545   3015177   no data   no data
83252.11/2614.40	c  N st    99   3969733      7326     15087     17299    171202     88545   8148737   no data   no data
86144.88/2704.90	c  N st   100   4079056      7326     15087     17323    104420     88545   3143994   no data   no data
86148.70/2704.98	c Finding binary XORs  T:     0.04 s  found:       0
89676.93/2815.38	c  N st   101   4212913      7326     15086     17266    145700     88533   5640918   no data   no data
89676.93/2815.38	c  S st   101   4212913      7326     15086     17266    145700     88533   5640918   no data   no data
89705.69/2816.24	c  S st   101   4213414      7326     15086     17297    146199     88533   5651784   no data   no data
89705.69/2816.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
89750.45/2817.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     73 BRemN:      0 P: 17.3M T:  1.32
89750.45/2817.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89750.45/2817.63	c bin-w-bin subsume rem           16 bins  time:  0.00 s
89750.45/2817.64	c subs with bin:        4  lits-rem:         2  v-fix:    0  time:  0.01 s
89750.45/2817.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7326 time:  0.02 s
89750.45/2817.66	c Removed useless bin:       1  fixed:     0  props:   0.18M  time:  0.01 s
89753.65/2817.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
89907.09/2822.61	c subs with bin:     1221  lits-rem:      1159  v-fix:    0  time:  4.39 s
92173.38/2893.41	c lits-rem:     20036  cl-subs:    15001  v-elim:      0  v-fix:    0  time: 70.78 s
92173.38/2893.41	c vivif2 --  cl tried    15082 cl shrink        0 lits rem          0 time: 0.01
92189.36/2893.95	c vivif2 --  cl tried   129977 cl shrink    28486 lits rem     217328 time: 0.53
92218.13/2894.86	c asymm  cl-useful: 11/7659/15082 lits-rem:21 time: 0.92
92218.13/2894.88	c calculated reachability. Time: 0.00
92218.13/2894.88	c  N st   101   4213414      7326     15082     17212    129977     88502   4819183   no data   no data
100017.38/3138.84	c  N st   102   4459393      7326     15082     17212    103983     88502   3251175   no data   no data
107826.07/3383.18	c  N st   103   4713416      7325     15082     17247    168918     88502   8112606   no data   no data
107826.07/3383.18	c  S st   103   4713416      7325     15082     17247    168918     88502   8112606   no data   no data
107832.46/3383.31	c Finding binary XORs  T:     0.04 s  found:       0
107864.43/3384.35	c  S st   103   4713917      7325     15081     17270    168926     88438   8106926   no data   no data
107867.63/3384.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
107913.00/3385.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:     24 BRemN:      0 P: 19.3M T:  1.45
107913.00/3385.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
107913.00/3385.87	c bin-w-bin subsume rem           14 bins  time:  0.00 s
107913.00/3385.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
107913.00/3385.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7325 time:  0.02 s
107913.00/3385.91	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.01 s
107918.76/3386.07	c lits-rem:         0  cl-subs:        1  v-elim:      2  v-fix:    0  time:  0.16 s
108043.43/3389.98	c subs with bin:       46  lits-rem:      1399  v-fix:    0  time:  3.31 s
110661.26/3471.86	c lits-rem:      7066  cl-subs:    11469  v-elim:      0  v-fix:    0  time: 81.85 s
110661.26/3471.86	c vivif2 --  cl tried    15086 cl shrink        0 lits rem          0 time: 0.01
110690.64/3472.80	c vivif2 --  cl tried   157411 cl shrink    47902 lits rem     439257 time: 0.92
110715.62/3473.59	c asymm  cl-useful: 0/2870/15086 lits-rem:0 time: 0.79
110718.81/3473.61	c calculated reachability. Time: 0.00
110718.81/3473.61	c  N st   103   4713917      7323     15086     17229    157409     88448   7269021   no data   no data
123581.30/3876.08	c  N st   104   5213917      7321     15086     17339    168694     88448   6409210   no data   no data
123581.30/3876.08	c  S st   104   5213917      7321     15086     17339    168694     88448   6409210   no data   no data
123584.49/3876.19	c Finding binary XORs  T:     0.04 s  found:       6
123619.65/3877.22	c  S st   104   5214419      7321     15084     17244    168292     88422   6402820   no data   no data
123619.65/3877.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
123661.22/3878.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:    121 BRemN:      0 P: 21.6M T:  1.31
123665.02/3878.70	c Replacing        6 vars Replaced     7603 lits Time:     0.12 s 
123665.02/3878.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
123665.02/3878.71	c bin-w-bin subsume rem           22 bins  time:  0.00 s
123668.23/3878.72	c subs with bin:       15  lits-rem:        10  v-fix:    0  time:  0.01 s
123668.23/3878.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7315 time:  0.02 s
123668.23/3878.75	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.01 s
123670.79/3878.88	c lits-rem:         0  cl-subs:        8  v-elim:      3  v-fix:    0  time:  0.13 s
123766.67/3881.81	c subs with bin:       65  lits-rem:     13008  v-fix:    0  time:  2.49 s
125185.89/3926.23	c lits-rem:     11456  cl-subs:     5870  v-elim:      0  v-fix:    0  time: 44.41 s
125185.89/3926.24	c vivif2 --  cl tried    15056 cl shrink        0 lits rem          0 time: 0.01
125212.09/3927.05	c vivif2 --  cl tried   161512 cl shrink    48703 lits rem     232026 time: 0.80
125224.25/3927.47	c asymm  cl-useful: 0/4527/15056 lits-rem:0 time: 0.42
125224.25/3927.48	c calculated reachability. Time: 0.00
125224.25/3927.48	c  N st   104   5214419      7312     15056     17092    161511     88342   5888829   no data   no data
143009.08/4483.80	c  N st   105   5714419      7312     15056     17092    150691     88342   5400827   no data   no data
143009.08/4483.80	c  S st   105   5714419      7312     15056     17092    150691     88342   5400827   no data   no data
143012.28/4483.91	c Finding binary XORs  T:     0.04 s  found:       3
143041.69/4484.89	c  S st   105   5714919      7309     15054     17139    150668     88260   5400604   no data   no data
143044.23/4484.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
143079.41/4486.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:    104 BRemN:      1 P: 15.3M T:  1.13
143092.20/4486.47	c Replacing        3 vars Replaced    43862 lits Time:     0.40 s 
143092.20/4486.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143092.20/4486.48	c bin-w-bin subsume rem           25 bins  time:  0.00 s
143092.20/4486.49	c subs with bin:       13  lits-rem:         6  v-fix:    0  time:  0.01 s
143095.39/4486.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7306 time:  0.02 s
143095.39/4486.52	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.01 s
143098.59/4486.65	c lits-rem:         0  cl-subs:        4  v-elim:      2  v-fix:    0  time:  0.13 s
143204.08/4489.91	c subs with bin:       65  lits-rem:     14327  v-fix:    0  time:  2.91 s
144393.16/4527.15	c lits-rem:      5157  cl-subs:     5441  v-elim:      0  v-fix:    0  time: 37.22 s
144393.16/4527.15	c vivif2 --  cl tried    15033 cl shrink        0 lits rem          0 time: 0.01
144415.48/4527.80	c vivif2 --  cl tried   143969 cl shrink    31515 lits rem     177251 time: 0.64
144441.06/4528.65	c asymm  cl-useful: 5/2612/15033 lits-rem:14 time: 0.84
144441.06/4528.66	c calculated reachability. Time: 0.00
144441.06/4528.66	c  N st   105   5714919      7304     15033     17008    143969     88150   4945513   no data   no data
158981.59/4983.55	c  N st   106   6214922      7304     15033     17009    210684     88150   7478317   no data   no data
158981.59/4983.55	c  S st   106   6214922      7304     15033     17009    210684     88150   7478317   no data   no data
158984.77/4983.68	c Finding binary XORs  T:     0.04 s  found:       5
159029.52/4985.06	c  S st   106   6215425      7302     15030     17066    210749     88093   7479460   no data   no data
159032.72/4985.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
159087.05/4986.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:     96 BRemN:      0 P: 21.6M T:  1.74
159090.25/4986.93	c Replacing        5 vars Replaced      677 lits Time:     0.07 s 
159090.25/4986.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
159090.25/4986.95	c bin-w-bin subsume rem           35 bins  time:  0.00 s
159090.25/4986.96	c subs with bin:       21  lits-rem:        13  v-fix:    0  time:  0.01 s
159090.25/4986.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7297 time:  0.02 s
159090.25/4986.98	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.01 s
159096.64/4987.15	c lits-rem:         2  cl-subs:       10  v-elim:      1  v-fix:    0  time:  0.16 s
159253.27/4992.03	c subs with bin:      545  lits-rem:     18167  v-fix:    0  time:  4.33 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3400818-1306831667/watcher-3400818-1306831667 -o /tmp/evaluation-result-3400818-1306831667/solver-3400818-1306831667 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400818-1306831667.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 29.61 31.58 31.91 1/413 23498
/proc/meminfo: memFree=263541580/264257624 swapFree=67044764/67111528
[pid=23498] ppid=23496 vsize=797016 CPUtime=0.85 cores=0-31
/proc/23498/stat : 23498 (strangenight2-m) R 23496 23498 23472 0 -1 4202496 5835 0 0 0 45 40 0 0 25 0 32 0 9132685 816144384 5701 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650420877 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/23498/statm: 199254 5739 320 95 0 194236 0
[pid=23498/tid=23499] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23499/stat : 23499 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 153 0 0 0 1 1 0 0 23 0 32 0 9132685 816144384 5909 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23498/tid=23500] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23500/stat : 23500 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 167 0 0 0 1 1 0 0 24 0 32 0 9132685 816144384 5992 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23498/tid=23501] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23501/stat : 23501 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 193 0 0 0 1 1 0 0 18 0 32 0 9132685 816144384 6064 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23498/tid=23502] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23502/stat : 23502 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 191 0 0 0 1 1 0 0 18 0 32 0 9132685 816144384 6138 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23498/tid=23503] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23503/stat : 23503 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 170 0 0 0 1 1 0 0 24 0 32 0 9132685 816144384 6188 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23498/tid=23504] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23504/stat : 23504 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 162 0 0 0 1 1 0 0 24 0 32 0 9132685 816144384 6262 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=23498/tid=23505] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23505/stat : 23505 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 158 0 0 0 1 1 0 0 24 0 32 0 9132685 816144384 6329 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23498/tid=23506] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23506/stat : 23506 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 249 0 0 0 1 1 0 0 18 0 32 0 9132685 816144384 6388 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23498/tid=23507] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23507/stat : 23507 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 187 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 6446 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23498/tid=23508] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23508/stat : 23508 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 221 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 6511 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23498/tid=23509] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23509/stat : 23509 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 180 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 6568 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23498/tid=23510] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23510/stat : 23510 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 192 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 6617 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23498/tid=23511] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23511/stat : 23511 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 253 0 0 0 1 1 0 0 18 0 32 0 9132685 816144384 6670 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23498/tid=23512] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23512/stat : 23512 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 168 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 6736 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23498/tid=23513] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23513/stat : 23513 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 180 0 0 0 1 1 0 0 18 0 32 0 9132685 816144384 6781 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23498/tid=23514] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23514/stat : 23514 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 193 0 0 0 1 1 0 0 18 0 32 0 9132685 816144384 6843 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23498/tid=23515] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23515/stat : 23515 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 241 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 6900 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23498/tid=23516] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23516/stat : 23516 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 191 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 6946 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23498/tid=23517] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23517/stat : 23517 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 194 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 6949 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23498/tid=23518] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23518/stat : 23518 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 270 0 0 0 1 1 0 0 18 0 32 0 9132685 816144384 6949 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23498/tid=23519] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23519/stat : 23519 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 193 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 6950 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23498/tid=23520] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23520/stat : 23520 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 181 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 6958 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=23498/tid=23521] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23521/stat : 23521 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 249 0 0 0 1 1 0 0 18 0 32 0 9132685 816144384 6978 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23498/tid=23522] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23522/stat : 23522 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 261 0 0 0 1 1 0 0 18 0 32 0 9132685 816144384 7015 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23498/tid=23523] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23523/stat : 23523 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 185 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 7015 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23498/tid=23524] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23524/stat : 23524 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 200 0 0 0 1 1 0 0 25 0 32 0 9132685 816144384 7016 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23498/tid=23525] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23525/stat : 23525 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 275 0 0 0 1 1 0 0 18 0 32 0 9132686 816144384 7016 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23498/tid=23526] ppid=23496 vsize=797016 CPUtime=0.01 cores=0-31
/proc/23498/task/23526/stat : 23526 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 230 0 0 0 0 1 0 0 18 0 32 0 9132686 816144384 7038 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23498/tid=23527] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23527/stat : 23527 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 270 0 0 0 1 1 0 0 18 0 32 0 9132686 816144384 7047 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23498/tid=23528] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23528/stat : 23528 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 187 0 0 0 1 1 0 0 25 0 32 0 9132686 816144384 7047 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23498/tid=23529] ppid=23496 vsize=797016 CPUtime=0.02 cores=0-31
/proc/23498/task/23529/stat : 23529 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 242 0 0 0 1 1 0 0 25 0 32 0 9132686 816144384 7048 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.118075 s]
/proc/loadavg: 29.61 31.58 31.91 1/413 23498
/proc/meminfo: memFree=263541580/264257624 swapFree=67044764/67111528
[pid=23498] ppid=23496 vsize=1073988 CPUtime=1.68 cores=0-31
/proc/23498/stat : 23498 (strangenight2-m) S 23496 23498 23472 0 -1 4202496 16761 0 0 0 54 114 0 0 17 0 32 0 9132685 1099763712 15948 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23498/statm: 268497 15989 331 95 0 263479 0
[pid=23498/tid=23499] ppid=23496 vsize=1074172 CPUtime=0.03 cores=0-31
/proc/23498/task/23499/stat : 23499 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 280 0 0 0 1 2 0 0 17 0 32 0 9132685 1099952128 16002 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446604455986912736 0 0 -1 1 0 0 0
[pid=23498/tid=23500] ppid=23496 vsize=1074172 CPUtime=0.06 cores=0-31
/proc/23498/task/23500/stat : 23500 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 733 0 0 0 2 4 0 0 18 0 32 0 9132685 1099952128 16043 268435456000 4194304 4580107 140735975529872 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23498/tid=23501] ppid=23496 vsize=1074172 CPUtime=0.05 cores=0-31
/proc/23498/task/23501/stat : 23501 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 544 0 0 0 2 3 0 0 17 0 32 0 9132685 1099952128 16043 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446604461261250016 0 0 -1 24 0 0 0
[pid=23498/tid=23502] ppid=23496 vsize=1074172 CPUtime=0.05 cores=0-31
/proc/23498/task/23502/stat : 23502 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 559 0 0 0 2 3 0 0 17 0 32 0 9132685 1099952128 16057 268435456000 4194304 4580107 140735975529872 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23498/tid=23503] ppid=23496 vsize=1074172 CPUtime=0.04 cores=0-31
/proc/23498/task/23503/stat : 23503 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 362 0 0 0 1 3 0 0 17 0 32 0 9132685 1099952128 16087 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446744071566923864 0 0 -1 20 0 0 0
[pid=23498/tid=23504] ppid=23496 vsize=1074172 CPUtime=0.03 cores=0-31
/proc/23498/task/23504/stat : 23504 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 400 0 0 0 1 2 0 0 17 0 32 0 9132685 1099952128 16132 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446604502226419168 0 0 -1 8 0 0 0
[pid=23498/tid=23505] ppid=23496 vsize=1074172 CPUtime=0.04 cores=0-31
/proc/23498/task/23505/stat : 23505 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 579 0 0 0 1 3 0 0 17 0 32 0 9132685 1099952128 16080 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446744071566927904 0 0 -1 28 0 0 0
[pid=23498/tid=23506] ppid=23496 vsize=1073912 CPUtime=0.04 cores=0-31
/proc/23498/task/23506/stat : 23506 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 654 0 0 0 1 3 0 0 17 0 32 0 9132685 1099685888 16088 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446604493677485536 0 0 -1 5 0 0 0
[pid=23498/tid=23507] ppid=23496 vsize=1073912 CPUtime=0.04 cores=0-31
/proc/23498/task/23507/stat : 23507 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 451 0 0 0 1 3 0 0 17 0 32 0 9132685 1099685888 16089 268435456000 4194304 4580107 140735975529872 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23498/tid=23508] ppid=23496 vsize=1073912 CPUtime=0.04 cores=0-31
/proc/23498/task/23508/stat : 23508 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 497 0 0 0 2 2 0 0 17 0 32 0 9132685 1099685888 16101 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446744071566929384 0 0 -1 3 0 0 0
[pid=23498/tid=23509] ppid=23496 vsize=1073912 CPUtime=0.04 cores=0-31
/proc/23498/task/23509/stat : 23509 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 450 0 0 0 1 3 0 0 17 0 32 0 9132685 1099685888 16136 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446604452289609184 0 0 -1 9 0 0 0
[pid=23498/tid=23510] ppid=23496 vsize=1073912 CPUtime=0.05 cores=0-31
/proc/23498/task/23510/stat : 23510 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 545 0 0 0 1 4 0 0 17 0 32 0 9132685 1099685888 16183 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23498/tid=23511] ppid=23496 vsize=1073912 CPUtime=0.05 cores=0-31
/proc/23498/task/23511/stat : 23511 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 751 0 0 0 2 3 0 0 17 0 32 0 9132685 1099685888 16150 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446744071566929384 0 0 -1 7 0 0 0
[pid=23498/tid=23512] ppid=23496 vsize=1073780 CPUtime=0.04 cores=0-31
/proc/23498/task/23512/stat : 23512 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 435 0 0 0 1 3 0 0 24 0 32 0 9132685 1099550720 16161 268435456000 4194304 4580107 140735975529872 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23498/tid=23513] ppid=23496 vsize=1073780 CPUtime=0.05 cores=0-31
/proc/23498/task/23513/stat : 23513 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 553 0 0 0 1 4 0 0 17 0 32 0 9132685 1099550720 16162 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446744071566931944 0 0 -1 13 0 0 0
[pid=23498/tid=23514] ppid=23496 vsize=1073780 CPUtime=0.04 cores=0-31
/proc/23498/task/23514/stat : 23514 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 450 0 0 0 1 3 0 0 17 0 32 0 9132685 1099550720 16167 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446604506314841568 0 0 -1 14 0 0 0
[pid=23498/tid=23515] ppid=23496 vsize=1073780 CPUtime=0.05 cores=0-31
/proc/23498/task/23515/stat : 23515 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 707 0 0 0 1 4 0 0 17 0 32 0 9132685 1099550720 16198 268435456000 4194304 4580107 140735975529872 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23498/tid=23516] ppid=23496 vsize=1073780 CPUtime=0.04 cores=0-31
/proc/23498/task/23516/stat : 23516 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 520 0 0 0 1 3 0 0 17 0 32 0 9132685 1099550720 16198 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23498/tid=23517] ppid=23496 vsize=1074296 CPUtime=0.04 cores=0-31
/proc/23498/task/23517/stat : 23517 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 361 0 0 0 1 3 0 0 17 0 32 0 9132685 1100079104 16211 268435456000 4194304 4580107 140735975529872 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23498/tid=23518] ppid=23496 vsize=1074296 CPUtime=0.04 cores=0-31
/proc/23498/task/23518/stat : 23518 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 759 0 0 0 1 3 0 0 17 0 32 0 9132685 1100079104 16244 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23498/tid=23519] ppid=23496 vsize=1074812 CPUtime=0.04 cores=0-31
/proc/23498/task/23519/stat : 23519 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 355 0 0 0 1 3 0 0 17 0 32 0 9132685 1100607488 16244 268435456000 4194304 4580107 140735975529872 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23498/tid=23520] ppid=23496 vsize=1074812 CPUtime=0.03 cores=0-31
/proc/23498/task/23520/stat : 23520 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 400 0 0 0 1 2 0 0 17 0 32 0 9132685 1100607488 16254 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446604480973987296 0 0 -1 21 0 0 0
[pid=23498/tid=23521] ppid=23496 vsize=1075328 CPUtime=0.04 cores=0-31
/proc/23498/task/23521/stat : 23521 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 555 0 0 0 1 3 0 0 17 0 32 0 9132685 1101135872 16255 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23498/tid=23522] ppid=23496 vsize=1075328 CPUtime=0.04 cores=0-31
/proc/23498/task/23522/stat : 23522 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 730 0 0 0 1 3 0 0 17 0 32 0 9132685 1101135872 16266 268435456000 4194304 4580107 140735975529872 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23498/tid=23523] ppid=23496 vsize=1075328 CPUtime=0.03 cores=0-31
/proc/23498/task/23523/stat : 23523 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 270 0 0 0 1 2 0 0 17 0 32 0 9132685 1101135872 16275 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446604441360260576 0 0 -1 25 0 0 0
[pid=23498/tid=23524] ppid=23496 vsize=1075328 CPUtime=0.03 cores=0-31
/proc/23498/task/23524/stat : 23524 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 269 0 0 0 1 2 0 0 17 0 32 0 9132685 1101135872 16275 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446604506314841568 0 0 -1 26 0 0 0
[pid=23498/tid=23525] ppid=23496 vsize=1075328 CPUtime=0.04 cores=0-31
/proc/23498/task/23525/stat : 23525 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 719 0 0 0 1 3 0 0 17 0 32 0 9132686 1101135872 16279 268435456000 4194304 4580107 140735975529872 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23498/tid=23526] ppid=23496 vsize=1075328 CPUtime=0.03 cores=0-31
/proc/23498/task/23526/stat : 23526 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 545 0 0 0 0 3 0 0 17 0 32 0 9132686 1101135872 16302 268435456000 4194304 4580107 140735975529872 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23498/tid=23527] ppid=23496 vsize=1075328 CPUtime=0.05 cores=0-31
/proc/23498/task/23527/stat : 23527 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 778 0 0 0 1 4 0 0 17 0 32 0 9132686 1101135872 16354 268435456000 4194304 4580107 140735975529872 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23498/tid=23528] ppid=23496 vsize=1075328 CPUtime=0.05 cores=0-31
/proc/23498/task/23528/stat : 23528 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 709 0 0 0 1 4 0 0 18 0 32 0 9132686 1101135872 16355 268435456000 4194304 4580107 140735975529872 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23498/tid=23529] ppid=23496 vsize=1075844 CPUtime=0.03 cores=0-31
/proc/23498/task/23529/stat : 23529 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 438 0 0 0 1 2 0 0 17 0 32 0 9132686 1101664256 16366 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446744071566924264 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 1073988

[startup+0.20406 s]
/proc/loadavg: 29.61 31.58 31.91 1/413 23498
/proc/meminfo: memFree=263541580/264257624 swapFree=67044764/67111528
[pid=23498] ppid=23496 vsize=1104380 CPUtime=2.78 cores=0-31
/proc/23498/stat : 23498 (strangenight2-m) R 23496 23498 23472 0 -1 4202496 34585 0 0 0 72 206 0 0 17 0 32 0 9132685 1130885120 29862 268435456000 4194304 4580107 140735975529872 18446744073709551615 4307656 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/23498/statm: 276095 29863 333 95 0 271077 0
[pid=23498/tid=23499] ppid=23496 vsize=1104380 CPUtime=0.06 cores=0-31
/proc/23498/task/23499/stat : 23499 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 604 0 0 0 2 4 0 0 17 0 32 0 9132685 1130885120 29863 268435456000 4194304 4580107 140735975529872 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23498/tid=23500] ppid=23496 vsize=1104596 CPUtime=0.1 cores=0-31
/proc/23498/task/23500/stat : 23500 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 1576 0 0 0 2 8 0 0 18 0 32 0 9132685 1131106304 29882 268435456000 4194304 4580107 140735975529872 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23498/tid=23501] ppid=23496 vsize=1104596 CPUtime=0.09 cores=0-31
/proc/23498/task/23501/stat : 23501 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 1127 0 0 0 3 6 0 0 17 0 32 0 9132685 1131106304 29914 268435456000 4194304 4580107 140735975529872 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23498/tid=23502] ppid=23496 vsize=1104596 CPUtime=0.09 cores=0-31
/proc/23498/task/23502/stat : 23502 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 1245 0 0 0 2 7 0 0 17 0 32 0 9132685 1131106304 29914 268435456000 4194304 4580107 140735975529872 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23498/tid=23503] ppid=23496 vsize=1104596 CPUtime=0.06 cores=0-31
/proc/23498/task/23503/stat : 23503 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 652 0 0 0 2 4 0 0 17 0 32 0 9132685 1131106304 29921 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446604505092472288 0 0 -1 0 0 0 0
[pid=23498/tid=23504] ppid=23496 vsize=1104596 CPUtime=0.07 cores=0-31
/proc/23498/task/23504/stat : 23504 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 931 0 0 0 2 5 0 0 17 0 32 0 9132685 1131106304 29945 268435456000 4194304 4580107 140735975529872 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23498/tid=23505] ppid=23496 vsize=1104596 CPUtime=0.09 cores=0-31
/proc/23498/task/23505/stat : 23505 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 1371 0 0 0 2 7 0 0 17 0 32 0 9132685 1131106304 29991 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23498/tid=23506] ppid=23496 vsize=1104596 CPUtime=0.09 cores=0-31
/proc/23498/task/23506/stat : 23506 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 1341 0 0 0 2 7 0 0 17 0 32 0 9132685 1131106304 30038 268435456000 4194304 4580107 140735975529872 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23498/tid=23507] ppid=23496 vsize=1104596 CPUtime=0.05 cores=0-31
/proc/23498/task/23507/stat : 23507 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 678 0 0 0 1 4 0 0 17 0 32 0 9132685 1131106304 30084 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650653309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23498/tid=23508] ppid=23496 vsize=1104596 CPUtime=0.08 cores=0-31
/proc/23498/task/23508/stat : 23508 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 1186 0 0 0 2 6 0 0 17 0 32 0 9132685 1131106304 30084 268435456000 4194304 4580107 140735975529872 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23498/tid=23509] ppid=23496 vsize=1104596 CPUtime=0.09 cores=0-31
/proc/23498/task/23509/stat : 23509 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 1153 0 0 0 1 8 0 0 17 0 32 0 9132685 1131106304 30084 268435456000 4194304 4580107 140735975529872 18446744073709551615 4307185 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23498/tid=23510] ppid=23496 vsize=1104596 CPUtime=0.11 cores=0-31
/proc/23498/task/23510/stat : 23510 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 1367 0 0 0 2 9 0 0 17 0 32 0 9132685 1131106304 30099 268435456000 4194304 4580107 140735975529872 18446744073709551615 258650653299 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=23498/tid=23511] ppid=23496 vsize=1104596 CPUtime=0.08 cores=0-31
/proc/23498/task/23511/stat : 23511 (strangenight2-m) D 23496 23498 23472 0 -1 4202560 1371 0 0 0 2 6 0 0 17 0 32 0 9132685 1131106304 30099 268435456000 4194304 4580107 140735975529872 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23498/tid=23512] ppid=23496 vsize=1104596 CPUtime=0.08 cores=0-31
/proc/23498/task/23512/stat : 23512 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 929 0 0 0 2 6 0 0 17 0 32 0 9132685 1131106304 30119 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446744071566932264 0 0 -1 16 0 0 0
[pid=23498/tid=23513] ppid=23496 vsize=1104596 CPUtime=0.1 cores=0-31
/proc/23498/task/23513/stat : 23513 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 1353 0 0 0 2 8 0 0 17 0 32 0 9132685 1131106304 30159 268435456000 4194304 4580107 140735975529872 18446744073709551615 4309789 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23498/tid=23514] ppid=23496 vsize=1104596 CPUtime=0.08 cores=0-31
/proc/23498/task/23514/stat : 23514 (strangenight2-m) S 23496 23498 23472 0 -1 4202560 939 0 0 0 2 6 0 0 17 0 32 0 9132685 1131106304 30211 268435456000 4194304 4580107 140735975529872 18446744073709551615 258651060958 0 0 4096 2 18446744071566924744 0 0 -1 14 0 0 0
[pid=23498/tid=23515] ppid=23496 vsize=1104596 CPUtime=0.09 cores=0-31

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

/proc/meminfo: memFree=249837424/264257624 swapFree=67044764/67111528
[pid=23498] ppid=23496 vsize=18647228 CPUtime=158304 cores=0-31
/proc/23498/stat : 23498 (strangenight2-m) R 23496 23498 23472 0 -1 4202496 13428314 0 0 0 15819281 11112 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294347 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/23498/statm: 4661807 3419980 407 95 0 4656789 0
[pid=23498/tid=23499] ppid=23496 vsize=18647228 CPUtime=4950.97 cores=0-31
/proc/23498/task/23499/stat : 23499 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 530886 0 0 0 494690 407 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23498/tid=23500] ppid=23496 vsize=18647228 CPUtime=4951.36 cores=0-31
/proc/23498/task/23500/stat : 23500 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 458609 0 0 0 494775 361 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23498/tid=23501] ppid=23496 vsize=18647228 CPUtime=4942.07 cores=0-31
/proc/23498/task/23501/stat : 23501 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 521794 0 0 0 493806 401 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23498/tid=23502] ppid=23496 vsize=18647228 CPUtime=4951.37 cores=0-31
/proc/23498/task/23502/stat : 23502 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 457458 0 0 0 494763 374 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23498/tid=23503] ppid=23496 vsize=18647228 CPUtime=4935.98 cores=0-31
/proc/23498/task/23503/stat : 23503 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 420806 0 0 0 493254 344 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23498/tid=23504] ppid=23496 vsize=18647228 CPUtime=4945.2 cores=0-31
/proc/23498/task/23504/stat : 23504 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 465724 0 0 0 494156 364 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23498/tid=23505] ppid=23496 vsize=18647228 CPUtime=4952.92 cores=0-31
/proc/23498/task/23505/stat : 23505 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 499389 0 0 0 494913 379 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4318675 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23498/tid=23506] ppid=23496 vsize=18647228 CPUtime=4950.95 cores=0-31
/proc/23498/task/23506/stat : 23506 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 399166 0 0 0 494737 358 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4318477 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23498/tid=23507] ppid=23496 vsize=18647228 CPUtime=4951.22 cores=0-31
/proc/23498/task/23507/stat : 23507 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 369699 0 0 0 494793 329 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23498/tid=23508] ppid=23496 vsize=18647228 CPUtime=4951.39 cores=0-31
/proc/23498/task/23508/stat : 23508 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 422389 0 0 0 494780 359 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23498/tid=23509] ppid=23496 vsize=18647228 CPUtime=4952.54 cores=0-31
/proc/23498/task/23509/stat : 23509 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 439715 0 0 0 494895 359 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23498/tid=23510] ppid=23496 vsize=18647228 CPUtime=4951.87 cores=0-31
/proc/23498/task/23510/stat : 23510 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 405522 0 0 0 494858 329 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23498/tid=23511] ppid=23496 vsize=18647228 CPUtime=4950.7 cores=0-31
/proc/23498/task/23511/stat : 23511 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 460041 0 0 0 494692 378 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23498/tid=23512] ppid=23496 vsize=18647228 CPUtime=4951.13 cores=0-31
/proc/23498/task/23512/stat : 23512 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 428403 0 0 0 494781 332 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23498/tid=23513] ppid=23496 vsize=18647228 CPUtime=4951.61 cores=0-31
/proc/23498/task/23513/stat : 23513 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 425182 0 0 0 494803 358 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23498/tid=23514] ppid=23496 vsize=18647228 CPUtime=4951.01 cores=0-31
/proc/23498/task/23514/stat : 23514 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 408289 0 0 0 494767 334 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23498/tid=23515] ppid=23496 vsize=18647228 CPUtime=4950.15 cores=0-31
/proc/23498/task/23515/stat : 23515 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 359839 0 0 0 494694 321 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23498/tid=23516] ppid=23496 vsize=18647228 CPUtime=4951.2 cores=0-31
/proc/23498/task/23516/stat : 23516 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 411670 0 0 0 494801 319 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23498/tid=23517] ppid=23496 vsize=18647228 CPUtime=4947.18 cores=0-31
/proc/23498/task/23517/stat : 23517 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 383194 0 0 0 494370 348 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=23498/tid=23518] ppid=23496 vsize=18647228 CPUtime=4952.77 cores=0-31
/proc/23498/task/23518/stat : 23518 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 399431 0 0 0 494974 303 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4416292 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=23498/tid=23519] ppid=23496 vsize=18647228 CPUtime=4951.23 cores=0-31
/proc/23498/task/23519/stat : 23519 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 437902 0 0 0 494771 352 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23498/tid=23520] ppid=23496 vsize=18647228 CPUtime=4949.65 cores=0-31
/proc/23498/task/23520/stat : 23520 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 525381 0 0 0 494538 427 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23498/tid=23521] ppid=23496 vsize=18647228 CPUtime=4950.7 cores=0-31
/proc/23498/task/23521/stat : 23521 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 530056 0 0 0 494668 402 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23498/tid=23522] ppid=23496 vsize=18647228 CPUtime=4947.68 cores=0-31
/proc/23498/task/23522/stat : 23522 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 484148 0 0 0 494392 376 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4295051 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23498/tid=23523] ppid=23496 vsize=18647228 CPUtime=4904.1 cores=0-31
/proc/23498/task/23523/stat : 23523 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 387999 0 0 0 490081 329 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23498/tid=23524] ppid=23496 vsize=18647228 CPUtime=4947.37 cores=0-31
/proc/23498/task/23524/stat : 23524 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 421529 0 0 0 494369 368 0 0 25 0 32 0 9132685 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23498/tid=23525] ppid=23496 vsize=18647228 CPUtime=4942.78 cores=0-31
/proc/23498/task/23525/stat : 23525 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 375624 0 0 0 493940 338 0 0 25 0 32 0 9132686 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4320939 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23498/tid=23526] ppid=23496 vsize=18647228 CPUtime=4951.03 cores=0-31
/proc/23498/task/23526/stat : 23526 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 388489 0 0 0 494772 331 0 0 25 0 32 0 9132686 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23498/tid=23527] ppid=23496 vsize=18647228 CPUtime=4951.11 cores=0-31
/proc/23498/task/23527/stat : 23527 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 434181 0 0 0 494743 368 0 0 25 0 32 0 9132686 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23498/tid=23528] ppid=23496 vsize=18647228 CPUtime=4908.78 cores=0-31
/proc/23498/task/23528/stat : 23528 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 313228 0 0 0 490573 305 0 0 25 0 32 0 9132686 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23498/tid=23529] ppid=23496 vsize=18647228 CPUtime=4954.74 cores=0-31
/proc/23498/task/23529/stat : 23529 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 92340 0 0 0 495360 114 0 0 25 0 32 0 9132686 19094761472 3419980 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 158304
Current children cumulated vsize (KiB) 18647228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5015.4 s]
/proc/loadavg: 32.10 32.09 32.06 33/445 23685
/proc/meminfo: memFree=249777100/264257624 swapFree=67044764/67111528
[pid=23498] ppid=23496 vsize=19122568 CPUtime=160002 cores=0-31
/proc/23498/stat : 23498 (strangenight2-m) R 23496 23498 23472 0 -1 4202496 13528460 0 0 0 15989003 11187 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4406476 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/23498/statm: 4780642 3435376 382 95 0 4775624 0
[pid=23498/tid=23499] ppid=23496 vsize=19122568 CPUtime=5004.08 cores=0-31
/proc/23498/task/23499/stat : 23499 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 531985 0 0 0 500000 408 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=23498/tid=23500] ppid=23496 vsize=19122568 CPUtime=5004.47 cores=0-31
/proc/23498/task/23500/stat : 23500 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 460170 0 0 0 500085 362 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23498/tid=23501] ppid=23496 vsize=19122568 CPUtime=4995.19 cores=0-31
/proc/23498/task/23501/stat : 23501 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 528211 0 0 0 499113 406 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=23498/tid=23502] ppid=23496 vsize=19122568 CPUtime=5004.48 cores=0-31
/proc/23498/task/23502/stat : 23502 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 458421 0 0 0 500073 375 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23498/tid=23503] ppid=23496 vsize=19122568 CPUtime=4989.09 cores=0-31
/proc/23498/task/23503/stat : 23503 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 422283 0 0 0 498564 345 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=23498/tid=23504] ppid=23496 vsize=19122568 CPUtime=4998.3 cores=0-31
/proc/23498/task/23504/stat : 23504 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 468956 0 0 0 499464 366 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=23498/tid=23505] ppid=23496 vsize=19122568 CPUtime=5006.03 cores=0-31
/proc/23498/task/23505/stat : 23505 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 506599 0 0 0 500219 384 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=23498/tid=23506] ppid=23496 vsize=19122568 CPUtime=5004.06 cores=0-31
/proc/23498/task/23506/stat : 23506 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 405724 0 0 0 500045 361 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=23498/tid=23507] ppid=23496 vsize=19122568 CPUtime=5004.32 cores=0-31
/proc/23498/task/23507/stat : 23507 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 372874 0 0 0 500100 332 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23498/tid=23508] ppid=23496 vsize=19122568 CPUtime=5004.5 cores=0-31
/proc/23498/task/23508/stat : 23508 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 425268 0 0 0 500089 361 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=23498/tid=23509] ppid=23496 vsize=19122568 CPUtime=5005.65 cores=0-31
/proc/23498/task/23509/stat : 23509 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 444359 0 0 0 500204 361 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4406412 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23498/tid=23510] ppid=23496 vsize=19122568 CPUtime=5004.99 cores=0-31
/proc/23498/task/23510/stat : 23510 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 408596 0 0 0 500166 333 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4296249 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=23498/tid=23511] ppid=23496 vsize=19122568 CPUtime=5003.81 cores=0-31
/proc/23498/task/23511/stat : 23511 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 463517 0 0 0 500000 381 0 0 25 0 32 0 9132685 19581509632 3435376 268435456000 4194304 4580107 140735975529872 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=23498/tid=23512] ppid=23496 vsize=19122568 CPUtime=5004.24 cores=0-31
/proc/23498/task/23512/stat : 23512 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 428403 0 0 0 500092 332 0 0 25 0 32 0 9132685 19581509632 3435377 268435456000 4194304 4580107 140735975529872 18446744073709551615 4406400 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=23498/tid=23513] ppid=23496 vsize=19122568 CPUtime=5004.72 cores=0-31
/proc/23498/task/23513/stat : 23513 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 426599 0 0 0 500112 360 0 0 25 0 32 0 9132685 19581509632 3435377 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=23498/tid=23514] ppid=23496 vsize=19122568 CPUtime=5004.12 cores=0-31
/proc/23498/task/23514/stat : 23514 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 408289 0 0 0 500078 334 0 0 25 0 32 0 9132685 19581509632 3435377 268435456000 4194304 4580107 140735975529872 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=23498/tid=23515] ppid=23496 vsize=19122568 CPUtime=5003.26 cores=0-31
/proc/23498/task/23515/stat : 23515 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 360814 0 0 0 500003 323 0 0 25 0 32 0 9132685 19581509632 3435377 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294200 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23498/tid=23516] ppid=23496 vsize=19122568 CPUtime=5004.31 cores=0-31
/proc/23498/task/23516/stat : 23516 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 417322 0 0 0 500109 322 0 0 25 0 32 0 9132685 19581509632 3435378 268435456000 4194304 4580107 140735975529872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=23498/tid=23517] ppid=23496 vsize=19122568 CPUtime=4998.78 cores=0-31
/proc/23498/task/23517/stat : 23517 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 384171 0 0 0 499530 348 0 0 25 0 32 0 9132685 19581509632 3435378 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=23498/tid=23518] ppid=23496 vsize=19122568 CPUtime=5005.88 cores=0-31
/proc/23498/task/23518/stat : 23518 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 404702 0 0 0 500282 306 0 0 25 0 32 0 9132685 19581509632 3435378 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=23498/tid=23519] ppid=23496 vsize=19122568 CPUtime=5004.35 cores=0-31
/proc/23498/task/23519/stat : 23519 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 438347 0 0 0 500082 353 0 0 25 0 32 0 9132685 19581509632 3435378 268435456000 4194304 4580107 140735975529872 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=23498/tid=23520] ppid=23496 vsize=19122568 CPUtime=5002.75 cores=0-31
/proc/23498/task/23520/stat : 23520 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 531354 0 0 0 499842 433 0 0 25 0 32 0 9132685 19581509632 3435378 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23498/tid=23521] ppid=23496 vsize=19122568 CPUtime=5003.8 cores=0-31
/proc/23498/task/23521/stat : 23521 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 534287 0 0 0 499974 406 0 0 25 0 32 0 9132685 19581509632 3435378 268435456000 4194304 4580107 140735975529872 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=23498/tid=23522] ppid=23496 vsize=19122568 CPUtime=5000.79 cores=0-31
/proc/23498/task/23522/stat : 23522 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 493447 0 0 0 499697 382 0 0 25 0 32 0 9132685 19581509632 3435378 268435456000 4194304 4580107 140735975529872 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=23498/tid=23523] ppid=23496 vsize=19122568 CPUtime=4957.21 cores=0-31
/proc/23498/task/23523/stat : 23523 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 389078 0 0 0 495390 331 0 0 25 0 32 0 9132685 19581509632 3435378 268435456000 4194304 4580107 140735975529872 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23498/tid=23524] ppid=23496 vsize=19122568 CPUtime=5000.49 cores=0-31
/proc/23498/task/23524/stat : 23524 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 425187 0 0 0 499678 371 0 0 25 0 32 0 9132685 19581509632 3435378 268435456000 4194304 4580107 140735975529872 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=23498/tid=23525] ppid=23496 vsize=19122568 CPUtime=4995.87 cores=0-31
/proc/23498/task/23525/stat : 23525 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 377548 0 0 0 499248 339 0 0 25 0 32 0 9132686 19581509632 3435378 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23498/tid=23526] ppid=23496 vsize=19122568 CPUtime=5004.14 cores=0-31
/proc/23498/task/23526/stat : 23526 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 390993 0 0 0 500081 333 0 0 25 0 32 0 9132686 19581509632 3435379 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=23498/tid=23527] ppid=23496 vsize=19122568 CPUtime=5004.23 cores=0-31
/proc/23498/task/23527/stat : 23527 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 438827 0 0 0 500052 371 0 0 25 0 32 0 9132686 19581509632 3435379 268435456000 4194304 4580107 140735975529872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=23498/tid=23528] ppid=23496 vsize=19122568 CPUtime=4961.89 cores=0-31
/proc/23498/task/23528/stat : 23528 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 313228 0 0 0 495884 305 0 0 25 0 32 0 9132686 19581509632 3435379 268435456000 4194304 4580107 140735975529872 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=23498/tid=23529] ppid=23496 vsize=19122568 CPUtime=5007.85 cores=0-31
/proc/23498/task/23529/stat : 23529 (strangenight2-m) R 23496 23498 23472 0 -1 4202560 93665 0 0 0 500669 116 0 0 25 0 32 0 9132686 19581509632 3435379 268435456000 4194304 4580107 140735975529872 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 19122568

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+5015.9 s]
/proc/loadavg: 32.10 32.09 32.06 33/445 23685
/proc/meminfo: memFree=249777100/264257624 swapFree=67044764/67111528
[pid=23498] ppid=23496 vsize=0 CPUtime=160003 cores=0-31
/proc/23498/stat : 23498 (strangenight2-m) Z 23496 23498 23472 0 -1 4203548 13528473 0 0 0 15989026 11234 0 0 25 0 2 0 9132685 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/23498/statm: 0 0 0 0 0 0 0
[pid=23498/tid=23517] ppid=23496 vsize=0 CPUtime=4999.25 cores=0-31
/proc/23498/task/23517/stat : 23517 (strangenight2-m) R 23496 23498 23472 0 -1 4203588 384172 0 0 0 499530 395 0 0 25 0 2 0 9132685 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5016.3 s]
/proc/loadavg: 32.10 32.09 32.06 2/416 23686
/proc/meminfo: memFree=258575136/264257624 swapFree=67044764/67111528
[pid=23498] ppid=23496 vsize=0 CPUtime=160003 cores=0-31
/proc/23498/stat : 23498 (strangenight2-m) Z 23496 23498 23472 0 -1 4203548 13528473 0 0 0 15989026 11274 0 0 25 0 2 0 9132685 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 10 0 0 0
/proc/23498/statm: 0 0 0 0 0 0 0
[pid=23498/tid=23517] ppid=23496 vsize=0 CPUtime=4999.65 cores=0-31
/proc/23498/task/23517/stat : 23517 (strangenight2-m) R 23496 23498 23472 0 -1 4203588 384172 0 0 0 499530 435 0 0 25 0 2 0 9132685 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5016.32
CPU time (s): 160003
CPU user time (s): 159890
CPU system time (s): 112.759
CPU usage (%): 3189.65
Max. virtual memory (cumulated for all children) (KiB): 19122568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159890
system time used= 112.759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13528473
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= 976108
involuntary context switches= 326705

runsolver used 30.8923 second user time and 110.91 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 10:47:47
IDJOB=3400818
IDBENCH=83130
IDSOLVER=1886
FILE ID=node200/3400818-1306831667
RUNJOBID= node200-1306831667-23486
PBS_JOBID= 13471342
Free space on /tmp= 61580 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400818-1306831667/watcher-3400818-1306831667 -o /tmp/evaluation-result-3400818-1306831667/solver-3400818-1306831667 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400818-1306831667.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 73a2c2d9e5c062e561bfdb7c82071a99
RANDOM SEED=766786867

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3996.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263542232 kB
Buffers:        117720 kB
Cached:         406592 kB
SwapCached:      29992 kB
Active:         129088 kB
Inactive:       427076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263542232 kB
SwapTotal:    67111528 kB
SwapFree:     67044764 kB
Dirty:            7296 kB
Writeback:          76 kB
AnonPages:       30776 kB
Mapped:           8556 kB
Slab:            73204 kB
PageTables:       5660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   186992 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-05-31 12:11:25