Trace number 3400807

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)UNSAT 83796 2639.53

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top21.cnf
MD5SUM9fab5edd49fb904ff76ff7abf98e0d14
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark83796
Satisfiable
(Un)Satisfiability was proved
Number of variables51138
Number of clauses162526
Sum of the clauses size397144
Maximum clause length2101
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 299113
Number of clauses of size 362300
Number of clauses of size 4230
Number of clauses of size 519
Number of clauses of size over 5863

Solver Data 

0.00/0.00	c Outputting solution to console
1.04/0.08	c Using 32 threads
1.04/0.08	c This is CryptoMiniSat 3.0.0
1.04/0.08	c WARNING: for repeatability, setting FPU to use double precision
1.04/0.08	c Reading file 'HOME/instance-3400807-1306817838.cnf'
2.87/0.11	c -- header says num vars:          51138
2.87/0.11	c -- header says num clauses:      162526
25.53/1.49	c -- clauses added:            0 learnts,       162526 normals,            0 xors
25.53/1.49	c -- vars added      51138
25.53/1.49	c Parsing time:  0.24 s
25.53/1.49	c  N st     0         0     51138     61772     90868         0    373004         0   no data   no data
87.63/3.43	c asymm  cl-useful: 18/22759/61772 lits-rem:56 time: 1.93
819.44/35.81	c Flit:   123 Blit:  17062 bXBeca:    0 bXProp: 13160 Bins:      0 BRemL:      0 BRemN:      0 P: 141.6M T: 20.81
819.44/35.83	c Cleaning up after failed var search:     0.02 s 
819.44/35.87	c Replacing    13160 vars Replaced   243101 lits Time:     0.03 s 
822.54/35.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
822.54/35.91	c bin-w-bin subsume rem         2245 bins  time:  0.01 s
822.54/35.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
822.54/35.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  17464 time:  0.04 s
825.54/36.00	c Removed useless bin:      38  fixed:     0  props:   3.18M  time:  0.04 s
831.95/36.22	c lits-rem:        10  cl-subs:      728  v-elim:   5821  v-fix:    0  time:  0.13 s
839.95/36.56	c Finding binary XORs  T:     0.34 s  found:      21
839.95/36.57	c Replacing       21 vars Replaced      254 lits Time:     0.01 s 
843.04/36.61	c Finding non-binary XORs:     0.03 s (found:    4850, avg size: 3.0)
843.04/36.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    800 locsubst:  2940 time:   0.02
843.04/36.62	c Replacing     1470 vars Replaced     8820 lits Time:     0.01 s 
843.04/36.63	c calculated reachability. Time: 0.01
843.04/36.64	c Calc default polars -  time:   0.00 s pos:    1375 undec:   41999 neg:    7764
843.04/36.64	c =========================================================================================
843.04/36.64	c types(t): F = full restart, N = normal restart
843.04/36.64	c types(t): S = simplification begin/end, E = solution found
843.04/36.64	c restart types(rt): st = static, dy = dynamic
843.04/36.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
843.04/36.64	c  B st     0         0      9352     14188     15751         0    103622         0   no data   no data
852.33/36.94	c Decided on static restart strategy
865.72/37.32	c  N st     8      4916      9347     14188     16161      4294    103622    108014   no data   no data
897.06/38.37	c  N st    10     11300      9217     14188     18848     10096    103622    311454   no data   no data
906.63/38.60	c Finding binary XORs  T:     0.22 s  found:     237
906.63/38.61	c Replacing      238 vars Replaced     5767 lits Time:     0.01 s 
932.20/39.46	c  N st    11     17046      8772     13441     16586     14501     96487    415608   no data   no data
971.12/40.63	c  F st    12     25001      8732     13441     17708     13461     96487    430242   no data   no data
971.12/40.65	c  N st    12     25001      8732     13416     17350     13446     96059    428187   no data   no data
976.90/40.88	c Finding binary XORs  T:     0.22 s  found:      25
1002.45/41.69	c Decided on static restart strategy
1002.45/41.69	c  N st    18     30000      8722     13388     17882     18095     95786    559766   no data   no data
1002.45/41.69	c  S st    18     30000      8722     13388     17882     18095     95786    559766   no data   no data
1009.47/41.87	c  S st    18     30500      8722     13388     17907     18569     95786    567273   no data   no data
1009.47/41.89	c x-sub:  1299 x-cut:      0 vfix:      0 v-elim:    372 locsubst:     0 time:   0.02
1037.61/42.72	c Flit:    61 Blit:     12 bXBeca:    0 bXProp:   12 Bins:  57605 BRemL:  34772 BRemN:     20 P:  9.0M T:  0.83
1037.61/42.74	c Replacing       37 vars Replaced     1766 lits Time:     0.01 s 
1037.61/42.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1037.61/42.76	c bin-w-bin subsume rem          585 bins  time:  0.00 s
1037.61/42.77	c subs with bin:      354  lits-rem:       105  v-fix:    0  time:  0.01 s
1037.61/42.79	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   8231 time:  0.02 s
1037.61/42.80	c Removed useless bin:     109  fixed:     0  props:   0.31M  time:  0.01 s
1041.39/42.85	c lits-rem:       258  cl-subs:      232  v-elim:   1370  v-fix:    0  time:  0.05 s
1044.63/42.95	c subs with bin:       58  lits-rem:      2894  v-fix:    0  time:  0.07 s
1050.38/43.11	c lits-rem:       551  cl-subs:      905  v-elim:      0  v-fix:    0  time:  0.15 s
1056.78/43.30	c asymm  cl-useful: 98/12619/12619 lits-rem:445 time: 0.19
1056.78/43.31	c calculated reachability. Time: 0.00
1056.78/43.31	c  N st    18     30500      6861     12619     28510     10738     82696    267524   no data   no data
1063.17/43.53	c Finding binary XORs  T:     0.22 s  found:       0
1091.93/44.44	c  N st    20     37611      6860     12619     28724     17459     82696    462391   no data   no data
1127.08/45.57	c  N st    21     44011      6858     12619     28734     12975     82696    333081   no data   no data
1133.47/45.79	c Finding binary XORs  T:     0.20 s  found:       0
1143.07/46.09	c  S st    22     45750      6855     12619     60870     14620     82572    441789   no data   no data
1150.09/46.25	c  S st    22     46250      6855     12619     60875     15113     82572    454626   no data   no data
1150.09/46.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    180 locsubst:     0 time:   0.01
1162.27/46.66	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:    3 Bins:   7113 BRemL:  27609 BRemN:    187 P:  4.9M T:  0.40
1162.27/46.68	c Replacing        3 vars Replaced      952 lits Time:     0.02 s 
1162.27/46.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1162.27/46.70	c bin-w-bin subsume rem         4838 bins  time:  0.00 s
1165.43/46.71	c subs with bin:        5  lits-rem:         5  v-fix:    0  time:  0.01 s
1165.43/46.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6667 time:  0.01 s
1165.43/46.73	c Removed useless bin:       2  fixed:     0  props:   0.18M  time:  0.01 s
1165.43/46.75	c lits-rem:         9  cl-subs:        7  v-elim:      7  v-fix:    0  time:  0.02 s
1168.63/46.84	c subs with bin:       34  lits-rem:       440  v-fix:    0  time:  0.07 s
1171.83/46.98	c lits-rem:       773  cl-subs:      366  v-elim:      0  v-fix:    0  time:  0.14 s
1171.83/46.99	c vivif2 --  cl tried    12612 cl shrink       46 lits rem         93 time: 0.01
1175.03/47.01	c vivif2 --  cl tried    13389 cl shrink     3218 lits rem       9585 time: 0.02
1182.02/47.23	c asymm  cl-useful: 31/12577/12577 lits-rem:64 time: 0.21
1182.02/47.23	c calculated reachability. Time: 0.00
1182.02/47.23	c  N st    22     46250      6660     12577     33114     13385     81509    347932   no data   no data
1187.83/47.43	c Finding binary XORs  T:     0.20 s  found:       0
1267.72/49.95	c  N st    23     60647      6660     12577     33137     27058     81509    619479   no data   no data
1274.12/50.17	c Finding binary XORs  T:     0.20 s  found:       2
1322.66/51.67	c  N st    24     69378      6657     12576     38869     20287     81455    464709   no data   no data
1322.66/51.67	c  S st    24     69378      6657     12576     38869     20287     81455    464709   no data   no data
1328.45/51.88	c Finding binary XORs  T:     0.20 s  found:       1
1334.84/52.06	c  S st    24     69879      6656     12575     45372     20783     81411    488251   no data   no data
1334.84/52.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     90 locsubst:     0 time:   0.01
1347.63/52.46	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    1 Bins:   1069 BRemL:  10173 BRemN:      5 P:  5.3M T:  0.39
1347.63/52.48	c Replacing        4 vars Replaced     1180 lits Time:     0.02 s 
1347.63/52.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1347.63/52.49	c bin-w-bin subsume rem         2398 bins  time:  0.00 s
1350.83/52.50	c subs with bin:       43  lits-rem:        14  v-fix:    0  time:  0.01 s
1350.83/52.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6561 time:  0.01 s
1350.83/52.53	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.01 s
1350.83/52.55	c lits-rem:         1  cl-subs:        4  v-elim:      5  v-fix:    0  time:  0.02 s
1354.03/52.68	c subs with bin:      144  lits-rem:      2482  v-fix:    0  time:  0.10 s
1361.01/52.88	c lits-rem:       811  cl-subs:      575  v-elim:      0  v-fix:    0  time:  0.20 s
1361.01/52.88	c vivif2 --  cl tried    12524 cl shrink        4 lits rem          4 time: 0.00
1363.60/52.91	c vivif2 --  cl tried    19505 cl shrink     3584 lits rem      13510 time: 0.03
1370.01/53.13	c asymm  cl-useful: 241/12524/12524 lits-rem:652 time: 0.22
1370.01/53.14	c calculated reachability. Time: 0.00
1370.01/53.14	c  N st    24     69879      6556     12396     33723     19500     80625    418236   no data   no data
1491.49/56.90	c  F st    25     87501      6556     12396     33734     36269     80625   1633796   no data   no data
1491.49/56.91	c  N st    25     87501      6556     12396     33734     36269     80625   1633796   no data   no data
1498.47/57.13	c Finding binary XORs  T:     0.20 s  found:      58
1529.84/58.15	c Decided on static restart strategy
1542.61/58.59	c  N st    32     95540      6552     12394     34679     26065     80555    716820   no data   no data
1571.99/59.48	c Finding binary XORs  T:     0.20 s  found:       1
1600.16/60.33	c  N st    34    104819      6551     12392     36918     34811     80484    946762   no data   no data
1600.16/60.33	c  S st    34    104819      6551     12392     36918     34811     80484    946762   no data   no data
1607.15/60.58	c  S st    34    105321      6549     12392     37476     35307     80483    962205   no data   no data
1607.15/60.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     27 locsubst:     0 time:   0.01
1622.54/61.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:   2168 BRemL:   5434 BRemN:     49 P:  6.8M T:  0.47
1622.54/61.09	c Replacing       64 vars Replaced     2532 lits Time:     0.02 s 
1622.54/61.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1625.74/61.10	c bin-w-bin subsume rem          681 bins  time:  0.00 s
1625.74/61.11	c subs with bin:       91  lits-rem:       110  v-fix:    0  time:  0.01 s
1625.74/61.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6458 time:  0.01 s
1625.74/61.14	c Removed useless bin:       3  fixed:     0  props:   0.18M  time:  0.01 s
1625.74/61.17	c lits-rem:        22  cl-subs:       98  v-elim:     23  v-fix:    0  time:  0.03 s
1642.30/61.63	c subs with bin:      224  lits-rem:      4986  v-fix:    0  time:  0.39 s
1670.48/62.58	c lits-rem:      1432  cl-subs:     1079  v-elim:      0  v-fix:    0  time:  0.95 s
1670.48/62.58	c vivif2 --  cl tried    12208 cl shrink       20 lits rem         31 time: 0.00
1674.27/62.66	c vivif2 --  cl tried    33677 cl shrink     7214 lits rem      46720 time: 0.07
1683.26/62.96	c asymm  cl-useful: 73/12206/12206 lits-rem:166 time: 0.30
1683.26/62.97	c calculated reachability. Time: 0.00
1683.26/62.97	c  N st    34    105321      6435     12198     30252     33664     79166    846359   no data   no data
1750.39/65.09	c  N st    35    114919      6435     12198     30257     22521     79166    485583   no data   no data
1759.98/65.31	c Finding binary XORs  T:     0.20 s  found:       6
1843.08/67.99	c  N st    36    129316      6431     12186     32358     36420     79079    884889   no data   no data
1850.04/68.20	c Finding binary XORs  T:     0.20 s  found:       1
1964.52/71.74	c  N st    37    150911      6427     12184     33088     34788     78980    917469   no data   no data
1970.92/71.95	c Finding binary XORs  T:     0.20 s  found:       3
2022.07/73.54	c  S st    38    157981      6426     12183     33748     41711     78923   1288211   no data   no data
2031.68/73.86	c  S st    38    158485      6426     12183     33784     42213     78923   1302274   no data   no data
2031.68/73.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2050.84/74.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    746 BRemL:   4516 BRemN:      3 P:  8.1M T:  0.54
2050.84/74.45	c Replacing       12 vars Replaced     3322 lits Time:     0.02 s 
2050.84/74.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2050.84/74.46	c bin-w-bin subsume rem         1005 bins  time:  0.00 s
2050.84/74.47	c subs with bin:       40  lits-rem:        33  v-fix:    0  time:  0.01 s
2050.84/74.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6414 time:  0.01 s
2050.84/74.49	c Removed useless bin:       1  fixed:     0  props:   0.17M  time:  0.01 s
2054.03/74.53	c lits-rem:         8  cl-subs:       29  v-elim:     23  v-fix:    0  time:  0.03 s
2073.21/75.11	c subs with bin:       72  lits-rem:      4923  v-fix:    0  time:  0.49 s
2124.37/76.77	c lits-rem:      1781  cl-subs:     1348  v-elim:      0  v-fix:    0  time:  1.65 s
2124.37/76.77	c vivif2 --  cl tried    12113 cl shrink        8 lits rem          8 time: 0.00
2127.56/76.88	c vivif2 --  cl tried    40737 cl shrink    11183 lits rem      81412 time: 0.10
2140.34/77.21	c asymm  cl-useful: 52/12110/12110 lits-rem:140 time: 0.33
2140.34/77.22	c calculated reachability. Time: 0.00
2140.34/77.22	c  N st    38    158485      6391     12095     28218     40736     78442   1146343   no data   no data
2437.63/86.50	c  N st    39    207073      6391     12095     28219     39232     78442   1096513   no data   no data
2444.02/86.72	c Finding binary XORs  T:     0.20 s  found:       5
2632.61/92.68	c  N st    40    237727      6386     12091     29553     42866     78329   1095898   no data   no data
2632.61/92.68	c  S st    40    237727      6386     12091     29553     42866     78329   1095898   no data   no data
2639.00/92.90	c Finding binary XORs  T:     0.19 s  found:       1
2651.80/93.21	c  S st    40    238231      6385     12090     30765     43367     78302   1112949   no data   no data
2651.80/93.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.02
2667.77/93.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    347 BRemL:   3234 BRemN:      6 P:  7.0M T:  0.48
2667.77/93.73	c Replacing        7 vars Replaced      430 lits Time:     0.01 s 
2667.77/93.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2667.77/93.74	c bin-w-bin subsume rem          646 bins  time:  0.00 s
2667.77/93.75	c subs with bin:       45  lits-rem:        22  v-fix:    0  time:  0.01 s
2667.77/93.76	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:   6377 time:  0.01 s
2667.77/93.77	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
2670.97/93.80	c lits-rem:         0  cl-subs:       16  v-elim:     15  v-fix:    0  time:  0.03 s
2680.57/94.13	c subs with bin:       22  lits-rem:       125  v-fix:    0  time:  0.25 s
2741.30/96.03	c lits-rem:      1218  cl-subs:     1011  v-elim:      0  v-fix:    0  time:  1.90 s
2741.30/96.03	c vivif2 --  cl tried    12025 cl shrink        2 lits rem          2 time: 0.00
2744.50/96.15	c vivif2 --  cl tried    42329 cl shrink    10500 lits rem      31313 time: 0.11
2754.09/96.46	c asymm  cl-useful: 39/12025/12025 lits-rem:92 time: 0.31
2754.09/96.46	c calculated reachability. Time: 0.00
2754.09/96.46	c  N st    40    238231      6362     12016     26862     42329     77854   1043818   no data   no data
2760.48/96.66	c Finding binary XORs  T:     0.20 s  found:       2
3243.14/111.75	c  F st    41    306250      6362     12016     26870     53311     77854   1832897   no data   no data
3243.14/111.77	c Replacing        2 vars Replaced       38 lits Time:     0.01 s 
3243.14/111.78	c  N st    41    306250      6360     12016     26866     53311     77850   1832893   no data   no data
3252.73/112.00	c Finding binary XORs  T:     0.20 s  found:       3
3291.68/113.30	c Decided on static restart strategy
3428.55/117.60	c  N st    51    334555      6357     12010     30691     51449     77772   1240194   no data   no data
3585.17/122.45	c  N st    53    357346      6357     12010     30762     43971     77772    932289   no data   no data
3585.17/122.45	c  S st    53    357346      6357     12010     30762     43971     77772    932289   no data   no data
3591.57/122.67	c Finding binary XORs  T:     0.20 s  found:       2
3601.16/122.93	c  S st    53    357852      6356     12009     31492     44466     77745    950240   no data   no data
3601.16/122.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3617.14/123.42	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:    6 Bins:    394 BRemL:   4554 BRemN:      3 P:  7.1M T:  0.47
3617.14/123.45	c Replacing       11 vars Replaced      808 lits Time:     0.03 s 
3617.14/123.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3617.14/123.46	c bin-w-bin subsume rem          717 bins  time:  0.00 s
3617.14/123.47	c subs with bin:       42  lits-rem:        42  v-fix:    0  time:  0.01 s
3617.14/123.48	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:   6341 time:  0.02 s
3617.14/123.49	c Removed useless bin:       1  fixed:     0  props:   0.17M  time:  0.01 s
3620.34/123.52	c lits-rem:         2  cl-subs:       29  v-elim:     13  v-fix:    0  time:  0.03 s
3629.93/123.84	c subs with bin:      144  lits-rem:       699  v-fix:    0  time:  0.25 s
3655.50/124.60	c lits-rem:      2670  cl-subs:     1408  v-elim:      0  v-fix:    0  time:  0.76 s
3655.50/124.61	c vivif2 --  cl tried    11913 cl shrink       11 lits rem         14 time: 0.00
3655.50/124.68	c vivif2 --  cl tried    42668 cl shrink     6512 lits rem      41264 time: 0.07
3665.09/124.99	c asymm  cl-useful: 40/11910/11910 lits-rem:81 time: 0.31
3665.09/125.00	c calculated reachability. Time: 0.00
3668.29/125.00	c  N st    53    357852      6328     11909     25050     42666     77279    856829   no data   no data
3671.49/125.20	c Finding binary XORs  T:     0.20 s  found:       0
3930.37/133.24	c  N st    54    390244      6328     11909     25052     43328     77279   1021418   no data   no data
3936.76/133.44	c Finding binary XORs  T:     0.20 s  found:       0
4314.61/145.24	c  N st    55    438832      6328     11909     25488     58079     77279   1830865   no data   no data
4320.37/145.44	c Finding binary XORs  T:     0.20 s  found:       0
5113.12/170.27	c  N st    56    511715      6328     11909     26653     61687     77279   1477168   no data   no data
5317.69/176.69	c  N st    57    536779      6323     11909     26712     51848     77279   1115204   no data   no data
5317.69/176.69	c  S st    57    536779      6323     11909     26712     51848     77279   1115204   no data   no data
5331.07/177.07	c  S st    57    537279      6323     11909     26749     52345     77279   1131064   no data   no data
5331.07/177.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
5352.85/177.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:    507 BRemL:   1155 BRemN:      2 P:  8.8M T:  0.64
5352.85/177.76	c Replacing        3 vars Replaced       82 lits Time:     0.03 s 
5352.85/177.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5352.85/177.77	c bin-w-bin subsume rem          369 bins  time:  0.00 s
5352.85/177.78	c subs with bin:       11  lits-rem:        11  v-fix:    0  time:  0.01 s
5352.85/177.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6320 time:  0.01 s
5356.05/177.80	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
5356.05/177.84	c lits-rem:         0  cl-subs:       16  v-elim:     11  v-fix:    0  time:  0.04 s
5369.42/178.22	c subs with bin:       57  lits-rem:       438  v-fix:    0  time:  0.30 s
5410.38/179.59	c lits-rem:      2642  cl-subs:     1834  v-elim:      0  v-fix:    0  time:  1.36 s
5410.38/179.59	c vivif2 --  cl tried    11871 cl shrink        5 lits rem          5 time: 0.00
5413.58/179.70	c vivif2 --  cl tried    50433 cl shrink     8489 lits rem      35616 time: 0.10
5432.77/180.24	c asymm  cl-useful: 62/11868/11868 lits-rem:88 time: 0.54
5432.77/180.25	c calculated reachability. Time: 0.00
5432.77/180.25	c  N st    57    537279      6309     11866     24646     50433     76934   1036945   no data   no data
5439.75/180.45	c Finding binary XORs  T:     0.20 s  found:       0
7011.78/229.65	c  N st    58    701264      6309     11866     24648     59481     76934   1450318   no data   no data
7018.77/229.87	c Finding binary XORs  T:     0.20 s  found:       4
7938.76/258.67	c  N st    59    805918      6307     11862     26287     79099     76851   2534521   no data   no data
7938.76/258.67	c  S st    59    805918      6307     11862     26287     79099     76851   2534521   no data   no data
7945.17/258.90	c Finding binary XORs  T:     0.20 s  found:       3
7964.36/259.42	c  S st    59    806421      6305     11860     27313     79581     76810   2553298   no data   no data
7964.36/259.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
7989.93/260.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    135 BRemL:   2422 BRemN:      0 P: 12.5M T:  0.84
7993.13/260.30	c Replacing        9 vars Replaced      475 lits Time:     0.02 s 
7993.13/260.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7993.13/260.32	c bin-w-bin subsume rem          198 bins  time:  0.00 s
7993.13/260.33	c subs with bin:       31  lits-rem:        36  v-fix:    0  time:  0.01 s
7993.13/260.34	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:   6296 time:  0.01 s
7993.13/260.35	c Removed useless bin:       2  fixed:     0  props:   0.17M  time:  0.01 s
7996.32/260.40	c lits-rem:         3  cl-subs:       22  v-elim:      4  v-fix:    0  time:  0.05 s
8028.29/261.47	c subs with bin:       37  lits-rem:      2010  v-fix:    0  time:  0.88 s
8501.34/276.22	c lits-rem:      2704  cl-subs:     2706  v-elim:      0  v-fix:    0  time: 14.75 s
8501.34/276.23	c vivif2 --  cl tried    11798 cl shrink        1 lits rem          1 time: 0.00
8510.93/276.51	c vivif2 --  cl tried    76838 cl shrink    18813 lits rem      78497 time: 0.28
8526.93/277.03	c asymm  cl-useful: 37/6205/11798 lits-rem:62 time: 0.52
8526.93/277.04	c calculated reachability. Time: 0.00
8526.93/277.04	c  N st    59    806421      6292     11798     24815     76838     76527   2349395   no data   no data
10837.98/349.31	c  F st    60   1071876      6292     11798     24815     69747     76527   1481163   no data   no data
10837.98/349.32	c  N st    60   1071876      6292     11798     24815     69747     76527   1481163   no data   no data
10844.38/349.60	c Finding binary XORs  T:     0.20 s  found:       3
10889.73/350.93	c Decided on static restart strategy
11112.85/357.97	c  N st    70   1100181      6288     11792     26100     45125     76412    783309   no data   no data
11410.15/367.27	c  N st    72   1136176      6288     11792     26101     79651     76412   1781991   no data   no data
11417.16/367.50	c Finding binary XORs  T:     0.20 s  found:       0
11672.26/375.42	c  N st    73   1168569      6287     11784     26247     65734     76382   1408893   no data   no data
11678.65/375.62	c Finding binary XORs  T:     0.20 s  found:       0
12007.86/385.91	c  N st    74   1209631      6287     11784     26496     57778     76382   1080549   no data   no data
12007.86/385.91	c  S st    74   1209631      6287     11784     26496     57778     76382   1080549   no data   no data
12020.63/386.35	c  S st    74   1210133      6287     11784     26608     58276     76382   1096333   no data   no data
12020.63/386.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
12043.02/387.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:     45 BRemL:   1860 BRemN:      1 P:  9.8M T:  0.69
12043.02/387.08	c Replacing        7 vars Replaced      151 lits Time:     0.02 s 
12043.02/387.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12043.02/387.09	c bin-w-bin subsume rem          154 bins  time:  0.00 s
12043.02/387.10	c subs with bin:       22  lits-rem:        24  v-fix:    0  time:  0.01 s
12046.81/387.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6280 time:  0.02 s
12046.81/387.13	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
12046.81/387.17	c lits-rem:         0  cl-subs:       28  v-elim:     14  v-fix:    0  time:  0.04 s
12055.79/387.47	c subs with bin:       22  lits-rem:       386  v-fix:    0  time:  0.22 s
12106.96/389.08	c lits-rem:      1397  cl-subs:     2282  v-elim:      0  v-fix:    0  time:  1.61 s
12106.96/389.09	c vivif2 --  cl tried    11728 cl shrink        7 lits rem         10 time: 0.00
12110.15/389.18	c vivif2 --  cl tried    55679 cl shrink     5653 lits rem      19233 time: 0.09
12117.14/389.34	c asymm  cl-useful: 0/5522/11727 lits-rem:0 time: 0.16
12117.14/389.35	c calculated reachability. Time: 0.00
12117.14/389.35	c  N st    74   1210133      6266     11727     24386     55679     76106   1000422   no data   no data
12122.92/389.55	c Finding binary XORs  T:     0.20 s  found:       0
12778.24/410.05	c  N st    75   1283016      6266     11727     24386     76677     76106   1538096   no data   no data
13740.37/440.17	c  N st    76   1392339      6265     11727     24470     79808     76106   1850747   no data   no data
13746.77/440.39	c Finding binary XORs  T:     0.19 s  found:       2
15543.21/496.58	c  N st    77   1556323      6264     11726     24826     77953     76052   1541871   no data   no data
15552.82/496.80	c Finding binary XORs  T:     0.19 s  found:       2
17321.13/552.12	c  N st    78   1710133      6262     11720     24893    112776     75980   2313083   no data   no data
17321.13/552.12	c  S st    78   1710133      6262     11720     24893    112776     75980   2313083   no data   no data
17326.91/552.34	c Finding binary XORs  T:     0.20 s  found:       3
17346.07/552.92	c  S st    78   1710633      6260     11718     25203    113248     75938   2330967   no data   no data
17346.07/552.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
17374.84/553.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    720 BRemL:   1840 BRemN:      1 P: 15.4M T:  0.91
17374.84/553.88	c Replacing        9 vars Replaced     2418 lits Time:     0.03 s 
17374.84/553.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17374.84/553.90	c bin-w-bin subsume rem          130 bins  time:  0.00 s
17378.04/553.91	c subs with bin:       24  lits-rem:        29  v-fix:    0  time:  0.01 s
17378.04/553.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6251 time:  0.01 s
17378.04/553.93	c Removed useless bin:       4  fixed:     0  props:   0.17M  time:  0.01 s
17378.04/553.98	c lits-rem:         3  cl-subs:       12  v-elim:     11  v-fix:    0  time:  0.06 s
17400.41/554.69	c subs with bin:       41  lits-rem:      1282  v-fix:    0  time:  0.54 s
17790.41/566.88	c lits-rem:     14196  cl-subs:     9001  v-elim:      0  v-fix:    0  time: 12.18 s
17790.41/566.88	c vivif2 --  cl tried    11681 cl shrink        5 lits rem          5 time: 0.00
17800.01/567.14	c vivif2 --  cl tried   103165 cl shrink    20451 lits rem      58837 time: 0.26
17819.18/567.71	c asymm  cl-useful: 33/4988/11681 lits-rem:51 time: 0.57
17819.18/567.72	c calculated reachability. Time: 0.00
17819.18/567.72	c  N st    78   1710633      6240     11681     23639    103165     75732   2008132   no data   no data
17825.57/567.92	c Finding binary XORs  T:     0.20 s  found:       0
21245.87/674.98	c  N st    79   2079597      6240     11681     23640     96269     75732   1730594   no data   no data
21255.46/675.20	c Finding binary XORs  T:     0.20 s  found:       3
22422.81/711.74	c  N st    80   2210633      6237     11669     24367     95817     75633   1831703   no data   no data
22422.81/711.74	c  S st    80   2210633      6237     11669     24367     95817     75633   1831703   no data   no data
22428.59/711.94	c Finding binary XORs  T:     0.20 s  found:       2
22447.79/712.57	c  S st    80   2211135      6237     11669     24845     96317     75633   1845111   no data   no data
22447.79/712.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
22476.55/713.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    768 BRemL:   2007 BRemN:      1 P: 12.1M T:  0.90
22479.73/713.51	c Replacing        5 vars Replaced      179 lits Time:     0.02 s 
22479.73/713.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22479.73/713.53	c bin-w-bin subsume rem           87 bins  time:  0.00 s
22479.73/713.54	c subs with bin:       13  lits-rem:        11  v-fix:    0  time:  0.01 s
22479.73/713.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6232 time:  0.01 s
22479.73/713.56	c Removed useless bin:       2  fixed:     0  props:   0.17M  time:  0.01 s
22482.93/713.62	c lits-rem:         0  cl-subs:       18  v-elim:      8  v-fix:    0  time:  0.06 s
22505.30/714.35	c subs with bin:     1244  lits-rem:       768  v-fix:    0  time:  0.60 s
22642.76/718.63	c lits-rem:      6297  cl-subs:     4152  v-elim:      0  v-fix:    0  time:  4.27 s
22642.76/718.64	c vivif2 --  cl tried    11640 cl shrink        6 lits rem          6 time: 0.00
22649.15/718.82	c vivif2 --  cl tried    90513 cl shrink    11531 lits rem      30962 time: 0.18
22658.75/719.10	c asymm  cl-useful: 0/6652/11640 lits-rem:0 time: 0.28
22658.75/719.11	c calculated reachability. Time: 0.00
22658.75/719.11	c  N st    80   2211135      6224     11640     23274     90513     75496   1695354   no data   no data
27527.09/871.40	c  N st    81   2711135      6224     11640     23274     91079     75496   1530934   no data   no data
27527.09/871.40	c  S st    81   2711135      6224     11640     23274     91079     75496   1530934   no data   no data
27533.48/871.62	c Finding binary XORs  T:     0.20 s  found:       5
27549.47/872.19	c  S st    81   2711636      6220     11633     24277     91503     75416   1547331   no data   no data
27549.47/872.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
27578.24/873.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     21 BRemL:   1005 BRemN:      0 P: 11.7M T:  0.82
27578.24/873.06	c Replacing        5 vars Replaced      652 lits Time:     0.02 s 
27578.24/873.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27578.24/873.07	c bin-w-bin subsume rem          154 bins  time:  0.00 s
27578.24/873.08	c subs with bin:       10  lits-rem:        12  v-fix:    0  time:  0.01 s
27581.44/873.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6215 time:  0.02 s
27581.44/873.11	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.01 s
27581.44/873.16	c lits-rem:         0  cl-subs:        4  v-elim:      4  v-fix:    0  time:  0.05 s
27597.41/873.60	c subs with bin:       90  lits-rem:       421  v-fix:    0  time:  0.33 s
27747.67/878.38	c lits-rem:      5556  cl-subs:     4194  v-elim:      0  v-fix:    0  time:  4.77 s
27747.67/878.38	c vivif2 --  cl tried    11611 cl shrink        6 lits rem          6 time: 0.00
27754.06/878.53	c vivif2 --  cl tried    87160 cl shrink     6710 lits rem      16162 time: 0.14
27773.23/879.12	c asymm  cl-useful: 39/7087/11611 lits-rem:46 time: 0.59
27773.23/879.13	c calculated reachability. Time: 0.00
27773.23/879.13	c  N st    81   2711636      6211     11611     23113     87160     75290   1442006   no data   no data
33153.01/1047.40	c  N st    82   3211637      6211     11611     23114    118871     75290   2118012   no data   no data
33153.01/1047.40	c  S st    82   3211637      6211     11611     23114    118871     75290   2118012   no data   no data
33165.81/1047.81	c Finding binary XORs  T:     0.20 s  found:       1
33179.19/1048.31	c  S st    82   3212138      6208     11608     23601     85765     75189   1399790   no data   no data
33182.42/1048.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
33204.17/1049.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     16 BRemL:    617 BRemN:      0 P: 10.9M T:  0.71
33204.17/1049.07	c Replacing        1 vars Replaced       21 lits Time:     0.02 s 
33204.17/1049.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
33204.17/1049.08	c bin-w-bin subsume rem           60 bins  time:  0.00 s
33204.17/1049.09	c subs with bin:       11  lits-rem:         4  v-fix:    0  time:  0.01 s
33207.36/1049.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6207 time:  0.02 s
33207.36/1049.11	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.01 s
33207.36/1049.16	c lits-rem:         0  cl-subs:       11  v-elim:      6  v-fix:    0  time:  0.05 s
33217.58/1049.46	c subs with bin:       14  lits-rem:       302  v-fix:    0  time:  0.21 s
33306.46/1052.21	c lits-rem:      1818  cl-subs:     2012  v-elim:      0  v-fix:    0  time:  2.74 s
33306.46/1052.21	c vivif2 --  cl tried    11593 cl shrink        3 lits rem          9 time: 0.00
33309.66/1052.35	c vivif2 --  cl tried    81565 cl shrink     5897 lits rem      14213 time: 0.14
33312.85/1052.47	c asymm  cl-useful: 0/4506/11593 lits-rem:0 time: 0.12
33312.85/1052.48	c calculated reachability. Time: 0.00
33312.85/1052.48	c  N st    82   3212138      6201     11593     22769     81565     75144   1300245   no data   no data
39511.58/1246.37	c  N st    83   3712138      6201     11593     22771    119406     75144   1888810   no data   no data
39511.58/1246.37	c  S st    83   3712138      6201     11593     22771    119406     75144   1888810   no data   no data
39520.54/1246.61	c Finding binary XORs  T:     0.20 s  found:       4
39546.75/1247.48	c  S st    83   3712638      6197     11590     22677    118439     75013   1883462   no data   no data
39549.30/1247.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
39587.67/1248.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     39 BRemL:    429 BRemN:      4 P: 12.4M T:  1.22
39587.67/1248.77	c Replacing        5 vars Replaced      297 lits Time:     0.03 s 
39587.67/1248.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39587.67/1248.78	c bin-w-bin subsume rem           32 bins  time:  0.00 s
39587.67/1248.79	c subs with bin:       11  lits-rem:         9  v-fix:    0  time:  0.01 s
39590.86/1248.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6192 time:  0.02 s
39590.86/1248.82	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
39594.07/1248.90	c lits-rem:         2  cl-subs:        8  v-elim:      4  v-fix:    0  time:  0.07 s
39642.02/1250.47	c subs with bin:     1346  lits-rem:      1893  v-fix:    0  time:  1.44 s
40022.42/1262.31	c lits-rem:     14476  cl-subs:    10713  v-elim:      0  v-fix:    0  time: 11.82 s
40022.42/1262.31	c vivif2 --  cl tried    11563 cl shrink        1 lits rem          1 time: 0.00
40028.81/1262.54	c vivif2 --  cl tried   105234 cl shrink    10753 lits rem      25331 time: 0.23
40054.38/1263.39	c asymm  cl-useful: 15/6429/11563 lits-rem:16 time: 0.85
40057.58/1263.40	c calculated reachability. Time: 0.00
40057.58/1263.40	c  N st    83   3712638      6188     11563     22194    105233     74893   1629135   no data   no data
40575.42/1279.65	c  F st    84   3751563      6188     11563     22194    141158     74893   2519349   no data   no data
40575.42/1279.66	c  N st    84   3751563      6188     11563     22194    141158     74893   2519349   no data   no data
40585.01/1279.91	c Finding binary XORs  T:     0.20 s  found:       1
40680.90/1282.93	c Decided on static restart strategy
41006.97/1293.17	c  N st    94   3779871      6187     11562     22181     88311     74864   1314033   no data   no data
41483.22/1308.02	c  N st    96   3815866      6187     11562     22183    122568     74864   2144932   no data   no data
41841.25/1319.25	c  N st    97   3848261      6187     11562     22214    152720     74864   2822664   no data   no data
42554.08/1341.57	c  N st    98   3896849      6187     11562     22218    117530     74864   2249210   no data   no data
43576.97/1373.51	c  N st    99   3969731      6187     11562     22283    103800     74864   1615153   no data   no data
43583.38/1373.71	c Finding binary XORs  T:     0.20 s  found:       0
45184.82/1423.88	c  N st   100   4079054      6187     11562     22368    123742     74864   2323699   no data   no data
46962.69/1479.52	c  N st   101   4212638      6186     11562     22494    164265     74864   3017871   no data   no data
46962.69/1479.52	c  S st   101   4212638      6186     11562     22494    164265     74864   3017871   no data   no data
46971.67/1479.75	c Finding binary XORs  T:     0.20 s  found:       0
47003.63/1480.77	c  S st   101   4213143      6185     11561     22567    164637     74816   3033076   no data   no data
47006.83/1480.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
47045.19/1482.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    228 BRemL:    608 BRemN:      1 P: 16.0M T:  1.26
47048.39/1482.10	c Replacing        2 vars Replaced      221 lits Time:     0.04 s 
47048.39/1482.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47048.39/1482.11	c bin-w-bin subsume rem          101 bins  time:  0.00 s
47048.39/1482.12	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.01 s
47048.39/1482.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6183 time:  0.02 s
47048.39/1482.15	c Removed useless bin:       1  fixed:     0  props:   0.17M  time:  0.01 s
47051.59/1482.23	c lits-rem:         0  cl-subs:        8  v-elim:      3  v-fix:    0  time:  0.08 s
47083.56/1483.29	c subs with bin:      373  lits-rem:       958  v-fix:    0  time:  0.83 s
47726.06/1503.37	c lits-rem:     19869  cl-subs:     5278  v-elim:      0  v-fix:    0  time: 20.06 s
47726.06/1503.37	c vivif2 --  cl tried    11549 cl shrink        3 lits rem          3 time: 0.00
47758.03/1504.38	c vivif2 --  cl tried   158755 cl shrink    45012 lits rem      89157 time: 0.99
47764.42/1504.58	c asymm  cl-useful: 0/5120/11549 lits-rem:0 time: 0.20
47764.42/1504.59	c calculated reachability. Time: 0.00
47764.42/1504.59	c  N st   101   4213143      6180     11549     21965    158755     74744   2820732   no data   no data
47771.40/1504.79	c Finding binary XORs  T:     0.20 s  found:       0
50549.21/1591.70	c  N st   102   4459122      6180     11549     21966    124608     74744   2029234   no data   no data
50558.20/1591.93	c Finding binary XORs  T:     0.20 s  found:       1
53537.95/1685.13	c  N st   103   4713143      6178     11545     22140    184502     74680   3295209   no data   no data
53537.95/1685.13	c  S st   103   4713143      6178     11545     22140    184502     74680   3295209   no data   no data
53566.14/1686.03	c  S st   103   4713645      6177     11545     22216    185002     74680   3311442   no data   no data
53566.14/1686.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
53604.49/1687.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     64 BRemL:    365 BRemN:      4 P: 17.0M T:  1.14
53604.49/1687.28	c Replacing        1 vars Replaced       52 lits Time:     0.07 s 
53604.49/1687.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
53604.49/1687.29	c bin-w-bin subsume rem           25 bins  time:  0.00 s
53604.49/1687.30	c subs with bin:        4  lits-rem:         2  v-fix:    0  time:  0.01 s
53604.49/1687.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6176 time:  0.02 s
53608.28/1687.32	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
53608.28/1687.40	c lits-rem:         0  cl-subs:        6  v-elim:      3  v-fix:    0  time:  0.08 s
53752.13/1691.85	c subs with bin:     1902  lits-rem:      5486  v-fix:    0  time:  4.21 s
55490.46/1746.22	c lits-rem:     18863  cl-subs:    15289  v-elim:      0  v-fix:    0  time: 54.35 s
55490.46/1746.22	c vivif2 --  cl tried    11535 cl shrink        3 lits rem          3 time: 0.00
55516.03/1747.01	c vivif2 --  cl tried   167240 cl shrink    31008 lits rem      67785 time: 0.78
55538.42/1747.70	c asymm  cl-useful: 15/3957/11535 lits-rem:18 time: 0.69
55538.42/1747.72	c calculated reachability. Time: 0.00
55538.42/1747.72	c  N st   103   4713645      6173     11535     21753    167240     74565   2890178   no data   no data
62359.80/1961.15	c  N st   104   5213646      6173     11535     21753    170969     74565   3249652   no data   no data
62359.80/1961.15	c  S st   104   5213646      6173     11535     21753    170969     74565   3249652   no data   no data
62366.82/1961.40	c Finding binary XORs  T:     0.20 s  found:       2
62401.98/1962.48	c  S st   104   5214148      6169     11533     22457    170135     74449   3256210   no data   no data
62404.54/1962.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
62439.70/1963.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     49 BRemL:    520 BRemN:      0 P: 15.1M T:  1.14
62439.70/1963.69	c Replacing        2 vars Replaced      275 lits Time:     0.03 s 
62442.90/1963.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
62442.90/1963.71	c bin-w-bin subsume rem           43 bins  time:  0.00 s
62442.90/1963.72	c subs with bin:        3  lits-rem:         5  v-fix:    0  time:  0.01 s
62442.90/1963.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6167 time:  0.02 s
62442.90/1963.75	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
62446.10/1963.82	c lits-rem:         0  cl-subs:       11  v-elim:      5  v-fix:    0  time:  0.08 s
62564.38/1967.57	c subs with bin:      462  lits-rem:     29067  v-fix:    0  time:  3.50 s
63405.06/1993.88	c lits-rem:     13708  cl-subs:     6916  v-elim:      0  v-fix:    0  time: 26.29 s
63405.06/1993.88	c vivif2 --  cl tried    11524 cl shrink        7 lits rem          7 time: 0.00
63433.82/1994.72	c vivif2 --  cl tried   162028 cl shrink    33634 lits rem     110893 time: 0.83
63443.42/1995.02	c asymm  cl-useful: 0/7565/11522 lits-rem:0 time: 0.31
63443.42/1995.04	c calculated reachability. Time: 0.00
63443.42/1995.04	c  N st   104   5214148      6162     11522     21832    162027     74348   2934489   no data   no data
69806.46/2194.19	c  N st   105   5714148      6162     11522     21835    143328     74348   2148527   no data   no data
69806.46/2194.19	c  S st   105   5714148      6162     11522     21835    143328     74348   2148527   no data   no data
69822.44/2194.62	c Finding binary XORs  T:     0.20 s  found:       3
69851.80/2195.56	c  S st   105   5714650      6152     11519     21802    111980     74073   1669169   no data   no data
69851.80/2195.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
69883.20/2196.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     14 BRemL:    389 BRemN:      0 P: 12.3M T:  0.96
69883.20/2196.61	c Replacing        3 vars Replaced     4987 lits Time:     0.05 s 
69883.20/2196.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69886.98/2196.62	c bin-w-bin subsume rem          103 bins  time:  0.00 s
69886.98/2196.63	c subs with bin:       12  lits-rem:         6  v-fix:    0  time:  0.01 s
69886.98/2196.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6149 time:  0.01 s
69886.98/2196.65	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.01 s
69890.21/2196.73	c lits-rem:         0  cl-subs:        3  v-elim:      5  v-fix:    0  time:  0.07 s
69925.37/2197.83	c subs with bin:      875  lits-rem:      7257  v-fix:    0  time:  0.98 s
70168.27/2205.50	c lits-rem:      5659  cl-subs:     2987  v-elim:      0  v-fix:    0  time:  7.66 s
70168.27/2205.50	c vivif2 --  cl tried    11499 cl shrink        0 lits rem          0 time: 0.00
70174.05/2205.68	c vivif2 --  cl tried   107846 cl shrink     6642 lits rem      15378 time: 0.18
70196.45/2206.36	c asymm  cl-useful: 10/5814/11499 lits-rem:11 time: 0.68
70196.45/2206.37	c calculated reachability. Time: 0.00
70196.45/2206.37	c  N st   105   5714650      6144     11499     21261    107846     74002   1584026   no data   no data
78034.30/2451.55	c  N st   106   6214650      6144     11499     21262    199061     74002   3498020   no data   no data
78034.30/2451.55	c  S st   106   6214650      6144     11499     21262    199061     74002   3498020   no data   no data
78040.70/2451.81	c Finding binary XORs  T:     0.20 s  found:       3
78095.05/2453.43	c  S st   106   6215152      6138     11495     21649    197763     73810   3478976   no data   no data
78095.05/2453.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
78139.80/2454.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     18 BRemL:    332 BRemN:      5 P: 17.2M T:  1.37
78149.98/2455.17	c Replacing        3 vars Replaced    19955 lits Time:     0.34 s 
78149.98/2455.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78149.98/2455.19	c bin-w-bin subsume rem           45 bins  time:  0.00 s
78149.98/2455.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78149.98/2455.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6135 time:  0.02 s
78153.17/2455.22	c Removed useless bin:       3  fixed:     0  props:   0.17M  time:  0.01 s
78155.77/2455.31	c lits-rem:         0  cl-subs:        2  v-elim:      3  v-fix:    0  time:  0.09 s
78280.45/2459.23	c subs with bin:      696  lits-rem:     23533  v-fix:    0  time:  3.66 s
81170.07/2549.65	c lits-rem:     22936  cl-subs:    27283  v-elim:      0  v-fix:    0  time: 90.40 s
81170.07/2549.66	c vivif2 --  cl tried    11490 cl shrink        1 lits rem          1 time: 0.00
81202.05/2550.65	c vivif2 --  cl tried   169199 cl shrink    37024 lits rem      89466 time: 0.98
81209.02/2550.86	c asymm  cl-useful: 0/5676/11490 lits-rem:0 time: 0.21
81209.02/2550.88	c calculated reachability. Time: 0.00
81209.02/2550.88	c  N st   106   6215152      6132     11490     21271    169197     73756   2833616   no data   no data
83794.37/2638.05	c Following stats are for *FIRST FINISHED THREAD ONLY*
83794.37/2638.05	c num threads              : 32         
83794.37/2638.05	c restarts                 : 109        
83794.37/2638.05	c dynamic restarts         : 0          
83794.37/2638.05	c static restarts          : 109        
83794.37/2638.05	c full restarts            : 5          
83794.37/2638.05	c total simplify time      : 13.53      
83794.37/2638.05	c learnts DL2              : 0          
83794.37/2638.05	c learnts size 2           : 243563     
83794.37/2638.05	c learnts size 1           : 21386       (41.82     % of vars)
83794.37/2638.05	c filedLit time            : 35.22       (1.35      % time)
83794.37/2638.05	c v-elim SatELite          : 7358        (14.39     % vars)
83794.37/2638.05	c SatELite time            : 129.36      (4.95      % time)
83794.37/2638.05	c v-elim xor               : 1473        (2.88      % vars)
83794.37/2638.05	c xor elim time            : 0.45        (0.02      % time)
83794.37/2638.05	c num binary xor trees     : 3038       
83794.37/2638.05	c binxor trees' crown      : 15089       (4.97      leafs/tree)
83794.37/2638.05	c bin xor find time        : 11.10      
83794.37/2638.05	c OTF clause improved      : 513781      (0.06      clauses/conflict)
83794.37/2638.05	c OTF impr. size diff      : 566657      (1.10       lits/clause)
83794.37/2638.05	c OTF cl watch-shrink      : 3195603     (0.39      clauses/conflict)
83794.37/2638.05	c OTF cl watch-sh-lit      : 7168000     (2.24       lits/clause)
83794.37/2638.05	c tried to recurMin cls    : 1124528     (13.67      % of conflicts)
83794.37/2638.05	c updated cache            : 36589       (0.03       lits/tried recurMin)
83794.37/2638.05	c unit cls recevied        : 284         (1.33      % of units)
83794.37/2638.05	c unit cls sent            : 562         (2.63      % of units)
83794.37/2638.05	c bin cls recevied         : 158555     
83794.37/2638.05	c bin cls sent             : 4521       
83794.37/2638.05	c clauses over max glue    : 0           (0.00      % of all clauses)
83794.37/2638.05	c conflicts                : 8229176     (3145.78   / sec)
83794.37/2638.05	c decisions                : 9528738     (0.85      % random)
83794.37/2638.05	c bogo-props               : 325651474137 (124487396.23 / sec)
83794.37/2638.05	c conflict literals        : 165296666   (28.45     % deleted)
83794.37/2638.05	c Memory used              : 17105.80    MB
83794.37/2638.05	c single-thread CPU time   : 2615.94     s
83794.37/2638.05	c all-threads sum CPU time : 83704.25    s
83794.37/2638.05	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400807-1306817838/watcher-3400807-1306817838 -o /tmp/evaluation-result-3400807-1306817838/solver-3400807-1306817838 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400807-1306817838.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: 23.79 30.16 31.39 1/413 22332
/proc/meminfo: memFree=263555808/264257624 swapFree=67044764/67111528
[pid=22332] ppid=22330 vsize=338000 CPUtime=0.82 cores=0-31
/proc/22332/stat : 22332 (strangenight2-m) R 22330 22332 22306 0 -1 4202496 435 0 0 0 82 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/22332/statm: 84500 376 297 95 0 79482 0
[pid=22332/tid=22333] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22333/stat : 22333 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22332/tid=22334] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22334/stat : 22334 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22332/tid=22335] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22335/stat : 22335 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22332/tid=22336] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22336/stat : 22336 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22332/tid=22337] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22337/stat : 22337 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22332/tid=22338] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22338/stat : 22338 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22332/tid=22339] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22339/stat : 22339 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22332/tid=22340] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22340/stat : 22340 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22332/tid=22341] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22341/stat : 22341 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22332/tid=22342] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22342/stat : 22342 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22332/tid=22343] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22343/stat : 22343 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22332/tid=22344] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22344/stat : 22344 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331432 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22332/tid=22345] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22345/stat : 22345 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22332/tid=22346] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22346/stat : 22346 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331440 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22332/tid=22347] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22347/stat : 22347 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22332/tid=22348] ppid=22330 vsize=338000 CPUtime=0 cores=0-31
/proc/22332/task/22348/stat : 22348 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22332/tid=22349] ppid=22330 vsize=338000 CPUtime=0 cores=0-31
/proc/22332/task/22349/stat : 22349 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22332/tid=22350] ppid=22330 vsize=338000 CPUtime=0.01 cores=0-31
/proc/22332/task/22350/stat : 22350 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331446 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22332/tid=22351] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22351/stat : 22351 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22332/tid=22352] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22352/stat : 22352 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331440 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22332/tid=22353] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22353/stat : 22353 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22332/tid=22354] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22354/stat : 22354 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22332/tid=22355] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22355/stat : 22355 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22332/tid=22356] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22356/stat : 22356 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22332/tid=22357] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22357/stat : 22357 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22332/tid=22358] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22358/stat : 22358 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22332/tid=22359] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22359/stat : 22359 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22332/tid=22360] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22360/stat : 22360 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22332/tid=22361] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22361/stat : 22361 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22332/tid=22362] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22362/stat : 22362 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22332/tid=22363] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22363/stat : 22363 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.0419199 s]
/proc/loadavg: 23.79 30.16 31.39 1/413 22332
/proc/meminfo: memFree=263555808/264257624 swapFree=67044764/67111528
[pid=22332] ppid=22330 vsize=338000 CPUtime=1.04 cores=0-31
/proc/22332/stat : 22332 (strangenight2-m) R 22330 22332 22306 0 -1 4202496 435 0 0 0 104 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/22332/statm: 84500 376 297 95 0 79482 0
[pid=22332/tid=22333] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22333/stat : 22333 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331440 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22332/tid=22334] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22334/stat : 22334 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22332/tid=22335] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22335/stat : 22335 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331440 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22332/tid=22336] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22336/stat : 22336 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331432 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22332/tid=22337] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22337/stat : 22337 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22332/tid=22338] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22338/stat : 22338 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22332/tid=22339] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22339/stat : 22339 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22332/tid=22340] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22340/stat : 22340 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22332/tid=22341] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22341/stat : 22341 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22332/tid=22342] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22342/stat : 22342 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22332/tid=22343] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22343/stat : 22343 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22332/tid=22344] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22344/stat : 22344 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22332/tid=22345] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22345/stat : 22345 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22332/tid=22346] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22346/stat : 22346 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749798 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22332/tid=22347] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22347/stat : 22347 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22332/tid=22348] ppid=22330 vsize=338000 CPUtime=0 cores=0-31
/proc/22332/task/22348/stat : 22348 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22332/tid=22349] ppid=22330 vsize=338000 CPUtime=0 cores=0-31
/proc/22332/task/22349/stat : 22349 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22332/tid=22350] ppid=22330 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22332/task/22350/stat : 22350 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22332/tid=22351] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22351/stat : 22351 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22332/tid=22352] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22352/stat : 22352 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22332/tid=22353] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22353/stat : 22353 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22332/tid=22354] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22354/stat : 22354 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331432 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22332/tid=22355] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22355/stat : 22355 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22332/tid=22356] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22356/stat : 22356 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22332/tid=22357] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22357/stat : 22357 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22332/tid=22358] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22358/stat : 22358 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22332/tid=22359] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22359/stat : 22359 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22332/tid=22360] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22360/stat : 22360 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331436 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22332/tid=22361] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22361/stat : 22361 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22332/tid=22362] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22362/stat : 22362 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22332/tid=22363] ppid=22330 vsize=338000 CPUtime=0.03 cores=0-31
/proc/22332/task/22363/stat : 22363 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 7749799 346112000 376 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331442 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 338000

[startup+0.110199 s]
/proc/loadavg: 23.79 30.16 31.39 1/413 22332
/proc/meminfo: memFree=263555808/264257624 swapFree=67044764/67111528
[pid=22332] ppid=22330 vsize=797972 CPUtime=2.87 cores=0-31
/proc/22332/stat : 22332 (strangenight2-m) D 22330 22332 22306 0 -1 4202496 7791 0 0 0 225 62 0 0 25 0 32 0 7749798 817123328 7619 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/22332/statm: 199493 7619 330 95 0 194475 0
[pid=22332/tid=22333] ppid=22330 vsize=797972 CPUtime=0.09 cores=0-31
/proc/22332/task/22333/stat : 22333 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 235 0 0 0 7 2 0 0 18 0 32 0 7749798 817123328 7626 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22332/tid=22334] ppid=22330 vsize=797972 CPUtime=0.08 cores=0-31
/proc/22332/task/22334/stat : 22334 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 198 0 0 0 7 1 0 0 18 0 32 0 7749798 817123328 7629 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22332/tid=22335] ppid=22330 vsize=797972 CPUtime=0.09 cores=0-31
/proc/22332/task/22335/stat : 22335 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 282 0 0 0 7 2 0 0 18 0 32 0 7749798 817123328 7629 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22332/tid=22336] ppid=22330 vsize=797972 CPUtime=0.08 cores=0-31
/proc/22332/task/22336/stat : 22336 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 217 0 0 0 7 1 0 0 25 0 32 0 7749798 817123328 7629 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22332/tid=22337] ppid=22330 vsize=797972 CPUtime=0.08 cores=0-31
/proc/22332/task/22337/stat : 22337 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 201 0 0 0 7 1 0 0 25 0 32 0 7749798 817123328 7629 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22332/tid=22338] ppid=22330 vsize=797972 CPUtime=0.08 cores=0-31
/proc/22332/task/22338/stat : 22338 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 237 0 0 0 7 1 0 0 25 0 32 0 7749798 817123328 7629 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22332/tid=22339] ppid=22330 vsize=797972 CPUtime=0.08 cores=0-31
/proc/22332/task/22339/stat : 22339 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 255 0 0 0 7 1 0 0 25 0 32 0 7749798 817123328 7629 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22332/tid=22340] ppid=22330 vsize=797972 CPUtime=0.08 cores=0-31
/proc/22332/task/22340/stat : 22340 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 270 0 0 0 7 1 0 0 18 0 32 0 7749798 817123328 7630 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22332/tid=22341] ppid=22330 vsize=797972 CPUtime=0.08 cores=0-31
/proc/22332/task/22341/stat : 22341 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 197 0 0 0 7 1 0 0 25 0 32 0 7749798 817123328 7630 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22332/tid=22342] ppid=22330 vsize=797972 CPUtime=0.08 cores=0-31
/proc/22332/task/22342/stat : 22342 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 200 0 0 0 7 1 0 0 25 0 32 0 7749798 817123328 7645 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22332/tid=22343] ppid=22330 vsize=797972 CPUtime=0.08 cores=0-31
/proc/22332/task/22343/stat : 22343 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 222 0 0 0 7 1 0 0 25 0 32 0 7749798 817123328 7657 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22332/tid=22344] ppid=22330 vsize=797972 CPUtime=0.08 cores=0-31
/proc/22332/task/22344/stat : 22344 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 230 0 0 0 7 1 0 0 25 0 32 0 7749798 817123328 7666 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22332/tid=22345] ppid=22330 vsize=797972 CPUtime=0.09 cores=0-31
/proc/22332/task/22345/stat : 22345 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 264 0 0 0 7 2 0 0 18 0 32 0 7749798 817123328 7692 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22332/tid=22346] ppid=22330 vsize=797972 CPUtime=0.09 cores=0-31
/proc/22332/task/22346/stat : 22346 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 259 0 0 0 7 2 0 0 18 0 32 0 7749798 817123328 7693 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22332/tid=22347] ppid=22330 vsize=797972 CPUtime=0.05 cores=0-31
/proc/22332/task/22347/stat : 22347 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 232 0 0 0 4 1 0 0 25 0 32 0 7749799 817123328 7693 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22332/tid=22348] ppid=22330 vsize=797972 CPUtime=0.04 cores=0-31
/proc/22332/task/22348/stat : 22348 (strangenight2-m) D 22330 22332 22306 0 -1 4202560 252 0 0 0 2 2 0 0 18 0 32 0 7749799 817123328 7693 268435456000 4194304 4580107 140736137878368 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22332/tid=22349] ppid=22330 vsize=797972 CPUtime=0.05 cores=0-31

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

/proc/22332/stat : 22332 (strangenight2-m) S 22330 22332 22306 0 -1 4202496 6913978 0 0 0 8369239 9021 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/22332/statm: 4362610 3575053 387 95 0 4357592 0
[pid=22332/tid=22333] ppid=22330 vsize=17450440 CPUtime=2619.69 cores=0-31
/proc/22332/task/22333/stat : 22333 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 178446 0 0 0 261703 266 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446744071566926824 0 0 -1 26 0 0 0
[pid=22332/tid=22334] ppid=22330 vsize=17450440 CPUtime=2614.47 cores=0-31
/proc/22332/task/22334/stat : 22334 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 247072 0 0 0 261138 309 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052306475 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22332/tid=22335] ppid=22330 vsize=17450440 CPUtime=2620.26 cores=0-31
/proc/22332/task/22335/stat : 22335 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 219701 0 0 0 261750 276 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604531694108128 0 0 -1 16 0 0 0
[pid=22332/tid=22336] ppid=22330 vsize=17450440 CPUtime=2618.52 cores=0-31
/proc/22332/task/22336/stat : 22336 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 318228 0 0 0 261517 335 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604514867895776 0 0 -1 24 0 0 0
[pid=22332/tid=22337] ppid=22330 vsize=17450440 CPUtime=2619.99 cores=0-31
/proc/22332/task/22337/stat : 22337 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 217355 0 0 0 261705 294 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604490242457056 0 0 -1 1 0 0 0
[pid=22332/tid=22338] ppid=22330 vsize=17450440 CPUtime=2619.42 cores=0-31
/proc/22332/task/22338/stat : 22338 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 266959 0 0 0 261633 309 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604509102964192 0 0 -1 23 0 0 0
[pid=22332/tid=22339] ppid=22330 vsize=17450440 CPUtime=2619.44 cores=0-31
/proc/22332/task/22339/stat : 22339 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 244918 0 0 0 261639 305 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604499755531744 0 0 -1 11 0 0 0
[pid=22332/tid=22340] ppid=22330 vsize=17450440 CPUtime=2620.12 cores=0-31
/proc/22332/task/22340/stat : 22340 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 167321 0 0 0 261754 258 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604460538748384 0 0 -1 19 0 0 0
[pid=22332/tid=22341] ppid=22330 vsize=17450440 CPUtime=2618.83 cores=0-31
/proc/22332/task/22341/stat : 22341 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 167709 0 0 0 261619 264 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604530932317664 0 0 -1 20 0 0 0
[pid=22332/tid=22342] ppid=22330 vsize=17450440 CPUtime=2612.49 cores=0-31
/proc/22332/task/22342/stat : 22342 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 231483 0 0 0 260957 292 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 4415767 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=22332/tid=22343] ppid=22330 vsize=17450440 CPUtime=2619.11 cores=0-31
/proc/22332/task/22343/stat : 22343 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 229055 0 0 0 261617 294 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604445635460576 0 0 -1 8 0 0 0
[pid=22332/tid=22344] ppid=22330 vsize=17450440 CPUtime=2621.24 cores=0-31
/proc/22332/task/22344/stat : 22344 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 222453 0 0 0 261837 287 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604511487573472 0 0 -1 21 0 0 0
[pid=22332/tid=22345] ppid=22330 vsize=17450440 CPUtime=2621.99 cores=0-31
/proc/22332/task/22345/stat : 22345 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 227349 0 0 0 261912 287 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 4507875 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22332/tid=22346] ppid=22330 vsize=17450440 CPUtime=2619.62 cores=0-31
/proc/22332/task/22346/stat : 22346 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 258715 0 0 0 261652 310 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604471966719456 0 0 -1 5 0 0 0
[pid=22332/tid=22347] ppid=22330 vsize=17450440 CPUtime=2620.32 cores=0-31
/proc/22332/task/22347/stat : 22347 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 167063 0 0 0 261782 250 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604494836825568 0 0 -1 27 0 0 0
[pid=22332/tid=22348] ppid=22330 vsize=17450440 CPUtime=2619.66 cores=0-31
/proc/22332/task/22348/stat : 22348 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 201139 0 0 0 261683 283 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604450311470560 0 0 -1 10 0 0 0
[pid=22332/tid=22349] ppid=22330 vsize=17450440 CPUtime=2615.83 cores=0-31
/proc/22332/task/22349/stat : 22349 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 305563 0 0 0 261241 342 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604566127697376 0 0 -1 7 0 0 0
[pid=22332/tid=22350] ppid=22330 vsize=17450440 CPUtime=2621.97 cores=0-31
/proc/22332/task/22350/stat : 22350 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 181696 0 0 0 261931 266 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 4397307 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22332/tid=22351] ppid=22330 vsize=17450440 CPUtime=2620.24 cores=0-31
/proc/22332/task/22351/stat : 22351 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 253830 0 0 0 261722 302 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604535647722976 0 0 -1 13 0 0 0
[pid=22332/tid=22352] ppid=22330 vsize=17450440 CPUtime=2623.13 cores=0-31
/proc/22332/task/22352/stat : 22352 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 206223 0 0 0 262044 269 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604499767328224 0 0 -1 29 0 0 0
[pid=22332/tid=22353] ppid=22330 vsize=17450440 CPUtime=2622.96 cores=0-31
/proc/22332/task/22353/stat : 22353 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 180665 0 0 0 262058 238 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604509332184544 0 0 -1 18 0 0 0
[pid=22332/tid=22354] ppid=22330 vsize=17450440 CPUtime=2619.16 cores=0-31
/proc/22332/task/22354/stat : 22354 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 196626 0 0 0 261663 253 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604554324245984 0 0 -1 14 0 0 0
[pid=22332/tid=22355] ppid=22330 vsize=17450440 CPUtime=2619.4 cores=0-31
/proc/22332/task/22355/stat : 22355 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 194930 0 0 0 261656 284 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604554810383840 0 0 -1 6 0 0 0
[pid=22332/tid=22356] ppid=22330 vsize=17450440 CPUtime=2619.39 cores=0-31
/proc/22332/task/22356/stat : 22356 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 252516 0 0 0 261638 301 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604571608980960 0 0 -1 12 0 0 0
[pid=22332/tid=22357] ppid=22330 vsize=17450440 CPUtime=2612.38 cores=0-31
/proc/22332/task/22357/stat : 22357 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 245405 0 0 0 260930 308 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604499458850272 0 0 -1 31 0 0 0
[pid=22332/tid=22358] ppid=22330 vsize=17450440 CPUtime=2619.47 cores=0-31
/proc/22332/task/22358/stat : 22358 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 160241 0 0 0 261688 259 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604541700324832 0 0 -1 30 0 0 0
[pid=22332/tid=22359] ppid=22330 vsize=17450440 CPUtime=2620.35 cores=0-31
/proc/22332/task/22359/stat : 22359 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 216742 0 0 0 261746 289 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604492479405536 0 0 -1 3 0 0 0
[pid=22332/tid=22360] ppid=22330 vsize=17450440 CPUtime=2609.51 cores=0-31
/proc/22332/task/22360/stat : 22360 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 210718 0 0 0 260655 296 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604533545336288 0 0 -1 17 0 0 0
[pid=22332/tid=22361] ppid=22330 vsize=17450440 CPUtime=2622.05 cores=0-31
/proc/22332/task/22361/stat : 22361 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 231696 0 0 0 261927 278 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604560667622880 0 0 -1 28 0 0 0
[pid=22332/tid=22362] ppid=22330 vsize=17450440 CPUtime=2618.9 cores=0-31
/proc/22332/task/22362/stat : 22362 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 190862 0 0 0 261595 295 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604491932532192 0 0 -1 4 0 0 0
[pid=22332/tid=22363] ppid=22330 vsize=17450440 CPUtime=2592.79 cores=0-31
/proc/22332/task/22363/stat : 22363 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 100877 0 0 0 259164 115 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604525505445344 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 83782.6
Current children cumulated vsize (KiB) 17450440

[startup+2636.74 s]
/proc/loadavg: 29.79 31.61 31.88 3/445 22446
/proc/meminfo: memFree=249229780/264257624 swapFree=67044764/67111528
[pid=22332] ppid=22330 vsize=17450440 CPUtime=83791.8 cores=0-31
/proc/22332/stat : 22332 (strangenight2-m) S 22330 22332 22306 0 -1 4202496 6913978 0 0 0 8370162 9021 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/22332/statm: 4362610 3575053 387 95 0 4357592 0
[pid=22332/tid=22333] ppid=22330 vsize=17450440 CPUtime=2619.69 cores=0-31
/proc/22332/task/22333/stat : 22333 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 178446 0 0 0 261703 266 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446744071566926824 0 0 -1 26 0 0 0
[pid=22332/tid=22334] ppid=22330 vsize=17450440 CPUtime=2617.71 cores=0-31
/proc/22332/task/22334/stat : 22334 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 247072 0 0 0 261462 309 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 4205160 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22332/tid=22335] ppid=22330 vsize=17450440 CPUtime=2620.26 cores=0-31
/proc/22332/task/22335/stat : 22335 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 219701 0 0 0 261750 276 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604531694108128 0 0 -1 16 0 0 0
[pid=22332/tid=22336] ppid=22330 vsize=17450440 CPUtime=2618.52 cores=0-31
/proc/22332/task/22336/stat : 22336 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 318228 0 0 0 261517 335 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604514867895776 0 0 -1 24 0 0 0
[pid=22332/tid=22337] ppid=22330 vsize=17450440 CPUtime=2619.99 cores=0-31
/proc/22332/task/22337/stat : 22337 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 217355 0 0 0 261705 294 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604490242457056 0 0 -1 1 0 0 0
[pid=22332/tid=22338] ppid=22330 vsize=17450440 CPUtime=2619.42 cores=0-31
/proc/22332/task/22338/stat : 22338 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 266959 0 0 0 261633 309 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604509102964192 0 0 -1 23 0 0 0
[pid=22332/tid=22339] ppid=22330 vsize=17450440 CPUtime=2619.44 cores=0-31
/proc/22332/task/22339/stat : 22339 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 244918 0 0 0 261639 305 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604499755531744 0 0 -1 11 0 0 0
[pid=22332/tid=22340] ppid=22330 vsize=17450440 CPUtime=2620.12 cores=0-31
/proc/22332/task/22340/stat : 22340 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 167321 0 0 0 261754 258 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604460538748384 0 0 -1 19 0 0 0
[pid=22332/tid=22341] ppid=22330 vsize=17450440 CPUtime=2618.83 cores=0-31
/proc/22332/task/22341/stat : 22341 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 167709 0 0 0 261619 264 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604530932317664 0 0 -1 20 0 0 0
[pid=22332/tid=22342] ppid=22330 vsize=17450440 CPUtime=2614.89 cores=0-31
/proc/22332/task/22342/stat : 22342 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 231483 0 0 0 261197 292 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604504158150112 0 0 -1 19 0 0 0
[pid=22332/tid=22343] ppid=22330 vsize=17450440 CPUtime=2619.11 cores=0-31
/proc/22332/task/22343/stat : 22343 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 229055 0 0 0 261617 294 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604445635460576 0 0 -1 8 0 0 0
[pid=22332/tid=22344] ppid=22330 vsize=17450440 CPUtime=2621.24 cores=0-31
/proc/22332/task/22344/stat : 22344 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 222453 0 0 0 261837 287 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604511487573472 0 0 -1 21 0 0 0
[pid=22332/tid=22345] ppid=22330 vsize=17450440 CPUtime=2622.34 cores=0-31
/proc/22332/task/22345/stat : 22345 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 227349 0 0 0 261947 287 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604514685992416 0 0 -1 9 0 0 0
[pid=22332/tid=22346] ppid=22330 vsize=17450440 CPUtime=2619.62 cores=0-31
/proc/22332/task/22346/stat : 22346 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 258715 0 0 0 261652 310 0 0 25 0 32 0 7749798 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604471966719456 0 0 -1 5 0 0 0
[pid=22332/tid=22347] ppid=22330 vsize=17450440 CPUtime=2620.32 cores=0-31
/proc/22332/task/22347/stat : 22347 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 167063 0 0 0 261782 250 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604494836825568 0 0 -1 27 0 0 0
[pid=22332/tid=22348] ppid=22330 vsize=17450440 CPUtime=2619.66 cores=0-31
/proc/22332/task/22348/stat : 22348 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 201139 0 0 0 261683 283 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604450311470560 0 0 -1 10 0 0 0
[pid=22332/tid=22349] ppid=22330 vsize=17450440 CPUtime=2615.83 cores=0-31
/proc/22332/task/22349/stat : 22349 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 305563 0 0 0 261241 342 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604566127697376 0 0 -1 7 0 0 0
[pid=22332/tid=22350] ppid=22330 vsize=17450440 CPUtime=2625.21 cores=0-31
/proc/22332/task/22350/stat : 22350 (strangenight2-m) R 22330 22332 22306 0 -1 4202560 181696 0 0 0 262255 266 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 4416477 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22332/tid=22351] ppid=22330 vsize=17450440 CPUtime=2620.24 cores=0-31
/proc/22332/task/22351/stat : 22351 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 253830 0 0 0 261722 302 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604535647722976 0 0 -1 13 0 0 0
[pid=22332/tid=22352] ppid=22330 vsize=17450440 CPUtime=2623.13 cores=0-31
/proc/22332/task/22352/stat : 22352 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 206223 0 0 0 262044 269 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604499767328224 0 0 -1 29 0 0 0
[pid=22332/tid=22353] ppid=22330 vsize=17450440 CPUtime=2622.96 cores=0-31
/proc/22332/task/22353/stat : 22353 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 180665 0 0 0 262058 238 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604509332184544 0 0 -1 18 0 0 0
[pid=22332/tid=22354] ppid=22330 vsize=17450440 CPUtime=2619.16 cores=0-31
/proc/22332/task/22354/stat : 22354 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 196626 0 0 0 261663 253 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604554324245984 0 0 -1 14 0 0 0
[pid=22332/tid=22355] ppid=22330 vsize=17450440 CPUtime=2619.4 cores=0-31
/proc/22332/task/22355/stat : 22355 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 194930 0 0 0 261656 284 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604554810383840 0 0 -1 6 0 0 0
[pid=22332/tid=22356] ppid=22330 vsize=17450440 CPUtime=2619.39 cores=0-31
/proc/22332/task/22356/stat : 22356 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 252516 0 0 0 261638 301 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604571608980960 0 0 -1 12 0 0 0
[pid=22332/tid=22357] ppid=22330 vsize=17450440 CPUtime=2612.38 cores=0-31
/proc/22332/task/22357/stat : 22357 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 245405 0 0 0 260930 308 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604499458850272 0 0 -1 31 0 0 0
[pid=22332/tid=22358] ppid=22330 vsize=17450440 CPUtime=2619.47 cores=0-31
/proc/22332/task/22358/stat : 22358 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 160241 0 0 0 261688 259 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604541700324832 0 0 -1 30 0 0 0
[pid=22332/tid=22359] ppid=22330 vsize=17450440 CPUtime=2620.35 cores=0-31
/proc/22332/task/22359/stat : 22359 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 216742 0 0 0 261746 289 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604492479405536 0 0 -1 3 0 0 0
[pid=22332/tid=22360] ppid=22330 vsize=17450440 CPUtime=2609.51 cores=0-31
/proc/22332/task/22360/stat : 22360 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 210718 0 0 0 260655 296 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604533545336288 0 0 -1 17 0 0 0
[pid=22332/tid=22361] ppid=22330 vsize=17450440 CPUtime=2622.05 cores=0-31
/proc/22332/task/22361/stat : 22361 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 231696 0 0 0 261927 278 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604560667622880 0 0 -1 28 0 0 0
[pid=22332/tid=22362] ppid=22330 vsize=17450440 CPUtime=2618.9 cores=0-31
/proc/22332/task/22362/stat : 22362 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 190862 0 0 0 261595 295 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604491932532192 0 0 -1 4 0 0 0
[pid=22332/tid=22363] ppid=22330 vsize=17450440 CPUtime=2592.79 cores=0-31
/proc/22332/task/22363/stat : 22363 (strangenight2-m) S 22330 22332 22306 0 -1 4202560 100877 0 0 0 259164 115 0 0 25 0 32 0 7749799 17869250560 3575053 268435456000 4194304 4580107 140736137878368 18446744073709551615 47922052331060 0 0 4096 2 18446604525505445344 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 83791.8
Current children cumulated vsize (KiB) 17450440

[startup+2638.3 s]
/proc/loadavg: 29.79 31.61 31.88 3/445 22446
/proc/meminfo: memFree=249227168/264257624 swapFree=67044764/67111528
[pid=22332] ppid=22330 vsize=0 CPUtime=83794.7 cores=0-31
/proc/22332/stat : 22332 (strangenight2-m) Z 22330 22332 22306 0 -1 4203548 6914711 0 0 0 8370425 9049 0 0 18 0 2 0 7749798 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/22332/statm: 0 0 0 0 0 0 0
[pid=22332/tid=22342] ppid=22330 vsize=0 CPUtime=2615.14 cores=0-31
/proc/22332/task/22342/stat : 22342 (strangenight2-m) R 22330 22332 22306 0 -1 4203588 231483 0 0 0 261197 317 0 0 18 0 2 0 7749798 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 83794.7
Current children cumulated vsize (KiB) 0

[startup+2639.1 s]
/proc/loadavg: 29.79 31.61 31.88 2/415 22446
/proc/meminfo: memFree=255864756/264257624 swapFree=67044764/67111528
[pid=22332] ppid=22330 vsize=0 CPUtime=83795.5 cores=0-31
/proc/22332/stat : 22332 (strangenight2-m) Z 22330 22332 22306 0 -1 4203548 6914711 0 0 0 8370425 9129 0 0 18 0 2 0 7749798 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/22332/statm: 0 0 0 0 0 0 0
[pid=22332/tid=22342] ppid=22330 vsize=0 CPUtime=2615.94 cores=0-31
/proc/22332/task/22342/stat : 22342 (strangenight2-m) R 22330 22332 22306 0 -1 4203588 231483 0 0 0 261197 397 0 0 19 0 2 0 7749798 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 83795.5
Current children cumulated vsize (KiB) 0

[startup+2639.5 s]
/proc/loadavg: 29.79 31.61 31.88 2/415 22446
/proc/meminfo: memFree=255864756/264257624 swapFree=67044764/67111528
[pid=22332] ppid=22330 vsize=0 CPUtime=83795.9 cores=0-31
/proc/22332/stat : 22332 (strangenight2-m) Z 22330 22332 22306 0 -1 4203548 6914711 0 0 0 8370425 9169 0 0 18 0 2 0 7749798 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/22332/statm: 0 0 0 0 0 0 0
[pid=22332/tid=22342] ppid=22330 vsize=0 CPUtime=2616.34 cores=0-31
/proc/22332/task/22342/stat : 22342 (strangenight2-m) R 22330 22332 22306 0 -1 4203588 231483 0 0 0 261197 437 0 0 20 0 2 0 7749798 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 83795.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 2639.53
CPU time (s): 83796
CPU user time (s): 83704.3
CPU system time (s): 91.7261
CPU usage (%): 3174.65
Max. virtual memory (cumulated for all children) (KiB): 17774508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83704.3
system time used= 91.7261
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6914711
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= 1920432
involuntary context switches= 196501

runsolver used 13.8489 second user time and 59.8399 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-31 06:57:18
IDJOB=3400807
IDBENCH=83115
IDSOLVER=1886
FILE ID=node200/3400807-1306817838
RUNJOBID= node200-1306817838-22320
PBS_JOBID= 13471337
Free space on /tmp= 61576 MiB

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

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

MD5SUM BENCH= 9fab5edd49fb904ff76ff7abf98e0d14
RANDOM SEED=1773456438

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:      263556212 kB
Buffers:        106008 kB
Cached:         395032 kB
SwapCached:      29988 kB
Active:         127144 kB
Inactive:       406512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263556212 kB
SwapTotal:    67111528 kB
SwapFree:     67044764 kB
Dirty:            8016 kB
Writeback:           0 kB
AnonPages:       30716 kB
Mapped:           8568 kB
Slab:            72788 kB
PageTables:       5488 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 07:41:18